Войти
Универсальная логика - это область логики, которая изучает общие черты всех логических систем, стремясь быть для логики тем же, чем универсальная алгебра для алгебра. Ряд подходов к универсальной логике был предложен с двадцатого века с использованием теоретико-модельного и категориального подходов.
Корни универсальной логики могут восходить к некоторым работам Альфреда Тарского в начале двадцатого века, но современное понятие было впервые представлено в 1990-х годах швейцарским логиком Жаном -Ив Безиау. Термин «универсальная логика» также отдельно использовался логиками, такими как Ричард Сильван, и для обозначения нового типа (слабой) соответствующей логики.
В контексте, определенном Безио, три были подробно исследованы основные подходы к универсальной логике:
Хотя Логика изучалась веками, Мосаковский и др. в 2007 году отметили, что «неловко, что не существует широко приемлемого формального определения« логики ». Таким образом, эти подходы к универсальной логике направлены на рассмотрение и формализацию природы того, что можно назвать «логика» как форма «здравого рассуждения».
С 2005 года Безиау организуется звать всемирные конгрессы и школы по универсальной логике. Эти мероприятия объединяют сотни исследователей и студентов в этой области и предлагают учебные пособия и исследовательские доклады по широкому кругу вопросов.
Журнал, посвященный этой области, Logica Universalis, с Безио в качестве редактора -chief начал публиковаться (отпечаток Springer ) в 2007 году. Springer также начал публиковать серию книг по теме «Исследования универсальной логики» с Безио в качестве редактора серии.
В 2012 году была опубликована антология под названием Universal Logic, которая по-новому взглянула на эту тему. т.
