What is the Logic of Propositional Identity?

Logic and Logical Philosophy 15 (1):3-15 (2006)
  Copy   BIBTEX

Abstract

Propositional identity is not expressed by a predicate. So its logic is not given by the ordinary first order axioms for identity. What are the logical axioms governing this concept, then? Some axioms in addition to those proposed by Arthur Prior are proposed.

Similar books and articles

Identity, Structure and Logic.Jean-Yves Beziau - 1996 - Bulletin of the Section of Logic 25:89-9.
Logic: an introduction.Greg Restall - 2006 - New York: Routledge.
Identity.Giselle Walker & Elisabeth Leedham-Green (eds.) - 2010 - New York: Cambridge University Press.
Weakly Classical Theories of Identity.Joshua Schechter - 2011 - Review of Symbolic Logic 4 (4):607-644.

Analytics

Added to PP
2011-01-19

Downloads
446 (#39,515)

6 months
47 (#76,938)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Charles Sayward
University of Nebraska, Lincoln

References found in this work

Ontology in the Tractatus of L. Wittgenstein.Roman Suszko - 1968 - Notre Dame Journal of Formal Logic 9 (1):7-33.
Correspondence Theory of Truth.A. N. Prior - 1967 - In Paul Edwards (ed.), The Encyclopedia of philosophy. New York,: Macmillan.
Oratio Obliqua.A. N. Prior & A. Kenny - 1963 - Aristotelian Society Supplementary Volume 37 (1):115-146.

Add more references