Abstract
According to the sortal conception of the universe of individuals every individual falls under a highest sortal, or category. It is argued here that on this conception the identity relation is defined between individuals a and b if and only if a and b fall under a common category. Identity must therefore be regarded as a relation of the form \(x=_{Z}y\), with three arguments x, y, and Z, where Z ranges over categories, and where the range of x and y depends on the value of Z. An identity relation of this kind can be made good sense of in Martin-Löf’s type theory. But identity so construed requires a reformulation of Hume’s Principle that makes this principle unfit for explaining the sortal concept of cardinal number. The Neo-Logicist can therefore not appeal to the sortal conception in tackling the Julius Caesar problem, as proposed by Hale and Wright (The reason’s proper study. Oxford University Press, Oxford, pp. 335–396, 2001b).
Similar content being viewed by others
Notes
Lowe (1989b, p. 2) thinks already Locke had ‘grasped the key point that that in which identity “consists” for things of one sort (say, parcels of matter) may not be the same as that in which it “consists” for things of another sort (say, living organisms).’ It may be argued that what Frege gave were only certain suggestive remarks, spelled out in more detail by his readers Geach (1962, pp. 38–40) and Dummett (1973, e.g. pp. 75–80).
Anscombe and Geach (1961, p. 86) remark that the relevant distinction was made by Aquinas at Summa Theologica Ia. q. 39 art. 3, here in the Blackfriars translation:
nouns signify something existing as substance (per modum substantiae); adjectives, something existing as an accident (per modum accidentis), i.e. as inhering in a subject. Substance, having esse on its own, also has unity or multiplicity on its own; accordingly we put a noun in the singular or plural on the basis of the form signified by the word itself. Accidents, having esse in a subject, so also derive from it their unity or multiplicity; that is why we put adjectives in the singular or plural to agree with their subjects.
From Greek krinein, one meaning of which is ‘to judge’.
A similar notion of category has more recently been adopted by Linnebo (2005, p. 218).
Cf. e.g. the distinction drawn by Horsten (2010, p. 415) between a semantical, an epistemic, and a metaphysical take on criteria of identity.
The relation between basic domains and sorts is discussed by Klev (2014, pp. 162–167).
The reader will understand this even if no corner quotation marks are used.
For this line of argument, see Russell (1908, pp. 231–235).
This argument is, as far as I can see, not discussed by Heck (1997), who investigates Hume’s Principle in the setting of standard many-sorted logic.
The idea is suggested by Frege in § 64 of the Grundlagen. See Wright (1997, pp. 277–279) for a useful summary of the Neo-Logicist view on the matter.
I take that to be one conclusion of the techical considerations in Heck (1997, pp. 291–292, 302–304). Heck emphasizes that it is not required that the range of these variables equals the whole universe of individuals: it is both sufficient and necessary that it includes the natural numbers. Dummett’s objection goes through in any case.
References
Anscombe, G. E. M., & Geach, P. T. (1961). Three philosophers. Oxford: Basil Blackwell.
Barnes, J. (2003). Porphyry. Introduction. Translated with an introduction and commentary. Clarendon Later Ancient Philosophers. Oxford: Oxford University Press
Carnap, R. (1929). Abriss der Logistik. Vienna: Springer.
Church, A. (1940). A formulation of the simple theory of types. Journal of Symbolic Logic, 56–68.
Diller, J., & Troelstra, A. (1984). Realizability and intuitionistic logic. Synthese, 60, 253–282.
Dummett, M. (1973). Frege. Philosophy of language. London: Duckworth. Cited from the second edition (1981).
Dummett, M. (1991). Frege. Philosophy of mathematics. London: Duckworth.
Frege, G. (1884). Grundlagen der Arithmetik. Breslau: Verlag von Wilhelm Koebner.
Frege, G. (1893). Grundgesetze der Arithmetik I. Jena: Hermann Pohle.
Geach, P. T. (1962). Reference and generality. Ithaca, NY: Cornell University Press.
Granström, J. G. (2011). Treatise on intuitionistic type theory. Dordrecht: Springer.
Griffin, N. (1977). Relative identity. Oxford: Clarendon Press.
Hale, B., & Wright, C. (2000). Implicit definition and the a priori. In P. Boghossian & C. Peacocke (Eds.), New essays on the a priori (pp. 286–319). Oxford: Clarendon Press. Cited from the reprint in Hale and Wright (2001a).
Hale, B., & Wright, C. (2001a). The reason’s proper study. Oxford: Oxford University Press.
Hale, B., & Wright, C. (2001b). To bury Caesar…. In The reason’s proper study (pp. 335–396). Oxford: Oxford University Press.
Heck, R. G. (1997). The Julius Caesar objection. In R. G. Heck (Ed.), Language, thought, and logic. Essays in honour of Michael Dummett (pp. 273–308). Oxford: Oxford University Press.
Horsten, L. (2010). Impredicative identity criteria. Philosophy and Phenomenological Research, 80, 411–439.
Klev, A. (2014). Categories and logical syntax. PhD thesis, Leiden University.
Linnebo, Ø. (2005). To be is to be an \(F\). Dialectica, 59, 201–222.
Lowe, E. J. (1989a). Kinds of being. Oxford: Basil Blackwell.
Lowe, E. J. (1989b). What is a criterion of identity? The Philosophical Quarterly, 39, 1–21.
Martin-Löf, P. (1984). Intuitionistic type theory. Naples: Bibliopolis.
Nordström, B., Petersson, K., & Smith, J. M. (2000). Martin-Löf’s type theory. In S. Abramsky, D. Gabbay, & T. S. E. Maibaum (Eds.), Handbook of logic in computer science. Volume 5: Logic and algebraic methods (pp. 1–37). Oxford: Oxford University Press.
Ranta, A. (1995). Type-theoretical grammar. Oxford: Oxford University Press.
Russell, B. (1908). Mathematical logic as based on a theory of types. American Journal of Mathematics, 30, 222–262.
Schönfinkel, M. (1924). Bausteine der mathematischen Logik. Mathematische Annalen, 92, 305–316.
Stevenson, L. (1975). A formal theory of sortal quantification. Notre Dame Journal of Formal Logic, 16, 185–207.
Westerhoff, J. (2005). Ontological categories. Oxford: Oxford University Press.
Wright, C. (1997). On the philosophical significance of Frege’s Theorem. In R. G. Heck (Ed.), Language, Thought, and logic. Essays in honour of Michael Dummett (pp. 201–244). Oxford: Oxford University Press. Cited from the reprint in Hale and Wright (2001a).
Wright, C. (1998). On the harmless impredicativity of \(N^=\) (‘Hume’s Principle’). In M. Schirn (Ed.), Philosophy of mathematics today (pp. 339–368). Oxford: Oxford University Press. Cited from the reprint in Hale and Wright (2001a).
Author information
Authors and Affiliations
Corresponding author
Additional information
In writing this paper I have benefited greatly from comments on, and criticisms of, earlier drafts by Stefan Roski and three referees at Erkenntnis.
Rights and permissions
About this article
Cite this article
Klev, A. Identity and Sortals (and Caesar). Erkenn 82, 1–16 (2017). https://doi.org/10.1007/s10670-016-9801-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10670-016-9801-2