Неклассическая логика - Non-classical logic

Неклассические логики (и иногда альтернативная логика) находятся формальные системы которые существенно отличаются от стандартные логические системы Такие как пропозициональный и предикат логика. Это можно сделать несколькими способами, в том числе путем расширения, отклонений и вариаций. Цель этих отклонений - дать возможность построить различные модели логическое следствие и логическая правда.^[1]

Философская логика подразумевается, что он охватывает неклассическую логику и сосредотачивается на ней, хотя этот термин имеет и другие значения.^[2] Кроме того, некоторые части теоретическая информатика можно рассматривать как использование неклассических рассуждений, хотя это варьируется в зависимости от предметной области. Например, основной логический функции (например, И, ИЛИ, НЕ и т. д.) в Информатика очень много классический в природе, что очевидно, учитывая тот факт, что они могут быть полностью описаны классическими таблицы истинности. Однако, напротив, некоторые компьютеризированные методы доказательства не может использовать классическую логику в процессе рассуждений.

Примеры неклассических логик

Существует множество видов неклассической логики, в том числе:

• Логика вычислимости представляет собой семантически построенную формальную теорию вычислимости - в отличие от классической логики, которая является формальной теорией истины - объединяет и расширяет классические, линейные и интуиционистские логики.
• Динамическая семантика интерпретирует формулы как функции обновления, открывая двери для множества неклассических вариантов поведения
• Многозначная логика отвергает двухвалентность, позволяя ценности истины кроме истинных и ложных. Самые популярные формы: трехзначная логика, изначально разработанная Ян Лукасевич, и бесконечнозначные логики, такие как нечеткая логика, которые допускают любое действительное число от 0 до 1 в качестве значения истинности.
• Интуиционистская логика отвергает закон исключенного среднего, исключение двойного отрицания, и часть Законы де Моргана;

• Линейная логика отвергает идемпотентность из логическое следствие также;
• Модальная логика расширяет классическую логику неверный функционал ("модальные") операторы.
• Непротиворечивая логика (например., логика релевантности ) отвергает принцип взрыва, и имеет близкое отношение к диалетеизм;

• Квантовая логика
• Логика релевантности, линейная логика, и немонотонная логика отвергнуть монотонность следствия;
• Нерефлексивный логика (также известная как «Логика Шредингера» ) отклоняет или ограничивает закон личности;^[3]

Классификация неклассических логик по конкретным авторам

В Девиантная логика (1974) Сьюзан Хаак разделил неклассические логики на девиантный, квази-девиантная и расширенная логика.^[4] Предлагаемая классификация не является исключительной; логика может быть как отклонением, так и продолжением классической логики.^[5] Несколько других авторов приняли основное различие между отклонением и расширением в неклассической логике.^[6][7][8] Джон П. Берджесс использует аналогичную классификацию, но называет два основных класса антиклассическими и внеклассическими.^[9] Хотя были предложены некоторые системы классификации неклассической логики, такие как, например, описанные выше Хаака и Берджесса, многие люди, изучающие неклассическую логику, игнорируют эти системы классификации. Таким образом, ни одна из систем классификации в этом разделе не должна рассматриваться как стандартная.

В расширение, новые и разные логические константы добавляются, например, "${\displaystyle \Box }$" в модальная логика, что означает «обязательно».^[6] В расширении логики

• набор правильные формулы генерируется правильный суперсет набора правильных формул, порожденных классическая логика.
• набор теоремы сгенерированный является надлежащим надмножеством набора теорем, порожденных классической логикой, но только в том смысле, что новые теоремы, порожденные расширенной логикой, являются только результатом новых хорошо сформированных формул.

(Смотрите также Консервативное расширение.)

В отклонениеиспользуются обычные логические константы, но им придается другое значение, чем обычно. Верна только часть теорем классической логики. Типичный пример - интуиционистская логика, где закон исключенного среднего не держит.^[8][9]

