Greek antiquity saw the development of two distinct systems of logic: Aristotle’s theory of the categorical syllogism and the Stoic theory of the hypothetical syllogism. Some ancient logicians argued that hypothetical syllogistic is more fundamental than categorical syllogistic on the grounds that the latter relies on modes of propositional reasoning such asreductio ad absurdum. Peripatetic logicians, by contrast, sought to establish the priority of categorical over hypothetical syllogistic by reducing various modes of propositional reasoning to categorical form. In the 17th (...) century, this Peripatetic program of reducing hypothetical to categorical logic was championed by Gottfried Wilhelm Leibniz. In an essay titledSpecimina calculi rationalis, Leibniz develops a theory of propositional terms that allows him to derive the rule ofreductio ad absurdumin a purely categorical calculus in which every proposition is of the formA is B. We reconstruct Leibniz’s categorical calculus and show that it is strong enough to establish not only the rule ofreductio ad absurdum, but all the laws of classical propositional logic. Moreover, we show that the propositional logic generated by the nonmonotonic variant of Leibniz’s categorical calculus is a natural system of relevance logic known as RMI$_{{}_ \to ^\neg }$. (shrink)

Quantum contextuality and its ontological meaning are very controversial issues, and they relate to other problems concerning the foundations of quantum theory. I address this controversy and stress the fact that contextuality is a universal topological property of quantum processes, which conflicts with the basic metaphysical assumption of the definiteness of being. I discuss the consequences of this fact and argue that generic quantum potentiality as a real physical indefiniteness has nothing in common with the classical notions of possibility and (...) counterfactuality, and that also it reverses, in a way, the classical mirror-like relation between actuality and definite possibility. (shrink)