The paper discusses sortal essentialism': the view that some sortal concepts represent essential properties of the things that fall under them. Although sortal essentialism is widely accepted, there is a dearth of theories purporting to explain why some sortals should have this characteristic. The paper examines two theories that do attempt this explanatory task, theories proposed by Baruch Brody and David Wiggins. It is argued that Brody's theory rests on an untenable principle about "de re" modality, (...) while Wiggins' theory appeals to a thesis about principles of individuation that is either unjustified, or vacuous and incapable of supporting sortal essentialism. (shrink)

What is the modal significance of sortal concepts? It is generally accepted that sortal concepts provide persistence conditions with modal implications that are de re, and not merely de dicto. I do not think that this important assumption has received the scrutiny that it deserves. In this paper, I examine the contrast between a ‘pure de dicto’ theory of the persistence conditions associated with sortal concepts and a variety of de re theories, both essentialist (...) and non-essentialist. I conclude that although there is a defensible argument against the pure de dicto theory, it has two interesting implications. First, the argument lends no support to an essentialist version of the de re theory. Secondly, it appears to support the rejection of the pure de dicto theory only by a theorist who is also a pluralist about coincidence. Hence it appears to provide no justification for the rejection of the pure de dicto theory on the part of a contingent identity theorist. (shrink)

What is the modal significance of sortal concepts? It is generally accepted that sortal concepts provide persistence conditions with modal implications that are de re, and not merely de dicto. I do not think that this important assumption has received the scrutiny that it deserves. In this paper, I examine the contrast between a ‘pure de dicto’ theory of the persistence conditions associated with sortal concepts and a variety of de re theories, both essentialist (...) and non-essentialist. I conclude that although there is a defensible argument against the pure de dicto theory, it has two interesting implications. First, the argument lends no support to an essentialist version of the de re theory. Secondly, it appears to support the rejection of the pure de dicto theory only by a theorist who is also a pluralist about coincidence. Hence it appears to provide no justification for the rejection of the pure de dicto theory on the part of a contingent identity theorist. (shrink)

Coincidence comes in two varieties – permanent and temporary. Moderate monism is the position that permanent coincidence, but not temporary coincidence, entails identity. Extreme monism is the position that even temporary coincidence entails identity. Pluralists are opponents of monism tout court. The intuitively obvious, commonsensical position is moderate monism. It is therefore important to see if it can be sustained.

We shall distinguish between sortal predication and standard predication. The former kind of predication necessarily involves sortal concepts but the latter, as it is customarily viewed, does not. It is generally thought that the only essential occurrence of a concept in a standard predication is the concept being predicated. In this paper, we shall put forward an alternative view. We shall propose to understand standard predication as a cognitive act essentially requiring sortal concepts. We shall (...) call this view conceptual predication sortalism and ground it on the basis of epistemic-semantic reasons. Concepts are understood as intersubjectively realizable capacities or abilities that fulfill particular cognitive roles, such as those of classification, categorization, individuation, and referring. (shrink)

Sortal terms, such as table or horse, are count nouns (akin to a basic-level terms). According to some theories, the meaning of sortals provides conditions for telling objects apart (individuating objects, e.g., telling one table from a second) and for identifying objects over time (e.g., determining that a particular horse at one time is the same horse at another). A number of psychologists have proposed that sortal concepts likewise provide psychologically real conditions for individuating and identifying things. (...) However, this paper reports five experiments that cast doubt on these psychological claims. Experiments 1-3 suggest that sortal concepts do not determine when an object ceases to exist and therefore do not decide when the object can no longer be identical to a later one. Experiments 4-5 similarly suggest that sortal concepts do not provide determinate conditions for individuating objects. For example, they do not always decide whether a room contains one table or two. All five experiments feature ordinary objects undergoing ordinary changes. (shrink)

