Higher-order logic, with its type-theoretic apparatus known as the simple theory of types (STT), has increasingly come to be employed in theorizing about properties, relations, and states of affairs—or ‘intensional entities’ for short. This paper argues against this employment of STT and offers an alternative: ordinal type theory (OTT). Very roughly, STT and OTT can be regarded as complementary simplifications of the ‘ramified theory of types’ outlined in the Introduction to Principia Mathematica (on a realist reading). While STT, understood as (...) a theory of intensional entities, retains the Fregean division of properties and relations into a multiplicity of categories according to their adicities and ‘input types’ and discards the division of intensional entities into different ‘orders’, OTT takes the opposite approach: it retains the hierarchy of orders (though with some modifications) and discards the categorisation of properties and relations according to their adicities and input types. In contrast to STT, this latter approach avoids intensional counterparts of the Epimenides and related paradoxes. Fundamental intensional entities lie at the base of the proposed hierarchy and are also given a prominent part to play in the individuation of non-fundamental intensional entities. (shrink)

I am going to argue for a robust realism about magnitudes, as irreducible elements in our ontology. This realistic attitude, I will argue, gives a better metaphysics than the alternatives. It suggests some new options in the philosophy of science. It also provides the materials for a better account of the mind’s relation to the world, in particular its perceptual relations.

Essence and causation are fundamental in metaphysics, but little is said about their relations. Some essential properties are of course causal, as it is essential to footprints to have been caused by feet. But I am interested less in causation's role in essence than the reverse: the bearing a thing's essence has on its causal powers. That essencemight make a causal contribution is hinted already by the counterfactual element in causation; and the hint is confirmed by the explanation essence offers (...) of something otherwise mysterious, namely, how events exactly alike in every ordinary respect, like the bolt'ssuddenly snapping and its snapping per se, manage to disagree in what they cause. Some prior difference must exist between these events to make their causal powers unlike. Paradoxically, though, it can only be in point of a property, suddenness, which both events possess in common. Only by postulating a difference in themanner — essential or accidental — of the property's possession is the paradox resolved. Next we need an account of causation in which essence plays an explicit determinative role. That account, based on the idea that causes should becommensurate with their effects, is thatx causesy only if nothing essentially poorer would have done, and nothing essentially richer was needed. (shrink)

Natural properties are those that carve reality at the joints. The notion of carving reality at the joints, however, is somewhat obscure, and is often understood in terms of making for similarity, conferring causal powers, or figuring in the laws of nature. I develop and assess an account of the third sort according to which carving reality at the joints is understood as having the right level of determinacy relative to nomic roles. The account has the attraction of involving very (...) weak metaphysical presuppositions, but fails to capture several features that natural properties are presumed to have. (shrink)

Properties and concepts are similar kinds of thing in so far as they are both typically understood to be whatever it is that predicates stand for. However, they are generally supposed to have different identity criteria: for example, heat is the same property as molecular kinetic energy, whereas the concept of heat is different from the concept of molecular kinetic energy. This paper examines whether this discrepancy is really defensible, and concludes that matters are more complex than is generally thought. (...) The distinction between canonical and non-canonical designators, as applied to such entities as propositions, properties and concepts, is examined, as are causal realist accounts of the semantics of such terms as ‘electricity’ and ‘mass’. (shrink)

: I argue that a response‐dependence account of a concept can yield metaphysical results, and not merely epistemological or semantical results, which has been a prevalent view in the literature on response‐dependence. In particular, I show how one can argue for a conferralist account of a certain property by arguing that the concept of the property is response‐dependent, if certain assumptions are made.

The intimate relationship between X and Y consists in the existence of (metaphysically) necessary truths correlating their occurrences/existences/instantiations. E would be in some sense “overdetermined” if caused by both X and Y.2 Some philosophers say this would be bad, that this cannot or does not happen, that we should construct theories ruling it out, at least in certain cases.3 But why? Given the necessary truths correlating objects and their parts, objects and events concerning those objects, physical and supervenient mental properties, (...) and so on, X and Y do both seem to be causes of E. Should we say that a baseball.. (shrink)

