Propositional Identity and Logical Necessity

  • David B. Martens Department of Philosophy, Auburn University

Abstract

In two early papers, Max Cresswell constructed two formal logics of propositional identity, PCR and FCR, which he observed to be respectively deductively equivalent to modal logics S4 and S5. Cresswell argued informally that these equivalences respectively “give … evidence” for the correctness of S4 and S5 as logics of broadly logical necessity. In this paper, I describe weaker propositional identity logics than PCR that accommodate core intuitions about identity and I argue that Cresswell’s informal arguments do not firmly and without epistemic circularity justify accepting S4 or S5. I also describe how to formulate standard modal logics (K, S2, and their extensions) with strict equivalence as the only modal primitive.

Author Biography

David B. Martens, Department of Philosophy, Auburn University
Published
2004-03-12
How to Cite
MARTENS, David B.. Propositional Identity and Logical Necessity. The Australasian Journal of Logic, [S.l.], v. 2, mar. 2004. ISSN 1448-5052. Available at: <https://ojs.victoria.ac.nz/ajl/article/view/1763>. Date accessed: 23 may 2019. doi: https://doi.org/10.26686/ajl.v2i0.1763.