This article aims to provide a metaphysical elucidation of a specific model of the doctrine of the Trinity: Monarchical Trinitarianism, within the formal, neo–Aristotelian ontological and metaphysical framework of Jonathan Lowe (i.e. his four–category ontology and serious essentialism). Formulating the model through this ontological and metaphysical framework will enable us to explicate it in a clear and consistent manner, and the important 'multiple–natures' problem raised against the proposed model will be shown to be ineffective.

Stephen Maitzen argues that divine command metaethics must be mistaken because it is committed to the implausible assumption that the sentence ‘God is good’ is a tautology. In this article, I show that a charitable interpretation of R. M. Adams’ version of divine command metaethics is not committed to accept this assumption. I conclude that Maitzen’s objection merely manages to refute a strawman version of divine command metaethics.

Many contemporary physicalists concede to dualists that conscious subjects have distinctive “phenomenal concepts” of the phenomenal qualities of their experiences. Indeed, they contend that idiosyncratic characteristics of these concepts facilitate responses to influential anti-physicalist arguments. Like some some other critics of this approach, James Tartaglia maintains that phenomenal concepts express contents that conflict with physicalism, but as a physicalist, the moral he distinctively draws from this is that phenomenal concepts misrepresent. He contends further that the contemporary physicalists’ account cannot accommodate (...) this feature, and that in consequence, physicalists should abandon phenomenal concepts and return to the identity theory championed by Place and Smart in the 1950s. I respond to Tartaglia by identifying lacunae in his interpretation of contemporary physicalism and arguing that phenomenal concepts as conceived by the contemporary physicalists do not express content... (shrink)

I defend a novel view of how social kinds (e.g., money, women, permanent residents) depend on our mental states. In particular, I argue that social kinds depend on our mental states in the following sense: it is essential to them that they exist (partially) because certain mental states exist. This analysis is meant to capture the very general way in which all social kinds depend on our mental states. However, my view is that particular social kinds also depend on our (...) mental states in more specific ways—some of them causal, others metaphysical. I defend a minimal but metaphysically important notion of essence—one that takes as primary that the essential properties of a kind constitute its identity—and argue that this minimal notion of essence is all that is needed to vindicate my claim that social kinds are essentially mind-dependent. (shrink)

The view that social kinds (e.g., money, migrant, marriage) are mind-dependent is a prominent one in the social ontology literature. However, in addition to the claim that social kinds are mind-dependent, it is often asserted that social kinds are not real because they are mind-dependent. Call this view social kind anti-realism. To defend their view, social kind anti-realists must accomplish two tasks. First, they must identify a dependence relation that obtains between social kinds and our mental states. Call this the (...) Dependence Task. Second, they must show that social kinds are not real because they are mind-dependent. Call this the Anti-Realist Task. In this paper, I consider several different ways of defining the relation that is supposed to obtain between social kinds and our mental states. With respect to each relation, I argue that either it fails to accomplish the Dependence Task, or it fails to accomplish the Anti-Realist Task. As such, anyone who wishes to defend social kind anti-realism must provide an alternative explanation of how social kinds depend on our mental states in a way that impugns their reality. In the absence of such an explanation, there is no reason to endorse social kind anti-realism. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. I provide a counter-example to epistemic closure for reductio proofs. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. I provide a counter-example to epistemic closure for reductio proofs. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

Physicalism is the thesis that everything is physical, or as contemporary philosophers sometimes put it, that everything supervenes on, or is necessitated by, the physical. The thesis is usually intended as a metaphysical thesis, parallel to the thesis attributed to the ancient Greek philosopher Thales, that everything is water, or the idealism of the 18th Century philosopher Berkeley, that everything is mental. The general idea is that the nature of the actual world (i.e. the universe and everything in it) conforms (...) to a certain condition, the condition of being physical. Of course, physicalists don't deny that the world might contain many items that at first glance don't seem physical — items of a biological, or psychological, or moral, or social nature. But they insist nevertheless that at the end of the day such items are either physical or supervene on the physical. (shrink)

