What is the logic of propositional identity?
DOI:
https://doi.org/10.12775/LLP.2006.001Keywords
propositions, identity, entailment, canceling-out, Geach, Prior, QuineAbstract
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.References
Anderson, A.R., and N.D. Belnap, Jr., Entailment, Princeton University Press, Princeton, 1975.
Bloom, S.L., and R. Suszko, “Investigations into the Sentential Calculus with Identity”, Notre Dame Journal of Formal Logic 13 (3): 289–308, 1972.
Geach, P., Reference and Generality. Emended Edition, Cornell University Press, Ithaca, 1968.
Hugly, P., and C. Sayward, Intensionality and Truth, Kluwer Academic Press, Dordrecht, 1996.
Prior, A.N., “Oratio Obligua”, Proceedings of the Aristotelian Society, Supplementary Volume 37: 115–26, 1963.
Prior, A.N., “The Correspondence Theory of Truth”, in: Encyclopedia of Philosophy, edited by Paul Edwards, Macmillan, New York and London, 1967.
Prior, A.N., Objects of Thought, edited by P.Geach and A.Kenny, Clarendon Press, Oxford, 1971.
Prior, A.N., Papers in Logic and Ethics, edited by P.Geach and A.Kenny, Duckworth, London, 1976.
Suszko, R., “Ontology in the Tractatus of Wittgenstein”, Notre Dame Journal of Formal Logic 9 (1): 7–33, 1968.
Quine, W.V., Mathematical Logic, Harvard University Press, Cambridge, 1947.
Wittgenstein, L., Tractatus Logico-Philosophicus. Introduction by B. Russell. Translated by C.K. Ogden. Routledge & Kegan Paul, London, 1922.
Downloads
Published
How to Cite
Issue
Section
Stats
Number of views and downloads: 909
Number of citations: 0
