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)

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)

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)

In this article, we develop a measure of complete well-being. The framework is derived from the theoretical model of human flourishing understood as a state in which all aspects of a human life are favorable. The approach extends beyond psychological well-being and reflects the World Health Organization definition of health that not only considers the health of body and mind but also embraces the wholeness of the person. The Well-Being Assessment is a comprehensive instrument designed to assess holistic well-being in (...) six domains: emotional health, physical health, meaning and purpose, character strengths, social connectedness, and financial security. Although each of these domains is distinct, all of them are nearly universally desired, and all but financial security constitute ends in themselves. Data were collected from a representative sample of working adults. A sample of 276 employees participated in the pilot, 2,370 participated in the first wave and 1,209 in the second wave of the survey. The WBA showed a good fitting, satisfactory reliability, test–retest correlation, and convergent/discriminant validity in relation to stability over time and relevant health measures, as well as a good fit to the data that were invariant over time, gender, age, education, and marital status. The instrument can be of use for scientists, practitioners, clinicians, public health officials, and patients. Adoption of more holistic measures of well-being that go beyond psychological well-being may help to shift the focus from health deficiencies to health and well-being promotion. (shrink)

The development of a compositional model shows the incoherence of such notions as levels of being and both bottom-up and top-down causality. The mathematization of nature through the partial considerations of physics qua quantities is seen to lead to Pythagoreanism, if what is not included in the partial consideration is denied. An ontology of only probabilities, if not Pythagoreanism, is equivalent to a world of primitive dispositionalities. Problems are found with each. There is a need for properties as well (...) as quantities and these properties must be qualitative as well as dispositional. So there is a need for physical qualia (qualities) for the depiction of the intrinsic character of the finest interstices of nature. (shrink)

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)

Assuming that we find the concept of naturalness coherent, we shall no doubt wish to allow that certain relations count as highly natural. Many of us will think that various spatio-temporal and causal relations—is the cause of, is spatially separated from, is later than—are highly natural. Some of us will think that various basic semantic and mentalistic relations—refers to, attends to, believes.…--- are highly natural. Some will think that various logico-mathematical relations—being the successor of, being identical to…—are highly natural.

The main focus of acquaintance theorists has been the nature and mechanism of perceptual acquaintance with particulars. Generally, one’s view of perceptual acquaintance with general features has taken its bearings from one’s view of perceptual acquaintance with particulars. This has led to the glossing over of significant differences in the mechanisms of perceptual acquaintance with particulars and with general features. The difference in mechanisms suggests a difference in the sort of epistemic state at play in the two kinds of cases. (...) While the existence of such a difference might initially seem to spell trouble for acquaintance theorists, it can be made palatable by being traced back to the distinct basic functions concepts of particulars and of general features serve in thought. (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)

Our purpose in this paper is to delineate an ontology for quantum mechanics that results adequate to the formalism of the theory. We will restrict our aim to the search of an ontology that expresses the conceptual content of the recently proposed modal-Hamiltonian interpretation, according to which the domain referred to by non-relativistic quantum mechanics is an ontology of properties. The usual strategy in the literature has been to focus on only one of the interpretive problems of the theory (...) and to design an interpretation to solve it, leaving aside the remaining difficulties. On the contrary, our aim in the present work is to formulate a “global” solution, according to which different problems can be adequately tackled in terms of a single ontology populated of properties, in which systems are bundles of properties. In particular, we will conceive indistinguishability between bundles as a relation derived from indistinguishability between properties, and we will show that states, when operating on combinations of indistinguishable bundles, act as if they were symmetric with no need of a symmetrization postulate. (shrink)

Some philosophers think that normative properties are identical to descriptive properties. In this paper, I argue that this entails that it is possible to say which descriptive properties normative properties are identical to. I argue that Frank Jackson's argument to show that this is possible fails, and that the objections to this argument show that it is impossible to say which descriptive properties normative properties are identical to. I conclude that normative properties are (...) not identical to descriptive properties. I then show that if we combine this conclusion with the conclusion of a different argument that Jackson has given to show that there are no irreducibly normative properties, it follows that there are no normative properties at all. (shrink)

