Is Objectual Identity Really Dispensable?
- 93 Downloads
Kai Wehmeier’s Wittgensteinian Predicate Logic (W-logic) is a formulation of first-order logic under the exclusive interpretation of the quantifiers. W-logic has a distinguished relation constant for co-reference but no sign for objectual identity. Wehmeier denies that objectual identity exists on the grounds that it cannot be a genuine binary relation. Fortunately W-logic is equi-expressive with standard first-order logic with identity and it appears that objectual identity is dispensable across the broader logical enterprise. This paper challenges the latter claim as objectual identity seems to be needed in the exclusive interpretation of quantified modal logic, specifically, for implementing certain kinds of de re quantification.
Thanks to Kai Wehmeier for several very helpful email exchanges on earlier drafts of this paper. These discussions improved the paper in innumerable ways and his intellectual generosity is most appreciated. I am also sincerely grateful for the extensive comments, both technical and philosophical, provided by the anonymous referees.
- Burgess, J. P. (2013). Saul Kripke: Puzzles and mysteries. Cambridge: Polity Press.Google Scholar
- Carnap, R. (1932/1959). The elimination of metaphysics through the logical analysis of language. In A. J. Ayer (Ed.), Logical positivism (pp. 60–81). New York: The Free Press.Google Scholar
- Kripke, S. (1971). Identity and necessity. In M. K. Munitz (Ed.), Identity and individuation (pp. 135–164). New York: NYU Press.Google Scholar
- Kripke, S. (1980). Naming and Necessity. Cambridge, MA: Harvard University Press.Google Scholar
- Menzel, C. (2015). Actualism. In E. N. Zalta (Ed.), The Stanford encyclopedia of philosophy (Spring 2015 edition). Retrieved from http://plato.stanford.edu/archives/spr2015/entries/actualism/. Accessed 01 June 2015.
- Prior, A. (1957). Time and modality. Oxford: Clarendon.Google Scholar
- Quine, W. V. O. (1953). Reference and modality. In From a logical point of view (pp. 139–159). Cambridge, MA: Harvard University Press.Google Scholar
- Russell, B. (1903). The principles of mathematics. Cambridge: Cambridge University Press.Google Scholar
- Wittgenstein, L. (1922). Tractatus logico-philosophicus (C. K. Ogden, Trans.). New York: Harcourt, Brace & Co.Google Scholar