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)

: ‘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)

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)

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.

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

A wealth of literature has been devoted to the problem of developing an adequate semantic analysis of sortally incorrect statements. The motivation is clear, albeit controversial: sortally incorrect statements appear to exhibit an unusual behavior when coupled with other statements in logically complex statements. For instance, two senses of negation are distinguishable when the operation is applied to sortally incorrect statements. In this paper, I shall reopen the question of the "correct" semantic analysis of sortally incorrect statements.

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)

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)