Our purpose in this paper is to delineate an ontology for quantum mechanics that results adequate to the formalism of the theory. We will restrict our aim to the search of an ontology that expresses the conceptual content of the recently proposed modal-Hamiltonian interpretation, according to which the domain referred to by non-relativistic quantum mechanics is an ontology of properties. The usual strategy in the literature has been to focus on only one of the interpretive problems of the theory (...) and to design an interpretation to solve it, leaving aside the remaining difficulties. On the contrary, our aim in the present work is to formulate a “global” solution, according to which different problems can be adequately tackled in terms of a single ontology populated of properties, in which systems are bundles of properties. In particular, we will conceive indistinguishability between bundles as a relation derived from indistinguishability between properties, and we will show that states, when operating on combinations of indistinguishable bundles, act as if they were symmetric with no need of a symmetrization postulate. (shrink)

Emergence is a notorious philosophical term of art. A variety of theorists have appropriated it for their purposes ever since George Henry Lewes gave it a philosophical sense in his 1875 Problems of Life and Mind. We might roughly characterize the shared meaning thus: emergent entities (properties or substances) ‘arise’ out of more fundamental entities and yet are ‘novel’ or ‘irreducible’ with respect to them. (For example, it is sometimes said that consciousness is an emergent property of the brain.) (...) Each of the quoted terms is slippery in its own right, and their specifications yield the varied notions of emergence that we discuss below. There has been renewed interest in emergence within discussions of the behavior of complex systems and debates over the reconcilability of mental causation, intentionality, or consciousness with physicalism. (shrink)

Since Kit Fine presented his counter-examples to the standard versions of the modal view, many have been convinced that the standard versions of the modal view are not adequate. However, the scope of Fine's argument has not been fully appreciated. In this paper, I aim to carry Fine’s argument to its logical conclusion and argue that once we embrace the intuition underlying his counter-examples, we have to hold that properties obtained, totally or partially, by application of logical operations are (...) not essential to non-logical entities. I also demonstrate that most of the post-Finean versions of the modal view, which were developed to accommodate Fine’s counter-examples, entail that such properties are essential to the entities, and so fail to capture the notion of essence at issue in Fine's counter-examples. Additionally, I explore the consequence of my argument for Fine’s proposed logic of essence. The logic turns out to be inadequate in its present shape as it represents such properties to be essential to the entities. I conclude by developing a modification to the logic to overcome the shortcoming. (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)

According to cognitive non-naturalism, normative judgments are standard beliefs that purport to be about non-natural properties. An influential plurality of normative theorists, including non-naturalist realists, error theorists and skeptics, share this view. But it is mistaken. For it predicts an epistemic profile for normative judgments that they do not have. In particular, they are not disposed to extinguish in light of accepted evidence that the any non-natural properties are absent, and they are not disposed to come into existence (...) in light of accepted evidence for any non-natural property. So normative judgments might be beliefs, and there might be non-natural properties, but normative judgments are not beliefs about non-natural properties. (shrink)

Paul Noordhof; Discussion: Micro-Based Properties and the Supervenience Argument: A Response to Kim, Proceedings of the Aristotelian Society, Volume 99, Issue 1.

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)

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)

ABSTRACT Section 1 discusses properties and propositions, and some of the motivation for an account in which property instantiation and propositional truth behave ‘naively’. Section 2 generalizes a standard Kripke construction for naive properties and propositions, in a language with modal operators but no conditionals. Whereas Kripke uses a 3-valued value space, the generalized account allows for a broad array of value spaces, including the unit interval [0,1]. This is put to use in Section 3, where I add (...) to the language a conditional suitable for restricting quantification. The shift from a value space based on the ‘mini-space’ {0,, 1} to one based on the ‘mini-space’ [0,1] leads to more satisfactory results than I was able to achieve in previous work: a vast variety of paradoxical sentences can now be treated very simply. In Section 4 I make a further addition to the language, a conditional modeled on the ordinary English conditional, paying particular attention to how it interacts with the restricted quantifier conditional. This is all done in the [0,1] framework, and two alternatives are considered for how the ordinary conditional is to be handled; one of them results from adding a tweak to a construction by Ross Brady. Section 5 discusses a further alternative, a standard relevance conditional (for the ordinary conditional, perhaps for use with a different quantifier-restricting conditional), but argues that it is not promising. Section 6 discusses the identity conditions of properties and propositions (again in the setting of a value space based on [0,1]); the issue of achieving naivety for coarse-grained properties is seen to be more complicated than some brief remarks in Field [2010] suggested, but a way to get a fair degree of coarse-grainedness is shown. (shrink)