Jaegwon Kim and others have claimed that (strong) psychophysical supervenience entails the reducibility of mental properties to physical properties. I argue that this claim is unwarranted with respect to epistemic (explanatory) reducibility (either of a global or of a local sort), as well as with respect to ontological reducibility. I then attempt to show that a robust version of nonreductive materialism (which I call supervenient token-physicalism) can be defended against the charge that nonreductive materialism leads to epiphenomenalism in failing to (...) account for the causal or explanatory relevance of mental properties. (shrink)

A number of philosophers—among them Joseph Levine, David Chalmers, Frank Jackson and Jaegwon Kim—have claimed that there are conceptual grounds sufficient for ruling out the possibility of a reductive explanation of phenomenal consciousness. Their claim assumes a functional model of reduction (regarded by Kim as an alternative to the traditional Nagelian model) which requires an a priori entailment from the facts in the reduction base to the phenomena to be explained. The aim of this paper is to show that this (...) is an unreasonable requirement—a requirement that no reductive explanation in science should be expected to satisfy. I argue that the functional model is not substantively different from the Nagelian model properly understood, and that the question whether consciousness is reductively explainable—in a sense involving property identifications or in some weaker sense compatible with Nagelian reduction—is a fundamentally empirical question, not one that can be settled on conceptual grounds alone. 1. Introduction2. Kim's critique of the Nagelian model of reduction3. The functional model of reduction4. Is consciousness reducible?5. Psychophysical reduction: concluding remarks. (shrink)

Peacocke’s recent The Primacy of Metaphysics covers a wide range of topics. This critical discussion focuses on the book’s novel account of extensive magnitudes and numbers. First, I further develop and defend Peacocke’s argument against nominalistic approaches to magnitudes and numbers. Then, I argue that his view is more Aristotelian than Platonist because reified magnitudes and numbers are accounted for via corresponding properties and these properties’ application conditions, and because the mentioned objects have a “shallow nature” relative to the corresponding (...) properties. The result is an asymmetric conception of abstraction, which contrasts with the neo-Fregeans’ but has important tenets in common with an approach that I have recently developed. (shrink)

Hilary Putnam's Twin Earth thought experiment has come to have an enormous impact on contemporary philosophical thought. But while most of the discussion has taken place within the context of the philosophy of mind and language, Terence Horgan and Mark Timmons (H8cT) have defended the intriguing suggestion that a variation on the original thought experiment has important consequences for ethics.' In a series of papers, they' ve developed the idea of a Moral Twin Earth and have argued that its significance (...) is that it has the resources to undermine naturalistic versions of moral realism.' H8t T don't hold back in their assessment. "Moral Twin.. (shrink)

This paper discusses in broad terms the metaphysical projects of Sydney Shoemaker’s Physical Realization . Specifically, I examine the effectiveness of Shoemaker’s novel “subset” account of realization for defusing the problem of mental causation, and compare the “subset” account with the standard “second-order” account. Finally, I discuss the physicalist status of the metaphysical worldview presented in Shoemaker’s important new contribution to philosophy of mind and metaphysics.