This article for the Stanford Encyclopedia for Philosophy provides a state of the art survey and assessment of the contemporary debate about truth-makers, covering both the case for and against truth-makers. It explores 4 interrelated questions about truth-makers, (1) What is it to be a truth-maker? (2) Which range, or ranges, of truths are eligible to be made true (if any are)? (3) What kinds of entities are truth-makers? (4) What is the motivation for adopting a theory of truth-makers? And (...) adds that there's another question to often put aside by metaphysicians but has critical consequences for truth-makers: (5) What are the truth-bearers? (shrink)

I propose a way of thinking aboout content, and a related way of thinking about ontological commitment. (This is part of a series of four closely related papers. The other three are ‘On Specifying Truth-Conditions’, ‘An Actualist’s Guide to Quantifying In’ and ‘An Account of Possibility’.).

I propose a way of thinking about content, and a related way of thinking about ontological commitment.

There is a widespread assumption that the classical work in philosophical semantics of Saul Kripke (1980) and Hilary Putnam (1975) has taught us that the essences of natural kinds of substances, such as water and gold, are discoverable only a posteriori by scientific investigation. It is such investigation, thus, that has supposedly revealed to us that it is an essential property of water that it is composed of H2O molecules. This is the way in which Scott Soames, in a recent (...) paper, makes the point in the case of water and H2O: [Here is] how a Kripkean explanation of the necessary a posteriority of [‘Water = H2O’] would go – or at any rate my version of it. The account holds that ‘water’ is a non-descriptive, directly-referential term designating a substance – where substances are taken to be physically constitutive kinds (instances of which share the same basic physical constitution). It is further assumed that a kind of this sort may have different instances in different world-states, and that if a and b are kinds with the same instances in all possible world-states, then a is b. These are clearly metaphysical assumptions, to which we add the natural corollary that for any substance, s, if, in some possible world-state, instances of s have a certain molecular structure, then instances of s have that structure in every world-state. In other words, we assume that it is an essential property of a substance that instances of it have the molecular structure they do. From this it follows that [‘Water = H2O’] is necessary if true, and that ‘H2O’– which I take to be equivalent to ‘the substance instances of which have a molecular structure with two hydrogen atoms and one oxygen atom’– is a rigid designator. Being true, [‘Water = H2O’] is, therefore, necessary. Since knowing the proposition it expresses requires knowing of a certain substance that its instances have a particular chemical structure, [‘Water = H2O’] is knowable only a posteriori. (Soames 2007: 36). (shrink)

This is a critical notice of Stewart Shapiro's 1997 book, Philosophy of Mathematics: Structure and Ontology.

In Fine 1994, Kit Fine challenges the view that the notion of essence is to be understood in terms of the metaphysical modalities, and he argues that it is not essence which reduces to metaphysical modality, but rather metaphysical modality which reduces to essence. In this paper I put forward a modal account of essence and argue that it is immune from Fine’s objections. The account presupposes a non‐standard, independently motivated conception of the metaphysical modalities which I dub Priorean. Arthur (...) Prior never endorsed that very conception, but in some respects his own views on the topic are so close to it, and different from all currently accepted views, that the label ‘Priorean’ is perfectly appropriate. (shrink)

In Fine 1994, Kit Fine challenges the view that the notion of essence is to be understood in terms of the metaphysical modalities, and he argues that it is not essence which reduces to metaphysical modality, but rather metaphysical modality which reduces to essence. In this paper I put forward a modal account of essence and argue that it is immune from Fine’s objections. The account presupposes a non‐standard, independently motivated conception of the metaphysical modalities which I dub Priorean. Arthur (...) Prior never endorsed that very conception, but in some respects his own views on the topic are so close to it, and different from all currently accepted views, that the label ‘Priorean’ is perfectly appropriate. (shrink)

