Студопедия

Главная страница Случайная страница

КАТЕГОРИИ:

АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника






Темпоральная логика






Т е м п о р а л ь н о й или временной логикой называют раздел модальной логики, исследующей природу, признаки, логические связи временных высказываний.

Дадим определение временного высказывания.

В р е м е н н ы м высказыванием называется высказывание, в котором в его логическую форму включается временной параметр.

Другими словами, в состав темпорального высказывания могут входить модальности P, F, H, G (соответственно, «было так, что…», «будет так, что…», «всегда было так, что», «всегда будет так, что…»).

Темпоральная логіка, як самостоятельный раздел логики, стала формироваться в середине прошлого столетия. Ее основоположниками явились А.Прайор, Г.Х. фон Вригт, М.Решер, Х. Уркварт и др. Однако первые достижения в анализе временных высказываний относятся к временам античности. Они содержатся в работах Аристотеля и Диодора Кроноса. В эпоху средневековья подобными исследованиями занимались У.Оккам, Ж.Буридан, Альберт Саксонский.

Темпоральная логика разрабатывает аппарат, с помощью которого можно более адекватно проследить рассуждения о предметах и явлениях, зависящих от времени. Отсюда и деление временных логик по временным рядам. Временные ряды независимы друг от друга, они не сводятся друг к другу, они не повторяют друг друга, наконец, они не пересекаются друг с другом.. Благодаря этому временные ряды охватывают и характеризуют явления, события, которые происходили, происходят или будут происходить – будь то мир, описываемый гуманитарными науками или естественными.

Таких рядов существует два. Один из них обозначают буквой А, а другой – В. Ряд А охватывает временные периоды с оценками «будет», «было»,,»всегда будет», «всегда было». Ряд В отображает временные отношения с оценками «раньше», «позднее», «одновремненно».

Тот раздел темпоральной логики, который описывает ряд А, называют временной А-логикой, а тот раздел, который описывает ряд В – временной В-логикой..

а) Язык темпоральной логики высказываний

Язык темпоральной логики высказываний включает в себя языковые средства елассической логики высказываний -и добавленных к ним знаков операторов темпоральных модальностей.

Алфавит

1. Пропозициональные переменные для обозначения дескриптивных высказываний:

p, q, r, …

2. Пропозициональные связки: Ø, &, Ú, É, º.

3. Знаки темпоральных модальностей:

Р – «было так, что…»

F – «будет так, что…»

H – «всегда было так, что…»

G – «всегда будет так, что…».

4. Технические знаки: левая и правая скобки, запятая, очка с запятой, двоеточие,

тире [(,),;: -].

Определение формулы:


Поделиться с друзьями:

mylektsii.su - Мои Лекции - 2015-2024 год. (0.005 сек.)Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав Пожаловаться на материал