Кроме того, можно идентифицировать вариации (или варианты), где содержание системы остается прежним, а обозначения могут существенно измениться. Например разносторонний логика предикатов считается просто разновидностью логики предикатов.^[6]

Однако эта классификация игнорирует семантическую эквивалентность. Например, Гёдель показал, что все теоремы из интуиционистской логики имеют эквивалентную теорему в классической модальной логике S4. Результат был обобщен на суперинтуиционистская логика и расширения S4.^[10]

Теория абстрактная алгебраическая логика также предоставил средства для классификации логик, при этом большинство результатов было получено для логики высказываний. Текущая алгебраическая иерархия логики высказываний имеет пять уровней, определенных в терминах свойств их Оператор Лейбница: протоалгебраический, (конечно) эквивалентный, и (конечно) алгебраизируемый.^[11]

Рекомендации

1. Логика для философии, Теодор Сидер
2. Джон П. Берджесс (2009). Философская логика. Издательство Принстонского университета. стр. vii – viii. ISBN  978-0-691-13789-6.
3. да Коста, Ньютон (1994), "Логика Шредингера", Studia Logica, 53 (4): 533, Дои:10.1007 / BF01057649.
4. Хаак, Сьюзен (1974). Девиантная логика: некоторые философские вопросы. CUP Архив. п. 4. ISBN  978-0-521-20500-9.
5. Хаак, Сьюзен (1978). Философия логики. Издательство Кембриджского университета. п. 204. ISBN  978-0-521-29329-7.
6. Л. Т. Ф. Гамут (1991). Логика, язык и значение, Том 1: Введение в логику. Издательство Чикагского университета. С. 156–157. ISBN  978-0-226-28085-1.
7. Сэйки Акама (1997). Логика, язык и вычисления. Springer. п. 3. ISBN  978-0-7923-4376-9.
8. Роберт Ханна (2006). Рациональность и логика. MIT Press. С. 40–41. ISBN  978-0-262-08349-2.
9. Джон П. Берджесс (2009). Философская логика. Издательство Принстонского университета. С. 1–2. ISBN  978-0-691-13789-6.
10. Дов М. Габбай; Лариса Максимова (2005). Интерполяция и определимость: модальная и интуиционистская логика. Кларендон Пресс. п. 61. ISBN  978-0-19-851174-8.
11. Д. Пигоцци (2001). «Абстрактная алгебраическая логика». В М. Хазевинкель (ред.). Энциклопедия математики: Приложение III.. Springer. С. 2–13. ISBN  978-1-4020-0198-7. Также онлайн: «Абстрактная алгебраическая логика», Энциклопедия математики, EMS Press, 2001 [1994]

дальнейшее чтение

• Грэм Прист (2008). Введение в неклассическую логику: от если до есть (2-е изд.). Издательство Кембриджского университета. ISBN  978-0-521-85433-7.
• Дов М. Габбай (1998). Элементарная логика: процедурная перспектива. Prentice Hall Europe. ISBN  978-0-13-726365-3. Исправленная версия была опубликована как Д. М. Габбай (2007). Логика для искусственного интеллекта и информационных технологий. Публикации колледжа. ISBN  978-1-904987-39-0.
• Джон П. Берджесс (2009). Философская логика. Princeton University Press. ISBN  978-0-691-13789-6. Краткое введение в неклассическую логику с азбукой классической логики.
• Лу Гобл, изд. (2001). Руководство Блэквелла по философской логике. Вили-Блэквелл. ISBN  978-0-631-20693-4. В главах 7–16 рассматриваются основные неклассические логики, представляющие сегодня широкий интерес.
• Ллойд Хамберстон (2011). Связки. MIT Press. ISBN  978-0-262-01654-4. Вероятно, охватывает больше логики, чем любой другой заголовок в этом разделе; большая часть этой 1500-страничной монографии является кросс-секционной, сравнивая, как следует из названия, логические связки в различной логике; Однако аспекты разрешимости и сложности обычно опускаются.

внешняя ссылка

• Видео Грэма Приста и Морин Экерт о Deviant Logic