The paper defends a naturalistic version of modal actualism according to which what is metaphysically possible is determined by dispositions found in the actual world. We argue that there is just one world – this one – and that all genuine possibilities are grounded in the dispositions exemplified in it. This is the case whether or not those dispositions are manifested. As long as the possibility is one that would obtain were the relevant disposition manifested, it is a genuine possibility. (...) Furthermore, by starting from actual dispositional properties and branching out, we are able to countenance possibilities quite far removed from any state of affairs that happens to obtain, while still providing a natural and actual grounding of possibility. Stressing the importance of ontological considerations in any theory of possibility, it is argued that the account of possibility in terms of dispositional properties provides a more palatable ontology than those of its competitors. Coming at it from the other direction, the dispositional account of possibility also provides motivation for taking an ontology of dispositions more seriously. (shrink)

– The paper defends a naturalistic version of modal actualism according to which what is metaphysically possible is determined by dispositions found in the actual world. We argue that there is just one world—this one—and that all genuine possibilities are anchored by the dispositions exemplified in this world. This is the case regardless of whether or not those dispositions are manifested. As long as the possibility is one that would obtain were the relevant disposition manifested, it is a genuine possibility. (...) Furthermore, by starting from actual dispositional properties and branching out, we are able to include possibilities that are quite far removed from any state of affairs that happens to obtain, while still providing a natural and actual grounding of possibility. Stressing the importance of ontological considerations in any theory of possibility, it is argued that the account of possibility in terms of dispositional properties provides a more palatable ontology than those of its competitors. Coming at it from the other direction, the dispositional account of possibility also provides motivation for taking an ontology of dispositions more seriously. As well as the relevant dispositional notions required to lay out the view, the paper discusses the dispositional realism needed as the basis for the account of possibility. (shrink)

It is argued that there are three main forms of necessity --the metaphysical, the natural and the normative--and that none of them is reducible to the others or to any other form of necessity. In arguing for a distinctive form of natural necessity, it is necessary to refute a version of the doctrine of scientific essentialism; and in arguing for a distinctive form of normative necessity, it is necessary to refute certain traditional and contemporary versions of ethical naturalism.

The exclusion argument is widely thought to put considerable pressure on dualism, if not to refute it outright. We argue to the contrary that, whether or not their position is ultimately true, dualists have a plausible response. The response focuses on the notion of ‘distinctness’ that is employed to distinguish between mental and physical properties: if ‘distinctness’ is understood in one way, the exclusion principle on which the argument rests can be denied by the dualist; if it is understood in (...) another way, the argument is not persuasive. (shrink)

The exclusion argument is widely thought to put considerable pressure on dualism if not to refute it outright. We argue to the contrary that, whether or not their position is ultimately true, dualists have a plausible response. The response focuses on the notion of ‘distinctness’ as it occurs in the argument: if 'distinctness' is understood one way, the exclusion principle on which the argument is founded can be denied by the dualist; if it is understood another way, the argument is (...) not persuasive. (shrink)

Disjunctivism about perceptual appearances, as I conceive of it, is a theory which seeks to preserve a naïve realist conception of veridical perception in the light of the challenge from the argument from hallucination. The naïve realist claims that some sensory experiences are relations to mind-independent objects. That is to say, taking experiences to be episodes or events, the naïve realist supposes that some such episodes have as constituents mind-independent objects. In turn, the disjunctivist claims that in a case of (...) veridical perception like this very kind of experience that you now have, the experiential episode you enjoy is of a kind which could not be occurring were you having an hallucination. The common strategy of arguments from hallucination set out to show that certain things are true of hallucinations, and hence must be true of perceptions. For example, it is argued that hallucinations must have non-physical objects of awareness, or that such states are not relations to anything at all, but are at best seeming relations to objects. In insisting that veridical perceptual experience is of a distinct kind from hallucination, the disjunctivist denies that any of these conceptions of hallucination challenges our conception of veridical perceptions as relations to mind-independent objects. More specifically, I assume that the disjunctivist advocates naïve realism because they think that this position best articulates how sensory experience seems to us to be just through reflection. If the disjunctivist is correct in this contention, then anyone who accepts the conclusion of the argument from hallucination must also accept that the nature of sensory experience is other than it seems to us to be. In turn, one may complain that any such error theory is liable to lead to sceptical consequences. A Humean scepticism about the senses launches a challenge about our knowledge of the world through questioning the conception we have of what sense experience is, and how it can provide knowledge of the world. (shrink)

