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)

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)

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)

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)

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)

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)

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

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)

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)

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)

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)

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)

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.

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)

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)

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

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.

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)

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)

We propose a new intensional semantics for modal-tense second-order languages with sortal predicates. The semantics provides a variable-domain interpretation of the second-order quantifiers. A formal logical system is characterized and proved to be sound and complete with respect to the semantics. A contemporary variant of conceptualism as a theory of universals is the philosophical background of the semantics. Justification for the variable-domain interpretation of the second-order quantifiers presupposes such a conceptualist framework.

(DRAFT: I'll update when the book is published.) 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)

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)

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)

The question whether two things can be in the same place at the same time is an ambiguous one. At least three distinct questions could be meant: Can two things simpliciter be in the same place at the same time? Can two things of the same kind be in the same place at the same time? Can two substances of the same kind be in the same place at the same time? The answers to these questions vary. In what follows, (...) all three will be discussed in the light both of recent and of classic earlier examinations of the matter. The following theses will be defended. (shrink)

An intensional semantic system for languages containing, in their logical syntax, sortal quantifiers, sortal identities, (second-order) quantifiers over sortals and the necessity operator is constructed. This semantics provides non-standard assignments to predicate expressions, which diverge in kind from the entities assigned to sortal terms by the same semantic system. The nature of the entities assigned to predicate expressions shows, at the same time, that there is an internal semantic connection between those expressions and sortal terms. A (...) formal logical system is formulated that is proved to be absolutely consistent, sound and complete with respect to the intensional semantic system. (shrink)