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

Купить бумажную книгу и читать

Автор: Ишмуратов А.Т.

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

Издательство: К.: Наукова думка

Год: 1981

Формат: djvu

Размер: 3 mb

В монографии рассматриваются логико-грамматические особенности временных контекстов — выражений естественного языка, истинностное значение которых определимо относительно конкретного отрезка времени, в контексте речевой ситуации. Описываются основные типы семантики временной логики и различные её формализации: аксиоматическая, секвенциальная, аналитико-табличная. Рассматривается временные исчисления с неклассическим базисом, а также их модификации и расширения (хронологическая, хронометрическая логики и др.).

Для научных работников, преподавателей и студентов философских факультетов.

Содержание:

Логическая теория языка

Логическое следование и формальная выводимость.

Переменные и константы

Логическая семантика

Высказывание о событии.

Контекст.

Событие.

Грамматическое времд

Абстрактное описание событий

Множества

Временные отношения.

События.

Эталон времени.

Временная структура.

Временные диаграммы

Аксиоматические теории времени.

Логический анализ временных контекстов

Переменная классическая логика

Классическая логика

Семантика

Синтаксис

Непротиворечивость и полнота

Временная логика

Семантика

Синтаксис

Непротиворечивость и полнота

Квантификация.

Расширения Kf-исчисления.

Метрическое временное исчисление

JХронолоплескан логика.

Латометрическая логика.

Хронологическое исчисление НРепера

Гянарнне временные связки

Временные модальности

Семантика

Синтаксис

Непротиворечивость и полнота

Временная логика

Семантика.

Синтаксис Непротиворечивость и полнота

Квантификацня.

Трехзначнче временные операторы

Овременение я бочваризация.

| | |