Универсальная логика - Universal logic
Универсальная логика - это область логики, которая изучает особенности, общие для всех логических систем, стремясь быть для логики тем же, чем универсальная алгебра для алгебры . С двадцатого века был предложен ряд подходов к универсальной логике с использованием теоретико-модельного и категориального подходов.
Разработка
Корни универсальной логики могут восходить к некоторым работам Альфреда Тарского в начале двадцатого века, но современное понятие было впервые представлено в 1990-х годах швейцарским логиком Жан-Ивом Безио . Термин «универсальная логика» также отдельно использовался логиками, такими как Ричард Сильван и Росс Брэди, для обозначения нового типа (слабой) релевантной логики .
В контексте, определенном Безио, были подробно исследованы три основных подхода к универсальной логике:
- Система абстрактной теории моделей, аксиоматизированная Джоном Барвайзом ,
- топологический / категорический подход , основанный на эскизах (иногда называемых категоричной теорией модели),
- категорический подход , происходящий в области компьютерных наук на основе Гогена и Burstall «ы понятия учреждения .
Хотя логика изучалась веками, Мосаковски и др. В 2007 году отметили, что «неловко, что нет широко приемлемого формального определения« логики ». Таким образом, эти подходы к универсальной логике направлены на рассмотрение и формализацию природы того, что может быть называется «логикой» как форма «здравого рассуждения».
Всемирные конгрессы и школы универсальной логики
С 2005 года Безиау организует всемирные конгрессы и школы универсальной логики. Эти мероприятия собирают вместе сотни исследователей и студентов в этой области и предлагают учебные пособия и исследовательские доклады по широкому кругу вопросов.
- Первый Всемирный конгресс и школа универсальной логики , 26 марта - 3 апреля 2005 г., Монтрё, Швейцария . Среди участников были Безиау , Дов Габбай и Дэвид Макинсон . (Секретный оратор: Сол Крипке .)
- Второй Всемирный конгресс и школа универсальной логики , 16–22 августа 2007 г., Сиань, Китай .
- Третий Всемирный конгресс и школа универсальной логики , 18–25 апреля 2010 г., Лиссабон, Португалия . (Секретный оратор: Яакко Хинтикка .)
- Четвертый Всемирный конгресс и школа универсальной логики , 29 марта - 7 апреля 2013 г., Рио-де-Жанейро, Бразилия .
- Пятый Всемирный конгресс и школа универсальной логики , 20–30 июня 2015 г., Стамбул, Турция .
- Шестой Всемирный конгресс и школа универсальной логики , 16–26 июня 2018 г., Виши, Франция .
Публикации в области
Журнал, посвященный этой области, Logica Universalis , с Безиау в качестве главного редактора, начал издаваться Birkhäuser Basel (отпечаток Springer ) в 2007 году. Springer также начал публиковать серию книг по этой теме, « Исследования универсальной логики». , с Безио в качестве редактора серии.
В 2012 году была опубликована антология под названием Universal Logic , которая проливает новый свет на эту тему.