Часова логіка: семантика тривалості
Категорії класичної логіки. Особливості міркувань з часовими компонентами. Використанням операторів майбутнього та минулого. Вивченням мовних форм вираження лінгвістичних позицій. Систематизація темпоральних систем. Аналіз концепцій Ішмуратова та Фреге.
| Рубрика | Философия |
| Вид | автореферат |
| Язык | украинский |
| Дата добавления | 28.07.2014 |
| Размер файла | 57,6 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
SUMMARY
Kokhan Y. Temporal logic: semantics of duration. - Manuscript.
Dissertation submitted for the degree of Candidate of Philosophy. Specialisation 09.00.06 - Logic. - Institute of Philosophy of National Academy of Science of Ukraine. - Kyiv, 2004.
Dissertation is a comprehensive inquiry into the foundations of temporal logic, carried out from the standpoint of truth-theoretical approach. The task of reducing temporal notions to fundamental logical ones is articulated and fulfilled. For this purpose the only notion of pure limited directed duration is added to the tools of propositional logic. Temporal component of propositions and reasonings is interpreted as element of their structure and not of their meaning. This allows to treat temporal logic not as a part of non-classic logic, but as a specified fragment of classic logic. On the base of Frege's standard triangle semantics an original correspondent semantics is built; this semantics employs the category of logical possibility from which truth-function theory is deduced. Temporal-logical theories are built in the dissertation by means of creating systems of temporal-logical connectives that unite logical meaning with temporal relations. For the first time distinction between internal and external temporal logics is drawn. In external logic, a decision algorithm is discovered. In internal logic, two full systems of connectives are built. A combinatory theorem about the amount of logical possibilities in limited contexts is proved.
Keywords: duration, corresponding semantics, logical possibility, truth function, temporal-logical connective, internal temporal logic, external temporal logic.
Размещено на Allbest.ru
Подобные документы
Темпоральна логіка як розділ модальної логіки, де досліджуються темпоральні висловлювання та їх відношення в структурі міркування, історія її становлення та розвитку. Поняття та аналіз прикладів темпоральних висловлювань. Теорія можливих світів.
контрольная работа [55,8 K], добавлен 24.04.2014Дитинство та юність Аристотеля - давньогрецького вченого-енциклопедиста, філософа і логіка, засновника класичної (формальної) логіки. Періоди творчої діяльності Аристотеля - перший античний, подорожей, другий античний. Аналіз аристотелівської логіки.
презентация [996,9 K], добавлен 14.10.2014Семіотичні категорії логіки. Показники, символи і сигнали як немовні знаки. Денотат та концепт імені. Оповідна пропозиція у формальній логіці. Таємниця гегелівської діалектичної логіки. Саморефлексія ідеології марксиста: приховані основи тоталітарності.
реферат [27,8 K], добавлен 15.06.2009Дихотомія "контекстів відкриття" і "контекстів обґрунтування". Причини непопулярності епістемічної логіки серед філософів. Слабка ефективність "сильної" раціональності та універсалістська парадигма логіки. Труднощі епістемічної логіки "другого покоління".
реферат [83,1 K], добавлен 15.12.2010Визначення поняття мислення та його форм. Типи помилок, пов'язаних з порушенням законів логіки та математики. Основні закони логіки (тотожності, суперечності, виключеного третього і достатньої підстави) як відображення основ правильного мислення.
реферат [29,7 K], добавлен 22.11.2010Мислення - розумовий процес людини, в ході якого вже з наявних знань формуються нові знання. Правильне та неправильне мислення: відповідність правилам і законам логіки, логічна необхідність висновку. Логічна помилка у софізмі. Поняття некласичної логіки.
реферат [38,1 K], добавлен 16.12.2010Аналіз мовних формул, які використані в біблійних текстах задля передачі ідеї колективного свідомого. Розгляд ілюстрацій, де, замість однини, використано форму множини на розгляді семантики власних імен, а також використанні генітивних конструкцій.
статья [17,9 K], добавлен 19.09.2017Прості і складні судження, їх сутність, види за кількістю і якістю, структура та аналіз з погляду правильності. Виклад складних суджень мовою класичної логіки висловлювань. Види, формула та модус силогізму. Поняття умовиводу, його види та приклади.
контрольная работа [898,9 K], добавлен 25.04.2009Сутність футурології як науки про прогнозовані варіанти майбутнього нього Землі і людей, що її населяють. Індустріальний і конвергентний напрями сучасної футурологіїю Соціальна спрямованість оптимізму Г. Кана, порівняння його поглядів з теорією А. Вінера.
контрольная работа [19,9 K], добавлен 10.12.2010Виникнення та зміст концепції "кінця історії" та її вплив на розвиток американської філософської думки. С. Хантінгтон і теорія "зіткнення цивілазацій" в геополітичній розробці міжнародних відносин. Аналіз точок дотику та відмінностей даних концепцій.
контрольная работа [70,3 K], добавлен 01.04.2015