Предыдущая страница реферата | 1  2  3  4  5  6 | Следующая страница реферата

Теории с неопределенностью оказываются неконструктивными (или антиконструктивными ) в следующем смысле. Распространим естественным образом понятие модели теории на теории с неопределенностью: н- моделью теории Тн называется структура, в которой все предложения Тн определенно истинны.

Предложение 11 . Существует теория Тн такая, что а) (P( с ) U O P( с )) I T, б) $ xP(x) I T, в) Tн имеет н-модель, но при этом ни теория Тн E {P( a )}, ни теория Тн E { O P( a )} не имеют н-моделей, какова бы ни была индивидная константа a .

Проанализированная выше история с Каспаром Гаузером подводит к построению примера требуемой Тн теории. Ведь какую бы индивидную константу a мы ни взяли, предложение Р( a , КГ) не будет определенно истинным, но может быть либо определенно ложным, либо неопределенным. С формальной точки зрения, для получения искомого результата требуется еще исключить определенную ложность.

Пусть Lн = {P, с , a }, где Р – одноместный предикатный символ, а с и a – индивидные константы. Положим Мн = , F( с ) = a, F(P) = {a}, F(P*) = {b}. Ясно, что Мн – н-модель теории Тн = {(P с U O P с ), $ xPx, " xнPx}. Но ни Т E {P( a )}, ни T E { O P( a )} н-моделей не имеют, как бы мы ни определяли значение F( a ) в произвольной структуре Мн для языка Lн.

Действительно, определенная истинность предложения " xнPx в модели Мн = теории Тн влечет, что формула нP( a ) определенно истинна и, значит, н O Р( a ) также определенно истинна. Отсюда как Р( a ), так и O Р( a ) являются неопределенными в любой н-модели теории Тн, что и требовалось доказать.

Итак, рассмотренная теория Тн не может быть расширена таким образом, чтобы полученные расширения удовлетворяли свойствам дизъюнктивности и экзистенциальности в трехзначной семантике неопределенности. Теперь правило прямого удаления квантора существования $ хА(х) ? А( e хА(х)), принимаемое в натуральных e -исчислениях, уже не воспроизводит отношения логического следования при естественном расширении понимания семантики выражений с e -термом. В самом деле, формула вида $ хА(х) теории Тн определенно истинна в построенной н-модели, однако независимо от того, какой индивид будет взят в качестве значения e -выражения e хА(х), утверждение А( e хА(х)) уже не будет определенно истинным, что нарушает общепринятое требование “из истинных посылок – истинное заключение”.

Построенная теория Тн, если посмотреть на нее с позиций классической двухзначной семантики, никакими интересными особенностями не обладает. И, разумеется, эта теория в данной семантике может быть расширена таким образом, чтобы появились свойства дизъюнктивности и экзистенциальности.

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

Список литературы

Анисов А. М. Время и компьютер. Негеометрический образ времени. М., 1991.

Анисов А. М . Семантика неопределенности // Логические исследования. Вып. 4. М., 1997.

Анисов А. М. Аксиоматическое исчисление неопределенности // Логические исследования. Вып. 7. М., 2000.

Анисов А. М. Темпоральный универсум и его познание. М., 2000.  

Аристотель . Соч.: в 4 т. М., 1976-1984. Т. 2. С. 99-102.  

Великие тайны прошлого // Reader's Digest, 1996.

Гильберт Д. , Бернайс П . Основания математики. Логические исчисления и формализация арифметики. М., 1979.  

Гильберт Д. , Бернайс П . Основания математики. Теория доказательств. М., 1982.

Гранатовский Э. А . Послесловие // Бойс М . Зороастрийцы. Верования и обычаи. М., 1988.  

Драгалин А. Г . Математический интуиционизм. М., 1979.  

Карпенко А. С . Фатализм и случайность будущего: Логический анализ. М., 1990.  

Лейстнер Л. , Буйташ П. Химия в криминалистике. M., 1990.

Логика и компьютер. Вып. 3. Доказательство и его поиск. М., 1996.

Лукасевич Я. О детерминизме // Логические исследования. Вып. 2. М., 1993.

Молчанов Ю. Б. Проблема времени в современной науке. М., 1990.

Смирнов В. А . Формальный вывод и логические исчисления. М., 1972.

Рекомендуем скачать другие рефераты по теме: доклад по обж, реферат вода.





Предыдущая страница реферата | 1  2  3  4  5  6 | Следующая страница реферата