A number of philosophers of language have proposed that people do not have conceptual access to‘bare particulars’, or attribute‐free individuals (e.g. Wiggins, 1980). Individuals can only be picked out under some sortal, a concept which provides principles of individuation and identity. Many advocates of this view have argued that object is not a genuine sortal concept. I will argue in this paper that a narrow sense of‘object’, namely the concept of any bounded, coherent, three‐dimensional physical object that moves (...) as a whole (Spelke, 1990) is a sortal for both infants and adults. Furthermore, object may be the infant's first sortal and more specific sortals such as cup and dog may be acquired later in the first year of life. I will discuss the implications for infant categorization studies, trying to draw a conceptual distinction between a perceptual category and a sortal, and I will speculate on how a child may construct sortal concepts such as cup and dog. (shrink)

Abstract:A number of philosophers of language have proposed that people do not have conceptual access to‘bare particulars’, or attribute‐free individuals (e.g. Wiggins, 1980). Individuals can only be picked out under some sortal, a concept which provides principles of individuation and identity. Many advocates of this view have argued thatobjectis not a genuine sortal concept. I will argue in this paper that a narrow sense of‘object’, namely the concept of any bounded, coherent, three‐dimensional physical object that moves as a (...) whole (Spelke, 1990) is a sortal for both infants and adults. Furthermore,objectmay be the infant's first sortal and more specific sortals such ascupanddogmay be acquired later in the first year of life. I will discuss the implications for infant categorization studies, trying to draw a conceptual distinction between a perceptual category and a sortal, and I will speculate on how a child may construct sortal concepts such ascupanddog. (shrink)

It has long been debated whether objects are ‘sortally’ individuated. This paper begins by clarifying some of the key terms in play—in particular, ‘sortal’, ‘individuation’, and ‘object’. The term ‘individuation’ is taken to have both a cognitive and a metaphysical sense, in the former denoting the singling out of an object in thought and in the latter a determination relation between entities. ‘Sortalism’ is defined as the doctrine that only as falling under some specific sortal concept can an (...) object be successfully singled out in thought. It is argued that such a view is too strong, but that a weaker one, ‘categorialism’, can be defended, this implying that a thinker cannot successfully single out an object in thought without having at least an implicit grasp of the criterion of identity that the object satisfies. (shrink)

Is it possible to characterize the sortal essence of Fs for a sortal concept F solely in terms of a criterion of identity C for F? That is, can the question ‘What sort of thing are Fs?’ be answered by saying that Fs are essentially those things whose identity can be assessed in terms of C? This paper presents a case study supporting a negative answer to these questions by critically examining the neo-Fregean suggestion that cardinal numbers can (...) be fully characterized as those things whose identity can be assessed in terms of one-one correspondence between concepts. (shrink)

Advocates of sortal essentialism have argued that concepts like “thing” or “object” lack the unambiguous individuative criteria necessary to play the role of genuine sortals in reference. Instead, they function as “dummy sortals” which are placeholders or incomplete designations. In disqualifying apparent placeholder sortals, however, these philosophers have posed insuperable problems for accounts of childhood conceptual development. I argue that recent evidence in psychology demonstrates that children do possess simple or basic sortals of physical objects or things. I (...) contend that these concepts provide the genuine individuative criteria necessary for reference. As a consequence, sortalism can be made compatible with the developmental facts of conceptual development. (shrink)

Sortal concepts are at the center of certain logical discussions and have played a significant role in solutions to particular problems in philosophy. Apart from logic and philosophy, the study of sortal concepts has found its place in specific fields of psychology, such as the theory of infant cognitive development and the theory of human perception. In this monograph, different formal logics for sortal concepts and sortal-related logical notions are characterized. Most of these (...) logics are intensional in nature and possess, in addition, a bidimensional character. That is, they simultaneously represent two different logical dimensions. In most cases, the dimensions are those of time and natural necessity, and, in other cases, those of time and epistemic necessity. Another feature of the logics in question concerns second-order quantification over sortal concepts, a logical notion that is also represented in the logics. Some of the logics adopt a constant domain interpretation, others a varying domain interpretation of such quantification. Two of the above bidimensional logics are philosophically grounded on predication sortalism, that is, on the philosophical view that predication necessarily requires sortal concepts. Another bidimensional logic constitutes a logic for complex sortal predicates. These three sorts of logics are among the important novelties of this work since logics with similar features have not been developed up to now, and they might be instrumental for the solution of philosophically significant problems regarding sortal predicates. The book assumes a modern variant of conceptualism as a philosophical background. For this reason, the approach to sortal predicates is in terms of sortal concepts. Concepts, in general, are here understood as intersubjective realizable cognitive capacities. The proper features of sortal concepts are determined by an analysis of the main features of sortal predicates. Posterior to this analysis, the sortal-related logical notions represented in the above logics are discussed. There is also a discussion on the extent to which the set-theoretic formal semantic systems of the book capture different aspects of the conceptualist approach to sortals. These different semantic frameworks are also related to realist and nominalist approaches to sortal predicates, and possible modifications to them are considered that might represent those alternative approaches. (shrink)

