Craig Warmke
Northern Illinois University
Leibniz's conceptual containment theory says that singular propositions of the form a is F are true when the complete concept of being a contains the concept of being F. In this paper, I provide a new semantics for first-order logic built around this idea. The semantics resolves longstanding problems for Leibniz's theory and can represent, without possible worlds, both hyperintensional distinctions among properties and a certain kind of presumably impossible situation that standard approaches cannot represent. The semantics also captures the strong soundness and completeness of classical first-order logic.
Keywords metaphysics  properties  logic  mereology  semantics
Categories (categorize this paper)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 51,480
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Reflexiones acerca de la necesidad lógica.Gladys Palau - 2000 - Análisis Filosófico 20 (1-2):55-72.
A Constructive Game Semantics for the Language of Linear Logic.Giorgi Japaridze - 1997 - Annals of Pure and Applied Logic 85 (2):87-156.
Negationless Intuitionism.Enrico Martino - 1998 - Journal of Philosophical Logic 27 (2):165-177.
Necessity, a Leibnizian Thesis, and a Dialogical Semantics.Mohammad Shafiei - 2017 - South American Journal of Logic 3 (1):1-23.
Relevant Implication and the Case for a Weaker Logic.Ross T. Brady - 1996 - Journal of Philosophical Logic 25 (2):151 - 183.
On Adopting Kripke Semantics in Set Theory.Luca Incurvati - 2008 - Review of Symbolic Logic 1 (1):81-96.
Leibnizian Models of Set Theory.Ali Enayat - 2004 - Journal of Symbolic Logic 69 (3):775-789.
Natural Deduction for Modal Logic with a Backtracking Operator.Jonathan Payne - 2015 - Journal of Philosophical Logic 44 (3):237-258.


Added to PP index

Total views
46 ( #203,663 of 2,330,852 )

Recent downloads (6 months)
6 ( #121,559 of 2,330,852 )

How can I increase my downloads?


My notes