This book articulates and defends Fregean realism, a theory of properties based on Frege's insight that properties are not objects, but rather the satisfaction conditions of predicates. Robert Trueman argues that this approach is the key not only to dissolving a host of longstanding metaphysical puzzles, such as Bradley's Regress and the Problem of Universals, but also to understanding the relationship between states of affairs, propositions, and the truth conditions of sentences. Fregean realism, Trueman suggests, ultimately leads to (...) a version of the identity theory of truth, the theory that true propositions are identical to obtaining states of affairs. In other words, the identity theory collapses the gap between mind and world. This book will be of interest to anyone working in logic, metaphysics, the philosophy of language or the philosophy of mind. (shrink)

I argue that the best scientific package is anti-Humean in its ontology, but Humean in its laws. This is because potencies and the best system account of laws complement each other surprisingly well. If there are potencies, then the BSA is the most plausible account of the laws of nature. Conversely, if the BSA is the correct theory of laws, then formulating the laws in terms of potencies rather than categorical properties avoids three serious objections: the mismatch objection, the (...) impoverished worlds objection, and the metaphysical 'oomph' objection. I argue that combining anti-Humean properties with Humean laws into a Potency-Best System Account of Laws is a powerful and science-friendly account---something that people on both sides should be able to appreciate. (shrink)

'There is much food for thought in McGinn's discussions and each chapter is rich with a series of considerations for thinking that the currently received views on the various topics have some serious difficulties that need confronting... For those interested in metaphysics and the philosophy of logic, this book will stimulate much further thought' -Mind 'The sweep of the book is broad and the pace is brisk... There is much material here to provide the basis for many a deep philosophical (...) discussion' -Mind 'Lucid and provocative little book... clear, direct and well argued' -Times Higher Education SupplementIdentity, existence, predication, necessity, and truth are fundamental philosophical concerns. Colin McGinn treats them both philosophically and logically, aiming for maximum clarity and minimum pointless formalism. He contends that there are real logical properties that challenge naturalistic metaphysical outlooks. These concepts are not definable, though we can say a good deal about how they work. The aim of Logical Properties is to bring philosophy back to philosophical logic. (shrink)

Three objections have recently been levelled at the analysis of intrinsicness offered by Rae Langton and David Lewis. While these objections do seem telling against the particular theory Langton and Lewis offer, they do not threaten the broader strategy Langton and Lewis adopt: defining intrinsicness in terms of combinatorial features of properties. I show how to amend their theory to overcome the objections without abandoning the strategy.

This paper aims to build a bridge between two areas of philosophical research, the structure of kinds and metaphysical modality. Our central thesis is that kinds typically involve super-explanatory properties, and that these properties are therefore metaphysically essential to natural kinds. Philosophers of science who work on kinds tend to emphasize their complexity, and are generally resistant to any suggestion that they have “essences”. The complexities are real enough, but they should not be allowed to obscure the way (...) that kinds are typically unified by certain core properties. We shall show how this unifying role offers a natural account of why certain properties are metaphysically essential to kinds. (shrink)

In discussions of perception and its relation to knowledge, it is common to distinguish what one comes to believe on the basis of perception from the distinctively perceptual basis of one's belief. The distinction can be drawn in terms of propositional contents: there are the contents that a perceiver comes to believe on the basis of her perception, on the one hand; and there are the contents properly attributed to perception itself, on the other. Consider the content.

2020 update of the entry "Properties".

Philosophers have long struggled to understand our perceptual experience of temporal properties such as succession, persistence and change. Indeed, strikingly, a number have felt compelled to deny that we enjoy such experience. Philosophical puzzlement arises as a consequence of assuming that, if one experiences succession or temporal structure at all, then one experiences it at a moment. The two leading types of theory of temporal awareness—specious present theories and memory theories—are best understood as attempts to explain how temporal awareness (...) is possible within the constraints of this principle. I argue that the principle is false. Neither theory of temporal awareness can be made workable unless it is rejected. Our experience of temporal phenomena cannot be understood if we attempt to break experience down into instantaneous slices. In order to understand the perception of temporal properties we must look beyond the instant. (shrink)

Are colors relational or non-relational properties of their bearers? Is red a property that is instantiated by all and only the objects with a certain intrinsic (/non-relational) nature? Or does an object with a particular intrinsic (/non-relational) nature count as red only in virtue of standing in certain relations - for example, only when it looks a certain way to a certain perceiver, or only in certain circumstances of observation? In this paper I shall argue for the view that (...) color properties are relational (henceforth, relationalism), and against the view that colors are not relational (henceforth, anti- or non-relationalism). (shrink)

For the last several decades, dispositional properties have been one of the main topics in metaphysics. Still, however, there is little agreement among contemporary metaphysicians on the nature of dispositional properties. Apparently, though, the majority of them have reached the consensus that dispositional ascriptions cannot be analysed in terms of simple counterfactual conditionals. In this paper it will be brought to light that this consensus is wrong. Specifically, I will argue that the simple conditional analysis of dispositions, which (...) is generally thought to be dead, is in fact an adequate analysis of dispositions. I will go on to discuss Mumford’s view of dispositions from the perspective of the simple conditional analysis of dispositions. (shrink)

