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

• Определение и развитие универсальной логики

  • Универсальная логика стремится изучать общие черты всех логических систем. 
  • В XX веке были предложены теоретико-модельные и категориальные подходы к универсальной логике. 
  • Проект Universal Logic включает в себя математический проект и другие логические мероприятия. 

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

  • Жан-Ив Безио представил современное понятие универсальной логики в 1990-х годах. 
  • Безио исследовал три основных подхода: абстрактная система теории моделей, топологический/категориальный подход и категориальный подход в информатике. 
  • Отсутствие общепринятого формального определения логики вызывает смущение среди исследователей. 

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

  • Безио организует международные конгрессы и школы с 2005 года. 
  • Конгрессы и школы собирают исследователей и студентов для обсуждения широкого спектра тем. 
  • Изданы журналы и серии книг по универсальной логике, а также антология «Универсальная логика». 

• Публикации в области универсальной логики

  • Издательство Birkhäuser Basel начало издавать журнал Logica Universalis в 2007 году. 
  • Springer выпустил серию книг «Исследования в области универсальной логики». 
  • В 2012 году опубликована антология «Универсальная логика».