Часова логіка: семантика тривалості
Категорії класичної логіки. Особливості міркувань з часовими компонентами. Використанням операторів майбутнього та минулого. Вивченням мовних форм вираження лінгвістичних позицій. Систематизація темпоральних систем. Аналіз концепцій Ішмуратова та Фреге.
| Рубрика | Философия |
| Вид | автореферат |
| Язык | украинский |
| Дата добавления | 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Філософські категорії "нове" і "старе". Особливості об'єктивних процесів діалектичного заперечення. Принцип роздвоєння єдиного на протилежності. Абстрактне і конкретне. Взаємодія між різними протилежними сторонами. Форми прояву матеріальних систем.
реферат [26,1 K], добавлен 14.08.2010Основні закони формальної логіки в діяльності вітчизняного юриста. Формування у риторів чітких суджень і обґрунтування їх доказовими даними. Підготовлення юристом логічно стрункої, добре аргументованої промови, побудування судової несуперечливої версії.
контрольная работа [16,6 K], добавлен 03.11.2014Досягнення попередників Аристотеля у Стародавній Греції. Вчення про істину і закони мислення, про судження, про поняття, про умовивід, про доведення, логічні помилки, модальності. Індукція та її особливе місце в логіці Аристотеля. Парадейгма й ентимема.
реферат [31,4 K], добавлен 19.03.2014Систематизація, узагальнення і конкретизація категорії свободи совісті та визначення механізмів здійснення свободи совісті в ході демократичних перетворень в Україні. Соціально-філософське обґрунтування проблем свободи совісті, як соціального явища.
автореферат [41,3 K], добавлен 13.04.2009Логіка – наука, що вивчає мислення людини. Категоричні силогізми, в яких засновником є судження-визначення та побудовані із судження можливості. Судження як вираження реченнь утверджень чи заперечень, які володіють обумовленим значенням істинності.
контрольная работа [15,8 K], добавлен 04.03.2009Аналіз одного з найвидатніших діалогів Платона "Бенкет", ідейна та філософська направленість. Особливості композиції "Бенкету" та значення в історії логіки. Міркування про природу любові. Мова Аристофана як один з цікавих зразків міфотворчества Платона.
реферат [21,7 K], добавлен 19.10.2010Історія та особливості становлення професійної філософії в Україні. Біографія Григорія Савича Сковороди, аналіз його впливу на розвиток української філософської думки та художньої літератури. Загальна характеристика основних концепцій філософії Сковороди.
реферат [28,5 K], добавлен 12.11.2010Еволюція поглядів на проблему трактування простору і часу. Фізика до появи теорії Ейнштейна та розвиток класичної електродинаміки у другій половині XІХ ст. Сутність категорій "простір" і "час", що належать до числа фундаментальних філософських понять.
реферат [17,8 K], добавлен 26.02.2011Характерні особливості та принципи теорії філософії життя, аналіз етичних концепцій її найвідоміших представників, а саме - В. Дильтея, Г. Зиммеля, А. Бергсона, А. Шопенгауера, Ф.-В. Ніцше та А. Швейцера. Сутність життєвого досвіду як об'єкта пізнання.
контрольная работа [32,2 K], добавлен 27.12.2010Проблематика дихотомію "природа / домовленість". Неоднозначність точки зору Платона щодо статусу мови та мовних знаків у діалозі "Кратіл". Дослідження категорії "правильності імен". Сучасний дослідник античного мовознавства М.П. Грінцер та його висновки.
реферат [22,1 K], добавлен 13.07.2009
