: ‘Sortalism about demonstrative reference’ is the view that the capacity to refer to things demonstratively rests on the capacity to classify them according to their kinds. This paper argues for one form of sortalism. Section 1 distinguishes two sortalist views. Section 2 argues that one of them is false. Section 3 argues that the other is true. Section 4 uses the argument from Section 3 to develop a new response to the objection to sortalism from examples where we seem (...) to succeed in referring even though we get sortal classification wrong, or do not attempt to classify at all. (shrink)

Sortal predicates have been associated with a counting process, which acts as a criterion of identity for the individuals they correctly apply to. We discuss in what sense certain types of predicates suggested by quantum physics deserve the title of ‘sortal’ as well, although they do not characterize either a process of counting or a criterion of identity for the entities that fall under them. We call such predicates ‘quantum-sortal predicates’ and, instead of a process of counting, to them is (...) associated a ‘criterion of cardinality’. After their general characterization, it is discussed how these predicates can be formally described. (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)

In a recent article, Harold Noonan argues that application conditions and criteria of identity are not distinct from one another. This seems to threaten the standard approach to distinguishing sortals from adjectival terms. I propose that his observation, while correct, does not have this consequence. I present a simple scheme for distinguishing sortals from adjectival terms. I also propose an amended version of the standard canonical form of criteria of identity.

Kit Fine has put forward a new argument for the coincidence between a statue and a clay, according to which the two differ in numerous sortalish properties that are non-modal. In this paper I offer a one-thinger response to Fine’s argument. The key to my response is the notion of sortal counterparts. Just as in the modal case we can relegate the conflicting modal properties of the statue and the clay to distinct modal counterparts, in the non-modal case we should (...) relegate the conflicting simple sortalish properties to distinct sortal counterparts. Sortal counterparts, I argue, aren’t just the conceptual tool that we need for resolving the puzzle over conflicting sortals, they also help to shed light on the idea of a sortal paradigm and how sortal generalizations can survive recalcitrant exceptions. (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)

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)

This started as a book about desire. I was hoping to complement what I had said about belief in my (2022). To believe something, I argued, is to be positioned to do, think and feel things in light of a possibility whose obtaining would make one right. I argued that believing is not representational, that belief states are not causes or causal powers, and that the objects of belief are ways the world might be and not representations of things. Believing (...) is not so much a response to the world as a way of being positioned in it, a way of having an environment, as Frege put it. (Frege 1956, 306) I was trying to put the believer as a rational agent positioned in a world at the heart of my account. I hoped an account of desire could round out this picture of a rational agent’s psychology. But as I thought about desire, I came to see that two ideas about the nature of goodness, one negative and one positive, were really at the heart of my thinking. The negative idea is that there is no such thing as what philosophers have variously called intrinsic goodness or simple goodness or absolute value. I guess I am a nihilist about that. The positive idea is that our world is rich in what I will call sortal quality, what others have called goodness-of-a-kind or attributive goodness. I came to think that sortal quality is at the heart not just of desire but also of pleasure and moral worth. A picture of moral psychology had come into view. And so I re-organised the book. I still say a lot about the nature of desire, or ‘wanting’ as I prefer to call it, and I think my view does complement my externalist view of belief. Wanting, I will argue, is a matter of falling short relative to a standard one falls under, failing to be as good as one could be. If believing is about having an environment to respond to, then desire is about fitting into it well. And so my book offers a comprehensive picture of a moral agent in a world where nothing is simply or absolutely good but where many kinds of things, including people, can be very good and even splendid. (shrink)

Sortal predicates have been associated with a counting process, which acts as a criterion of identity for the individuals they correctly apply to. We discuss in what sense certain types of predicates suggested by quantum physics deserve the title of 'sortal' as well, although they do not characterize either a process of counting or a criterion of identity for the entities that fall under them. We call such predicates 'quantum-sortal predicates' and, instead of a process of counting, to them is (...) associated a 'criterion of cardinality'. After their general characterization, it is discussed how these predicates can be formally described. (shrink)

In recent decades, a view of identity I call Sortalism has gained popularity. According to this view, if a is identical to b, then there is some sortal S such that a is the same S as b. Sortalism has typically been discussed with respect to the identity of objects. I argue that the motivations for Sortalism about object-identity apply equally well to event-identity. But Sortalism about event-identity poses a serious threat to the view that mental events are token identical (...) to physical events: A particular mental event m is identical with a particular physical event p only if there is a sortal S such that m and p are both Ss. If there is no such sortal, the doctrine of token-identity is not true. I argue here that we have no good reason for thinking that there is any such sortal. (shrink)

