The Cube, the Square and the Problem of Existential Import

History and Philosophy of Logic 34 (2):101-132 (2013)
  Copy   BIBTEX


We re-examine the problem of existential import by using classical predicate logic. Our problem is: How to distribute the existential import among the quantified propositions in order for all the relations of the logical square to be valid? After defining existential import and scrutinizing the available solutions, we distinguish between three possible cases: explicit import, implicit non-import, explicit negative import and formalize the propositions accordingly. Then, we examine the 16 combinations between the 8 propositions having the first two kinds of import, the third one being trivial and rule out the squares where at least one relation does not hold. This leads to the following results: (1) three squares are valid when the domain is non-empty; (2) one of them is valid even in the empty domain: the square can thus be saved in arbitrary domains and (3) the aforementioned eight propositions give rise to a cube, which contains two more (non-classical) valid squares and several hexagons. A classical solution to the problem of existential import is thus possible, without resorting to deviant systems and merely relying upon the symbolism of First-order Logic (FOL). Aristotle’s system appears then as a fragment of a broader system which can be developed by using FOL.

Similar books and articles

On the Aristotelian Square of Opposition.Dag Westerståhl - 2005 - In Felix Larsson (ed.), Kapten Mnemos Kolumbarium. Philosophical Communications.
Negation and Quantification in Aristotle.Michael V. Wedin - 1990 - History and Philosophy of Logic 11 (2):131-150.
Square of opposition.Author unknown - 2004 - Internet Encyclopedia of Philosophy.
The existential assumptions of traditional logic.Dwayne Hudson Mulder - 1996 - History and Philosophy of Logic 17 (1-2):141-154.
A note on existential import.Michael Böttner - 1988 - Studia Logica 47 (1):35 - 40.
Brentano’s Psychology and the Problem of Existential Import.Leo Rauch - 1968 - Philosophical Studies (Dublin) 17:121-131.
Existential Import in Cartesian Semantics.John N. Martin - 2011 - History and Philosophy of Logic 32 (3):211-239.
John Buridan.Gyula Klima - 2009 - New York: Oxford University Press.
The existential import of a proposition in aristotelian logic.John J. Morrison - 1955 - Philosophy and Phenomenological Research 15 (3):386-393.
Spatial perception via tactile sensation.Ned Block - 2003 - Trends in Cognitive Sciences 7 (7):285-286.
Existential import.H. MacColl - 1905 - Mind 14 (54):295-296.


Added to PP

320 (#41,227)

6 months
74 (#20,306)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Saloua Chatti
University of Tunis

Citations of this work

Logical Geometries and Information in the Square of Oppositions.Hans5 Smessaert & Lorenz6 Demey - 2014 - Journal of Logic, Language and Information 23 (4):527-565.
Existential import in avicenna's modal logic.Saloua Chatti - 2016 - Arabic Sciences and Philosophy 26 (1):45-71.
Logic in Opposition.Fabien Schang - 2013 - Studia Humana 2 (3):31-45.

View all 13 citations / Add more citations

References found in this work

A Natural History of Negation.Laurence R. Horn - 1989 - University of Chicago Press.
On referring.Peter F. Strawson - 1950 - Mind 59 (235):320-344.
Logic Matters.Peter Thomas Geach - 1972 - Berkeley, CA, USA: Blackwell.
A Natural History of Negation.Jon Barwise & Laurence R. Horn - 1991 - Journal of Symbolic Logic 56 (3):1103.
A Natural History of Negation.Laurence R. Horn - 1989 - Philosophy and Rhetoric 24 (2):164-168.

View all 24 references / Add more references