I discuss the application, to the case of sortal concepts, of Kit Fine’s conception of the species of necessary truth that he characterizes as ‘transcendental truth’. I argue for scepticism about Fine’s thesis that substance sortals are associated with transcendental truths about contingently existing individuals. My discussion has implications for the interpretation of the type of necessity that is involved in the attribution of essential properties to contingent existents. In addition, it has implications for the question whether there (...) are sortal predicates that are ‘timeless’ in their application to contingently existing individuals. (shrink)

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 \, 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. (shrink)

In his paper, “Identity Statements and Essentialism,” Loux seeks to demonstrate sortal essentialism based on Frege’s thesis that all statements of number concerning a collection require that the members fall under the same sortal concept. I shall attempt to argue that a detailed analysis of Loux’s argument reveals it as failing to imply the type of sortal dependency thesis necessary for the justification of sortal essentialism. However, if one construes the transworld identity relation as no different (...) from our run of the mill identity relation, then his argument can serve as the basis for a proof of a type of nontrivial essentialism, thereby showing that the possible worlds picture of modality is indeed committed to a robust essentialism. (shrink)

It is argued that there are ways of individuating the objects of perception without using sortal concepts. The result is an moderate anti-sortalist position on which one can single out objects using demonstrative expressions without knowing exactly what sort of thing those objects are.

Consideration of the counting and reidentification of particulars leads naturally enough to the orthodox doctrine that, “on pain of indefiniteness,” an identity statement in some way involves or presupposes a general term or “covering concept”: i.e., that the principium individuationis or criterion of identity implied depends upon the kind of thing in question. Thus it is said that an auditor understands the question whether A is the same as B only in so far as he knows, however informally or implicitly, (...) the answer to the supplementary question, “The same what?”. (shrink)

With the past and future tense propositional operators in its syntax, a formal logical system for sortal quantifiers, sortal identity and (second order) quantification over sortal concepts is formulated. A completeness proof for the system is constructed and its absolute consistency proved. The completeness proof is given relative to a notion of logical validity provided by an intensional semantic system, which assumes an approach to sortals from a modern form of conceptualism.

Individuality is an important concept in biology, yet there are many non-equivalent criteria of individuality expressed in different kinds of biological individuals. This article evaluates these different kinds in terms of their capacity to support explanatory generalizations over the systems they individuate. Viewing the problem of individuality from this perspective promotes a splitting strategy in which different kinds make different epistemic trade-offs that suit them for different explanatory roles. I argue that evolutionary individuals, interpreted as forming a functional kind, face (...) difficulties of individuation and explanatory power that are mitigated by relying on more structurally based properties and non-evolutionary kinds. 1Introduction2Kinds of Biological Individuals3Evolutionary Individuals and Functional Kinds4Evolutionary versus Non-evolutionary Kinds of Individuals 4.1Physiological individuality4.2Ecological individuality4.3Developmental individuality5Conclusion. (shrink)

One feature of vague predicates is that, as far as appearances go, they lack sharp application boundaries. I argue that we would not be able to locate boundaries even if vague predicates had sharp boundaries. I do so by developing an idealized cognitive model of a categorization faculty which has mobile and dynamic sortals (`classes', `concepts' or `categories') and formally prove that the degree of precision with which boundaries of such sortals can be located is inversely constrained by their (...) flexibility. Given the literature, it is plausible that we are appropriately like the model. Hence, an inability to locate sharp boundaries is not necessarily because there are none; boundaries could be sharp and it is plausible that we would nevertheless be unable to locate them. (shrink)

