Универсальная логика

Первоначально выражение «Универсальная логика» было придумано по аналогии с выражением «Универсальная алгебра» . Первая идея заключалась в том, чтобы развивать Универсальную логику как область логики , изучающую особенности, общие для всех логических систем, стремясь стать для логики тем же, чем Универсальная алгебра является для алгебры . Ряд подходов к универсальной логике в этом смысле был предложен с двадцатого века с использованием теоретико-модельных и категориальных подходов. Но затем проект «Универсальная логика» развился как общий проект универсальной логики, включающий в себя этот математический проект, а также множество других логических мероприятий (конгрессы, журналы, серии книг, энциклопедии, премии по логике, вебинары, канал на YouTube). ^[1]

теории логических систем Развитие универсальной логики как общей

Корни универсальной логики как общей теории логических систем могут уходить еще в некоторые работы Альфреда Тарского в начале двадцатого века, но современное понятие было впервые представлено в 1990-х годах швейцарским логиком Жан-Ивом Безио . ^[2]^[3] Термин «универсальная логика» также отдельно использовался такими логиками, как Ричард Сильван и Росс Брэди, для обозначения нового типа (слабой) релевантной логики . ^[4]

В контексте, определенном Безио, были глубоко исследованы три основных подхода к универсальной логике: ^[5]

Абстрактная система теории моделей, аксиоматизированная Джоном Барвайзом . ^[6]
топологический эскизах /категорический подход, основанный на ( иногда называемый теорией категориальных моделей), ^[7]
категориальный подход , зародившийся в компьютерных науках и основанный на Гогена и Берстолла понятии института . ^[8]

Хотя логика изучалась на протяжении веков, Моссаковски и др. в 2007 году отметили, что «вызывает смущение отсутствие широко приемлемого формального определения «логики». ^[9] Таким образом, эти подходы к универсальной логике направлены на рассмотрение и формализацию природы того, что можно назвать «логикой» как формой «здравого рассуждения». ^[9]

Всемирные конгрессы и школы универсальной по логике

С 2005 года Безио организует всемирные конгрессы и школы по универсальной логике. Эти мероприятия объединяют сотни исследователей и студентов в этой области и предлагают учебные пособия и исследовательские беседы по широкому кругу тем.

Первый Всемирный конгресс и школа по универсальной логике , 26 марта – 3 апреля 2005 г., Монтрё, Швейцария . Среди участников были Безио , Дов Габбай и Дэвид Макинсон . (Секретный докладчик: Сол Крипке .)
Второй Всемирный конгресс и школа по универсальной логике , 16–22 августа 2007 г., Сиань, Китай .
Третий Всемирный конгресс и школа по универсальной логике , 18–25 апреля 2010 г., Лиссабон, Португалия . (Секретный докладчик: Яакко Хинтикка .)
Четвертый Всемирный конгресс и школа по универсальной логике , 29 марта – 7 апреля 2013 г., Рио-де-Жанейро, Бразилия .
Пятый Всемирный конгресс и школа по универсальной логике , 20–30 июня 2015 г., Стамбул, Турция .
Шестой Всемирный конгресс и школа по универсальной логике , 16–26 июня 2018 г., Виши, Франция .
Седьмой Всемирный конгресс и школа по универсальной логике , 1–11 апреля 2022 г., Крит .

Публикации в области [ править ]

Журнал Logica Universalis , посвященный этой области, под главным редактором Безио начал издаваться издательством Birkhäuser Basel (отпечаток Springer ) в 2007 году. ^[10] Спрингер также начал публиковать серию книг на эту тему « Исследования универсальной логики» под руководством Безио в качестве редактора серии. ^[11]

В 2012 году была опубликована антология под названием Universal Logic , которая по-новому освещает эту тему. ^[12]

См. также [ править ]

Ссылки [ править ]

^ «ЮНИЛОГ» .
^ Дорога к универсальной логике: Фестиваль к 50-летию Жана-Ива Безио, том I, под редакцией Арнольда Козлоу и Артура Бухсбаума, 2014 г., Биркхойзер ISBN 978-3319101927 стр. 2–10.
^ Жан-Ив Безио, изд. (2007). Logica Universalis: к общей теории логики (2-е изд.). Спрингер. ISBN 978-3-7643-8353-4 .
^ Брэди, Р. 2006. Универсальная логика . Стэнфорд: Публикации CSLI. ISBN 1-57586-255-7 .
^ Рэзван Дьяконеску (2008). Теория институционально-независимых моделей . Биркхойзер. стр. 2–3. ISBN 978-3-7643-8707-5 .
^ Джон Барвайз. Аксиомы абстрактной теории моделей. Анналы математической логики, 7: 221–265, 1974.
^ Штеффен Левицка «Топологический подход к универсальной логике» Logica Universalis 2007 Birkhauser, стр. 35-61
^ Разван Дьяконеску, «Три десятилетия теории институтов» в Universal Logic: An Anthology под редакцией Жана-Ива Безио, 2012 Springer ISBN 978-3-0346-0144-3 , стр. 309-322.
^ Перейти обратно: ^а ^б Т. Моссаковски, Дж. А. Гоген, Р. Дьяконеску, А. Тарлецкий, «Что такое логика?», Logica Universalis 2007 Birkhauser, стр. 113–133.
^ «Логика Универсальная» .
^ «Исследования по универсальной логике» .
^ Жан-Ив Безио, изд. (2012). Универсальная логика: антология - от Пауля Герца до Дова Габбая . Спрингер. ISBN 978-3-0346-0144-3 .

Внешние ссылки [ править ]