Aristotle's Second-Order Logic and Natural Deduction

Clarence Protin

This paper has two goals. The first goal is to show how an extension of second-order logic is a natural framework to formalize portions of Aristotle's \emph{Topics} and to bring to…