Abstract
The purpose of the present paper is to provide a way of understanding systems of logic of essence by introducing a new semantic framework for them. Three central results are achieved: first, the now standard Fitting semantics for the propositional logic of evidence is adapted in order to provide a new, simplified semantics for the propositional logic of essence; secondly, we show how it is possible to construe the concept of necessary truth explicitly by using the concept of essential truth; finally, Fitting semantics is adapted in order to present a simplified semantics for the quantified logic of essence.
Similar content being viewed by others
References
Artemov S.: Logic of justification. Review of Symbolic Logic 1, 477–513 (2008)
Correia F.: Propositional logic of essence. Journal of Philosophical Logic 29, 295–313 (2000)
Fine K.: Essence and modality. Philosophical Perspectives 8, 1–16 (1994)
Fine K.: Ontological dependence. Proceedings of the Aristotelian Society XCV, 269–290 (1995)
Fine K.: The logic of essence. Journal of Philosophical Logic 24, 241–273 (1995)
Fine K.: Semantics for the logic of essence. Journal of Philosophical Logic 29, 543–584 (2000)
Fitting M.: The logic of proofs, semantically. Annals of Pure and Applied Logic 132, 1–25 (2005)
Hughes G.E., Cresswell M.J.: A New Introduction to Modal Logic. Routledge, London (1996)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Giordani, A. A New Semantics for Systems of Logic of Essence. Stud Logica 102, 411–440 (2014). https://doi.org/10.1007/s11225-013-9472-9
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-013-9472-9