Universal logic

Universal Logic is an emerging interdisciplinary field involving logic, non-classical logic, categorical logic, set theory, foundation of logic, and the philosophy and history of logic. The goal of the field is to develop an understanding of the nature of different types of logic. The expression Universal logic was coined by analogy with the expression Universal algebra by Jean-Yves Béziau. The aim was to develop Universal logic as a field of <a href="/facts/Logic/8JnpJLtt">logic</a> that studies the features common to all logical systems, aiming to be to logic what <a href="/facts/Universal_algebra/uMJAL6ER">Universal algebra</a> is to <a href="/facts/Algebra/nMdqczjo">algebra</a>, and guided by the features of "unity, generality, abstraction, and undetermination". A number of approaches to universal logic in this sense have been proposed since the twentieth century, using <a href="/facts/Model_theoretic/vLWVV8sQ">model theoretic</a> and <a href="/facts/Category_theory/6zS3DXPa">categorical</a> approaches.

Universal logic open-in-new

Universal logic