지각 내용이 개념적인지에 관한 논쟁은 지각 철학의 주요한 논쟁 중 하나로 자리매김했다. 개념주의자들은 지각적 믿음의 정당화와 지각의 개념 연관성을 들어 지각 내용은 개념적이어야 한다고 주장한다. 이들에 따르면, 비개념적 소여는 극복되어야 할 신화에 불과하다. 한편, 일군의 철학자들은 지각이 보다 원초적인 인지 활동이라는 점과 지각이 개념 독립적이라는 점을 들어 비개념주의를 지지한다. 본고는 이러한 개념주의 논쟁에서 기존의 논의들이 주목하지 않았던 ‘개념’의 새로운 기준으로 “분류적 개념(sortal concept)”를 제시하고 (비)개념주의 논쟁을 보다 명확하게 재정립하고자 한다. 인식 내용의 개념성을 다투는 논쟁에서 ‘개념’, 혹은 ‘개념적임’의 의미가 명확하지 (...) 않다면, 이는 단순히 언어적인 논쟁으로의 귀결을 피할 수 없기 때문이다. ‘개념’의 기준은 특정한 언어 공동체에서 통용되는 분류적 개념과 분류어라고 보는 것이 적합하다. 분류적 개념은 특정한 사물의 속성이나 성질을 바탕으로 정의하는 기준이며, 주체는 그것이 속한 종에 따라 사물의 본질을 상세화한다. 지각 내용이 개념적이라고 주장하는 것은 지각 단계에서 사물이 이미 분류어를 통해 정의된다고 말하는 것과 같다. 그리고 이는 로우가 정의한 “분류주의(sortalism)”에 상응한다. (shrink)

In philosophy, “singular thought” refers to our capacity to represent entities as individuals, rather than as possessors of properties. Philosophers who defend singularism argue that perception allows us to mentally latch onto objects and persons directly, without conceptualizing them as being of a certain sort. Singularists assume that singular thought forms a unified psychological kind, regardless of the nature of the individuals represented. Empirical findings on the special psychological role of persons as opposed to inanimates threaten singularism. They raise the (...) possibility that tracking individuals specifically as persons might require conceptualizing them in certain ways, for example, as persons. In this paper, we take such a possibility seriously but ultimately reject it. Instead, we propose to revise a prominent singularist theory, the theory of mental files, in order to accommodate data on the psychological distinctiveness of persons: We advocate the postulation of perceptual person-files. Perceptual tracking via person-files is different from object-tracking but also from descriptive classification under the sortal concept PERSON. (shrink)

Taking into account significant developments in the metaphysical thinking of E. J. Lowe over the past 20 years, _More Kinds of Being:A Further Study of Individuation, Identity, and the Logic of Sortal Terms_ presents a thorough reworking and expansion of the 1989 edition of _Kinds of Being_ Brings many of the original ideas and arguments put forth in _Kinds of Being_ thoroughly up to date in light of new developments Features a thorough reworking and expansion of the earlier work, (...) rather than just a new edition Reflects the author's conversion to what he calls 'the four-category ontology,' a metaphysical system that takes its inspiration from Aristotle Provides a unified discussion of individuation and identity that should prove to be essential reading for philosophers working in metaphysics. (shrink)

A formal logical system for sortal quantifiers, sortal identity and (second order) quantification over sortal concepts is formulated. The absolute consistency of the system is proved. A completeness proof for the system is also constructed. This proof is relative to a concept of logical validity provided by a semantics, which assumes as its philosophical background an approach to sortals from a modern form of conceptualism.

Within Linguistics the semantic analysis of natural languages (English, Swahili, for example) has drawn extensively on semantical concepts first formulated and studied within classical logic, principally first order logic. Nowhere has this contribution been more substantive than in the domain of quantification and variable binding. As studies of these notions in natural language have developed they have taken on a life of their own, resulting in refinements and generalizations of the classical quantifiers as well as the discovery of new (...) types of quantification which exceed the expressive capacity of the classical quantifiers. We refer the reader to Keenan and Westerståhl (1997) for an overview of results in this area. Here, we focus on one property of quantification in natural language—its inherently sortal nature—which distinguishes it from quantification in classical logic. (shrink)

