Abstract

Aristotle counts as the founder of formal logic. The logic he develops dominated until Frege and others introduced a new logic. This new logic is taken to be more powerful and better capable of capturing inference patterns. The new logic differs from Aristotelian logic in significant respects. It has been argued by Fred Sommers and Hanoch Ben-Yami that the new logic is not well equipped as a logic of natural language, and that a logic closer to Aristotle's is better suited for this task. Each of them developed their own formalism - Sommers in form of term logic, Ben-Yami in form of his Quantified Argument Calculus (QUARC). I discuss Aristotle's logic - a term logic - and attempt a comparison between Aristotelian logic and (i) the new logic, (ii) Sommers' term logic, and (iii) Ben-Yami's QUARC. I consider differences between the systems, and show how they are related to and diverge from the new logic.