What is the logic of propositional identity?
DOI:
https://doi.org/10.12775/LLP.2006.001Słowa kluczowe
propositions, identity, entailment, canceling-out, Geach, Prior, QuineAbstrakt
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.Bibliografia
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.
Pobrania
Opublikowane
Jak cytować
Numer
Dział
Statystyki
Liczba wyświetleń i pobrań: 699
Liczba cytowań: 0