Event Title

Aristotle and the Explosive Vegetable: Exploring Classical Thought in Modern Logic

Presenter Information

Eugene Lim, Ohio Wesleyan University

Presentation Type

Poster

Location

Schimmel/Conrades Science Center Atrium

Start Date

15-4-2015 6:15 PM

End Date

15-4-2015 7:45 PM

Disciplines

Logic and Foundations

Abstract

When we argue, we often invoke the three classical laws of thought: the law of identity, the law of excluded middle and the law of non-contradiction, without thinking too much about it. However, do these laws still apply in our modern treatment of logic? We establish that many popular systems of propositional and first-order logic, such as that proposed in the Principia Mathematica, still obey these laws, but there are still many others that do not. We discuss what happens to the consistency and completeness of those systems which reject such laws, relating to the principle of explosion and Gödel’s incompleteness theorem.

Faculty Mentor

Jeffrey Nunemacher

 
Apr 15th, 6:15 PM Apr 15th, 7:45 PM

Aristotle and the Explosive Vegetable: Exploring Classical Thought in Modern Logic

Schimmel/Conrades Science Center Atrium

When we argue, we often invoke the three classical laws of thought: the law of identity, the law of excluded middle and the law of non-contradiction, without thinking too much about it. However, do these laws still apply in our modern treatment of logic? We establish that many popular systems of propositional and first-order logic, such as that proposed in the Principia Mathematica, still obey these laws, but there are still many others that do not. We discuss what happens to the consistency and completeness of those systems which reject such laws, relating to the principle of explosion and Gödel’s incompleteness theorem.