In the first part ("Determination"), I consider different notions of determination, contrast and compare modal with non-modal accounts and then defend two a-modality theses concerning essence and supervenience. I argue, first, that essence is a a-modal notion, i.e. not usefully analysed in terms of metaphysical modality, and then, contra Kit Fine, that essential properties can be exemplified contingently. I argue, second, that supervenience is also an a-modal notion, and that it should be analysed in terms of constitution relations between properties. (...) In the second part ("A Theory of Truthmaking"), I first review the literature on ontological commitment, and argue that the notion of truthmaking is better suited to play its explanatory rôle. I then argue that we should take truthmaker theory seriously, and that we should provide actual truthmakers for all truths there are. In the last chapter of this part, I review Armstrong's truthmaker theories and argue that they are unsatisfactory. I generalise my criticism to an argument against truthmaker necessitarianism, the view that truthmakers necessarily make true the truths they are truthmakers of. In the third part ("Properties and their Kind(s)"), I discuss qualitative determination. I present and endorse the truthmaker argument for universals, and defend universalism against friends of tropes, states of affairs and facts. I then give a novel characterisation of the important class of intrinsic properties, building on Lewis' work. With a workable notion of intrinsicness at hand, I argue that relations are ontologically – but not "ideologically" – dispensable: qualitative determination in general is a matter of intrinsic structure. In the future, I plan to add two parts and to publish my thesis as a book: In the fourth part ("Exemplification"), I argue for the existence of an exemplification relation tying universals and particulars together. I derive theoretical benefits from this relation by providing adverbialist theories of modality and tense and identify exemplification with a type of parthood. In the fifth part ("Qua qua qua"), I investigate the curious and interesting ontological category of so-called "qua-objects" (Picasso-as-a-painter, for example) and argue that they exist, are not identical with transworld indidivuals or modal parts and that they provide (contingent) truthmakers for all true predications. (shrink)

The coupling-constitution fallacy claims that arguments for extended cognition involve the inference of “x and y constitute z” from “x is coupled to y” and that such inferences are fallacious. We argue that the coupling-constitution fallacy fails in its goal to undermine the hypothesis of extended cognition: appeal to the coupling-constitution fallacy to rule out possible empirical counterexamples to intracranialism is fallacious. We demonstrate that appeals to coupling-constitution worries are problematic by constructing the fallacious argument against the hypothesis of extended (...) cognition. We consider several objections to our argument and find them insufficient to rebut our conclusion. (shrink)

Dual-attribute theories are alleged to face a problem with mental causation which commits them to either epiphenomenalism or overdetermination – neither of which is attractive. The problem, however, is predicated on assumptions about psychophysical relations that dual-attribute theorists are not obliged to accept. I explore one way they can solve the problem by rejecting those assumptions.

Several intrinsic/extrinsic distinctions amongst properties, current in the literature, are discussed and contrasted. The proponents of such distinctions tend to present them as competing, but it is suggested here that at least three of the relevant distinctions (including here that between non-relational and relational properties) arise out of separate perfectly legitimate intuitive considerations: though of course different proposed explications of the informal distinctions involved in any one case may well conflict. Special attention is paid to the question of whether a (...) single notion of property is capable of supporting the various distinctions. (shrink)

J. L. Mackie argued that if there were objective moral properties or facts, then the supervenience relation linking the nonmoral to the moral would be metaphysically queer. Moral realists reply that objective supervenience relations are ubiquitous according to contemporary versions of metaphysical naturalism and, hence, that there is nothing especially queer about moral supervenience. In this paper we revive Mackie's challenge to moral realism. We argue: (i) that objective supervenience relations of any kind, moral or otherwise, should be explainable rather (...) than sui generis; (ii) that this explanatory burden can be successfully met vis-à-vis the supervenience of the mental upon the physical, and in other related cases; and (iii) that the burden cannot be met for (putative) objective moral supervenience relations. (shrink)

In this paper, I develop a "safety result" for applied mathematics. I show that whenever a theory in natural science entails some non-mathematical conclusion via an application of mathematics, there is a counterpart theory that carries no commitment to mathematical objects, entails the same conclusion, and the claims of which are true if the claims of the original theory are "correct": roughly, true given the assumption that mathematical objects exist. The framework used for proving the safety result has some advantages (...) over existing nominalistic accounts of applied mathematics. It also provides a nominalistic account of pure mathematics. (shrink)