What is the difference between belief and desire? In order to explain the difference, recent philosophers have appealed to the metaphor of.

True beliefs and truth-preserving inferences are, in some sense, good beliefs and good inferences. When an inference is valid though, it is not merely truth-preserving, but truth-preserving in all cases. This motivates my question: I consider a Modus Ponens inference, and I ask what its validity in particular contributes to the explanation of why the inference is, in any sense, a good inference. I consider the question under three different definitions of ‘case’, and hence of ‘validity’: the orthodox definition given (...) in terms of interpretations or models, a metaphysical definition given in terms of possible worlds, and a substitutional definition defended by Quine. I argue that the orthodox notion is poorly suited to explain what's good about a Modus Ponens inference. I argue that there is something good that is explained by a certain kind of truth across possible worlds, but the explanation is not provided by metaphysical validity in particular; nothing of value is explained by truth across all possible worlds. Finally, I argue that the substitutional notion of validity allows us to correctly explain what is good about a valid inference. (shrink)

Formal ontology as a main branch of metaphysics investigates categories of being. In the formal ontological approach to metaphysics, these ontological categories are analysed by ontological forms. This analysis, which we illustrate by some category systems, provides a tool to assess the clarity, exactness and intelligibility of different category systems or formal ontologies. We discuss critically different accounts of ontological form in the literature. Of ontological form, we propose a character- neutral relational account. In this metatheory, ontological forms of entities (...) are their standings in internal relations whose holding is neutral on the character of their relata. These relations are “formal ontological relations”. Entities belong to ontological categories because they stand in the same formal ontological relations. We hold a nominalist relationalism about ontological categories and forms. We conclude by showing that our metatheory is useful for understanding categorial fundamentality/non- fundamentality, different formal ontologies, and for unifying metaphysical questions. (shrink)

Consider a circle and a pair of its semicircles. Which is prior, the whole or its parts? Are the semicircles dependent abstractions from their whole, or is the circle a derivative construction from its parts? Now in place of the circle consider the entire cosmos (the ultimate concrete whole), and in place of the pair of semicircles consider the myriad particles (the ultimate concrete parts). Which if either is ultimately prior, the one ultimate whole or its many ultimate parts?

Colours appear to instantiate a number of structural properties: for instance, they stand in distinctive relations of similarity and difference, and admit of a fundamental distinction into unique and binary. Accounting for these structural properties is often taken to present a serious problem for physicalist theories of colour. This paper argues that a prominent attempt by Byrne and Hilbert to account for the structural properties of the colours, consistent with the claim that colours are types of surface spectral reflectance, is (...) unsuccessful. Instead, it is suggested that a better account of the structural properties of the colours is provided by a form of non-reductive physicalism about colour: a naïve realist theory of colour, according to which colours are superficial mind-independent properties. (shrink)

The paper analyses the validity of arguments supporting the assumption of a constant universe of individuals over all possible worlds within Transparent Intensional Logic. These arguments, proposed by Tichý, enjoy widespread acceptance among researchers working within the system. However, upon closer examination, this paper demonstrates several weaknesses in the argumentation, suggesting that there is an open possibility to incorporate a variable universe of individuals even in models within this system.

I argue that one’s views about which “metaphysical laws” obtain—including laws about what is identical with what, about what is reducible to what, and about what grounds what—can be used to deflect or neutralize the threat posed by a debunking explanation. I use a well-known debunking argument in the metaphysics of material objects as a case study. Then, after defending the proposed strategy from the charge of question-begging, I close by showing how the proposed strategy can be used by certain (...) moral realists to resist the evolutionary debunking arguments. (shrink)

In describing and classifying things we often rely on their modal characteristics. We will in general not have a satisfactory account of the nature and character of an object, unless we specify at least partly how the thing might be or cannot be, and also how it might have been or could not have been. In his contribution to the Second Jerusalem Philosophical Encounter,1 Strawson addressed the issue of how to understand such ascriptions of modal characteristics. Although his paper is (...) terse and provocative, and develops an intriguing account of modal predications, it has never received much attention in the philosophical literature. Recently, the issues dealt with in Strawson’s paper have become the subject of a widespread debate. Hence, we think it worthwhile to put Strawson’s account under closer scrutiny. In what follows, we first discuss his account of present tense ‘might’-statements, then his account of past perfect ‘might’-statements, and finally some essentialist remarks that he makes in his paper. That the discussion will be rather critical for the most part (though not exclusively so) should not belie the originality and inherent value of his pioneering approach. (shrink)

In ‘Two Notions of Being: Entity and Essence’ E. J. Lowe defends “serious essentialism”. Serious essentialism is the position that everything has an essence, essences are not themselves things, and essences are the ground for metaphysical necessity and possibility. Lowe's defence of serious essentialism is both metaphysical and epistemological. In what follows I use Lowe's discussion as a point of departure for, first, adding some considerations for the plausibility of essentialism and, second, some work on modal epistemology.

In this critical review I discuss the main themes of the papers in Kit Fine's Modality and Tense: Philosophical Papers. These themes are that modal operators are intelligible in their own right and that actualist quantifiers are to be taken as basic with respect to possibilist quantifiers. I also discuss a previously unpublished paper of Fine's on modality and existence.

In the third of his Logical Investigations, Husserl draws an important distinction between two kinds of parts: the dependent parts like the redness of a visual datum or the squareness of a given picture, and the independent parts like the head of a horse or a brick in a wall. On his view, the distinction is to be understood in terms of a more fundamental notion, the notion of foundation. This paper is an attempt at clarifying that notion. Such attempts (...) have already been undertaken by Peter Simons and Kit Fine, and the paper also contains elements of comparison of our three sets of views. (shrink)

ABSTRACTIn this paper, I develop a truthmaker semantics for essence and use the semantics to investigate the explanatory role of essence.

Recent work on essence describes essence as assimilated to definition. It also posits a plurality of kinds of essence.Howdoes assimilation relate to pluralism? According to one view, a kind of essence is adequate only if it is definitional: something is essential to an item, in the relevant sense, only if it is part of what it is to be that item. In this paper, I argue that assimilation and pluralism are in tension with respect to consequentialist essence. This is problematic (...) given that, as a methodological prescription, some philosophers advise us to work with consequentialist essence. In this paper, I develop a theory of constitutive essence and use it to resolve the problem by defining an adequate notion of consequentialist essence that preserves the methodological prescription. (shrink)

This paper focuses on the concept of collective essence: that some truths are essential to many items taken together. For example, that it is essential to conjunction and negation that they are truth-functionally complete. The concept of collective essence is one of the main innovations of recent work on the theory of essence. In a sense, this innovation is natural, since we make all sorts of plural predications. It stands to reason that there should be a distinction between essential and (...) accidental plural predications if there is a distinction among singular predications. In this paper I defend the view that the concept of collective essence is governed by the principle of Monotonicity: that something is essential to some items only if it is essential to any items to which they belong. (shrink)

What is it for something to be essential to an item? For some time, it was standard to think that the concept of necessity alone can provide an answer: for something to be essential to an item is for it to be strictly implied by the existence of that item. We now tend to think that this view fails because its analysans is insufficient for its analysandum. In response, some argue that we can supplement the analysis in terms of necessity (...) with a further condition. In this paper I argue that this view is untenable in its current form. I then provide a glimmer of hope to those who think that essence is at least partially analyzable in terms of necessity. (shrink)

I develop a reduction of grounding to essence. My approach is to think about the relation between grounding and essence on the model of a certain conceptof existential dependence. I extend this concept of existential dependence in a coupleof ways and argue that these extensions provide a reduction of grounding to essenceif we use sorted variables that range over facts and take it that for a fact to obtain is forit to exist. I then use the account to resolve various (...) issues surrounding the concept of grounding and its connection with essence; apply the account to paradigm cases andto the impure logic of grounding; and respond to objections. (shrink)

I argue against motivational internalism. First I recharacterise the issue over moral motivation. Second I describe the indifference argument against motivation internalism. Third I consider appeals to irrationality that are often made in the face of this argument, and I show that they are ineffective. Lastly, I draw the motivational externalist conclusion and reflect on the nature of the issue.

I describe and defend the view in a philosophy of mind that I call 'Normative Essentialism', according to which propositional attitudes have normative essences. Those normative essences are 'horizontal' rational requirements, by which I mean the requirement to have certain propositional attitudes given other propositional attitudes. Different propositional attitudes impose different horizontal rational requirements. I distinguish a stronger and a weaker version of this doctrine and argue for the weaker version. I explore the consequences for knowledge of mind, and I (...) then consider objections to the view from mental causation, from empirical psychology, and from animals and small children. (shrink)

I defend the view that strong psychophysical superveniences is necessary and sufficient to explain the causal efficacy of mental properties. I employ factual and counterfactual conditionals as defeasible criteria of causal efficacy. And I also deal with certain problems arising from disjunctive and conjunctive properties.

Abstract: This article addresses a number of difficulties and complications in the standard formulations of motivational internalism, and considers what besires might be in the light of those difficulties and complications. Two notions of besire are then distinguished, before considering how different kinds of motivational internalism and different conceptions of besire fare against the significant argument that we may be indifferent to the demands of morality without irrationality.

Response-dependent theories of morality are currently popular. I suspect that this is because they combine ‘objective’ and ‘subjective’ elements in an appealing way. Such theories seem to do justice to the idea that morality is out there to be known, at the same time as connecting moral judgements with our affective and motivational states. However, I shall argue that all response-dependent theories of morality are irretrievably flawed.

Some recently-proposed counterexamples to the traditional definition of essential property do not require a separate logic of essence. Instead, the examples can be analysed in terms of the logic and theory of abstract objects. This theory distinguishes between abstract and ordinary objects, and provides a general analysis of the essential properties of both kinds of object. The claim ‘x has F necessarily’ becomes ambiguous in the case of abstract objects, and in the case of ordinary objects there are various ways (...) to make the definition of ‘F is essential to x’ more fine-grained. Consequently, the traditional definition of essential property for abstract objects in terms of modal notions is not correct, and for ordinary objects the relationship between essential properties and modality, once properly understood, addresses the counterexample. (shrink)

This paper will provide support for relationalism; the claim that the identity of objects is constituted by the totality of their relations to other things in the world. I will consider how Kit Fine’s criticisms of essentialism within modal logic not only highlight the inability of modal logic to account for essential properties but also arouse suspicion surrounding the possibility of nonrelational properties. I will claim that Fine’s criticisms, together with concerns surrounding Hempel’s paradox, show that it is not possible (...) to provide a satisfactory account of certain properties in abstraction from their place within a wider context. Next, we will shift attention to natural kinds and consider the notion that relevance plays in metaphysical accounts of identity, by examining Peter Geach’s notion of relative identity. I will argue that the intensional relation between subject and object must be included in a satisfactory account of metaphysical identity. (shrink)

Abstract Timothy Williamson has recently proposed to undermine modal skepticism by appealing to the reducibility of modal to counterfactual logic ( Reducibility ). Central to Williamson’s strategy is the claim that use of the same non-deductive mode of inference ( counterfactual development , or CD ) whereby we typically arrive at knowledge of counterfactuals suffices for arriving at knowledge of metaphysical necessity via Reducibility. Granting Reducibility, I ask whether the use of CD plays any essential role in a Reducibility-based reply (...) to two kinds of modal skepticism. I argue that its use is entirely dispensable, and that Reducibility makes available replies to modal skeptics which show certain propositions to be metaphysically necessary by deductive arguments from premises the modal skeptic accepts can be known. Content Type Journal Article Pages 1-19 DOI 10.1007/s11098-011-9784-4 Authors Juhani Yli-Vakkuri, Wolfson College, Oxford University, Oxford, OX2 6UD UK Journal Philosophical Studies Online ISSN 1573-0883 Print ISSN 0031-8116. (shrink)