рефераты конспекты курсовые дипломные лекции шпоры

Раздел Образование
/
Становление модальной логики, нормальные модальные исчисления.

Реферат Курсовая Конспект

Выберите учебное заведение

Становление модальной логики, нормальные модальные исчисления.

Становление модальной логики, нормальные модальные исчисления. - раздел Образование, Ответы на логику ...

Первая логическая теория, исследующая выводы из мод. высказываний, была создана Аристотелем. Язык аристотелевской силлогистики содержал аподиктические высказывания(о необходимо присущем и о необходимо не присущем) и проблематические высказвания(о возможно присущем и возможно не присущем). Аристотель различал 2 вида модальностей возможно – одна из них сродни современному пониманию возможно, другая сродни современному пониманию случайно. Для проверки силлогизмов, содержащих внешнюю модальность, схоласты сформулировали специальное правило: модальность заключения не может быть сильнее, чем в слабейшей по модальности посылке. Самой сильной модальностью являлась необходимость, второй по силе – модальность ассерторического высказывания, а самой слабой – возможность. Была идея построить модальную логику Лукасевича –А А А

1 1 1

1/2 0 1

0 0 0

Парадокс мод. логики: АВ, А

пример парадокса: число планет =9, 9 необходимо > 7

число планет необходимо > 7

Но мы знаем, что число планет не необходимо >7.

Льюис – предтеча мод. логики. Он хотел отказаться от . ¬ (А&¬В) – строгая . А¬(А¬А). А¬АА. Но парадокс остался: А(ВА); ¬А(АВ).

Нормальные сис-мы пропозициональной модальной логики. Пропозициональной – т.к не будем рассматривать мод. логику предикатов. Нормальные – такие сис-мы, в которых действует правило Гёделя: ˫А если бы было А , то АА

˫ А А

Геделю удалось переформулировать льюисовское исчисление S4.

A¬ ¬A;

A¬ A&¬ ¬A; A¬ ¬ A

Аксиомы:

1)аксиома теории к

2)теория Т. К+Т=Т

3)К+D=D – деонтические модальности.

4)S4+T=S4

5)S5+T=S5

6)T+B=B(сис-ма Брауэра)

6 основных сис-м мод. логики. S4 – одна из самых распространенных. Эквивалентные преобразования в этой сис-ме: … С; …. С С. В этой сис-ме конечное количество модальностей: ¬, ¬, ¬ ,¬ , ,

S5: C C

Правила- модус поненс и правило Гёделя.

Развернуть

Открыть в широком формате

– Конец работы –

Эта тема принадлежит разделу:

Ответы на логику

курс семестр... Понятие как форма мысли Выражение понятий в языке Логическая форма... Понятие можно назвать особой ментальной конструкцией Понятие это мысль в которой на основании наличия у предметов...

Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ: Становление модальной логики, нормальные модальные исчисления.

Что будем делать с полученным материалом:

Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:

Все темы данного раздела:

Закон обратного отношения между содержаниями и объемами понятий. Обобщение и ограничение понятий.
Закон обратного отношения между объемами и содержаниями понятий – если и только если одно непустое и неуниверсальное понятие по объему включается в другое непустое и неуниверсальное понятие, то сод

Виды понятий.
По объему:

Отношения между понятиями по объему. Круги Эйлера и диаграммы Венна.
Ограничим себя непустыми и неуниверсальными понятиями, потому что пустое множество является подмножеством любого множества. К тому же отношения устанавливаются между сравнимыми понятиями(то есть ес

Определение как познавательная процедура. Номинальные и реальные определения. Структура и виды явных определений.
Определение – это процедура придания точного смысла языковому выражению. Определение, в котором

Неявные определения. Правила и возможные ошибки в определениях.
Неявные опр. – это определения, задаваемые лингвистической конструкцией вида: t есть по дефиниции то, что удовлетворяет условиям В1, В2,…. Вn. Все неявные опр. имею

Проблема будущих случайных событий и логика Лукасевича.
Аргумент лог. фатализма: 1)(р-истинно)˅(р-ложно) – высказывание о том, что событие S произойдет или не произойдет. 2) S – случайное событие. 3) р-истинно

Принципы построения многозначных логик. Основные виды многозначных логик.
Методы построения многозначной логики: С-множество пропозициональных связок. f

Принцип многозначности и тезис Сушко. Обобщенные истинностные значения и типы определения лог.следования.
Тезис Сушко – множество значений в многозначной логике можно свести к 2-ум значениям ии л. Согласно результату Сушко, всякая структурная логика, типа логики Тарско

Понятие модального высказывания. Виды модальностей.
Модальными наз-ся высказывания, содержащие дополнительную информацию оценочного характера относительно ситуаций или взаимосвязей между ситуациями, или присущности признаков предметам. Модальностями

Семантика возможных миров для нормальных модальных исчислений.

Логический анализ овремененных высказываний. Трактовки временного ряда. Виды временных модальностей.
Овремененные высказывания содержат временной параметр или временную хар-ку. Временной параметр представляет собой указание на опр. момент или интервал времени. Момент не имеет длительности, а интер

Понятие описания состояния, семантика обобщенных описаний состояний и информационная трактовка следования в релевантной логике.
Первая сис-ма релевантной логики построена Орловым(1928). В 1943 Клини построил релевантную логику(как у Орлова, т.к переводил работу Орлова). информационная трактовка следования в релевант

Идейные предпосылки возникновения интуиционистской логики. Особенности трактовки понятия истины в интуиционизме.
Были обнаружены парадоксы в теории множеств Кантора(наивной теории множеств). Парадокс Рассела:Нормальные множества не явл. элементами самих себя(мн-во столов и т.д). Ненормальные – явл. элементом

Метод аналитических таблиц в модальной и интуиционистской логике.

Метод аналитических таблиц в модальной логике смотри в приложении.
22)Неклассическая логика и философия(логический фатализм, парадокс познаваемости, аргумент «рогатки» Черча). 2 источника развития логики в Греции – 1)аргументация(рассужде