This paper sets out an inferentialist approach to abstract objects—arguing that it provides a deflationary account of abstracta—and draws attention to some distinctive and attractive features of the account. In brief, a consequence of the kind of semantic inferentialism developed by Brandom is that quantifiers are essentially sortally restricted. As a result, there is a plurality of particular quantifiers, a plurality of senses of ‘exists’, and a plurality of kinds of existence. The inferentialist litmus test for which senses of ‘exists’ (...) are ‘ontologically robust’ or ‘weightless’, I argue, is whether the standards of correctness and incorrectness for existence claims are internal to the linguistic practice itself, or are, in some part, external to the linguistic practice. In the former case, existence claims are responsible only to the internal rules of the linguistic practice and are ontologically weightless. In the latter case, existence claims are responsible to worldly facts and are ontologically robust. On this account, ordinary empirical claims (for example) are ontologically robust, whereas claims about mathematical objects (for example) are ontologically weightless. (shrink)

Contemporary metaphysics is dominated by the view that every object belongs to a kind permanently in the sense that it cannot cease to belong to that kind without thereby ceasing to exist. For example, some philosophers think that a person is destroyed if they cease to be a person, a statue is destroyed if it ceases to be a statue, and so on. I believe that this standard view is false. Being a person, or a statue, or etc., is like (...) being a child: just as I did not cease to exist when I ceased to be a child, so people and statues need not cease to exist when they cease to be people and statues. Borrowing a term from Daniel Korman (who uses it in a similar but perhaps not identical way), I call this view phasalism because it entails that the kind-properties which ordinary objects instantiate are phase sortal properties, i.e., kind-properties that an object can instantiate for a temporary phase of its career. This dissertation is a partial defense of phasalism. I develop a phasalist metaphysics in detail, highlighting its virtues and rebutting objections along the way. After some stage-setting (Chapter 1), I defend a phasalist criterion of identity over time for ordinary objects (Chapter 2), as well as a phasalist account of the role that sortal properties play in the identity over time of ordinary objects (Chapter 3). Then I defend a phasalist-friendly approach to the identity over time of lumps, hunks, pieces, etc. of matter (Chapter 4). The material in these chapters amounts to a phasalist solution to certain material coincidence puzzles, such as the puzzle of the statue and the piece of clay. I go on to show that familiar puzzles about undetached parts (Chapter 5) and fission (Chapter 6) can be solved within the confines of my phasalist metaphysics as well. (shrink)

Spatiotemporal and qualitative continuity are not sufficient to trace the career or path of one and the same object through its history. One needs sortal continuity, guaranteed by the form-token of the object. In this paper I concentrate on the question of sortal continuity linked to the problem of the cohabitation of objects. I intend to test whether it is possible to stick to the belief in continuants or endurers as well as the sortal dependence of identity and at the (...) same time avoid an undesirable multiplication of spatially coinciding objects, i.e., avoid the thesis of cohabitation. I abandon the philosophical view – this is the price to be paid – that the set of the material constituents making up an object is an object proper. The basic units of reality are the objects falling under sortals and not the ultimate components thereof. That a determinate piece of copper is not identical with the statue made from it, therefore, does not imply that we have a cohabitation of two numerically different objects. (shrink)

Sortal terms are an important subclass of the count terms (nonmass terms), namely, those that provide criteria for individuation and identity. These terms are all the things that mass terms are sometimes said not to be, and for this reason it is illuminating to see the ways that acquisition of such terms differs from or matches that of mass terms. Nonsortal terms, such as adjectives like _red_ and mass terms like _oatmeal_, cannot be counted unless there is some sort of (...) sortal or classifier associated with them: we can count the number of red balls in a room but not the number of “(the?) red” in a room. We can count bowls of oatmeal on the table but not “the oatmeal” on the table. The research reported here investigates how representations of sortal concepts develop in infancy and how learning count terms plays a causal role in constructing these concepts. (shrink)

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)

Among the philosophical accounts of reference, Quine’s The Roots of Reference stands out in offering an integrated account of the acquisition of linguistic reference and object individuation. Based on a non-referential ability to distinguish bodies, the acquisition of sortals and quantification are crucial steps in learning to refer to objects. In this article, we critically re-assess Quine’s account of reference. Our critique will proceed in three steps with the aim of showing that Quine effectively presupposes what he sets out (...) to explain, namely, reference to objects. We are going to argue that sortals do not individuate, that bodies are already objects, and that the acquisition of variables presupposes a notion of identity. The result is diagnostic of a central desideratum for any theory of reference: an explanation of spatiotemporal object individuation. (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)

The problem of the subject-predicte distinction has featured centrally in much of modern philosophy of language and philosophical logic. and the distinction is taken as basic or fundamental in modern philosophical logic. A sortal is a symbol which furnishes a principle of distinction and counting in its own right for particulars (objects).This book explores sortals and their relationship to the subject-predicate distinction; arguing that the nature of sortal symbols has been misconstrued in much modern writing in the philosophy of (...) logic by failing to clearly distinguish sortals from names and predicates; contending that this misconstruction has led to a failure to appreciate what makes the subject-predicate distinction possible; demonstrating logical difficulties which then follow; and expounding an account of sortal symbols which seeks to be immune from the difficulties. Exploring and challenging aspects of the work of Frege, Russell, Geach, Quine, Evans and Strawson, amongst others, Durrant also provides a new challenge to certain popular presuppositions employed in many areas of contemporary philosophical debate, and offers important insights for those studying across philosophical logic, philosophy of language, and metaphysics and epistemology, in particular. (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)

