Темпоральна логіка як розділ модальної логіки, де досліджуються темпоральні висловлювання та їх відношення в структурі міркування, історія її становлення та розвитку. Поняття та аналіз прикладів темпоральних висловлювань. Теорія можливих світів.
1. Визначення темпоральної логіки Темпоральна логіка - це розділ модальної логіки, де досліджуються темпоральні висловлювання та їх відношення в структурі міркування. Темпоральні висловлювання - це висловлювання, для оцінки смислу яких необхідні уточнення з використанням часових характеристик, тобто понять, зв’язаних з категорією часу: дата, тривалість, змінювання, часовий порядок та інші. Для цього до складу темпоральних висловлювань включаються такі модальності, як «було так, що…», «буде так, що…», «завжди було так, що…», «завжди буде так, що…», «раніше», «пізніше», «одночасно» та їх модифікації. Наприклад, У. Оккам, аналізуючи логічний смисл граматичних часів. Уперше такий поділ часових рядів був запропонований англійським філософом Дж. Мак - Таггардом на початку 20 століття. Ці дві формули виражають принципи перемішування часів, один з яких, як вже говорилося, був відкритий У. Окамом. 4.
Вы можете ЗАГРУЗИТЬ и ПОВЫСИТЬ уникальность своей работы
