1. |
Кохан Я.О. Часова логіка: семантика тривалості: Автореф. дис... канд. філософ. наук: 09.00.06 / Я.О. Кохан ; Ін-т філос. ім. Г.С.Сковороди НАН України. — К., 2004. — 19 с. — укp.З використанням теоретико-істиннісного підходу досліджено основні принципи часової логіки. Вирішено наукову задачу редукції часових понять до фундаментальних логічних. До термінологічного апарату пропозиційної логіки додано єдине поняття чистої обмеженої спрямованої тривалості. Часову компоненту висловлювань і міркувань визначено як елемент їх структури, а не змісту. Запропоновано тлумачення часової логіки як специфікованого фрагмента класичної. На основі стандартної семантики трикутника Фреге створено оригінальну кореспондентну семантику з категорією логічної можливості, на базі якої побудовано теорію істиннісних функцій. Розроблено теоретичні засади часо-логічної концепції шляхом формування систем часо-логічних істиннісних зв'язок, що поєднують логічний зміст з часовими відношеннями. Вперше проведено розрізнення внутрішніх і зовнішніх часових логік. Для зовнішньої знайдено алгоритм розв'язання, а для внутрішніх збудовано дві повні системи зв'язок. Доведено комбінаторну теорему про кількість логічних можливостей на обмежених контекстах. Скачати повний текст
Індекс рубрикатора НБУВ: Ю41 + Ю212.132 + Шифр НБУВ: РА334142
Рубрики:
|