The traits that might define the nature of a sortal predicate and, more general, that of a sortal concept, are one of the main topics of this chapter. It is pointed out that a complete specification of all defining traits might, in principle, be an impossible task. For this reason, we focus on just four of the criteria that have been proposed. These are those of individuation, identity, classification and counting. We discuss these criteria and assume them as necessary features (...) of any sortal predicate. The grounds for this assumption are the different prototypes of sortal and non-sortal predicates that have guided the discussion of the subject. Other important themes considered in this chapter include sortal and absolute identity; Leibniz’s law for sortal identity; first-order sortal and absolute quantification; second-order sortal quantification; and sortal and standard predication. (shrink)

This article offers a novel, conservative account of material constitution, one that incorporates sortal essentialism and features a theory of dominant sortals. It avoids coinciding objects, temporal parts, relativizations of identity, mereological essentialism, anti-essentialism, denials of the reality of the objects of our ordinary ontology, and other departures from the metaphysic implicit in ordinary ways of thinking. Defenses of the account against important objections are found in Burke 1997, 2003, and 2004, as well as in the often neglected six (...) paragraphs that conclude section V of this article. (shrink)

It seems intuitive that in situations of perceptual recognition additional properties are represented. While much has been written about the significance of such properties for perceptual phenomenology, it is still unclear (a) what is the relation between recognition-based properties and lower-level perceptual properties, and (b) whether it is justified to classify them as kind-properties. Relying on results in cognitive psychology, I argue that recognition-based properties (I) are irreducible, high-level properties, (II) are kind properties by virtue of being sortal properties, but (...) (III) they supervene on lower-level properties and so are unlikely to be natural kind properties. (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.

A notion of an ideal sense of knowledge is introduced. A formal language for sortals with a propositional operator formally representing such a notion is then defined. The formal language will contain temporal operators as well. A formal semantics for the language is defined and on its basis three sorts of semantic validity are distinguished, which correspond to nativist and non-nativist views of concept-formation. A formal system for epistemic-radical nativism is stated. Soundness and completeness can be shown for the (...) system. The soundness and completeness proofs for non-nativist as well as partial nativist validity are left as open problems. (shrink)

The focus of this chapter is on predication sortalism, that is, the view that exercise of predication necessarily requires sortal concepts. We distinguish two interpretation of this view; one we call radical and the other moderate predication sortalism. For each of these interpretations a semantic system is characterized. Both semantics are for the bidimensional formal language of Chap. 3 and provide a non-standard interpretation of predication. We state a formal system for moderate predication sortalism and show the system to be (...) sound and complete, with respect to the semantics for moderate predication sortalism. We also indicate how to formulate a formal system for radical predication sortalism as well as show its soundness and completeness. (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)

We define a formal language for sortals with a lambda operator. By means of this language, a formal representation of the logical structure of complex sortal concepts and complex sortal predicates is possible. A formal semantics for the language is also defined together with a formal system. The system is proved to be complete and sound with respect to the semantics. Both the system and the semantics do not have commitments regarding which lambda abstracts will stand for sortal concepts. (...) The possibility of comprehension schemata for this sort of postulational commitments is discussed at the end of the chapter. (shrink)

Many philosophers believe that the criteria of identity over time for ordinary objects entail that such objects are permanent members of certain sortal kinds. The sortal kinds in question have come to be known as substance sortal kinds. But in this article, I defend a criterion of identity that is suited to phasalism, the view that alleged substance sortals are in fact phase sortals. The criterion I defend is a sortal‐weighted version of a change‐minimizing criterion first discussed by (...) Eli Hirsch. I present this criterion and then argue that it withstands attempts to show that it is inferior to non‐phasalist rivals. (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)

Recent work in natural language semantics leads to some new observations on generalized quantifiers. In § 1 we show that English quantifiers of type $ $ are booleanly generated by their generalized universal and generalized existential members. These two classes also constitute the sortally reducible members of this type. Section 2 presents our main result--the Generalized Prefix Theorem (GPT). This theorem characterizes the conditions under which formulas of the form Q1x 1⋯ Qnx nRx 1⋯ xn and q1x 1⋯ qnx nRx (...) 1⋯ xn are logically equivalent for arbitrary generalized quantifiers Qi, qi. GPT generalizes, perhaps in an unexpectedly strong form, the Linear Prefix Theorem (appropriately modified) of Keisler & Walkoe (1973). (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)

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.