Войти в мой кабинет
Регистрация
ГОТОВЫЕ РАБОТЫ / РЕФЕРАТ, ВЫСШАЯ МАТЕМАТИКА

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

natalya1980er 200 руб. КУПИТЬ ЭТУ РАБОТУ
Страниц: 20 Заказ написания работы может стоить дешевле
Оригинальность: неизвестно После покупки вы можете повысить уникальность этой работы до 80-100% с помощью сервиса
Размещено: 09.04.2019
Реферат на тему:"Темпоральная логика."
Введение

Темпоральная логика-это раздел современной (неклассической) логики, в рамках которой изучаются свойства утверждений, истинные значения которых изменяются во времени. Технически последние формируются с помощью временных логических операторов, которые, будучи присоединенными к выражениям, обозначающие операторы (например, к пропозициональным переменным), образуют выражения того же рода. Возникновение временной логики относится к началу 1950-х годов и связано с творчеством Н. А. Прайор. Философско-методологической основой темпоральной логики является принцип конкретности истины. В связи с этим необходимо признать заслугу Г. В. Гегеля в формировании парадигмы этой логики. Итак, Джон. Н. Финдлай подчеркнул требование Гегеля анализировать конкретные ситуации и учитывать "текучесть реальности", а Прайор говорил о близости временной логики к диалектической. Специфические научные предпосылки темпоральной логики сформировались под влиянием лингвистических исследований грамматических времен глагола (особенно значима система "семи времен" О. Эсперсена с выделением "времен" высказывания, действия и обращения). Огромное влияние оказали также научно-философские исследования проблемы времени (экспликация темпоральных понятий, разъяснение интуитивных допущений в рассуждениях о времени и в определении временных обстоятельств аргументации).
Содержание

Введение 3 Предпосылки возникновения темпоральной логики 4 Источники темпоральной логики 5 Темпоральная логика. Образы времени 6 Утверждения, истинность которых зависит от времени 6 Модальные и временные логики: Tense Logic 11 Темпоральная логика линейного времени (LTL) 18 Заключение 20 Список используемой литературы 21
Список литературы

1) Ивин А. А. Логика времени. — В книге: Неклассическая логика. — М., 1970. 2) Ишмуратов А. Г. Логические теории временны?х контекстов (временнaя логика). — К., 1981. 3) Караваев Э. Ф. Основания временной логики. — Л., 1983. 4) Смирнов В. А. Логические системы с модальными временными операторами. — В книге: Модальные и интенсиональные логики и их применение к проблемам методологии науки. — М., 1984. 5) H. Reichenbach. Elements of symbolic logic. New York: Macmillan, 1947. 6) A. Prior. Past, present and future // Oxford University Press, 1967. 7) A. Pnueli. The temporal logic of program // Proc. of the 18th Anny. Symp. on Foundation of Computer Science, 1977. 8) [Электронный ресурс] Логика временная. 9) [Электронный ресурс] Темпоральные логики для спецификации свойств программных и аппаратных систем. 10) [Электронный ресурс] Темпоральная логика.
Отрывок из работы

