WikiDer > Абстрактная алгебраическая логика

Abstract algebraic logic

В математическая логика, абстрактная алгебраическая логика это изучение алгебраизации дедуктивные системывозникающий как абстракция известного Алгебра Линденбаума – Тарского, и как полученные алгебры связаны с логическими системами.[1]

История

Архетипическая ассоциация такого рода, одна из фундаментальных для исторического происхождения алгебраическая логика и лежит в основе всех впоследствии разработанных подтеорий, это связь между классом Булевы алгебры и классический пропозициональное исчисление. Эта связь была обнаружена Джордж Буль в 1850-х годах, а затем получили дальнейшее развитие и уточнение другими, особенно К. С. Пирс и Эрнст Шредер, с 1870-х по 1890-е гг. Эта работа завершилась Алгебры Линденбаума – Тарского, разработанный Альфред Тарский и его ученик Адольф Линденбаум в 1930-е гг. Позже Тарский и его американские ученики (в число которых входит Дон Пигоцци) продолжали открывать цилиндрическая алгебра, который алгебраизирует все классические логика первого порядка, и возродил алгебра отношений, чей модели включать все известные аксиоматические теории множеств.

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

Абстрактная алгебраическая логика это современная область алгебраической логики, которая возникла в Польше в 1950-60-е годы благодаря работам Хелена Расёва, Роман Сикорский, Ежи Лось, и Роман Сушко (чтобы назвать лишь некоторых). Он достиг своей зрелости в 1980-х годах с основополагающими публикациями польского логика. Януш Челаковски, голландский логик Вим Блок и американский логик Дон Пигоцци. Фокус абстрактной алгебраической логики сместился с изучения конкретных классов алгебр, связанных с конкретными логическими системами (в центре внимания классической алгебраической логики), к изучению:

  1. Классы алгебр, связанные с классами логических систем, все члены которых удовлетворяют определенным абстрактным логическим свойствам;
  2. Процесс, посредством которого класс алгебр становится «алгебраическим аналогом» данной логической системы;
  3. Связь между металогическими свойствами, которым удовлетворяет класс логических систем, и соответствующими алгебраическими свойствами, которым удовлетворяют их алгебраические аналоги.

Переход от классической алгебраической логики к абстрактной алгебраической логике можно сравнить с переходом от «современной» или абстрактная алгебра (т.е. изучение группы, кольца, модули, поляи т. д.) универсальная алгебра (изучение классов алгебр произвольных типов подобия (алгебраических подписи) удовлетворяющие конкретным абстрактным свойствам).

Две основные мотивации для развития абстрактной алгебраической логики тесно связаны с пунктами (1) и (3) выше. Что касается (1), критический шаг в переходе был инициирован работой Расиовой. Ее цель состояла в том, чтобы абстрагироваться от результатов и методов, которые, как известно, верны для классических пропозициональное исчисление и Булевы алгебры и некоторые другие тесно связанные логические системы таким образом, чтобы эти результаты и методы могли быть применены к гораздо более широкому разнообразию логик высказываний.

(3) во многом обязан совместной работе Блока и Пигоцци по изучению различных форм, которые хорошо известные теорема дедукции классического исчисления высказываний и логика первого порядка принимает участие в большом количестве логических систем. Они связали эти различные формы теоремы дедукции со свойствами алгебраических аналогов этих логических систем.

Абстрактная алгебраическая логика превратилась в хорошо известное подразделение алгебраической логики со многими глубокими и интересными результатами. Эти результаты объясняют многие свойства различных классов логических систем, ранее объясненные только в индивидуальном порядке или окутанные тайной. Возможно, наиболее важным достижением абстрактной алгебраической логики явилась классификация логик высказываний в иерархия, называется абстрактная алгебраическая иерархия или иерархия Лейбница, разные уровни которой примерно отражают силу связей между логикой на определенном уровне и связанным с ней классом алгебр. Положение логики в этой иерархии определяет степень, в которой эта логика может быть изучена с использованием известных алгебраических методов и приемов. Как только логика назначена на уровень этой иерархии, можно использовать мощный арсенал результатов, накопленных за последние 30 с лишним лет, управляющих алгебрами, расположенными на том же уровне иерархии.

Приведенная выше терминология может вводить в заблуждение. «Абстрактная алгебраическая логика» часто используется для обозначения подхода венгерской школы, включая Хайнал Андрека, Иштван Немети и другие. То, что в предыдущих абзацах называется «абстрактной алгебраической логикой», должно называться «алгебраической логикой». Алгебраизация систем Генцена Рамоном Янсана, Дж. Фонтом и другими является значительным улучшением по сравнению с «алгебраической логикой».

Примеры

Логическая системаАлгебраический аналог
Логика высказыванийБулевы алгебры
Интуиционистский логика высказыванийГейтинговые алгебры
Пропозициональный модальная логикаБулевы алгебры с операторами
Модальная алгебра
Логика первого порядкаЦилиндрические алгебры
Полиадическая алгебра
Логика функтора предиката
Теория множествКомбинаторная логика
Алгебра отношений
Булева алгебра

Смотрите также

Примечания

  1. ^ Шрифт, 2003 г.

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

  • Блок В., Пигоцци Д., 1989. Алгебраизируемые логики. Воспоминания АМН, 77 (396). Также доступно для скачивания с сайта Pigozzi's домашняя страница
  • Czelakowski, J., 2001. Протоалгебраическая логика. Kluwer. ISBN 0-7923-6940-8. Считается "отличным и очень читаемым введением в область абстрактной алгебраической логики" Математические обзоры
  • Czelakowski, J. (редактор), 2018, Дон Пигоцци об абстрактной алгебраической логике, универсальной алгебре и информатике, Выдающийся вклад в журнал Logic Volume 16, Springer International Publishing, ISBN 978-3-319-74772-9
  • Шрифт, Дж. М., 2003. Абстрактная алгебраическая логика некоторых многозначных логик. В М. Фиттинг и Э. Орловска (ред.), За пределами двух: теория и приложения многозначной логики, Springer-Verlag, стр. 25–57.
  • Шрифт, Дж. М., Джансана, Р., 1996. Общая алгебраическая семантика сентенциальной логики. Конспект лекций по логике 7, Springer-Verlag. (2-е издание издано ASL в 2009 г.) Также открытый доступ в Проект Евклид
  • --------, и Пигоцци, Д., 2003 г., Обзор абстрактной алгебраической логики, Studia Logica 74: 13-79.
  • Рышард Вуйчицки (1988). Теория логических исчислений: основы теории операций следствия. Springer. ISBN 978-90-277-2785-5.
  • Андрека, Х., Немети, И .: Общая алгебраическая логика: взгляд на «что такое логика», в Д. Габбее (ред.): Что такое логическая система?, Clarendon Press, 1994, стр. 485–569.
  • Д. Пигоцци (2001). «Абстрактная алгебраическая логика». В М. Хазевинкель (ред.). Энциклопедия математики: Дополнение к тому III. Springer. С. 2–13. ISBN 1-4020-0198-3. онлайн на «Абстрактная алгебраическая логика», Энциклопедия математики, EMS Press, 2001 [1994]

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