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

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)

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)

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

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.

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)

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)

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)

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)

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)

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)

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)

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

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)

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)

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.

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)

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)

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)

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)

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)

This paper is an informal presentation of the ideas presented formally in ”Relative-Sameness Counterpart Theory”. Relative-sameness relations -- such as being the same person as -- are like David Lewis’s “counterpart” relations in the following respects: (i) they may hold over time or across worlds between objects that aren’t cross-time or cross-world identical (I propose), and (ii) there are a multiplicity of them, different ones of which may be variously invoked in different contexts. They differ from his counterpart relations, however, (...) in that they are weak equivalence relations (transitive, symmetric and weakly reflexive). The likenesses to counterpart relations make them suitable for an analysis of de-re temporal and modal predications. The difference renders the resulting counterpart theory immune to standard criticisms of Lewis’s Counterpart Theory (e.g., in Hazen 1979, and Fara and Williamson 2005). The use of sameness as opposed to similarity relations in the analysis of de-re temporal and modal predication renders the resulting truth conditions as statable in terms that proponents of Kripke’s identity-based analysis can accept. (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)

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)

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)