Ebook: Логические теории временных контекстов (Временная логика)

Киев: Наукова думка, 1981. — 150 с.В монографии рассматриваются логико-грамматические особенности временных контекстов — выражений естественного языка, истинностное значение которых определимо относительно конкретного отрезка времени, в контексте речевой ситуации. Описываются основные типы семантики временной логики и различные её формализации: аксиоматическая, секвенциальная, аналитико-табличная. Рассматривается временные исчисления с неклассическим базисом, а также их модификации и расширения (хронологическая, хронометрическая логики и др.).
Для научных работников, преподавателей и студентов философских факультетов.Логическая теория языка
Логическое следование и формальная выводимость.
Переменные и константы
Логическая семантика
Высказывание о событии.
Контекст.
Событие.
Грамматическое времд
Абстрактное описание событий
Множества
Временные отношения.
События.
Эталон времени.
Временная структура.
Временные диаграммы
Аксиоматические теории времени.
Логический анализ временных контекстов
Переменная классическая логика
Классическая логика
Семантика
Синтаксис
Непротиворечивость и полнота
Временная логика
Семантика
Синтаксис
Непротиворечивость и полнота
Квантификация.
Расширения Kf-исчисления.
Метрическое временное исчисление
JХронолоплескан логика.
Латометрическая логика.
Хронологическое исчисление НРепера
Гянарнне временные связки
Временные модальностиСемантика
Синтаксис
Непротиворечивость и полнота
Временная логика
Семантика.
Синтаксис Непротиворечивость и полнота
Квантификацня.
Трехзначнче временные операторы
Овременение я бочваризация.