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)

Is it metaphysically possible for a world to contain power properties but no nonpower properties? Recently, much progress has been made by powers theorists to defend the coherence of such a possibility. But unfortunately, it remains unclear how the powers in a power world are individuated. The problem is that the most obvious principle of individuation for properties in a power world is one that is circular. In this paper, it is argued that this circularity is generated by a modal (...) assumption, which is that different families of powers exist in different possible worlds. By rejecting this assumption, a noncircular principle of individuation for power properties can be formulated. Moreover, this solution is not ad hoc because there are independent reasons for rejecting the aforementioned modal assumption. (shrink)

Philosophers who accept tropes generally agree that tropes act as the objects of reference of nominalizations of adjectives, such as 'Socrates’ wisdom' or 'the beauty of the landscape'. This paper argues that tropes play a further important role in the semantics of natural language, namely in the semantics of bare demonstratives like 'this' and 'that' in what in linguistics is called identificational sentences.

Based on the notion of a trope, this paper gives a novel analysis of identificational sentences such as 'this is Mary','this is a beautiful woman', 'this looks like Mary', or 'this is the same lump of clay, but not the same statue as that'.

Amie Thomasson has defended a view called Easy Ontology, according to which most ontological questions can be answered straightforwardly using conceptual truths and empirical knowledge. Furthermore, she claims that this deflationary meta-ontology does not commit her to any form of anti-realism. In this paper I identify a problem with Thomasson’s account of quantification, according to which everything we quantify over falls under a sortal. Thomasson’s defence of the easiness of answering ontological questions relies on a certain thesis about the hierarchical (...) order of sortals, but the case for the compatibility of Easy Ontology and realism suggests that this thesis is actually false. (shrink)

I discuss E. J. Lowe's conception of criteria of identity and sketch a different and, I think, more adequate conception. On my view, criteria of identity are some of the things we can do. They are what we do when distinguishing between single entities of the kind in question and pairs of entities of the relevant domain. And they enable us to make such distinctions because they are applicable to all single and to all pairs of entities of the relevant (...) domain but fulfilled only by all single entities of the kind in question. This feature of criteria of identity allows us to define these criteria, to explain how to identify a particular criterion of identity and to determine the logical form in which to express such identifications. (shrink)

According to the iterative conception of set, sets can be arranged in a cumulative hierarchy divided into levels. But why should we think this to be the case? The standard answer in the philosophical literature is that sets are somehow constituted by their members. In the first part of the paper, I present a number of problems for this answer, paying special attention to the view that sets are metaphysically dependent upon their members. In the second part of the paper, (...) I outline a different approach, which circumvents these problems by dispensing with the priority or dependence relation altogether. Along the way, I show how this approach enables the mathematical structuralist to defuse an objection recently raised against her view. (shrink)

In his theory of categories, Aristotle introduces a distinction between two types of universals, i.e., kinds and attributes. While attributes determine how their subjects are, kinds determine what something is: kinds represent unified ways of being which account for the existence and identity of particular objects. Since its introduction into the philosophical discussion, the concept of a kind has attracted criticism. The most important objection argues that no separate category of kinds is needed because all kinds can be reduced to (...) conjunctions of ordinary attributes. The present paper explores one possible response to this reductionist challenge on behalf of the Aristotelian—one which takes issue with the view that conjunctive properties license a reduction of kinds to attributes. The aim of this exploration is not only to defend an Aristotelian doctrine of kinds—i.e., to convey a better understanding of why we actually need an irreducible category of kinds—but also to define the Aristotelian position more precisely; i.e., to shed more light on the concept of kinds and the very the idea of kindhood. (shrink)

In his theory of categories, Aristotle introduces a distinction between two types of universals, i.e., kinds and attributes. While attributes determine how their subjects are, kinds determine what something is: kinds represent unified ways of being which account for the existence and identity of particular objects. Since its introduction into the philosophical discussion, the concept of a kind has attracted criticism. The most important objection argues that no separate category of kinds is needed because all kinds can be reduced to (...) conjunctions of ordinary attributes. The present paper explores one possible response to this reductionist challenge on behalf of the Aristotelian—one which takes issue with the view that conjunctive properties license a reduction of kinds to attributes. The aim of this exploration is not only to defend an Aristotelian doctrine of kinds—i.e., to convey a better understanding of why we actually need an irreducible category of kinds—but also to define the Aristotelian position more precisely; i.e., to shed more light on the concept of kinds and the very the idea of kindhood. (shrink)

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

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.

This book presents vigorous and wide-ranging arguments in defense of an Aristotelian metaphysical scheme along fairly orthodox Thomistic lines. The central claim is that the items that populate the world have real essences – natures that mind-independently define what each such item is. This Aristotelian essentialism, Oderberg begins by telling us, is a different doctrine from what has recently been called ‘essentialism’, and a more powerful one . For recent essentialism has treated a thing's essence as merely all those properties (...) that the thing takes with it across all possible worlds – and here modality gets presupposed in order to explain essentialness, when the order should be reversed.We can observe essences, Oderberg holds, even though the observation is indirect, and even though knowing what to make of our observations requires applying metaphysical knowledge. Positivism-inspired worries that there is something unfactual about modal claims, and hence about essences, are unfounded . Claims about essences do have factual content, but not because they merely express our concepts or our grammar, and not because they simply report empirical findings . True reports of the essences of objects articulate a metaphysical insight from Aristotle: an object's essence is a compound of its substantial form and its prime matter . Its form actuates potentialities of its matter . The laws of nature derive from essences, and hence are necessary rather than contingent . Artifacts are ‘accidental unities’ of individual substances and …. (shrink)

Some entities, such as fictional characters, propositions, properties, events and numbers are prima facie promising candidates for owing their existence to our linguistic and conceptual practices. However, it is notoriously hard to pin down just what sets such allegedly “language-created” entities apart from ordinary entities. The present paper considers some of the features that are supposed to distinguish between entities of the two kinds and argues that, on an independently plausible account of what it takes to individuate objects, the criteria (...) let in more than friends of the strategy might be happy with. (shrink)

Although it is very often taken for granted that there is something fundamental, the literature appears to have developed with little to no careful consideration of what exactly it is that the fundamentalia are supposed to do. If we are to have a good reason to believe that there is something fundamental, we need not only to know what exactly it is that the fundamentalia are invoked for, but why it is that nothing else is available for the task to (...) hand. A good argument in defense of fundamentality, then, will contain an assumption that stipulates an explanatory target; along with a second, crucial, assumption that tells us that no dependent entity is available to do the work that needs to be done. In this paper, I explore both of these assumptions. (shrink)

Overview of the (non)conceptualism debate in Kant studies.