Универсальная логика - это область логики, которая изучает особенности, общие для всех логических систем, стремясь быть для логики тем же, чем универсальная алгебра для алгебры . С двадцатого века был предложен ряд подходов к универсальной логике с использованием теоретико-модельного и категориального подходов.
Разработка
Корни универсальной логики могут восходить к некоторым работам Альфреда Тарского в начале двадцатого века, но современное понятие было впервые представлено в 1990-х годах швейцарским логиком Жан-Ивом Безио . [1] [2] Термин «универсальная логика» также отдельно использовался логиками, такими как Ричард Сильван и Росс Брэди, для обозначения нового типа (слабой) релевантной логики . [3]
В контексте, определенном Безио, были подробно исследованы три основных подхода к универсальной логике: [4]
- Система абстрактной теории моделей, аксиоматизированная Джоном Барвайзом , [5]
- топологический / категоричен подход , основанный на эскизах (иногда называют категоричной теорию модели), [6]
- категорический подход , происходящий в области компьютерных наук на основе Гогена и Burstall «ы понятия учреждения . [7]
Хотя логика изучалась веками, Мосаковски и др. В 2007 г. отметили, что «неловко, что нет широко приемлемого формального определения« логики ». [8] Таким образом, эти подходы к универсальной логике направлены на рассмотрение и формализацию природы логики. то, что можно назвать «логикой» как формой «здравого рассуждения». [8]
Всемирные конгрессы и школы универсальной логики
С 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 году. [9] Springer также начал публиковать серию книг по этой теме, Studies в Universal Logic , с Безио в качестве редактора серии. [10]
В 2012 году была опубликована антология под названием Universal Logic , которая проливает новый свет на эту тему. [11]
Смотрите также
- Абстрактная алгебраическая логика
- Концепции логики
Рекомендации
- ^ Дорога к универсальной логике: Festschrift к 50-летию Жана-Ива Безио Том I, отредактированный Арнольдом Кослоу и Артуром Бухсбаумом, 2014 Birkhäuser ISBN 978-3319101927, стр 2-10
- ^ Жан-Ив Безио, изд. (2007). Logica universalis: к общей теории логики (2-е изд.). Springer. ISBN 978-3-7643-8353-4.
- ^ Брэди, Р. 2006. Универсальная логика . Стэнфорд: публикации CSLI. ISBN 1-57586-255-7 .
- ^ Рэзван Диаконеску (2008). Теория институционально-независимых моделей . Birkhäuser. С. 2–3. ISBN 978-3-7643-8707-5.
- ^ Джон Барвайз. Аксиомы теории абстрактных моделей. Анналы математической логики, 7: 221–265, 1974
- ^ Штеффен Левицка «Топологический подход к универсальной логике» Logica Universalis 2007 Birkhauser pp 35-61
- ↑ Разван Диаконеску, «Три десятилетия теории институтов» в Универсальной логике: антология под редакцией Жана-Ива Безио, 2012 г., Springer ISBN 978-3-0346-0144-3 стр 309-322
- ^ a b Т. Мосаковски, Дж. А. Гогуэн, Р. Диаконеску, А. Тарлеки, «Что такое логика?», Logica Universalis 2007 Birkhauser, стр. 113–133.
- ^ https://www.springer.com/birkhauser/mat Mathematics / journal / 11787
- ^ https://www.springer.com/series/7391
- ^ Жан-Ив Безио, изд. (2012). Универсальная логика: антология - от Пола Герца до Дов Габбая . Springer. ISBN 978-3-0346-0144-3.
Внешние ссылки
- Logica Universalis