Orthodoxy has it that only metaphysically elite properties can be invoked in scientifically elite laws. We argue that this claim does not fit scientific practice. An examination of candidate scientifically elite laws like Newton’s F = ma reveals properties invoked that are irreversibly defined and thus metaphysically non-elite by the lights of the surrounding theory: Newtonian acceleration is irreversibly defined as the second derivative of position, and Newtonian resultant force is irreversibly defined as the sum of the component (...) forces. We think that scientists are happy to invoke metaphysically non-elite properties in scientifically elite laws for reasons of convenience, such as to simplify the equations and to make them more modular. On this basis, we draw a deflationary moral about laws themselves, as being merely convenient summaries. 1 Introduction2 Orthodoxy2.1 Orthodoxy stated2.2 Orthodoxy explained2.3 A worrisome commitment: Term objectivism3 The Loose View3.1 The argument from practice3.2 Finding the scientifically elite equations3.3 Diagnosing the metaphysically non-elite properties3.4 Situating our challenge4 Newtonian Mechanics4.1 Newtonian acceleration4.2 Newtonian resultant force4.3 A metaphysical discovery?5 Objections5.1 Metaphysically elite after all?5.2 Scientifically non-elite after all?5.3 But our world is not Newtonian!6 Consequences6.1 Consequences for the motivations for link6.2 Consequences for metaphysically elite properties6.3 Consequences for lawhood. (shrink)

According to Essentialism, an object’s properties divide into those that are essential and those that are accidental. While being human is commonly thought to be essential to Socrates, being a philosopher plausibly is not. We can motivate the distinction by appealing—as we just did—to examples. However, it is not obvious how best to characterize the notion of essential property, nor is it easy to give conclusive arguments for the essentiality of a given property. In this paper, I elaborate on (...) these issues and explore the way in which essential properties behave in relation to other related properties, like sufficient-for-existence properties and individual essences. (shrink)

This paper is concerned with two concepts of qualitativeness that apply to intensional entities. I propose an account of pure qualitativeness that largely follows the traditional understanding established by Carnap, and try to shed light on its ontological presuppositions. On this account, an intensional entity is purely qualitative iff it does not ‘involve’ any particular. An alternative notion of qualitativeness—which I propose to refer to as a concept of strict qualitativeness—has recently been introduced by Chad Carmichael. However, Carmichael’s definition presupposes (...) a highly fine-grained conception of properties and relations. To eliminate this presupposition, I tentatively suggest a different definition that rests on a concept of perspicuous denotation. In the penultimate section, both concepts of qualitativeness are put to work in distinguishing between different ‘grades’ of qualitative discriminability. (shrink)

The distinction between qualitative properties like mass and shape and non-qualitative properties like being Napoleon and being next to Obama is important, but remains largely unexamined. After discussing its theoretical significance and cataloguing various kinds of non-qualitative properties, I survey several views about the nature of this distinction and argue that all proposed reductive analyses of this distinction are unsatisfactory. I then defend primitivism, according to which the distinction resists reductive analysis.

Terms such as 'wisdom' or 'happiness' are commonly held to refer to abstract objects that are properties. On the basis of a greater range of linguistic data and with the support of some ancient and medieval philosophical views, I argue that such terms do not stand for objects, but rather for kinds of tropes, entities that do not have the status of objects, but only play a role as semantic values of terms and as arguments of predicates. Such ‘non-objects’ (...) crucially differ from objects in that they are not potential bearers of properties. (shrink)

This paper defends a deflationary conception of properties, according to which a property exists if and only if there could be a predicate with appropriate satisfaction conditions. I argue that purely general properties and relations necessarily exist and discuss the bearing of this conception of properties on the interpretation of higher-order logic and on Quine's charge that higher-order logic is ‘set theory in sheep's clothing’. On my approach, the usual semantics involves a false assimilation of the logic (...) to set theory. I conclude with remarks about implications for the programme of founding mathematical theories in higher-order logic plus abstraction principles. (shrink)

Let R(X, B) denote the class of probability functions that are defined on algebra X and that represent rationally permissible degrees of certainty for a person whose total relevant background evidence is B. This paper is concerned with characterizing R(X, B) for the case in whichX is an algebra of propositions involving two properties and B is empty. It proposes necessary conditions for a probability function to be in R(X, B), some of which involve the notion of statistical dependence. (...) The class of probability functions that satisfy these conditions, here denoted PI, includes a class that Carnap once proposed for the same situation. Probability functions in PI violate Carnap's axiom of analogy but, it is argued, that axiom should be rejected. A derivation of Carnap's model by Hesse has limitations that are not present in the derivation of PI given here. Various alternative probability models are considered and rejected. (shrink)

