Frege’s Distinction Between “Falling Under” and “Subordination”

Park, Woosuk

doi:10.1007/978-3-319-95147-8_2

Frege’s Distinction Between “Falling Under” and “Subordination”

Woosuk Park³

Chapter
First Online: 13 July 2018

351 Accesses

Part of the Studies in Applied Philosophy, Epistemology and Rational Ethics book series (SAPERE,volume 43)

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.

Keywords

Aristotle
“Falling under”
Frege
Predication
Subordination

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.

This is a preview of subscription content, access via your institution.

Chapter: USD 29.95; Price excludes VAT (USA)

eBook: USD 59.99; Price excludes VAT (USA)

Softcover Book: USD 74.99; Price excludes VAT (USA)

Hardcover Book: USD 109.99; Price excludes VAT (USA)

Learn about institutional subscriptions

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.
Corcoran informed me of the fact that Russell cites De Morgan (1847, 49–53) instead of Frege (Russell 1903, 64n).
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.
CrossRef Google Scholar
Ackrill, J. L. (1963). Aristotle’s categories and de interpretatione, Translated with notes and glossaries. Oxford: Clarendon Press.
Google Scholar
Angelelli, I. (1967). Studies on Gottlob Frege and traditional philosophy. Dordrecht-Holland: D. Reidel Publishing Company.
CrossRef Google Scholar
Angelelli, I. (1979). “Class as one” and “class as many”. Historia Mathematica, 6, 305–309.
CrossRef Google Scholar
Angelelli, I. (1984). Frege and abstraction. Philosophia Naturalis, 21(2–4), 453–471.
Google Scholar
Aristotle, Categories in Ackrill (1963).
Google Scholar
Bergmann, G. (1959, 1968). Frege’s hidden nominalism. In Meaning and existence (pp. 205–224). Madison: The University of Wisconsin Press.
Google Scholar
Boolos, G. (1971). The iterative conception of set. Journal of Philosophy, 68, 215–232.
CrossRef Google Scholar
Church, A. (1939, 1979). Schröder’s anticipation of the simple theory of types. Erkenntnis, 10, 407–411.
Google Scholar
Cocchiarella, N. B. (1987). Logical studies in early analytic philosophy. Columbus: Ohio State University Press.
Google Scholar
Cocchiarella, N. B. (1988). Predication versus membership in the distinction between logic as language and logic as calculus. Synthese, 77, 37–72.
CrossRef Google Scholar
Cocchiarella, N. B. (2007). Formal ontology and conceptual realism. Dordrecht: Springer.
CrossRef Google Scholar
Cocchiarella, N. B. (2015a). On predication, a conceptualist view. Forthcoming.
Google Scholar
Cocchiarella, N. B. (2015b). “Letter to Park” (personal communication).
Google Scholar
Copi, I. (1982). Introduction to logic (6th ed.). NY: Macmillan.
Google Scholar
Dedekind, R. (1872). Continuity and Irrational Numbers in Dedekind (1963), pp. 1–27.
Google Scholar
Dedekind, R. (1888). The Nature and Meaning of Numbers in Dedekind (1963), pp. 30–115.
Google Scholar
Dedekind, R. (1963). Essays on the theory of numbers (W.W. Beman, Trans.). New York: Dover.
Google Scholar
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).
Google Scholar
Frege, G. (undated). “Letter to Peano”. In G. Gabriel et al. (Eds.), (1980)
Google Scholar
Frege, G. (1884), The foundations of arithmetic, second revised edition. (J. L. Austin, Trans.) Evanston-Illinois: Northwestern University Press (1968).
Google Scholar
Frege, G. (1891). Function and concept. Geach and Black, 1952, 21–41.
Google Scholar
Frege, G. (1892). On concept and object. Geach and Black, 1952, 42–55.
Google Scholar
Frege, G. (1893). The basic laws of arithmetic (M. Furth, Trans. & Ed.). Berkeley and Los Angeles: University of California Press (1964).
Google Scholar
Frege, G. (1895). A critical elucidation of some points in Schröder’s algebra der Logik. Geach and Black, 1952, 86–106.
Google Scholar
Gabriel, G., et al. (Eds.). (1980). Gottlob Frege: Philosophical and mathematical correspondence (Ed.). Chicago: The University of Chicago Press.
Google Scholar
Geach, P., & Black, M. (Trans. & Eds.). (1952). Translations from the philosophical writings of Gottlob Frege (2nd Ed.). Oxford: Basil Blackwell (1960).
Google Scholar
Gillies, D. (1982). Frege, Dedekind and Peano on the foundations of arithmetic. Assen: Van Gorcum.
Google Scholar
Hamblin, C. L. (1970). Fallacies. London: Methuen.
Google Scholar
Hintikka, J. (1979). Frege’s hidden semantics. Revue Internationale de Philosophie, 130, 716–722.
Google Scholar
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.
CrossRef Google Scholar
Jourdain, P. E. B. (1912). Gottlob Frege. In G. Gabriel et al. (Eds.). (1980).
Google Scholar
Kant, I. (1871, 1879). Critique of pure reason. Unabridged Edition. (N. K. Smith, Trans.). New York: St. Martin’s Press (1965).
Google Scholar
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.
Google Scholar
Kluge, E.-H. W. (1980). The metaphysics of Gottlob Frege: An essay in ontological reconstruction. The Hage: Martinus Nijhoff.
CrossRef Google Scholar
Kneale, W., & Kneale, M. (1962). Development of logic. Oxford: Clarendon Press.
Google Scholar
Kremer, M. (1985). Frege’s theory of number and the distinction between function and object. Philosophical Studies, 47, 313–323.
CrossRef Google Scholar
Lambros, C. (1976). Are numbers properties of objects? Philosophical Studies, 29(1976), 381–389.
CrossRef Google Scholar
Park, W. (1990). Scotus, Frege, and Bergmann. The Modern Schoolman, 67, 259–273.
CrossRef Google Scholar
Park, W. (1992). Frege’s distinction between ‘falling under’ and ‘subordination’. Yonsei Philosophy, 4, 53–80. (in Korean).
Google Scholar
Park, W. (1997). In search of science lost: An introduction to philosophy for scientists. Seoul: Damron. (in Korean).
Google Scholar
Parsons, C. (1982). Objects and logic. Monist, 65, 491–516.
CrossRef Google Scholar
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).
Google Scholar
Porphyry. (1966). Isagoge. In Aristotelis Latinus (Vol. 1, pp. 6–7). Categoriarum, Supplementa, Desclèe de Brower, Brugels—Paris.
Google Scholar
Porphyry. (1975). Porphyry The Phoenician Isagoge. Translation, introduction and notes by E. W. Warren. Toronto: The Pontifical Institute of Mediaeval Studies.
Google Scholar
Prior, A. N. (1963). Formal logic (2nd ed.). Oxford: Clarendon Press.
CrossRef Google Scholar
Quine, W. V. (1940). Mathematical logic. Cambridge: Harvard Univ. Press.
Google Scholar
Resnik, M. D. (1980). Frege and the philosophy of mathematics. Ithaca: Cornell University Press.
Google Scholar
Russell, B. (1903). Principles of Mathematics. Cambridge: Cambridge University Press.
Google Scholar
Russell, B. (1914). Our Knowledge of the External Worls, London: George Allen and Unwin.
Google Scholar
Russell, B. (1959). My philosophical development. London: Unwin Books.
Google Scholar
Shcröder, E. (1890). Vorlesungen über die Algebra der Logik, reprinted. Bronx: Chelsea Publishing Company (1966).
Google Scholar
Sluga, H. (1980). Gottlob Frege. London: Routledge and Kegan Paul.
Google Scholar
Wang, H. (1957). The axiomatization of arithmetic. Journal of Symbolic Logic, 22, 145–158.
CrossRef Google Scholar
William of Sherwood. (1966). Introduction to logic. Translated with an introduction and notes by N. Kretzmann. Minneapolis: University of Minnesota Press.
Google Scholar

Download references

Author information

Authors and Affiliations

Humanities and Social Sciences, KAIST, Daejeon, Korea (Republic of)
Woosuk Park

Authors

Woosuk Park
View author publications
You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Woosuk Park .

Rights and permissions

Reprints and Permissions

Copyright information

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: 13 July 2018
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)