Existence, the square of opposites, and two-dimensional logic

Ingolf Max

DOI: http://dx.doi.org/10.12775/LLP.1994.009


Ontological commitments and other problems concerning existence arise in connection with various aspects of logical theories. The semantics of quantification theory is usually formulated in such a manner that theorems are all and only those formulae which come out true under all interpretations in all non-empty domains. There are several approaches to include the empty domain. Paradoxically this apparent semantic extension means surrendering several formulae which are valid and intuitively plausible.

Full Text:



Frege G., “Über Sinn und Bedeutung”, Zeitschrift für Philosophie und philosophische Kritik, NF 100 (1892), 25–50.

Hailperin T., “Quantification theory and empty individual domains”, The Journal of Symbolic Logic 18 (1953), 197–200.

Leblanc H., Meyer R. K., “Open formulas and the empty domain”, Zeitschrift für mathematische Logik und Grundlagen der Mathematik 12 (1969), 78–84.

Leonard H. S., “The logic of existence”, Philosophical Studies 7 (1956), 49–64.

Max I., “Zur Explikation der Modaloperatoren von S5 mittels G-Funktorenvariablen”, [in:] Logik in der Semantik – Semantik in der Logik, ed. E. Dölling, Berlin 1987, 123–133.

Mostowski A., “On the rules of proof in the pure functional calculus of the first order”, The Journal of Symbolic Logic 16 (1951), 107–111.

Quine W. V. O., “Quantification and the empty domain”, The Journal of Symbolic Logic 19 (1954), 177–179.

Strawson P. F., Introduction to Logical Theory, London 1952.

ISSN: 1425-3305 (print version)

ISSN: 2300-9802 (electronic version)

Partnerzy platformy czasopism