Abstract
In this chapter, we relate the different formal logical systems characterized in this work to nominalist and realist approaches to sortals. We also discuss the use of the absolute identity sign and the absolute quantifiers in the formal semantics. We argue that the way those two logical expressions occur in the semantic clauses cannot be necessarily interpreted as a reduction, by the formal semantics, of sortal identity and first-order sortal quantification.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
This is important given the fact that formal elements of a particular conceptualist second-order logic, which represents holistic conceptualism, can also be used to represent logical realism. For details, see Cocchiarella (1986).
- 2.
- 3.
We are not here specifying, and it is not necessarily to do so, whether by a predicate constant we mean a type or a token. Nominalism might favor the latter, given its strong commitment to individuals and rejection of abstract entities.
- 4.
In this tentative definition of satisfaction, the clause for relative identity may be the following: \(\models _{\mathfrak {A}}x=_{S}y\) iff \( \mathbb {A}(x)=\mathbb {A}(y)\) and \(\mathbb {A}(y)\in \ast (S),\) where ∗ = f \(\circ \mathbb {A}\) (i.e., the composition of f and \(\mathbb {A})\).
- 5.
For a representative theory of natural realism, see Armstrong (1980).
- 6.
Although we should keep in mind that a version of conceptualism exists that would adhere to clause 4, a version that we have denominated conceptual sortalism about individuals. No variant of conceptualism would exclude the empty from \(\mathbb {S}\). Thus, clause 3 will never apply to a conceptualist semantic model.
- 7.
- 8.
See Plato’s Phaedo 73A–81A and Republic 507B–507C in Hamilton and Cairns (1961).
- 9.
See Aristotle’s Categories 11 (14a8-10) in McKeon (1941). For a recent version of Aristotelian realism, see Lowe (2009). As far as concrete individuals are concerned, two of the most important theses of Lowe’s theory are that (1) every kind (or sort) is instantiated by some individual, and (2) every individual is of some kind (or sort) or other.
Kinds or sorts of individuals might be natural and non-natural in Lowe’s theory. Thus, the above theses apply to sortal predicates for natural kinds as well as for artifacts and abstract objects. Clearly, Lowe ´ s theory excludes the possibility of bare particulars.
- 10.
Lowe (2009) illustrates this form of a realism.
- 11.
- 12.
- 13.
- 14.
We should add that an important philosophical problem would be encountered if one were to attempt a reduction, on the basis of the above equivalences, of sortal identity to set-membership cum absolute identity. The reduction could not be carried out unless one would be willing to concede an infinite regress as a rationally acceptable consequence. This regress will be propelled by the fact that an assertion of set-membership will presuppose the notion of predication itself, that is, in order for the assertion to be true, one would have to predicate set-membership of one entity into another. This sort of infinite regress can also be generated by a reduction of predication to instantiation, application or falling under a concept. See Loux (1998) for a discussion on the infinite regress arguments in connection with the theory of universals.
- 15.
This is usually called pure ZF-theory.
- 16.
- 17.
This is sometimes called ZF with urelements.
- 18.
- 19.
- 20.
Jean Piaget’s theory of cognitive development points in this direction.
- 21.
Following Wittgenstein’s Tractatus metaphor, we might view the set-theoretical framework together with its absolute notions as a sort of theoretical ladder, whereby we can come to grasp the content of the formal logics for sortals. Once we are able by their means to climb to this level of understanding, we can kick such a ladder. See Wittgenstein (1998), Proposition 6.54.
- 22.
Such as Galileo’s comparison of a moon falling out of its orbit to a rock dropped from the mast of a moving ship or Rutherford’s comparison of the atom to the solar system, the analogy of sound propagation in air to the propagation of waves in water, and the hydraulic model of electric circuitry.
- 23.
Think of the concept of absolute identity itself. Its extension is intended to cover all objects. However, there is not a set of all objects in the ZF’s universe. We might want to extend ZF by adding classes, such as it is done in Von Neumann (1925). Nevertheless, we shall still find concepts whose extensions are not classes. For example, the extension of the concept class is not itself a class. Nor will the extension of absolute identity, understood as covering all objects, be a class (in Von Neumann’s sense) since if it were, it will be a member of itself, which is impossible. That is, we know that such an extension is not a set. Then, it will have to be a proper class, which means that it cannot be a member of a class, in particular, of itself. For a details on proper classes, see Maddy (1983).
- 24.
Although it is controversial the extent to which concepts for numbers are sortals, consider, for example, the concepts of ordinal and cardinal number. If they were sortal concepts, they could not be considered in their entire extensions since these extensions are not sets, and so cannot be subsets of a given universe of discourse. For a discussion of the concept of number as a sortal, see, for example, Wright (1983) and Grandy (2016).
- 25.
For a discussion on this topic, see Fitting (2015).
- 26.
As already pointed out in Sect. 8.1, this is a problem that can be generalized to all sorts of intensional logics. While some think that, at some point, a full extensional representation of intensionality will be achieved, there are others who think otherwise. A simple example where the extensional approach is problematic is that of the meaning of tautologies. Under the classical intensional set-theoretic approach, tautologies get assigned the same set-theoretic function, even though they have different meanings. Work has been done to overcome this problem, such as that of Lewis (1970). Lewis solution, however, presents problems in belief contexts. For details on how the problem of tautologies in such contexts is dealt with by a set-theoretic semantics, see Bäuerle and Cresswell (2003), and Fox and Lapin (2005).
- 27.
The formal semantics of monadic predication sets an equivalence of such a predication to membership in the set representing the extension of the predicate. Through this equivalence, as well as the semantic clause for sortal identity, one might infer the equivalence of sortal identity with the conjunction of monadic predication and absolute identity. This is the reductive proposal that has been advanced by some, as noted in Chap. 1.
- 28.
To continue with the example of Footnote 26, think of the logic of tautologies with respect to a fine-grained representation of their meaning. The fact that more factors are needed to set-theoretically represent tautologies, so as to be able to express differences in their meanings, does not nullify the logical results achieved in the different sorts of intensional logics where such differences are not set-theoretically made, such as in standard modal logic. But also consider the case of logical validity for truth-functional propositional logic with respect to logical validity of first-order logic. The fact that the former theory does not capture aspects of the latter does not invalidate the completeness and soundness results of truth-functional propositional logic.
References
Allaire, E. (1963). Bare particulars. Philosophical Studies, 14, 1–8.
Armstrong, D. M. (1980). Universals and scientific realism (Vol. 1 and 2). Cambridge: Cambridge University Press.
Bäuerle, R., & Cresswell, M. J. (2003). Propositional attitudes. In Gabbay & Guenther (2003), chapter 6 (pp. 121–141).
Bergmann, G. (1967). Realism. Madison: University of Wisconsoin Press.
Borgers, A. (1949). Development of the notion of set and of the axioms for sets. Synthese, 7, 374–390.
Cocchiarella, N. (1986). Logical investigations of predication theory and the problem of universals. Naples: Bibliopolis Press.
Cocchiarella, N. (1988). Predication vs membership in the distinction between logic as language and logic as calculus. Synthese, 77, 37–72.
Fitting, M. (2015). Intensional logic. In E. N. Zalta (Ed.), The Stanford encyclopedia of philosophy (Summer 2015 Edition). https://plato.stanford.edu/archives//sum2015/entries/logic-intensional/
Fox, C., & Lapin, S. (2005). Foundations of intensional semantics. Malden: Blackwell.
Fraenkel, A., Bar-Hillel, Y., & Levy, A. (1973). Foundations of set theory. Amsterdam/London: North Holland Publishing Co.
Grandy, R. (2016). Sortals. In E. N. Zalta (Ed.), The Stanford encyclopedia of philosophy (Winter 2016 Edition). https://plato.stanford.edu/archives//win2016/entries/sortals/
Hamilton, E., & Cairns, H. (Eds.). (1961). Plato: The collected works. New York: Pantheon Books.
Kim, J. (1998). Mind in a physical world. Cambridge: MIT Press.
Lear, J. (1977). Sets and semantics. The Journal of Philosophy, 74, 86–102.
Lewis, D. (1970). General semantics. Synthese, 22, 18–67.
Loux, M. (1998). Metaphysics. London: Routledge.
Lowe, E. (2009). More kinds of beings: A further study of individuation, identity and the logic of sortal terms. Sussex: Wiley.
Maddy, P. (1983). Proper classes. The Journal of Symbolic Logic, 48, 113–139.
McKeon, R. (1941). The basic works of Aristotle. New York: Random House.
Montague, R. (1974b). On the nature of certain philosophical entities. In Montague (1974a) (pp. 148–187).
Montague, R. (1974c). English as formal language. In Montague (1974a) (pp. 188–221).
Montague, R. (1974d). Universal grammar. In Montague (1974a) (pp. 222–246).
Montague, R. (1974e). The proper treatment of quantification in ordinary English. In Montague (1974a) (pp. 247–270).
Parsons, C. (1974). Sets and classes. Nous, 8, 1–12.
Simmons, K. (2000). Sets, classes, and extensions: A singularity approach to Russell’s Paradox. Philosophical Studies, 100, 109–149.
Sklar, L. (1967). Types of inter-theoretic reduction. The British Journal for the Philosophy of Science, 18, 109–124.
Suppes, P. (1972). Axiomatic set theory. New York: Dover.
Von Neumann, J. (1925). An axiomatization of set theory. In van Heijenoort (1967) (pp. 393–413).
Wittgenstein, L. (1998). Tractatus logico-philosophicus. New York: Dover Publications.
Wright, C. (1983). Frege’s conception of numbers as objects. Aberdeen: Aberdeen University Press.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Freund, M.A. (2019). Final Considerations. In: The Logic of Sortals. Synthese Library, vol 408. Springer, Cham. https://doi.org/10.1007/978-3-030-18278-6_8
Download citation
DOI: https://doi.org/10.1007/978-3-030-18278-6_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-18277-9
Online ISBN: 978-3-030-18278-6
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)