Abstract
Frege frequently complains that others are ignorant of the distinction between “falling under” and “subordination”. This criticism is not only directed against the philosophers who are under the influence of Aristotelian logic but also against the mathematicians of his time. I shall show that this distinction must be the vantage point for understanding Frege in both historical and philosophical contexts. Strangely, this distinction is not studied extensively nowadays. There are some good reasons for this. First, ironically, it is so well established as to become a triviality. Secondly, some people think that Frege’s criticism of the aggregate view of sets is outdated. Consequently, we cannot understand why this distinction was so important to Frege. In what problem situation did Frege formulate this distinction? Were there any rival theories of predication? Was this distinction an ad hoc device for Frege in order to establish other important theses? What would happen if we lack this distinction? This chapter aims at a partial answer to these questions.
An earlier much shorter version was published in Korean as Park (1992), and also reprinted as Chap. 3 of Park (1997). But this published version completely deleted Sect. 3.1 of the original version, which was submitted as a final term paper to John Corcoran’s graduate seminar entitled “History of Logic, Spring 1986, State University of New York at Buffalo”. Such a cut was rather drastic, for deleted part had dealt with the lack of the distinction between “falling under” and “subordination” in traditional logic up until the 19th century. In this paper, I shall recover it entirely. Also, I shall attempt a thorough update by incorporating more recent advances in Frege scholarship.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Ignacio Angelelli and Nino B. Cocchiarella seem to be rare exceptional cases. Angelelli devotes a chapter on this distinction, and scrutinizes the question why it was lacking in traditional philosophy. As a consequence, this chapter is full of interesting information. However, in general, he tends to presuppose the correctness of the distinction rather than contesting its merit critically. He never presents clearly what the distinction itself is. Nor does he examine Frege’s criticism of 19th century mathematicians in detail. For example, he never quotes from Dedekind’s own works (Angelelli 1967). Cocchiarella’s analysis is full of logical and philosophical insights. Since he deals with all important issues related to Frege, however, it may not be a kind introduction to the distinction between “falling under” and “subordination” for beginners or general public.
- 2.
The distinction is of early origin in the development of Frege’s thought. In several places we can find it out. For example, at the beginning of §53, he drew the distinction between properties of a concept and the mark of the concept. And, immediately he added the following explanation: “These latter (the characteristics of which make up the concept) are properties of things which fall under the concept, not of the concept” (Frege 1884, \({64^{\text{e}} }_{7}\)). Moreover, at the end of the section, he made it clear that we should not confuse the relation of one concept’s falling under (within) another higher concept with the subordination of species to genus (Frege 1884, \({65^{\text{e}}}_{7}\)).
- 3.
As John Corcoran indicates, the idea that singulars are logically equivalent to universals is not the same as the idea that “falling under” is the same as “subordination”. Following Quine, we can treat Ps as logically equivalent to ∀x(x = s ⊃ Px). Even among the schoolmen we can find a thinker who interpreted “Socrates is running” as “Everything that is Socrates is running” (Prior 1963, p. 160). In this respect, it is by no means clear why traditional logicians (in particular in the post-Renaissance period) treated singular propositions as universal propositions. If it is the result of their theory which considers “falling under” as “subordination” (i.e., as will be examined in the next section), then it is still more dubitable why it was treated that way more clearly in post-Renaissance period.
- 4.
As Cocchiarella points out, here I am leaving unexplained how traditional logicians took predication to function in E, I, O type propositions (Cocchiarella 2015b).
- 5.
The following quote from Hintikka (1981) seems extremely informative: “The sharpest specific difference between Frege’s logical notation and the ideas of his predecessors lies in his treatment of verbs for being. Such verbs are, according to Frege and his followers, ambiguous in that they have to be translated into the logical notation in at least four different ways: (i) by the identity sign ‘=’ (the ‘is’ of identity); (ii) by the existential quantifier (the ‘is’ of existence); (iii) by predicative juxtaposition (the ‘is’ of predication or the copula), and (iv) by a general implication (the ‘is’ of class inclusion). In 1914 Bertrand Russell (1914) called this fourfold distinction ‘the first serious advance in real logic since the time of the Greeks’, and it has been incorporated in all the usual systems of first-order logic (lower predicate calculus, quantification theory). Hence everybody who has been using the notation of first-order logic for the purpose of semantical representation is committed to the ambiguity of ‘is’. This applies to linguists and philosophers otherwise as unlike each other as George Lakoff, Noam Chomsky, W. V. Quine, Donald Davidson, and Ludwig Wittgenstein. Frege’s distinction has thus become one of the most widely accepted inventions of his and an integral part of most current treatments of semantics (Hintikka 1981, p. 72).
- 6.
- 7.
This distinction must originate from Aristotle. As a matter of fact, in Topics 102a 32, we can find Greek equivalent of “in eo quod quid est”. Interestingly enough, I am unable to find out Aristotle’s equivalent of “in eo quod quale est”.
- 8.
Corcoran kindly reminded me of the relevance of this distinction to my discussion. He was careful enough not to identify the distinction with the fallacy of composition. The late Charles Lambros also helped me in various ways. He was so critical of Frege that he even thought that Frege (1884) would not have argued if he had known the distinction between collective and distributive predication: “Frege’s error here is glossing over the now familiar distinction between distributive and collective predicates” (Lambros 1976, 381).
- 9.
Of course, by ‘is a part of’ Dedekind meant ‘is a subset of’, i.e., class inclusion. So, one might think that Frege was being too fast here. It seems that Frege thought that the distinction between “class inclusion” and “class membership” is not different from the distinction between “subordination” and “falling under”: “We must keep separate from one another: (a) the relation of an object (an individual) to the extension of a concept when it falls under the concept (the subter relation); (b) the relation between the extension of one concept and that of another when the first concept is subordinate to the second (the sub relation) (Geach and Black 1952, p. 106). I will deal with this point in more detail below.
- 10.
For a rather detailed examination of Frege’s criticism of Schröder, see Cocchiarella (1987, pp. 89–90).
- 11.
“Und auch ein Individuum mögenwir bezichnen als eine Klasse, welche eben nur dieses Individuum selbst enthält. Ein jedes gedankending kann zu solchen Individuum gestempelt warden….Auch jene Klasse aber, die selber eine Menge von Individuen umfasst, kann wieder al sein Gedankending und demgemäss auch al sein “Individuum” (im weiteren Sinne, z.B. “relativ” in Bezug auf höhere Klassen) hinfestellt warden (Schröder 1890, 148).
- 12.
Here I largely depend on Gillies’ presentation. Frege’s own reasoning is much more complicated.
- 13.
See Frege (1895, 97). If we mark the existence of the item as o and non-existence as x, then there are only different possibilities.
- 14.
Cocchiarella disagrees with my opinion on the ground that these distinctions are equivalent “but that is because the distinction between membership and falling-under is one of the consequences of Frege’s double-correlation thesis” (Cocchiarella 2015b).
References
Ackrill, J. L. (1957). Plato and the copula: Sophist 251–59. In G. Vlastos (Ed.), Plato: A collection of critical essays, Vol. 1: Metaphysics and epistemology (pp. 210–222). Garden City, NY: Anchor Books.
Ackrill, J. L. (1963). Aristotle’s categories and de interpretatione, Translated with notes and glossaries. Oxford: Clarendon Press.
Angelelli, I. (1967). Studies on Gottlob Frege and traditional philosophy. Dordrecht-Holland: D. Reidel Publishing Company.
Angelelli, I. (1979). “Class as one” and “class as many”. Historia Mathematica, 6, 305–309.
Angelelli, I. (1984). Frege and abstraction. Philosophia Naturalis, 21(2–4), 453–471.
Aristotle, Categories in Ackrill (1963).
Bergmann, G. (1959, 1968). Frege’s hidden nominalism. In Meaning and existence (pp. 205–224). Madison: The University of Wisconsin Press.
Boolos, G. (1971). The iterative conception of set. Journal of Philosophy, 68, 215–232.
Church, A. (1939, 1979). Schröder’s anticipation of the simple theory of types. Erkenntnis, 10, 407–411.
Cocchiarella, N. B. (1987). Logical studies in early analytic philosophy. Columbus: Ohio State University Press.
Cocchiarella, N. B. (1988). Predication versus membership in the distinction between logic as language and logic as calculus. Synthese, 77, 37–72.
Cocchiarella, N. B. (2007). Formal ontology and conceptual realism. Dordrecht: Springer.
Cocchiarella, N. B. (2015a). On predication, a conceptualist view. Forthcoming.
Cocchiarella, N. B. (2015b). “Letter to Park” (personal communication).
Copi, I. (1982). Introduction to logic (6th ed.). NY: Macmillan.
Dedekind, R. (1872). Continuity and Irrational Numbers in Dedekind (1963), pp. 1–27.
Dedekind, R. (1888). The Nature and Meaning of Numbers in Dedekind (1963), pp. 30–115.
Dedekind, R. (1963). Essays on the theory of numbers (W.W. Beman, Trans.). New York: Dover.
De Morgan, A. (1847). Formal logic or the calculus of inference necessary and probable. London: Taylor and Walton. (Elibron Classics Replica Edition published in 2005 by Adamant Media Corporation).
Frege, G. (undated). “Letter to Peano”. In G. Gabriel et al. (Eds.), (1980)
Frege, G. (1884), The foundations of arithmetic, second revised edition. (J. L. Austin, Trans.) Evanston-Illinois: Northwestern University Press (1968).
Frege, G. (1891). Function and concept. Geach and Black, 1952, 21–41.
Frege, G. (1892). On concept and object. Geach and Black, 1952, 42–55.
Frege, G. (1893). The basic laws of arithmetic (M. Furth, Trans. & Ed.). Berkeley and Los Angeles: University of California Press (1964).
Frege, G. (1895). A critical elucidation of some points in Schröder’s algebra der Logik. Geach and Black, 1952, 86–106.
Gabriel, G., et al. (Eds.). (1980). Gottlob Frege: Philosophical and mathematical correspondence (Ed.). Chicago: The University of Chicago Press.
Geach, P., & Black, M. (Trans. & Eds.). (1952). Translations from the philosophical writings of Gottlob Frege (2nd Ed.). Oxford: Basil Blackwell (1960).
Gillies, D. (1982). Frege, Dedekind and Peano on the foundations of arithmetic. Assen: Van Gorcum.
Hamblin, C. L. (1970). Fallacies. London: Methuen.
Hintikka, J. (1979). Frege’s hidden semantics. Revue Internationale de Philosophie, 130, 716–722.
Hintikka, J. (1981). Semantics: A revolt against Frege. In G. Fløistad (Ed.), Contemporary philosophy: A new survey (Vol. 1, pp. 57–82). The Hague: Martinus Nijhoff.
Jourdain, P. E. B. (1912). Gottlob Frege. In G. Gabriel et al. (Eds.). (1980).
Kant, I. (1871, 1879). Critique of pure reason. Unabridged Edition. (N. K. Smith, Trans.). New York: St. Martin’s Press (1965).
Kluge, E.-H. W. (1971). Gottlob Frege: On the Foundations of Geometry and Formal Theories of Arithmetic, translated with and Introduction by E.-H. W. Kluge, New Haven and London: Yale University Press.
Kluge, E.-H. W. (1980). The metaphysics of Gottlob Frege: An essay in ontological reconstruction. The Hage: Martinus Nijhoff.
Kneale, W., & Kneale, M. (1962). Development of logic. Oxford: Clarendon Press.
Kremer, M. (1985). Frege’s theory of number and the distinction between function and object. Philosophical Studies, 47, 313–323.
Lambros, C. (1976). Are numbers properties of objects? Philosophical Studies, 29(1976), 381–389.
Park, W. (1990). Scotus, Frege, and Bergmann. The Modern Schoolman, 67, 259–273.
Park, W. (1992). Frege’s distinction between ‘falling under’ and ‘subordination’. Yonsei Philosophy, 4, 53–80. (in Korean).
Park, W. (1997). In search of science lost: An introduction to philosophy for scientists. Seoul: Damron. (in Korean).
Parsons, C. (1982). Objects and logic. Monist, 65, 491–516.
Peano, G. (1889). The principles of arithmetic, presented by a New Method. In H.C. Kennedy (Trans. & Ed.), Selected works of Giuseppe Peano. Toronto: University of Toronto Press (1973).
Porphyry. (1966). Isagoge. In Aristotelis Latinus (Vol. 1, pp. 6–7). Categoriarum, Supplementa, Desclèe de Brower, Brugels—Paris.
Porphyry. (1975). Porphyry The Phoenician Isagoge. Translation, introduction and notes by E. W. Warren. Toronto: The Pontifical Institute of Mediaeval Studies.
Prior, A. N. (1963). Formal logic (2nd ed.). Oxford: Clarendon Press.
Quine, W. V. (1940). Mathematical logic. Cambridge: Harvard Univ. Press.
Resnik, M. D. (1980). Frege and the philosophy of mathematics. Ithaca: Cornell University Press.
Russell, B. (1903). Principles of Mathematics. Cambridge: Cambridge University Press.
Russell, B. (1914). Our Knowledge of the External Worls, London: George Allen and Unwin.
Russell, B. (1959). My philosophical development. London: Unwin Books.
Shcröder, E. (1890). Vorlesungen über die Algebra der Logik, reprinted. Bronx: Chelsea Publishing Company (1966).
Sluga, H. (1980). Gottlob Frege. London: Routledge and Kegan Paul.
Wang, H. (1957). The axiomatization of arithmetic. Journal of Symbolic Logic, 22, 145–158.
William of Sherwood. (1966). Introduction to logic. Translated with an introduction and notes by N. Kretzmann. Minneapolis: University of Minnesota Press.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this chapter
Cite this chapter
Park, W. (2018). Frege’s Distinction Between “Falling Under” and “Subordination”. In: Philosophy's Loss of Logic to Mathematics. Studies in Applied Philosophy, Epistemology and Rational Ethics, vol 43. Springer, Cham. https://doi.org/10.1007/978-3-319-95147-8_2
Download citation
DOI: https://doi.org/10.1007/978-3-319-95147-8_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-95146-1
Online ISBN: 978-3-319-95147-8
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)