Propositional logic of essence

Journal of Philosophical Logic 29 (3):295-313 (2000)
  Copy   BIBTEX

Abstract

This paper presents a propositional version of Kit Fine's (quantified) logic for essentialist statements, provides it with a semantics, and proves the former adequate (i.e. sound and complete) with respect to the latter

Categories

Keywords

Reprint years

2004

DOI

10.1023/a:1004796309066

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 107,599

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A New Semantics for Systems of Logic of Essence.Alessandro Giordani - 2014 - Studia Logica 102 (3):411-440.
A Hyperintensional Logic of Non-prime Evidence.Pietro Vigiani - 2024 - Journal of Philosophical Logic 53 (3):761-788.
Semantics for the logic of essence.Kit Fine - 2000 - Journal of Philosophical Logic 29 (6):543-584.
Correia Semantics Revisited.Thomas Macaulay Ferguson - 2016 - Studia Logica 104 (1):145-173.
A Reinterpretation of the Semilattice Semantics with Applications.Yale Weiss - 2021 - Logica Universalis 15 (2):171-191.
A secondary semantics for Second Order Intuitionistic Propositional Logic.Mauro Ferrari, Camillo Fiorentini & Guido Fiorino - 2004 - Mathematical Logic Quarterly 50 (2):202-210.
The Lambek Calculus Extended with Intuitionistic Propositional Logic.Michael Kaminski & Nissim Francez - 2016 - Studia Logica 104 (5):1051-1082.
Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic.Michael Kaminski & Nissim Francez - 2014 - Studia Logica 102 (3):479-497.
A Note on Algebraic Semantics for $mathsf{S5}$ with Propositional Quantifiers.Wesley H. Holliday - 2019 - Notre Dame Journal of Formal Logic 60 (2):311-332.

Analytics

Added to PP
2009-01-28

Downloads
175 (#145,807)

6 months
17 (#223,760)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Fabrice Correia
University of Geneva

Citations of this work

Modality is Not Explainable by Essence.Carlos Romero - 2019 - Philosophical Quarterly 69 (274):121-141.
Collective Essence and Monotonicity.Justin Zylstra - 2019 - Erkenntnis 84 (5):1087-1101.
(Finean) essence and (priorean) modality.Fabrice Correia - 2007 - Dialectica 61 (1):63–84.
Making semantics for essence.Justin Zylstra - 2019 - Inquiry: An Interdisciplinary Journal of Philosophy 62 (8):859-876.

View all 14 citations / Add more citations

References found in this work

Essence and modality.Kit Fine - 1994 - Philosophical Perspectives 8 (Logic and Language):1-16.
XIV*—Ontological Dependence.Kit Fine - 1995 - Proceedings of the Aristotelian Society 95 (1):269-290.
The logic of essence.Kit Fine - 1995 - Journal of Philosophical Logic 24 (3):241 - 273.

Add more references