4 papers
Hegel and Modern Topology
Clarence Protin
In this paper we sketch how some fundamental concepts of modern topology (as well as logic and category theory) can be understood philosophically in the light of Hegel's Science Lo…
Natural Term Logic
Clarence Protin
In this paper we develop a formal system called Natural Term Logic (NTL). NTL aims to represent key aspects of the logical and grammatical mechanisms of natural language as well as…
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…
Quantifier Reasoning and Multiple Generality in Aristotle and Ancient Logic
Clarence Lewis Protin
Aristotelian logic and its related traditions in antiquity are often held to have been equivalent to monadic predicate logic and as such inadequate to formalize mathematics as well…