The Successive Addition Argument (SAA) is one of the key arguments espoused by William Lane Craig for the thesis that the universe began to exist. Recently, Malpass, Mind, 131(523), 786–804 (2021) has developed a challenge to the SAA by way of constructing a counterexample that originates in the work of Fred Dretske. In this paper, I show that the Malpass-Dretske counterexample is in fact no counterexample to the argument. Utilizing a distinction between properties of members and properties of (...) collections, I argue that Malpass’ counterexample has no bearing on the soundness of the SAA. I also develop a novel parity argument against Malpass’ argument that I demonstrate can only be resolved by way of the aforementioned analysis. (shrink)

What has the dispositional analysis of properties and laws (e.g. Molnar, Powers, Oxford University Press, Oxford, 2003; Mumford, Laws in nature, Routledge London, 2004; Bird, Nature’s metaphysics, Clarendon Press, Oxford, 2007) to offer to the scientific understanding of physical properties?—The article provides an answer to this question for the case of spacetime points and their metrical properties in General Relativity. The analysis shows that metrical properties are not ‘powers’, i.e. they cannot be understood as producing the (...) effects of spacetime on matter with metaphysical necessity. Instead they possess categorical characteristics which, in connection with specific laws, explain those effects. Thus, the properties of spacetime do not favor the metaphysics of powers with respect to properties and laws. (shrink)

The predicates 'is outgrown by Theaetetus,' 'is 300 miles west of a lemur,' and 'is such that 9 is odd' denote properties, but there is a sense in which these properties are not genuine features of the objects that have them. The fact that we find these mere-Cambridge properties odd has something to do with their relational character. But relationality in itself is not an adequate criterion for property-genuineness for there are many relational properties that do (...) not qualify as mere-Cambridge. The goal of this essay is to isolate the special type of relationality needed to explain what makes a property genuine. In the process, the author evaluates causal accounts of property-genuineness, and shows how the analysis presented is superior. (shrink)

There is little agreement about Aristotle’s philosophy of geometry, partly due to the textual evidence and partly part to disagreement over what constitutes a plausible view. I keep separate the questions ‘What is Aristotle’s philosophy of geometry?’ and ‘Is Aristotle right?’, and consider the textual evidence in the context of Greek geometrical practice, and show that, for Aristotle, plane geometry is about properties of certain sensible objects—specifically, dimensional continuity—and certain properties possessed by actual and potential compass-and-straightedge drawings qua (...) quantitative and continuous. For their part, the objects of stereometry are potential sensible three-dimensional figures qua quantitative and continuous. (shrink)

Different inferences in probabilistic logics of conditionals 'preserve' the probabilities of their premisses to different degrees. Some preserve certainty, some high probability, some positive probability, and some minimum probability. In the first case conclusions must have probability I when premisses have probability 1, though they might have probability 0 when their premisses have any lower probability. In the second case, roughly speaking, if premisses are highly probable though not certain then conclusions must also be highly probable. In the third case (...) conclusions must have positive probability when premisses do, and in the last case conclusions must be at least as probable as their least probable premisses. Precise definitions and well known examples are given for each of these properties, characteristic principles are shown to be valid and complete for deriving conclusions of each of these kinds, and simple trivalent truthtable 'tests' are described for determining which properties are possessed by any given inference. Brief comments are made on the application of these results to certain modal inferences such as "Jones may own a car, and if he does he will have a driver's license. Therefore, he may have a driver's license.". (shrink)