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

Charles Sayward
University of Nebraska, Lincoln
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.
Keywords propositions  identity  entailment  canceling-out  Geach  Prior  Quine
Categories (categorize this paper)
DOI 10.12775/LLP.2006.001
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

References found in this work BETA

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 P. Edwards (ed.), The Encyclopedia of Philosophy, Vol. 2. Macmillan Publishing Co. &Amp; the Free Press.
Oratio Obliqua.A. N. Prior & A. Kenny - 1963 - Aristotelian Society Supplementary Volume 37 (1):115-146.

Add more references

Citations of this work BETA

No citations found.

Add more citations

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 - 2004 - Oxford, England: Routledge.
Identity.Giselle Walker & Elisabeth Leedham-Green (eds.) - 2010 - Cambridge University Press.
Weakly Classical Theories of Identity.Joshua Schechter - 2011 - Review of Symbolic Logic 4 (4):607-644.


Added to PP index

Total views
293 ( #33,461 of 2,462,330 )

Recent downloads (6 months)
8 ( #88,454 of 2,462,330 )

How can I increase my downloads?


My notes