Recently the functional model of reduction has become something like the standard model of reduction in philosophy of mind. In this paper, I argue that the functional model fails as an account of reduction due to problems related to three key concepts: functionalization, realization and causation. I further argue that if we try to revise the model in order to make it more coherent and scientifically plausible, the result is merely a simplified version of what in philosophy of science is (...) known as mechanistic explanation. Hence, instead of analyzing reduction in philosophy of mind in terms of functional reduction, it should be analyzed in terms of mechanistic explanation. (shrink)

What, precisely, is `salt'? It is a certainwhite, solid, crystalline, material, alsocalled sodium chloride. Does any of that solidwhite stuff exist in the sea? – Clearly not.One can make salt from sea water easily enough,but that fact does not establish thatsalt, as such, is present in brine. (Paper andink can be made into a novel – but no novelactually exists in a stack of blank paper witha vial of ink close by.) When salt dissolves inwater, what is present is no (...) longer `salt' butrather a collection of hydrated sodium cationsand chloride anions, neither of which isprecisely salt, nor is the collection. Theaqueous material in brine is also significantlydifferent from pure water. Salt may beconsidered to be present in seawater, but onlyin a more or less vague `potential' way.Actually, there is no salt in the sea. In bothancient and modern treatments of otherimportant chemical concepts, including thenotions of `element', related complication,especially polysemy (terms with multiplemeanings), also occurs.In a recent paper, Paul Needham discussed the(predicable) properties of chemical substances,phases, and solutions. He provided a valuablecharacterization of cases in which severalquantities occupy the same space. He alsoconcluded that solution properties are not`intensive', because solvent and solute do nothave parts in common. He tacitly assumed thatingredients are not altered by their inclusionin a solution. This may be the case in somespecial cases (deutero-benzene dissolved inbenzene, say) but is not true in general – andcertainly does not apply to the case of brine,which Needham used as an example – since theions that exist in the solution, and also theaqueous material there, are quite differentfrom the pure ingredients used in making thesolution. An adequate theory of wholes andparts (mereology) must take into account thatwhen individuals enter combinations ofinteresting sorts they no longer are the verysame individuals that existed prior to thecomposition. It appears that no such formaltheory now actually exists. (shrink)

The causal theory of reference (CTR) provides a well-articulated and widely-accepted account of the reference relation. On CTR the reference of a term is fixed by whatever property causally regulates the competent use of that term. CTR poses a metaethical challenge to realists by demanding an account of the properties that regulate the competent use of normative predicates. CTR might pose a challenge to ethical theorists as well. Long argues that CTR entails the falsity of any normative ethical theory. First-order (...) theory attempts to specify what purely descriptive property is a fundamental right-making property (FRM). Long contends that the notion that the FRM causally regulates competent use of the predicate ‘right’ leads to a reductio. The failure of this argument is nevertheless instructive concerning a point at which ethics and metaethics overlap. (shrink)

Self-consciousness constitutes an insurmountable obstacle to functionalism. Either the standard functional definitions of mental relations wrongly require the contents of self-consciousness to be propositions involving “realizations” rather than mental properties and relations themselves. Or else these definitions are circular. The only way to save functional definitions is to expunge the standard functionalist requirement that mental properties be second-order and to accept that they are first-order. But even the resulting “ideological” functionalism, which aims only at conceptual clarification, fails unless it incorporates (...) the thesis that the mental properties are fully “natural” universals. Accordingly, mental properties are sui generis: first-order, nonphysical, natural universals. (shrink)

In a lengthy review article, C. Anthony Anderson criticizes the approach to property theory developed in Quality and Concept (1982). That approach is first-order, type-free, and broadly Russellian. Anderson favors Alonzo Church’s higher-order, type-theoretic, broadly Fregean approach. His worries concern the way in which the theory of intensional entities is developed. It is shown that the worries can be handled within the approach developed in the book but they remain serious obstacles for the Church approach. The discussion focuses on: (1) (...) the fine-grained/coarse-grained distinction, (2) proper names and definite descriptions, (3) the paradox of analysis and Mates’ puzzle, and (4) the logical, semantical, and intentional paradoxes. (shrink)

