Главная страница Случайная страница
КАТЕГОРИИ:
АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника
Темпоральная логика
|
|
Т е м п о р а л ь н о й или временной логикой называют раздел модальной логики, исследующей природу, признаки, логические связи временных высказываний.
Дадим определение временного высказывания.
В р е м е н н ы м высказыванием называется высказывание, в котором в его логическую форму включается временной параметр.
Другими словами, в состав темпорального высказывания могут входить модальности P, F, H, G (соответственно, «было так, что…», «будет так, что…», «всегда было так, что», «всегда будет так, что…»).
Темпоральная логіка, як самостоятельный раздел логики, стала формироваться в середине прошлого столетия. Ее основоположниками явились А.Прайор, Г.Х. фон Вригт, М.Решер, Х. Уркварт и др. Однако первые достижения в анализе временных высказываний относятся к временам античности. Они содержатся в работах Аристотеля и Диодора Кроноса. В эпоху средневековья подобными исследованиями занимались У.Оккам, Ж.Буридан, Альберт Саксонский.
Темпоральная логика разрабатывает аппарат, с помощью которого можно более адекватно проследить рассуждения о предметах и явлениях, зависящих от времени. Отсюда и деление временных логик по временным рядам. Временные ряды независимы друг от друга, они не сводятся друг к другу, они не повторяют друг друга, наконец, они не пересекаются друг с другом.. Благодаря этому временные ряды охватывают и характеризуют явления, события, которые происходили, происходят или будут происходить – будь то мир, описываемый гуманитарными науками или естественными.
Таких рядов существует два. Один из них обозначают буквой А, а другой – В. Ряд А охватывает временные периоды с оценками «будет», «было»,,»всегда будет», «всегда было». Ряд В отображает временные отношения с оценками «раньше», «позднее», «одновремненно».
Тот раздел темпоральной логики, который описывает ряд А, называют временной А-логикой, а тот раздел, который описывает ряд В – временной В-логикой..
а) Язык темпоральной логики высказываний
Язык темпоральной логики высказываний включает в себя языковые средства елассической логики высказываний -и добавленных к ним знаков операторов темпоральных модальностей.
Алфавит
1. Пропозициональные переменные для обозначения дескриптивных высказываний:
p, q, r, …
2. Пропозициональные связки: Ø, &, Ú, É, º.
3. Знаки темпоральных модальностей:
Р – «было так, что…»
F – «будет так, что…»
H – «всегда было так, что…»
G – «всегда будет так, что…».
4. Технические знаки: левая и правая скобки, запятая, очка с запятой, двоеточие,
тире [(,),;: -].
Определение формулы: