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)

In his recent work, Michael Slote argues that empathy is what Hutcheson called 'the moral sense'. The most innovative argument he offers for this claim is that our empathic reactions play a crucial role in fixing the reference of moral terms. I argue that Slote's bold proposal faces all the main problems of analytical naturalism, as well as some of its own. I suggest that empathy may nevertheless play a more modest and indirect role in acquiring moral knowledge.

The full-text of this book chapter is not available in ORA. Citation: Williamson, T.. Knowledge of counterfactuals. In: O'Hear, A. Epistemology. Cambridge: Cambridge University Press, pp. 45-64.

Se afirma que los enunciados necesarios a posteriori, propuestos por S. Kripke, exigen una comprensión débil de la necesidad; esto quiere decir: a) existencia contingente del designatum y b) dependencia racionalista en principios lógicos a priori, particularmente los de diferencia y de identidad. La principal consecuencia es que los enunciados necesarios a posteriori corresponden a instancias de dichos principios lógicos. Contrario al racionalismo, esto no exige que dichos enunciados sean a priori, pues su justificación requiere información empírica. Finalmente, se defiende (...) que la distinción entre denotación y designación permite sostener que la necesidad débil se aplica a las instancias de la clase, y no a esta, con lo que se evita el indeterminismo referencial. The article states that a posteriori necessary sentences as proposed by S. Kripke require a weak understanding of necessity. This means: a) contingent existence of designatum, and b) rationalist dependence on a priori logical principles, particularly those of difference and identity. The main consequence is that a posteriori necessary sentences correspond to instances of these logical principles. Contrary to rationalism, this does not require that these be a priori sentences, given that their justification requires empirical information. Finally, the article argues that the distinction between denotation and designation supports the idea that weak necessity applies to instances of the class, and cannot be applied to the class itself, thus avoiding referential indeterminism. (shrink)

I argue that any account of perceptual experience should satisfy the following two desiderata. First, it should account for the particularity of perceptual experience, that is, it should account for the mind-independent object of an experience making a difference to individuating the experience. Second, it should explain the possibility that perceptual relations to distinct environments could yield subjectively indistinguishable experiences. Relational views of perceptual experience can easily satisfy the first but not the second desideratum. Representational views can easily satisfy the (...) second but not the first desideratum. I argue that to satisfy both desiderata perceptual experience is best conceived of as fundamentally both relational and representational. I develop a view of perceptual experience that synthesizes the virtues of relationalism and representationalism, by arguing that perceptual content is constituted by potentially gappy de re modes of presentation. (shrink)

We tend to think that our concepts are stable in the sense that, whilst their extensions may vary across distinct epistemic scenarios, the reference-fixing conditions by which we discover these extensions remain fixed. This paper challenges this orthodoxy. In particular, it aims to motivate the position that some concepts are unstable in that their reference-fixing conditions themselves vary across distinct epistemic scenarios. Furthermore, it aims to draw out the implications such instability has for epistemic possibility and apriority. I shall argue (...) that when unstable concepts are concerned epistemic space will be widened, which in turn will restrict our a priori knowledge; and in ways that might be salient to solving certain familiar philosophical problems. (shrink)

One sometimes believes a proposition without grasping it. For example, a complete achromat might believe that ripe tomatoes are red without grasping this proposition. My aim in this paper is to shed light on the difference between merely believing a proposition and grasping it. I focus on two possible theories of grasping: the inferential theory, which explains grasping in terms of inferential role, and the phenomenal theory, which explains grasping in terms of phenomenal consciousness. I argue that the phenomenal theory (...) is more plausible than the inferential theory. (shrink)

In Meaning and Necessity (1947/1950), Carnap advances an intensional semantic framework on which modal claims are true in virtue of semantical rules alone, and so are a priori. In 'Empiricism, Semantics, and Ontology' (1950), Carnap advances an epistemic-ontological framework on which metaphysical claims are either trivial or meaningless, since lacking any means of substantive confirmation. Carnap carried out these projects two decades before Kripke influentially argued, in Naming and Necessity (1972/1980), that some modal claims are true a posteriori. How should (...) a neo-Carnapian respond to Kripke's results? Some (notably, Chalmers and Jackson, in their 2001) have suggested that an extension of intensional semantics along lines of "epistemic two-dimensionalism" can accommodate Kripke's results while largely preserving commitment to the semantics-based a priority of modal claims. Here we consider how best to implement this suggestion, and how the resulting semantics fits with Carnap's second project. We find that the most promising (and most Carnapian!) post-Kripke version of Carnap’s semantics---abductive two-dimensionalism---presupposes an epistemology which undermines Carnap's metaphysical anti-realism. (shrink)

This paper gives an overview of logico-philosophical issues of time and determinism. After a brief review of historical roots and 20th century developments, three current research areas are discussed: the definition of determinism, space-time indeterminism, and the temporality of individual things and their possibilities.

This paper develops and critiques the two-dimensionalist account of mental content developed by David Chalmers. I first explain Chalmers's account and show that it resists some popular criticisms. I then argue that the main interest of two-dimensionalism lies in its accounts of cognitive significance and of the connection between conceivability and possibility. These accounts hinge on the claim that some thoughts have a primary intension that is necessarily true. In this respect, they are Carnapian, and subject to broadly Quinean attack. (...) The remainder of the paper advances such an attack. I argue that there are possible thinkers who are willing to revise their beliefs in response to expert testimony, and that such thinkers will have no thoughts with necessary primary intensions. I even suggest that many actual humans may well be such thinkers. I go on to argue that these possible thinkers show that the two-dimensionalist accounts fail. (shrink)

Following insights from the New Theory of Reference, it has become widely accepted that theoretical identities like ‘water = H2O' are necessary. However, some have challenged this claim. I propose yet another challenge in the form of a sceptical argument. The argument is based on the contention that the necessity of theoretical identities is dependent upon criteria of identity. Thus, a theoretical identity is necessary given one criterion of identity but contingent given another. Since we do not know which criteria (...) of identity in fact obtain, it follows that, for all we know, theoretical identities may not be necessary. (shrink)

We have two main aims: to construct mathematical models for analysing determinism, causality and supervenience; and then to use these to demonstrate the possibility of constructing an ontic construal of the operation of free will - one requiring both the presentation of genuine alternatives to an agent and their selecting between them in a manner that permits the attribution of responsibility. Determinism is modelled using trans-temporal ontic links between discrete juxtaposed universe states and shown to be distinct from predictability. Causality (...) is defined on a temporal sequence of δ-algebras and quantified using a measure. The measure leads to definitions of causal overdetermination and epiphenomena. Proofs are constructed to demonstrate deterministic universes must carry their properties essentially but not necessarily locally. We argue determinism and causality are separate doctrines. These models and results are marshalled to put the case that a counterfactual construal of ontic choice cannot work. In response we propose ‘immanence’ - a modified form of indeterminism whereby a universe can present choices to its denizens. We prove that beings subsumed within a universe cannot pilot their own actions. We then argue these beings can exercise free will only when selecting between choices inhering within immanent relata. A being is responsible for its selections if and only if it is constituted of a temporally evolving deterministic substructure. Our proposal is novel: it avoids injecting indeterminism into the decision process. Topological models for property supervenience are developed and used to reconstruct standard definitions from the literature. These are then used to demonstrate considerations of supervenience do not affect our arguments. We have demonstrated that a model of the exercise of free will involving both genuine choices and responsibility is possible but can only operate within a non-deterministic universe possessing specific traits. (shrink)

Explicatures are not cancellable. Theoretical considerations.

Chalmers (Mind 120(479): 587–636, 2011a) presents an argument against “referentialism” (and for his own view) that employs Bayesianism. He aims to make progress in a debate over the objects of belief, which seems to be at a standstill between referentialists and non-referentialists. Chalmers’ argument, in sketch, is that Bayesianism is incompatible with referentialism, and natural attempts to salvage the theory, Chalmers contends, requires giving up referentialism. Given the power and success of Bayesianism, the incompatibility is prima facie evidence against referentialism. (...) In this paper, I review Chalmers’ arguments and give some responses on behalf of the referentialist. (shrink)

I defend the claim that physicalism is not committed to the view that non-phenomenal macrophysical truths are a priori entailed by the conjunction of microphysical truths , basic indexical facts , and a 'that's all' claim . I do so by showing that Chalmers and Jackson's most popular and influential argument in support of the claim that PIT ⊃ M is a priori, where 'M' stands for any ordinary, non-phenomenal, macroscopic truth, falls short of establishing its conclusion. My objection to (...) Chalmers and Jackson's argument takes the form of a nested dilemma. Let 'Conceptual Competence Principle ' stand for the following claim: for any complete microphysical description D of a world w, a subject who is in possession of and competent with a macrophysical concept C is capable of determining a priori the extension of C. Either Jackson and Chalmers accept CCP or not. If the latter, then they cannot demonstrate that the conditional PIT ⊃ M is a priori. If the former, then they have a choice: they can either cite reasons that support the principle or argue that the principle should be taken for granted since it is entailed by the very notion of conceptual competence. But both alternatives are problematic. In regard to the first horn of this latter dilemma, I show not only that there are no good reasons to support the principle, but that there are also reasons to reject it. In regard to the second horn, I show that it cannot be the case that CCP is part of the very notion of conceptual competence. The conceptual capacity expressed by CCP requires that certain bridge principles or conditionals, which link the microphysical level to the macroscopic level, are either implicitly or explicitly given to the subject. But, as I argue, Chalmers and Jackson have no way of accounting for these bridge principles or conditionals in a manner that does not trivialize their position. (shrink)

(2014). A Priori Conditionals and the Conceivability of Zombies. Philosophical Papers: Vol. 43, No. 2, pp. 227-253.

The purpose of this thesis is to demonstrate that metaphysics is a necessary discipline -- necessary in the sense that all areas of philosophy, all areas of science, and in fact any type of rational activity at all would be impossible without a metaphysical background or metaphysical presuppositions. Because of the extremely strong nature of this claim, it is not possible to put forward a very simple argument, although I will attempt to construct one. A crucial issue here is what (...) metaphysics in fact is -- the nature of metaphysics. The conception of metaphysics which I support could be called Aristotelian, as opposed to Kantian: metaphysics is the first philosophy and the basis of all other philosophical and scientific inquiry. I will argue that this is indeed the most plausible conception of metaphysics. (shrink)

Naturalists who conceive of knowledge as a natural kind are led to treat ‘knowledge’ as a natural kind term. ‘Knowledge,’ then, must behave semantically in the ways that seem to support a direct reference theory for other natural kind terms. A direct reference theory for ‘knowledge,’ however, appears to leave open too many possibilities about the identity of knowledge. Intuitively, states of belief count as knowledge only if they meet epistemic criteria, not merely if they bear a causal/historical relation to (...) the term. I will develop this objection and show that it is grounded in modal considerations central to Kripke’s work on reference. I will also argue that a more plausible externalist semantics for natural kind terms disarms the objection. (shrink)

The most important argument against the B-theory of time is the paraphrase argument. The major defense against that argument is the “new” tenseless theory of time, which is built on what I will call the “indexical reply” to the paraphrase argument. The move from the “old” tenseless theory of time to the new is most centrally a change of viewpoint about the nature and determiners of ontological commitment. Ironically, though, the new tenseless theorists have generally not paid enough sustained, direct (...) attention to that notion. I will defend a general criterion of ontological commitment and apply it to generate a version of the new tenseless theory of time. I will argue that many of the extant versions of the new tenseless theory of time (specifically, all those which seek to identify tenseless truth-conditions of tensed sentences as a way out of apparent ontological commitment to tensed features of reality) are unsatisfactory because their general criterion of ontological commitment is inadequate. Those versions of the new tenseless theory which are adequate (specifically, those which identify tenseless truthmakers for tensed sentences) actually entail the criterion of ontological commitment that I defend, despite appearances to the contrary. (shrink)

One type of deflationism about metaphysical modality suggests that it can be analysed strictly in terms of linguistic or conceptual content and that there is nothing particularly metaphysical about modality. Scott Soames is explicitly opposed to this trend. However, a detailed study of Soames’s own account of modality reveals that it has striking similarities with the deflationary account. In this paper I will compare Soames’s account of a posteriori necessities concerning natural kinds with the deflationary one, specifically Alan Sidelle’s account, (...) and suggest that Soames’s account is vulnerable to the deflationist’s critique. Furthermore, I conjecture that both the deflationary account and Soames’s account fail to fully explicate the metaphysical content of a posteriori necessities. Although I will focus on Soames, my argument may have more general implications towards the prospects of providing a meaning-based account of metaphysical modality. (shrink)

In this paper I argue that an important notion of reduction depends on a four-place relation holding between expressions, concepts, properties, and events or states of affairs. I define this notion and argue against alternative accounts that are based on syntactic features of theories. Whilst these latter attempts fail to deliver a satisfactory explanation of why a certain theory or a certain expression reduces to another, the former can give a complete explanation of why, say, ‛human pain’ reduces to ‛C-fiber (...) stimulation’ or why the mind reduces to the physical. I briefly sketch the difference between the semantic approach that I favor, which is based on a particular notion of hyper-intensions, and classical model-theoretic versions of reduction. (shrink)

There has been very little discussion of the appropriate principles to govern a modal logic of plurals. What debate there has been has accepted a principle I call (Necinc); informally if this is one of those then, necessarily: this is one of those. On this basis Williamson has criticised the Boolosian plural interpretation of monadic second-order logic. I argue against (Necinc), noting that it isn't a theorem of any logic resulting from adding modal axioms to the plural logic PFO+, and (...) showing that the most obvious formal argument in its favour is question begging. I go on to discuss the behaviour of natural language plurals, motivating a case against (Necinc) by developing a case that natural language plural terms are not de jure rigid designators. The paper concludes by developing a model theory for modal PFO-f which does not validate (Necinc). An Appendix discusses (Necinc) in relation to counterpart theory. Of course, it would be a mistake to think that the rules for "multiple pointing" follow automatically from the rules for pointing proper. Max Black—The Elusiveness of Sets In some influential articles during the 1980s George Boolos proposed an interpretation of monadic second-order logic in terms of plural quantification [4, 5]. One objection to this proposal, pressed by Williamson [22, 456-7], focuses on the modal behaviour of plural variables, arguing that the proposed interpretation yields the wrong results in respect of the modal status of atomic predications. In the present paper I will present this objection and argue against it. In the course of developing the argument, I will have cause to consider the under-investigated question of how a logic for plurals should be extended to incorporate modal operators. (shrink)

According to Epistemic Two-Dimensional Semantics (E2D), expressions have a counterfactual intension and an epistemic intension. Epistemic intensions reflect cognitive significance such that sentences with necessary epistemic intensions are a priori. We defend E2D against an influential line of criticism: arguments from epistemic misclassification. We focus in particular on the arguments of Speaks [2010] and Schroeter [2005]. Such arguments conclude that E2D is mistaken from (i) the claim that E2D is committed to classifying certain sentences as a priori, and (ii) the (...) claim that such sentences are a posteriori. We aim to show that these arguments are unsuccessful as (i) and (ii) undercut each other. One must distinguish the general framework of E2D from a specific implementation of it. The framework is flexible enough to avoid commitment to the apriority of any particular sentence; only specific implementations are so committed. Arguments from epistemic misclassification are therefore better understood as arguments for favouring one implementation of E2D over another, rather than as refutations of E2D. (shrink)

Epistemic two-dimensional semantics is a theory in the philosophy of language that provides an account of meaning which is sensitive to the distinction between necessity and apriority. While this theory is usually presented in an informal manner, I take some steps in formalizing it in this paper. To do so, I define a semantics for a propositional modal logic with operators for the modalities of necessity, actuality, and apriority that captures the relevant ideas of epistemic two-dimensional semantics. I also describe (...) some properties of the logic that are interesting from a philosophical perspective, and apply it to the so-called nesting problem. (shrink)

In recent times we have seen an explosion in the amount of attention paid to the conscious brain from scientists and philosophers alike. One message that has emerged loud and clear from scientific work is that the brain is a dynamical system whose operations unfold in time. Any theory of consciousness that is going to be physically realistic must take account of the intrinsic nature of neurons and brain activity. At the same time a long discussion on consciousness among philosophers (...) has resulted in our distinguishing several kinds of consciousness. So when we ask where the place of consciousness is in nature we may mean several different things. In this chapter I will argue that it is plausible that all of the kinds of consciousness turn out to be nothing but patterns of synchronized neural activity in various frequencies against a dynamically changing chemical background. (shrink)

We argue that the letter of the Extended Mind hypothesis can be accommodated by a strongly internalist, broadly Cartesian conception of mind. The argument turns centrally on an unusual but highly plausible view on the mark of the mental.

This paper discusses some recent responses to Kripke’s modal objections to descriptivism about names. One response, due to Gluer-Pagin and Pagin, involves employing "actually" operators in a new way. Another, developed mainly by Chalmers, involves distinguishing the dimension of meaning modal operators affect from the dimension other operators, especially epistemic ones, affect. I argue that both these moves run into problems with "mixed" contexts involving factive verbs such as "know", "establish", "prove", etc. In mixed contexts there are both modal and (...) epistemic operators, and it seems that some contradictory examples, such as "possibly (Hesperus has a moon and someone establishes that Hesperus has no moon)", are classified as true according to these views. (shrink)

Assuming S₅, the main controversial premise in modal ontological arguments is the possibility premise, such as that possibly a maximally great being exists. I shall offer a new way of arguing that the possibility premise is probably true.

I respond to three arguments aimed at establishing that natural kind properties — a kind of high-level properties — occur in the experiential content of visual perceptual experience: the argument from phenomenal difference, the argument from mandatory seeing, and the argument from associative agnosia. I conclude with a simple argument against the view that natural kind properties occur in the experiential content of visual experience.

One of Kripke's fundamental objections to descriptivism was that the theory misclassifies certain _a posteriori_ propositions expressed by sentences involving names as _a priori_. Though nowadays very few philosophers would endorse a descriptivism of the sort that Kripke criticized, many find two-dimensional semantics attractive as a kind of successor theory. Because two-dimensionalism needn't be a form of descriptivism, it is not open to the epistemic argument as formulated by Kripke; but the most promising versions of two-dimensionalism are open to a (...) close relative of that argument. (shrink)

We review some of the work already done around the notion of phenomenal intentionality and propose a way of turning this body of work into a self-conscious research program for understanding intentionality.

Metaphysically possible worlds have many uses. Epistemically possible worlds promise to be similarly useful, especially in connection with propositions and propositional attitudes. However, I argue that there is a serious threat to the natural accounts of epistemically possible worlds, from a version of Russell’s paradox. I contrast this threat with David Kaplan’s problem for metaphysical possible world semantics: Kaplan’s problem can be straightforwardly rebutted, the problems I raise cannot. I argue that although there may be coherent accounts of epistemically possible (...) worlds with fruitful applications, any such an account must fundamentally compromise the basic idea behind epistemic possibility. (shrink)

This article is about the special, subjective concepts we apply to experience, called “phenomenal concepts”. They are of special interest in a number of ways. First, they refer to phenomenal experiences, and the qualitative character of those experiences whose metaphysical status is hotly debated. Conscious experience strike many philosophers as philosophically problematic and difficult to accommodate within a physicalistic metaphysics. Second, PCs are widely thought to be special and unique among concepts. The sense that there is something special about PCs (...) is very closely tied up with features of the epistemic access they afford to qualia. When we deploy phenomenal concepts introspectively to some phenomenally conscious experience as it occurs, we are said to be acquainted with our own conscious experiences. Accounts of PCs either have to explain the acquaintance relation, or acquaintance with our phenomenal experiences has to be denied. PCs have received much attention in recent philosophy of mind mainly because they figure in arguments for dualism and in physicalist responses to these arguments. The main topic of this article is to explore different accounts of phenomenal concepts and their role in recent debates over the metaphysical status of phenomenal consciousness. (shrink)

This paper argues for a possible worlds theory of the content of pictures, with three complications: depictive content is centred, two-dimensional and structured. The paper argues that this theory supports a strong analogy between depictive and other kinds of representation and the platitude that depiction is mediated by resemblance.

Positivism, in its standard outlook, is normative contextualism: If legal reasons are content-independent, then their content may vary with the context or point of view. Despite several advantages vis-à-vis strong metaphysical conceptions of reasons, contextualism implies relativism, which may lead further to the fragmentation of the point of view of agency. In his Oxford Hart Lecture, Coleman put forward a fresh account of the moral semantics of legal content, one that lays claim to preserving the unity of agency while retaining (...) the social facts thesis, which has been a key intuition of positivism. The present essay identifies potential weaknesses with this account and proposes a reconstruction along rationalist lines: First, it advances a descriptive account of reflective agency that is delivered in terms of a modest conceptual analysis; secondly, this is combined with a context-sensitive or "buck-passing" account of value, which illustrates that substantive reasons for action must be anchored, ontologically speaking, to particular social practices (Social Dependency Thesis). In the end the unity of agency comes at an affordable price, for it is no longer necessary to resort to metaphysical necessity and the most demanding conditions this imposes, in order to defend it. (shrink)

I survey a number of views about how we can obtain knowledge of modal propositions, propositions about necessity and possibility. One major approach is that whether a proposition or state of affairs is conceivable tells us something about whether it is possible. I examine two quite different positions that fall under this rubric, those of Yablo and Chalmers. One problem for this approach is the existence of necessary a posteriori truths and I deal with some of the ways in which (...) these authors respond to the problem, including the use of two-dimensional modal semantics. Conventionalism about modality offers a complementary approach to modal epistemology, prompting us to identify our knowledge of modal truths with our mastery of linguistic or conceptual conventions. Finally, I discuss an approach to modal epistemology deriving from David Lewis's work that seeks to identify structural features of the modal space over which necessity and possibility are defined. (shrink)

The conclusion of this chapter is that higher-order vagueness is universal: no sentence whatsoever is definitely true, definitely definitely true, definitely definitely definitely true, and so on ad infinitum. The argument, of which there are several versions, turns on the existence of Sorites sequences of possible worlds connecting the actual world to possible worlds where a given sentence is used in such a way that its meaning is very different. The chapter attempts to be neutral between competing accounts of the (...) nature of vagueness and definiteness. (shrink)

Suppose nothing exists. Then it is true that nothing exists. What makes that true? Nothing! So it seems that if nothing existed, then the principle that every truth is made true by something (the truthmaker principle) would be false. So if it is possible that nothing exists, a claim often called 'metaphysical nihilism', then the truthmaker principle is not necessary. This paper explores various ways to resolve this conflict without restricting metaphysical nihilism in such a way that it would become (...) trivial and uninteresting. (shrink)

How come we can represent Bigfoot even though Bigfoot does not exist, given that representing something involves bearing a relation to it and we cannot bear relations to what does not exist? This is the problem of intentional inexistence. This paper develops a two-step solution to this problem, involving an adverbial account of conscious representation, or phenomenal intentionality, and the thesis that all representation derives from conscious representation. The solution is correspondingly two-part: we can consciously represent Bigfoot because consciously representing (...) Bigfoot does not involve bearing a relation to Bigfoot, but rather instantiating a certain non-relational property of representing Bigfoot-wise; and we can non-consciously represent Bigfoot because non-consciously representing Bigfoot does not involve bearing a relation to Bigfoot, but rather bearing a relation to conscious representations of Bigfoot. (shrink)

The truth of a statement depends on the world in two ways: what the statement says is true if the world is as the statement says it is; on the other hand, what the expressions in the statement mean depends on what the world is like (for instance, on what conventions are in place). Each of these two kinds of dependence of truth on the world corresponds to one of the dimensions on the two-dimensional semantic framework, developed in the 1970’ (...) in the work of Evans, Kaplan, Kripke and Stalnaker. The introduction provides a systematic overview of the framework, the ideas of its earlier originators, recent developments and criticism. Finally, it gives a brief overview over the contributions to the volume. (shrink)

When I say ‘Hesperus is Phosphorus’, I seem to express a proposition. And when I say ‘Joan believes that Hesperus is Phosphorus’, I seem to ascribe to Joan an attitude to the same proposition. But what are propositions? And what is involved in ascribing propositional attitudes?

The purpose of the present paper is to develop and defend an account of narrow content that would neutralize the commonplace charge that narrow content.

Two related claims have lately garnered currency: dispositional essentialism—the view that some or all properties, or some or all fundamental properties, are essentially dispositional; and the claim that laws of nature (or again, many or the fundamental ones) are metaphysically necessary. I have argued elsewhere (On the metaphysical contingency of laws of nature, Oxford University Press, Oxford, 2002) that the laws of nature do not have a mind-independent metaphysical necessity, but recent developments on dispositions have given these ideas a new (...) vibrancy and made them the topic of more focused discussion. So I would like to revisit this, arguing that the new work, as interesting and important as it is to our understanding of fundamental properties, powers and dispositions, should not change our minds about metaphysical necessity. One should still think necessity is conceptually or conventionally grounded. I do not argue that laws of nature are not necessary, nor that properties do not have dispositional essences, but only that if these are the case, then, like other de re or empirical necessities, they have no metaphysical weight and are based in our rules or decisions about how to talk about the world. We may have excellent reasons to talk and think in this way—but these reasons do not include, require or provide evidence of mind-independent metaphysical necessity or essences. (shrink)

Materialism is the view according to which a zombie world is metaphysically impossible. Assuming that zombies are conceivable in the sense that we cannot rule out a priori that our world is a zombie world, materialists must hold that a zombie world is metaphysically impossible despite being conceivable. There are no good reasons to think that this view (type-B materialism) is false, since there are no good reasons to think that the corresponding phenomenal and physical/functional concepts cannot be distinct concepts (...) of the same thing. Nonetheless, we cannot understand how type-B materialism can be true. We cannot understand this, because we cannot in principle explain how a zombie world could be impossible despite being conceivable. (shrink)

In his conceivability argument, Chalmers assumes that all properties have their causal powers contingently and causal laws are also contingent. We argue that this claim conflicts with how conceivability itself must work for the conceivability argument to be successful. If conceivability is to be an effective mechanism to determine possibility, it must work as a matter of necessity, since contingent conceivability renders conceivability fallible for an ideal reasoner and the fallible conceivability of zombies would not entail their possibility. But necessary (...) conceivability must either be governed by necessitating causal processes or by a necessitating non-causal mechanism. We argue that the latter option is untenable or mysterious; whereas, if Chalmers chooses the former and applies it only to conceivability, his solution is ad hoc, but if he accepts necessary causal powers or processes generally, the conceivability argument fails. We conclude that, as it stands, the Conceivability Argument does not establish that physicalism is false. (shrink)

The central aim of this paper is to use a particular view about how the laws of nature govern the evolution of our universe in order to develop and evaluate the two main competing options in the metaphysics of persistence, namely endurantism and perdurantism. We begin by motivating the view that our laws of nature dictate not only qualitative facts about the future, but also which objects will instantiate which qualitative properties. We then show that both traditional doctrines in the (...) metaphysics of persistence must take on surprising further commitments in order to vindicate our universe being law-governed in this strong sense. For example, we argue that endurantists should adopt a particular version of monism, and that perdurantists should adopt a qualitativist doctrine that dispenses with all individuals at the fundamental level. (shrink)

Modal dualism is the claim that there is a space of epistemically possible worlds that exceeds the space of metaphysically possible worlds. In the present paper, I argue that modal dualism is false. I do so via an argument that differs from most previous arguments against modal dualism in that it does not rely on controversial semantic or epistemological assumptions like descriptivism, internalism or modal rationalism. The point of my argument is, instead, that modal dualism is internally inconsistent because it (...) is the result of the failure to draw the proper conclusions from the abandonment of these semantic and epistemological assumptions. The relevant inconsistency manifests itself in the modal dualist notion of epistemic modality. For this notion to play the explanatory roles assigned to it by modal dualists, it has to be a notion of a genuinely epistemic kind of modality. But the only way to make sense of such a notion is via just those semantic or epistemological assumptions that the modal dualist is keen to avoid. Anyone willing to abandon these assumptions has to go further and detach the epistemic from the modal altogether. (shrink)