Propositional Identity and Logical Necessity

Authors

  • David B. Martens Department of Philosophy, Auburn University

DOI:

https://doi.org/10.26686/ajl.v2i0.1763

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.

Downloads

Download data is not yet available.

Author Biography

David B. Martens, Department of Philosophy, Auburn University

Downloads

Published

2004-03-12