Предпосылки возникновения темпоральной логики Из исторических предпосылок темпоральной логики следует назвать, прежде всего, достижения древней и средневековой логики в изучении темпоральной квалификации суждений. В трактате Аристотеля "о толковании" говорится, что простое утверждение есть звуковое сочетание, обозначающее врожденную или несущественную природу чего-либо с различием во времени, а при рассмотрении фаталистического аргумента" завтрашнего морского сражения" допускается непостоянство во времени истины и ложности суждений. (Именно в связи с анализом этого аргумента Лукасевич изучал возможность создания расчетов, учитывающих временную квалификацию суждений.) В стоическо-мегарской школе идея суждений с временной квалификацией была почти повсеместно принята. Для Диодора Крона привычны примеры суждений типа "сейчас день", которые верны в одно время и ложны в другое. Подтекст "если p, то q" понимался следующим образом: "никогда не было времени, когда p было истинным с одновременной ложностью q". Он сформулировал "доминирующий аргумент" (kyrieyon), который сочетает в себе временную и модальную квалификацию суждений; по его словам, три суждения несовместимы: 1. каждое истинное суждение о прошлом необходимо; 2. невозможное не следует из возможного; 3. то, чего нет и не будет, все еще возможно. Этот" модельный пример " использования темпоральной и модальной логики в философском анализе до сих пор исследуется. В частности, анализ и логическая реконструкция этого аргумента привели Прайора (1955) к построению первых аксиоматических систем временной логики. А его реконструкция (1957, 1967) некоторых идей У. Оккама и К. С. пирса — к интересной модели "ветвящегося времени", которая оказалась в центре внимания логики времени и ее приложений в методологии научного познания и технического творчества. В средневековой логике была разработана концепция темпоральных суждений и сформулированы их условия истины (Ж. Буридан): суждение, выраженное высказыванием прошлого времени, истинно, если бы все было так, как в нем сказано, и будущее — если бы оно было так, как сказано. Модальное суждение с оборотом "может быть, что" верно, если все может быть, как они говорят. Подобные правила Буридан давал для суждений со временем и модальными квалификациями. В этот же период развивается концепция возможных миров (V. Burley, D. Scott, U. Okkam) и некоторые аксиомы временной логики были "открыты", например "закон Оккама": если суждение "эта вещь" было истинным, то всегда после этого суждение "эта вещь была"будет истинным. Новое время характеризуется охлаждением интереса к временной квалификации логической формы. Затем он возобновляется и больше не исчезает. Источники темпоральной логики К источникам темпоральной логики относятся достижения и трудности в развитии модальной логики. Его значение для появления темпоральной логики состоит в том, что она движется дальше в направлении учета деталей формы мышления, по сравнению с классической логикой. Например, при решении задачи итерации (множественного префикса) временных операторов естественно было обратиться к тому, как решается задача итерации модальных операторов в модальной логике. Финдли предложил включить исчисление времен в современное развитие модальной логики. Исследования проблемы количественной оценки модальной логики приобрели особое значение для темпоральной логики.? Темпоральная логика. Образы времени Уже давно существуют два образа времени: течение реки и линия, состоящая из неподвижных моментов. Взаимодействие этих двух представлений-динамического и статического — подчеркивается Аристотелем в его представлении о времени как числе, характеризующем результаты движения и входящем в соотношение "до - после", и (с другой стороны) времени, которое соотнесено с изменением. В начале XX века J. E. Мактаггарт сформулировал соответствующие концептуальные модели, которые стали двумя взаимодополняющими компонентами логической парадигмы: время-серия-это серия о прошлом, настоящем и будущем; б-серия-это серия, в которой события упорядочиваются по принципу "раньше чем" отношения, и время будет представлен понятиями "раньше", "одновременно" и "после". ?-ряд используется при построении объектного языка исчисления логики времени, А B-ряд используется при построении метаязыка для описания временных структур. Наиболее распространенный способ проектирования логических систем времени связан с" стратифицированной " концепцией E. J. Lemon. "Минимальная система" включает в себя классическое исчисление высказываний, правила присвоения всегда-будущего и всегда-прошлого и аксиомы однородности времени, которые отражают связь между предположениями об однородности времени и истинными значениями утверждений. Расширения получены путем присоединения к минимальной системе транзитивности (нетранзитивности); конечности (бесконечности); постулаты для выражения круговой природы времени; плотности, непрерывности или дискретности; линейность или ветвление и другие. Утверждения, истинность которых зависит от времени Несмотря на широту применения классической логики в науке, технике и в повседневной жизни, его ограничения очевидны. Классическая логика основана на самой примитивной модели истины, она не позволяет выразить степень уверенности/неопределенности в истинности высказывания. Логические формулы могут принимать значения Yes и no только при подходящей интерпретации, но не могут определять диапазон возможных значений в некоторой области. Формулы обычной логики верны или ложны, независимо от времени, в статическом мире. В результате, аппарат классической логики недостаточно выразительным во многих областях применения. Поэтому неудивительно, что было предпринято много попыток расширить классическую логику различными способами, и некоторые из этих попыток были очень успешными. Если высказывания естественного языка явно или неявно включают зависимость высказываний от времени или от порядка событий во времени, то их формализация в классической логике высказываний обычно неадекватна. Например, коммутативность операции конъюнкции (перестановка ее аргументов a?V?V?A) не выполняется для следующих предложений: "Джон умер и был похоронен" не эквивалентно приговору "Джон был похоронен и он умер"; " Джейн вышла замуж и родила ребенка” не эквивалентна фразе "Джейн родила ребенка и вышла замуж"; “сообщение было отправлено на канал и получило подтверждение” не эквивалентна фразе “сообщение получил подтверждение и отправил к каналу”. Анализ этих утверждений в рамках обычной логики высказываний невозможен. Для адекватного формального выражения таких высказываний нужна логика, позволяющая отразить соотношение моментов наступления событий в естественном языке, определяемом такими словами, как произошло после того, как, бывает иногда, это происходит всегда. Это требует формализации высказываний, истинность которых меняется во времени. Необходимость оперировать высказываниями, истина которых меняется со временем, возникает часто. Например, утверждение: "Путин-Президент России" справедливо только в определенный период времени. Поговорка "солнце светит", ложная сегодня, может стать правдой завтра. Утверждение "Я голоден" станет ложным после того, как я поем. Многие операторы, которые вводят причинно-следственные связи, также связаны со временем: "Если я видел ее раньше, я узнаю ее, когда встречусь с ней”; ”один раз Персил всегда Персил”; “мы не друзья, пока ты не извинишься”. Изложение естественного языка: "Вчера он сказал, что придет завтра, поэтому он сказал, что придет сегодня", - несомненно, правда. Но в обычной логике высказываний формальное доказательство истинности этого утверждения невозможно. Большая доля утверждений, которые необходимо формализовать с помощью логической теории, учитывающей время и проверяющей их, являются свойствами технических систем, обладающих динамикой, то есть поведением во времени, изменяющим некоторые параметры систем. Например: S1: отправленный запрос будет обработан в будущем; С2: лифт никогда не пройдет мимо этажа, звонок с которого поступил, но еще не обслужен. Элементарные (атомарные) операторы в этих операторах могут быть истинны в одно время и ложны в другое. Мы не можем адекватно представить утверждение C1 с помощью такой формулы логики утверждений: R? обработано (то есть, если запрос R отправлен, то он обработан). Действительно, в классической логике утверждения обычно понимаются как истинные или ложные независимо от времени, а утверждение С1 четко различает различные моменты времени. В нем говорится, что если в какой-то момент времени t запрос R будет отправлен, то в какой-то момент времени t ' > t он будет обработан.
Не смогли найти подходящую работу?
Вы можете заказать учебную работу от 100 рублей у наших авторов.
Оформите заказ и авторы начнут откликаться уже через 5 мин!
Похожие работы
Реферат, Высшая математика, 12 страниц
120 руб.
Реферат, Высшая математика, 19 страниц
190 руб.
Реферат, Высшая математика, 28 страниц
280 руб.
Реферат, Высшая математика, 19 страниц
230 руб.
Реферат, Высшая математика, 18 страниц
200 руб.
Служба поддержки сервиса
+7(499)346-70-08
Принимаем к оплате
Способы оплаты
© «Препод24»

Все права защищены

Разработка движка сайта

/slider/1.jpg /slider/2.jpg /slider/3.jpg /slider/4.jpg /slider/5.jpg