This paper begins with a brief summary of the Self-consciousness Argument, developed in the author’s paper “Self-consciousness.” (This argument is designed to refute the extant versions of functionalism -- American functionalism, Australian functionalism, and language-of-thought functionalism.) After this summary is given, two thesis are defended. The first is that the Self-consciousness Argument is not guilty of a Fregean equivocation regarding embedded occurrences of mental predicates, as has been suggested by many commentators, including Mark McCullagh. The second thesis is that the (...) Self-consciousness Argument cannot be avoided by weakening the psychological theory upon which Ramsified functional definitions are based. Specifically, it does no good to excise psychological principles involving embedded mental predicates. Why? Because functional definitions based on the resulting sparse theories are exposed to an interesting new family of counterexamples. (shrink)

To state an important fact about the photon, physicists use such expressions as (1) “the photon has zero (null, vanishing) mass” and (2) “the photon is (a) massless (particle)” interchangeably. Both (1) and (2) express the fact that the photon has no non-zero mass. However, statements (1) and (2) disagree about a further fact: (1) attributes to the photon the property of zero-masshood whereas (2) denies that the photon has any mass at all. But is there really a difference between (...) saying that something has zero mass (charge, spin, etc.) and saying that it has no mass (charge, spin, etc.)? Does the distinction cut any physical or philosophical ice? I argue that the answer to these questions is yes. Put briefly, the claim of this paper is that some zero-value physical quantities are not mere “privations”, “absences” or “holes in being”. They are respectable properties in the same sense in which their non-zero partners are. This, I will show, has implications for the debate between two rival views of the nature of property, dispositionalism and categoricalism. (shrink)

The work presents the concept of a structural universal and the criticisms that have been leveled against it. A structural universal is a property had by an individual due to the nature of its proper parts and due to the relations obtaining between those parts. Mellor has argued that there is no reason to accept such universal in addition to the basic universals that compose them. David Lewis has argued –on the other hand– that it has not been satisfactorily explained (...) how universals are composed by other universals. The composition by which a structural universal is given cannot be a set-theoretical construction or a mereological sum. Several proposals to explain the nature of structural universals are discussed. Finally it is argued that a structural universal should be understood as a complexion of higher-order universals. (shrink)

Metaethics, understood as a distinct branch of ethics, is often traced to G. E. Moore's 1903 classic, Principia Ethica. Whereas normative ethics is concerned to answer first order moral questions about what is good and bad, right and wrong, metaethics is concerned to answer second order non-moral questions about the semantics, metaphysics, and epistemology of moral thought and discourse. Moore has continued to exert a powerful influence, and the sixteen essays here represent the most up-to-date work in metaethics after, and (...) in some cases directly inspired by, the work of Moore. (shrink)

2020 update of the entry "Properties".

This paper asks whether a necessity can be the source of necessity. According to an influential argument due to Simon Blackburn, it cannot. This paper argues that although Blackburn fails to show that a necessity cannot be the source of necessity, extant accounts fail to establish that it is, with particular focus on Bob Hale’s essentialist theory and Christopher Peacocke’s ‘principle-based’ theory of modality. However, the paper makes some positive suggestions for what a satisfactory answer to the challenge must look (...) like. (shrink)

Le parole “metafisica” e “ontologia” si dicono in molti modi diversi nella filosofia del XX secolo, tanto all’interno della filosofia analitica quanto altrove. Sono spesso usate per parlare della teoria o dell’analisi di ciò che c’è, delle specie principali di ciò che c’è e dei loro rapporti. Ma i positivisti viennesi, per esempio, chiamavano “metafisiche” le filosofie che non amavano (Carnap, 1985; Campbell, 1976, cap. 2); e se Quine parla dell’impegno ontologico o ontico di una teoria, non intende con ciò (...) un qualsivoglia impegno metafisico o esistenziale. (shrink)

