# The Cube, the Square and the Problem of Existential Import

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

**Abstract**

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.

**Keywords**

**Categories**

(categorize this paper)

**ISBN(s)**

**PhilPapers/Archive ID**

CHATCT-3

**Revision history**

Archival date: 2019-03-09

View upload history

View upload history

References found in this work BETA

A Natural History of Negation.Horn, Laurence

Logic Matters.Geach, P. T.

My Philosophical Development.Russell, Bertrand

Principia Mathematica. [REVIEW]Cohen, Morris R.

Sur l'opposition des concepts.Blanche, Robert

View all 12 references / Add more references

Citations of this work BETA

Existential Import in Avicenna's Modal Logic.Chatti, Saloua

Was Lewis Carroll an Amazing Oppositional Geometer?Moretti, Alessio

View all 6 citations / Add more citations

**Added to PP index**

2013-03-18

**Total views**

77 ( #24,630 of 37,985 )

**Recent downloads (6 months)**

24 ( #15,433 of 37,985 )

How can I increase my downloads?

**Monthly downloads since first upload**

*This graph includes both downloads from PhilArchive and clicks to external links.*