The traditional view is that 'now’ is a pure indexical, denoting the utterance time. Yet, despite its initial appeal, the view has faced criticism. A range of data reveal 'now’ allows for discourse-bound (i.e., anaphoric) uses, and can occur felicitously with the past tense. The reaction to this has typically been to treat ‘now’ as akin to a true demonstrative, selecting the prominent time supplied by the non-linguistic context or prior discourse. We argue this is doubly mistaken. The first mistake (...) concerns the semantic value of ‘now’, which is not a time, but a state — the consequent state of a prominent event. The second is that ‘now’ is a pure indexical after all, insofar as its interpretation is determined without recourse to extra-linguistic supplementation. Specifically, we argue that any occurrence of 'now’ selects the consequent state of the most prominent event, where event-prominence is linguistically maintained through prominence-affecting updates contributed by coherence relations. Our analysis accounts straightforwardly for a wide range of discourse initial and discourse bound uses of ‘now’, while giving it a simple indexical meaning. (shrink)

Frank Jackson has argued that, given plausible claims about supervenience, descriptive predicates and property identity, there are no irreducibly normative properties. Philosophers who think that there are such properties have made several objections to this argument. In this paper, I argue that all of these objections fail. I conclude that Jackson's argument shows that there are no irreducibly normative properties.

This paper has two main aims. The first is to present a general approach for understanding “dispositional” and “categorical” properties; the second aim is to use this approach to criticize Russellian Monism. On the approach I suggest, what are usually thought of as “dispositional” and “categorical” properties are really just the extreme ends of a spectrum of options. The approach allows for a number of options between these extremes, and it is plausible, I suggest, that just about everything (...) of scientific interest falls in this middle ground. I argue that Russellian Monism depends for its plausibility on the unarticulated assumption that there are no properties in the middle ground. (shrink)

This article outlines a realist theory of aesthetic properties as higher-order manifest properties and defends it from several objections, including a possible conflict with contextualist approaches to the aesthetic properties of works of art.

After some suggestions about how to clarify the confused metaphysical distinctions between dispositional and non-dispositional or categorical properties, I review some of the main interpretations of QM in order to show that – with the relevant exception of Bohm’s minimalist interpretation – quantum ontology is irreducibly dispositional. Such an irreducible character of dispositions must be explained differently in different interpretations, but the reducibility of the contextual properties in the case of Bohmian mechanics is guaranteed by the fact that (...) the positions of particles play the role of the categorical basis, a role that in other interpretations cannot be filled by anything else. In Bohr’s and Everett-type interpretations, dispositionalism is instrumentalism in disguise. (shrink)

Why are diagrams sometimes so useful, while other times unhelpful and even misguiding? There are systematic reasons for this. Drawing on modern research in logic, Artificial Intelligence, cognitive psychology, and graphic design, "Semantic Properties of Diagrams and their Cognitive Potentials" shows that diagrams' cognitive functions are rooted in the characteristic ways they carry information about their targets. The analysis leads to an answer for the deeper question of What makes a diagram a diagram?, which is of crucial importance to (...) the foundation of a collective science of diagrams. ". (shrink)

Call a quantifier unrestricted if it ranges over absolutely all things: not just over all physical things or all things relevant to some particular utterance or discourse but over absolutely everything there is. Prima facie, unrestricted quantification seems to be perfectly coherent. For such quantification appears to be involved in a variety of claims that all normal human beings are capable of understanding. For instance, some basic logical and mathematical truths appear to involve unrestricted quantification, such as the truth that (...) absolutely everything is self-identical and the truth that the empty set has absolutely no members. Various metaphysical views too appear to involve unrestricted quantification, such as the physicalist view that absolutely everything is physical. (shrink)

The aim of this paper is to provide a systematic account of the metaphysically important distinction between haecceitistic properties, such as being David Lewis or being acquainted with David Lewis, and qualitative properties, such as being red or being acquainted with a famous philosopher. I first argue that this distinction is hyperintensional, that is, that cointensional properties can differ in whether they are qualitative. Then I develop an analysis of the qualitative/haecceitistic distinction according to which haecceitistic (...) class='Hi'>properties are relational in a certain sense. I argue that this analysis can capture the hyperintensionality of the qualitative/haecceitistic distinction and is generally in accordance with the use of the notion of a qualitative property in philosophical debates. (shrink)

This paper defends the case against (sparse) disjunctive properties by means of four Armstrongian arguments. The first of these is a logical atomist argument from truthmaking, which is, broadly speaking, ‘Armstrongian’ (Armstrong 1997). This argument is strong – although it stands or falls with the relevant notion of truthmaking, as it were. However, three arguments, which are prima facie independent of truthmaking, can be found explicitly early in Armstrong’s middle period. Two of these early arguments face a serious objection (...) put forward forcefully by Louise Antony (2003) and Alan Penczek (1997), respectively. I consider these objections and argue that they fail. Thus, even if the argument from truthmaking is indecisive, disjunctive properties should be rejected. (shrink)