The neo-Fregean account of arithmetical knowledge is centered around the abstraction principle known as Hume’s Principle: for any concepts X and Y , the number of X ’s is the same as the number of Y ’s just in case there is a 1–1 correspondence between X and Y . The Caesar Problem, originally raised by Frege in §56 of Die Grundlagen der Arithmetik , emerges in the context of the neo-Fregean programme, because, though Hume’s Principle provides a criterion (...) of identity for objects falling under the concept of Number–namely, 1–1 correspondence—the principle fails to deliver a criterion of application. That is, it fails to deliver a criterion that will tell us which objects fall under the concept Number, and so, leaves unanswered the question whether Caesar could be a number. Hale and Wright have recently offered a neo-Fregean solution to this problem. The solution appeals to the notion of a categorical sortal. This paper offers a reconstruction of their solution, which has the advantage over Hale and Wright’s original proposal of making clear what the structure of the background ontology is. In addition, it is shown that the Caesar Problem can be solved in a framework more minimal than that of Hale and Wright, viz . one that dispenses with categorical sortals. The paper ends by discussing an objection to the proposed neo-Fregean solutions, based on the idea that Leibniz’s Law gives a universal criterion of identity. This is an idea that Hale and Wright reject. However, it is shown that a solution very much in keeping with their own proposal is available, even if it is granted that Leibniz’s Law provides a universal criterion of identity. (shrink)

This review article explores several senses in which it can be held that the (actual, psychological) concept of an object is a formal concept, as opposed, here, to being a sortal concept. Some recent positions both from the philosophical and psychological literature are analyzed: Object-sortalism (Xu), quasi-sortalist reductive strategies (Bloom), qualified sortalism (Wiggins), demonstrative theories (Fodor), and anti-sortalism (Ayers).

The central claim of this paper is that the Aristotelian metaphysics of objects is incompatible with physicalism. This includes the contemporary variant of Aristotelianism I call ‘sortalism’. The core reason is that an object’s identity as an instance of a (natural) kind, as well as its consequent persistence conditions, is neither physically fundamental nor determined by what is physically fundamental. The argument for the latter appeals to what is commonly known as ‘the grounding problem’; in particular I argue that the (...) physicalist has no solution, and this requires that the physicalist jettison the traditional concept of objects having kind-specific identity and persistence conditions. (shrink)

In a recent article, I have explored the historical, mathematical, and philosophical issues related to the new theory of numerosities. The theory of numerosities provides a context in which to assign numerosities to infinite sets of natural numbers in such a way as to preserve the part-whole principle, namely if a set A is properly included in B then the numerosity of A is strictly less than the numerosity of B. Numerosities assignments differ from the standard assignment of size provided (...) by Cantor’s cardinality assignments. In this talk, I generalize some specific worries emerging from the theory of numerosities to a line of thought resulting in what I call a ‘good company’ objection to Hume’s Principle (HP). The talk has four main parts. The first takes a historical look at 19th-century attributions of equality of numbers in terms of one-one correlations and argues that there was no agreement as to how to extend such determinations to infinite sets of objects. This leads to the second part where I show that there are countably infinite many abstraction principles that are ‘good’, in the sense that they share the same virtues of HP and from which we can derive the axioms of second order arithmetic. The third part connects this material to a debate on Finite Hume Principle between Heck and MacBride and states the ‘good company’ objection. Finally, the last part gives a tentative taxonomy of possible neo-logicist responses to the ‘good company’ objection and makes a foray into the relevance of this material for the issue of cross-sortal identifications for abstractions. (shrink)

The real interest of the Kantian doctrine of categories lies in the thesis that only by being submitted to the pure concepts of understanding can objects be presented as objects.. Recently, the most authoritative research on infant cognition and infant object representations has pointed out the infant’s possession of a concept of object largely antecedent to the acquisition of kind concepts. The main objective of this paper is to try to throw some new light on Kant´s doctrine of (...) the categories by means of a comparison with the most general results of this recent psychological research on the subject. In spite of the fact that we could be tempted to consider Kant’s concepts of the object in general as having a function similar to the sortal role attributed by psychologists to the concept of object, we had better resist this temptation as long as Kantian semantics of the categories - so claims the paper – must be likened to the semantics of indexicals rather than to those of sortal terms. (shrink)