Низкая цена
Всего 249a за скачивание одной диссертации
Скидки
75 диссертаций за 4900a по акции. Подробнее
О проекте

Электронная библиотека диссертаций — нашли диссертацию, посмотрели оглавление или любые страницы за 3 рубля за страницу, пополнили баланс и скачали диссертацию.

Я впервые на сайте

Отзывы о нас

Семантический анализ простых паранормальных логик : диссертация ... кандидата философских наук : 09.00.07

Год: 2005

Номер работы: 191615

Автор:

Стоимость работы: 249 e

Без учета скидки. Вы получаете файл формата pdf

Оглавление и несколько страниц
Бесплатно

Вы получаете первые страницы диссертации в формате txt

Читать онлайн
постранично
Платно

Просмотр 1 страницы = 3 руб



Оглавление диссертации:

2.1 Семантика обобщённых описаний состояния для логики 1о и четырёхзначная характеризация этой логики 70

2.2 Семантика квазиописаний состояния для логики W P 115

2.3 Песуществование конечной характеристической матрицы для логики W P 117

Глава 3 Семантический анализ логик AIP и IAP

§

3.1 Семантика в стиле С.Крипке для логики AIP 121

§

3.2 Семантика в стиле С.Крипке для логики IAP 154

§

3.3 Песуществование конечных характеристических матриц для логикА1Ри1АР 160

Заключение Литература

Введение в предлагаемом диссертационном исследовании проводится семантический анализ ряда простых паранормальных логик*\ Что такое простая паранормальная логика? Точный ответ на этот вопрос будет дан в главе 1. Здесь укажем только на то, что простые паранормальные логики являются разновидностью паранормальных логик, т.е. логик, которые одновременно являются паранепротиворечивыми и параполными. При этом паранепротиворечивая логика - это логика, для которой существует паранепротиворечивая теори

Глава 1 Простые паранормальные логики 1о, VVP, AIP и1АР. Краткое изложение главы 1: в

§

1.1 описаны исчисления Н1о, HVVP, HAIP и HIAP гильбертовского типа и логики 1о, VVP, AIP и IAP - логики, семантический анализ которых является центральной темой предлагаемого диссертационного исследования; в

§

1.2 доказано, что указанные логики принадлежат классу всех простых паранормальных логик - собственному подклассу класса всех паранормальных логик; в

§

1.3 проведен

1.1 Исчисления Шо, HVVP, HAIP и аксиоматизируемые ими логики IQ, VVP, AIP и IAP. ШАР и Языком всех изучаемых в предлагаемой работе логик является стандартно определяемый пропозициональный язык £,, алфавит которого есть множество {&, V, D, —i, ), (, р\, рг, ръ, ...} символов. Первый из написанных в фигурных скобках символов называем конъюнкцией, второй - дизъюнкцией, третий - импликацией, четвёртый - негацией, пятый и шестой - круглыми скобками, а все другие символы, принадлежащие алфа

§ 1 . 2 Простая паранормальность логик IQ, VVP, AIP и IAP. В [49] построена логическая матрица Мо. Мо есть логическая матрица ({О, 1, f, t}, {1}, {&^, V"^, D^, -i"*^}) с четырёхэлементным носителем, двуместные операции &*, V"^, D^ которой и одноместная операция -i^ которой определяются следующими таблицами: X Sc" у 1 0 t «4-1 0 0 0 0 0 t 1 0 1 0 f 0 0 0 0 X V V 1 0 t «4-1 0 1 0 1 0 t 1 1 1 1 XD у 1 0 t «4-1 0 0 1 0 1 t 1 1 1 1 Следуя [49], вводим опреде