Does a Leaking O-Corner Save the Square?
It has been known at least since Abelard (12th century) that the classic Square of Opposition suffers from so-called undue existential import (UEI) in that this system of predicate logic collapses when the class denoted by the restrictor predicate is empty. It is usually thought that this mistake was made by Aristotle himself, but it has now become clear that this is not so: Aristotle did not have the Conversions but only one-way entailments, which ‘saves’ the Square. The error of UEI was introduced by his later commentators, especially Apuleius and Boethius. Abelard restored Aristotle’s original logic. After Abelard, some 14th- and 15th-century philosophers (mainly Buridan and Ockham) meant to save the Square by declaring the O-corner true when the restrictor class is empty. This ‘leaking O-corner analysis’, or LOCA, was taken up again around 1950 by some American philosopher-logicians, who now have a fairly large following. LOCA does indeed save the Square from logical disaster, but modern analysis shows that this makes it impossible to give a uniform semantic definition of the quantifiers, which thus become ambiguous—an intolerable state of affairs in logic. Klima (Ars Artium, Essays in Philosophical Semantics, Medieval and Modern, Institute of Philosophy, Hungarian Academy of Sciences, Budapest, 1988) and Parsons (in Zalta (ed.), The Stanford Encyclopedia of Philosophy, http://plato.standford.edu/entries/square/, 2006; Logica Univers. 2:3–11, 2008) have tried to circumvent this problem by introducing a ‘zero’ element into the ontology, standing for non-existing entities and yielding falsity when used for variable substitution. LOCA, both without and with the zero element, is critically discussed and rejected on internal logical and external ontological grounds.
KeywordsAbelard Aristotle Boethius Buridan Existential import Null element O-Corner Predicate negation Restricted quantification Square of Opposition
Mathematics Subject Classification03B65 03B50
- 2.King, P.: William of Ockham: Summa Logicae. In: Shand, J. (ed.) Central Works of Philosophy, vol. I, pp. 242–269. Acumen, Chesham (2005) Google Scholar
- 3.Klima, G.: Ars Artium. Essays in Philosophical Semantics, Medieval and Modern. Institute of Philosophy, Hungarian Academy of Sciences, Budapest (1988) Google Scholar
- 5.Parsons, T.: The traditional Square of Opposition. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy (October 1, 2006 revision). http://plato.standford.edu/entries/square/
- 8.Seuren, P.A.M.: The Logic of Language (= vol. II of Language from Within). Oxford University Press, Oxford (2010) Google Scholar
- 9.Seuren, P.A.M.: From Whorf to Montague. Oxford University Press, Oxford (to appear) Google Scholar