This article aims to clarify how aspects of current chemical understanding relate to some important contemporary problems of philosophy. The first section points out that the long-running philosophical debates concerning how properties stay together in substances have neglected the important topic of structure-determining closure. The second part describes several chemically-important types of closure and the third part shows how such closures ground the properties of chemical substances. The fourth section introduces current discussions of structural realism (SR) and contextual emergence: the (...) final sections reconsider the coherence of the properties of substances and concludes that recognition that structures qualify as determinants of specific outcomes—as ‘causes’ as that designation is used in Standard English—clarifies how properties stay together in chemical entities, and by analogy, how characteristics cohere in ordinary items. (shrink)

I examine the debate between reductive and non-reductive physicalists, and conclude that if we are to be physicalists, then we should be reductive physicalists. I assess how both reductionists and non-reductionists try to solve the mind-body problem and the problem of mental causation. I focus on the problem of mental causation as it is supposed to be faced by non-reductionism: the so-called overdetermination problem. I argue that the traditional articulation of that problem is significantly flawed, and I show how to (...) articulate it properly: what I call the ‘super-overdetermination problem’. In doing so, I demonstrate that the problem of mental causation faced by non-reductionism is in fact a special case of the mind-body problem, as faced by non-reductionism, and that the former can’t be solved independently of the latter. I then assess the prospects for a particular family of non-reductive views that I call immanentism, and show that they fail to solve the super-overdetermination problem. Finally, I put forward two arguments to support the conclusion that physicalism entails reductionism. Both arguments establish, via distinct reasoning, the proposition that mental property instances are identical to physical property instances; and then each argument employs the inference, which I also defend, that if mental instances are physical instances, then mental properties are physical properties; hence, reductionism follows. (shrink)

It is now conventional wisdom that conscious experience — or in Nagel’s canonical characterization, “what it is like to be” for an organism — is what makes the mind-body problem so intractable. By the same token, our current conceptions of the mind-body relation are inadequate and some conceptual development is urgently needed. Our overall aim in this paper is to make some progress towards that conceptual development. We first examine a currently neglected, yet fundamental aspect of consciousness. This aspect is (...) the spontaneity of consciousness, by which we mean its inner plasticity and inner purposiveness. We then sketch a “neurophenomenological” framework for thinking about the relationship between the spontaneity of consciousness and dynamic patterns of brain activity as studied in cognitive neuroscience. We conclude by proposing that the conscious mentality of sentient organisms or animals is active and dynamic, and that this “enactive” conception of consciousness can help us to move beyond the classical dichotomy between materialism and dualism. (shrink)

This thesis comprises three main chapters—each comprising one relatively standalone paper. The unifying theme is fragmentalism about truth, which is the view that the predicate “true” either expresses distinct concepts or expresses distinct properties. -/- In Chapter 1, I provide a formal development of alethic pluralism. Pluralism is the view that there are distinct truth properties associated with distinct domains of subject matter, where a truth property satisfies certain truth-characterizing principles. On behalf of pluralists, I propose an account of logic (...) and semantics that shows how they can answer central conceptual and logical challenges for their view. -/- In Chapter 2, I motivate and develop a modal account of propositions on the basis of an iterative conception of propositions, where the modality is logico-mathematical. The modal account of propositions takes the conception to motivate an inherently potential hierarchy of propositions. I show that the account helps provide satisfying solutions to the intensional paradoxes of Russell-Myhill, Kaplan, and Prior. -/- In Chapter 3, I propose that “true” is polysemous. I suggest that “true” is initially polysemous between correspondence truth and disquotational truth, and further polysemous between the meanings corresponding to the subconcepts of the concept truth generated by the indefinite extensibility of that concept. I show that the proposal provides satisfying solutions to the semantic paradoxes. (shrink)