Универсальная логика
-
Определение и развитие универсальной логики
- Универсальная логика стремится изучать общие черты всех логических систем.
- В XX веке были предложены теоретико-модельные и категориальные подходы к универсальной логике.
- Проект Universal Logic включает в себя математический проект и другие логические мероприятия.
-
Развитие как общей теории логических систем
- Жан-Ив Безио представил современное понятие универсальной логики в 1990-х годах.
- Безио исследовал три основных подхода: абстрактная система теории моделей, топологический/категориальный подход и категориальный подход в информатике.
- Отсутствие общепринятого формального определения логики вызывает смущение среди исследователей.
-
Всемирные конгрессы и школы по универсальной логике
- Безио организует международные конгрессы и школы с 2005 года.
- Конгрессы и школы собирают исследователей и студентов для обсуждения широкого спектра тем.
- Изданы журналы и серии книг по универсальной логике, а также антология «Универсальная логика».
-
Публикации в области универсальной логики
- Издательство Birkhäuser Basel начало издавать журнал Logica Universalis в 2007 году.
- Springer выпустил серию книг «Исследования в области универсальной логики».
- В 2012 году опубликована антология «Универсальная логика».
Полный текст статьи: