This expository paper presents a general framework for representing levels and inter-level relations. The framework is intended to capture both epistemic and ontological notions of levels and to clarify the sense in which levels of explanation might or might not be related to a levelled ontology. The framework also allows us to study and compare different kinds of inter-level relations, especially supervenience and reduction but also grounding and mereological constitution. This, in turn, enables us to explore questions such as whether (...) supervenience implies explanatory reducibility and whether there can be irreducible higher-level explanations or even “emergent” higher-level properties. The paper finally discusses some further philosophical applications: to the free-will debate, the determinism-indeterminism distinction, indexicality and consciousness, and the relationship between positive and normative facts. (shrink)

One of the most difficult problems in the foundations of physics is what gives rise to the arrow of time. Since the fundamental dynamical laws of physics are (essentially) symmetric in time, the explanation for time's arrow must come from elsewhere. A promising explanation introduces a special cosmological initial condition, now called the Past Hypothesis: the universe started in a low-entropy state. Unfortunately, in a universe where there are many copies of us (in the distant ''past'' or the distant ''future''), (...) the Past Hypothesis is not enough; we also need to postulate self-locating (de se) probabilities. However, I show that we can similarly use self-locating probabilities to strengthen its rival---the Fluctuation Hypothesis, leading to in-principle empirical underdetermination and radical epistemological skepticism. The underdetermination is robust in the sense that it is not resolved by the usual appeal to 'empirical coherence' or 'simplicity.' That is a serious problem for the vision of providing a completely scientific explanation of time's arrow. (shrink)

David Chalmers’ two-dimensionalism is an ambitious philosophical program that aims to “ground” or “construct” Fregean meanings and restore “the golden triangle” of apriority, necessity, and meaning that Kripke seemingly broke. This paper aims to examine critically what Chalmers’ theory can in reality achieve. It is argued that the theory faces severe challenges. There are some gaps in the overall arguments, and the reasoning is in some places somewhat circular. Chalmers’ theory is effectively founded on certain strong philosophical assumptions. It is (...) concluded that it is unclear whether the theory can deliver all it promises. (shrink)

⦿ In my dissertation I introduce, motivate and take the first steps in the implementation of, the project of naturalising modal metaphysics: the transformation of the field into a chapter of the philosophy of science rather than speculative, autonomous metaphysics. -/- ⦿ In the introduction, I explain the concept of naturalisation that I apply throughout the dissertation, which I argue to be an improvement on Ladyman and Ross' proposal for naturalised metaphysics. I also object to Williamson's proposal that modal metaphysics (...) --- or some view in the area --- is already a quasi-scientific discipline. -/- ⦿ Recently, some philosophers have argued that the notion of metaphysical modality is as ill defined as to be of little theoretical utility. In the second chapter I intend to contribute to such skepticism. First, I observe that each of the proposed marks of the concept, except for factivity, is highly controversial; thus, its logical structure is deeply obscure. With the failure of the "first principles" approach, I examine the paradigmatic intended applications of the concept, and argue that each makes it a device for a very specific and controversial project: a device, therefore, for which a naturalist will find no use for. I conclude that there is no well-defined or theoretically useful notion of objective necessity other than logical or physical necessity, and I suggest that naturalising modal metaphysics can provide more stable methodological foundations. -/- ⦿ In the third chapter I answer a possible objection against the in-principle viability of the project: that the concept of metaphysical modality cannot be understood through the philosophical analysis of any scientific theory, since metaphysical necessity "transcends'' natural necessity, and science only deals with the latter. I argue that the most important arguments for this transcendence thesis fail or face problems that, as of today, remain unsolved. -/- ⦿ Call the idea that science doesn't need modality, "demodalism''. Demodalism is a first step in a naturalistic argument for modal antirealism. In the fourth chapter I examine six versions of demodalism to explain why a family of formalisms, that I call "spaces of possibility'', are (i) used in a quasi-ubiquitous way in mathematised sciences (I provide examples from theoretical computer science to microeconomics), (ii) scientifically interpreted in modal terms, and (iii) used for at least six important tasks: (1) defining laws and theories; (2) defining important concepts from different sciences (I give several examples); (3) making essential classifications; (4) providing different types of explanations; (5) providing the connection between theory and statistics, and (6) understanding the transition between a theory and its successor (as is the case with quantisation). -/- ⦿ In fifth chapter I propose and defend a naturalised modal ontology. This is a realism about modal structure: my realism about constraints. The modal structure of a system are the relationships between its possible states and between its possible states and those of other systems. It is given by the plurality of restrictions to which said system is subject. A constraint is a factor that explains the impossibility of a class of states; I explain this concept further. First, I defend my point of view by rejecting some of its main rivals: constructive empiricism, Humean conventionalism, and wave function realism, as they fail to make sense of quantum chaos. This is because the field requires the notion of objective modal structure, and the mentioned views have trouble explaining the modal facts of quantum dynamics. Then, I argue that constraint realism supersedes these views in the context of Bohm's standard theory and mechanics, and underpins the study of quantum chaos. Finally, I consider and reject two possible problems for my point of view. -/- ⦿ A central concern of modal metaphysicians has been to understand the logical system that best characterises necessity. In the sixth chapter I intend to recover the logical project applied to my naturalistic modal metaphysics. Scientists and philosophers of science accept different degrees of physical necessity, ranging from purely mathematically necessary facts that restrict physical behaviour, to kinetic principles, to particular dynamical constraints. I argue that this motivates a multimodal approach to modal logic, and that the time dependence of dynamics motivates a logic of historical necessity. I propose multimodal propositional (classical) logics for Bohmian mechanics and the Everettian theory of many divergent worlds, and I close with a criticism of Williamson's approach to the logic of state spaces of dynamic systems. (shrink)

In this paper, I offer a systematic account of Quine’s philosophy of mind. In doing so, I respond to an interpretive problem of reconciling Quine’s admission of irreducible mentalistic predicates with his physicalism. I argue that the required reconciliation takes place in a theory of mind that accords a central explanatory role to dispositions, but which nevertheless is non-behavioristic and non-reductive. A second, and intermediate, project of this paper is to explicate Quine’s account of dispositions and their status in Quine’s (...) regimented theory. Particularly, I will argue that Quine’s non-reductive physicalism about the mind rests on a distinction between two kinds of dispositions. (shrink)

This thesis develops methods for representing how the contents of theories of meaning become conceived by their users. These contents are treated as the range of systematically elicited conceptions afforded by a designated corpus of key texts. The approach being taken involves first detailing a formal scheme for the components of situations attributed to various entities. This scheme is then applied as a framing device to form a template which accounts for the shared structure between the mental spaces which embody (...) how people conceive different theories of meaning. For the purposes of this task, cognition is treated as embodied in the sense that both the form and content of personal conceptualisations are largely dependent on what both bodily and ecological factors afford. The purpose of this approach is to help understand how theories operate when viewed as worldly entities within a materialist framework. The significance of such understanding lies in enabling analyses and comparisons which account for the effects of material restrictions such as how a theory’s presentation must necessarily be selective and how human cognition operates on models set by precedent. The framework being provided here allows the conceptions each individual theory of meaning elicits to be reduced to formal, commensurate models which account for differences between typical influences on the conceptions characteristic of different demographics such as experts of related fields. Approaching theories of meaning from this angle also reveals new avenues of comparison concerning otherwise implicit details. One involves theory-internal conditions on the full material identity of meaning-instantiating entities. The other concerns the extent of the domains for aggregating applicable influences for which a theory accounts and the range of those it may accommodate. (shrink)

This paper sketches a new and somewhat heterodox metaphysical theory of consciousness: the “many-worlds theory”. It drops the assumption that all conscious subjects’ experiences are features of one and the same world and instead associates different subjects with different “first-personally centred worlds”. We can think of these as distinct “first-personal realizers” of a shared “third-personal world”, where the latter is supervenient, in a sense to be explained. This is combined with a form of modal realism, according to which different subjects’ (...) first-personally centred worlds are all real, though only one of them is present for each subject. The theory offers a novel way of capturing the irreducibly subjective nature of conscious experience without lapsing into solipsism. The paper also looks at some scientific theories of consciousness, such as integrated information theory, through the proposed lens and reconsiders the hard problem of consciousness. (shrink)

This paper examines the philosophical significance of the consequence relation defined in the $\Omega$-logic for set-theoretic languages. I argue that, as with second-order logic, the hyperintensional profile of validity in $\Omega$-Logic enables the property to be epistemically tractable. Because of the duality between coalgebras and algebras, Boolean-valued models of set theory can be interpreted as coalgebras. In Section \textbf{2}, I demonstrate how the hyperintensional profile of $\Omega$-logical validity can be countenanced within a coalgebraic logic. Finally, in Section \textbf{3}, the philosophical (...) significance of the characterization of the hyperintensional profile of $\Omega$-logical validity for the philosophy of mathematics is examined. I argue (i) that $\Omega$-logical validity is genuinely logical, and (ii) that it provides a hyperintensional account of formal grasp of the concept of `set'. Section \textbf{4} provides concluding remarks. (shrink)

This paper defends Lewis’ influential treatment of de se attitudes from recent criticism to the effect that a key explanatory notion—self-ascription—goes unexplained. It is shown that Lewis’ treatment can be reconstructed in a way which provides clear responses. This sheds light on the explanatory ambitions of those engaged in Lewis’ project.

In 1901 Russell had envisaged the new analytic philosophy as uniquely systematic, borrowing the methods of science and mathematics. A century later, have Russell’s hopes become reality? David Lewis is often celebrated as a great systematic metaphysician, his influence proof that we live in a heyday of systematic philosophy. But, we argue, this common belief is misguided: Lewis was not a systematic philosopher, and he didn’t want to be. Although some aspects of his philosophy are systematic, mainly his pluriverse of (...) possible worlds and its many applications, that systematicity was due to the influence of his teacher Quine, who really was an heir to Russell. Drawing upon Lewis’s posthumous papers and his correspondence as well as the published record, we show that Lewis’s non- Quinean influences, including G.E. Moore and D.M. Armstrong, led Lewis to an anti- systematic methodology which leaves each philosopher’s views and starting points to his or her own personal conscience. (shrink)

An odd dissensus between confident metaphysicians and neopragmatist antimetaphysicians pervades early twenty-first century analytic philosophy. Each faction is convinced their side has won the day, but both are mistaken about the philosophical legacy of the twentieth century. More historical awareness is needed to overcome the current dissensus. Lewis and his possible-world system are lionised by metaphysicians; Quine’s pragmatist scruples about heavy-duty metaphysics inspire antimetaphysicians. But Lewis developed his system under the influence of his teacher Quine, inheriting from him his empiricism, (...) his physicalism, his metaontology, and, I will show in this paper, also his Humeanism. Using published as well as never-before-seen unpublished sources, I will make apparent that both heavy-duty metaphysicians and neopragmatist antimetaphysicians are wrong about the roles Quine and Lewis played in the development of twentieth-century philosophy. The two are much more alike than is commonly supposed, and Quine much more instrumental to the pedigree of current metaphysics. (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 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 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-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 μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-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 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 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 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters 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 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 Ω-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 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 higher 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 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 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 13 examines modal responses to the alethic paradoxes. Chapter 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 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 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-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 μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-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 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 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 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters 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 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 Ω-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 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 higher 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 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 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 13 examines modal responses to the alethic paradoxes. Chapter 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)

There is a systematic and suggestive analogy between grounding and causation. In my view, this analogy is no coincidence. Grounding and causation are alike because grounding is a type of causation: metaphysical causation. In this paper I defend the identification of grounding with metaphysical causation, drawing on the causation literature to explore systematic connections between grounding and metaphysical dependence counterfactuals, and I outline a non-reductive counterfactual theory of grounding along interventionist lines.

This essay examines the philosophical significance of $\Omega$-logic in Zermelo-Fraenkel set theory with choice (ZFC). The categorical duality between coalgebra and algebra permits Boolean-valued algebraic models of ZFC to be interpreted as coalgebras. The hyperintensional profile of $\Omega$-logical validity can then be countenanced within a coalgebraic logic. I argue that the philosophical significance of the foregoing is two-fold. First, because the epistemic and modal and hyperintensional profiles of $\Omega$-logical validity correspond to those of second-order logical consequence, $\Omega$-logical validity is genuinely (...) logical. Second, the foregoing provides a hyperintensional account of the interpretation of mathematical and metamathematical vocabulary. (shrink)

Some philosophical positions maintain that some aspect of reality depends on human practices, cognitive attitudes or sentiments. This paper presents a framework for understanding such positions in a way that renders them immune to a number of natural but allegedly devastating objections.

What is the mind? Is consciousness a process in the brain? How do our minds represent the world? Philosophy of Mind: Classical and Contemporary Readings is a grand tour of writings on these and other perplexing questions about the nature of the mind. The most comprehensive collection of its kind, the book includes sixty-three selections that range from the classical contributions of Descartes to the leading edge of contemporary debates. Extensive sections cover foundational issues, the nature of consciousness, and the (...) nature of mental content. Three of the selections are published here for the first time, while many other articles have been revised especially for this volume. Each section opens with an introduction by the editor. Philosophy of Mind is suitable for students at all levels and also for general readers. (shrink)

Languages involving modalities and languages involving vagueness have each been thoroughly studied. On the other hand, virtually nothing has been said about the interaction of modality and vagueness. This paper aims to start filling that gap. Section 1 is a discussion of various possible sources of vague modality. Section 2 puts forward a model theory for a quantified language with operators for modality and vagueness. The model theory is followed by a discussion of the resulting logic. In Section 3, the (...) framework will permit us to address a puzzle raised by Elizabeth Barnes and Robert Williams. (shrink)

En este ensayo planteo una dificultad que encuentro en la última propuesta de Quine sobre las oraciones observacionales. Argumento que esta dificultad impide que tales oraciones cumplan el rol que él les asigna en su filosofía y socavan su empirismo ilustrado. Luego exploro tentativamente un resquicio que encuentro en la propia filosofía quineana que eventualmente podría evitar los problemas derivados de dicha dificultad. El precio de seguir el camino apuntado por ese resquicio es, sin embargo, una cierta reinterpretación del espíritu (...) empirista de la filosofía de Quine. In this paper I set out a problem I find in Quine's last proposal on observation sentences. I argue that this problem prevents those sentences to play the role he ascribes to them in his philosophy and undermines his enlightened empiricism. Then I tentatively explore an option I find in Quine's own philosophy which can eventually avoid the issues raised by that problem. The price to pay in following this option, though, is a certain reinterpretation of the empiricist spirit of Quine's philosophy. Apresenta-se uma dificuldade na última proposta de Quine sobre as orações observacionais. Argumenta-se que essa dificuldade impede que essas orações cumpram o papel que ele concede a elas em sua filosofia e debilitam seu empirismo ilustrado. Explora-se tentativamente um resquício na própria filosofia quineana que eventualmente poderia evitar os problemas derivados dessa dificuldade. O preço de seguir o caminho indicado por esse resquício é, contudo, certa interpretação do espírito empirista da filosofia de Quine. (shrink)

Two lines of investigation into the nature of mental content have proceeded in parallel until now. The first looks at thoughts that are attributable to collectives, such as bands' beliefs and teams' desires. So far, philosophers who have written on collective belief, collective intentionality, etc. have primarily focused on third-personal attributions of thoughts to collectives. The second looks at de se, or self-locating, thoughts, such as beliefs and desires that are essentially about oneself. So far, philosophers who have written on (...) the de se have primarily focused on de se thoughts of individuals. This paper looks at where these two lines of investigations intersect: collective de se thoughts, such as bands' and teams' beliefs and desires that are essentially about themselves. There is a surprising problem at this intersection: the most prominent framework for modeling de se thoughts, the framework of centered worlds, cannot model a special class of collective de se thoughts. A brief survey of this problem's solution space shows that collective de se thoughts pose a new challenge for modeling mental content. (shrink)

David Lewis argues that centered worlds give us a way to capture de se, or self-locating, contents in philosophy of language and philosophy of mind. In recent years, centered worlds have also gained other uses in areas ranging widely from metaphysics to ethics. In this paper, I raise a problem for centered worlds and discuss the costs and benefits of different solutions. My investigation into the nature of centered worlds brings out potentially problematic implicit commitments of the theories that employ (...) them. In addition, my investigation shows that the conception of centered worlds widely attributed to David Lewis is not only problematic, but in fact not his. (shrink)

Intentionalism is the view that the phenomenal character of a conscious experience is wholly determined by, or even reducible to, its representational content. In this essay I put forward a version of intentionalism that allows (though does not require) the reduction of phenomenal character to representational content. Unlike other reductionist theories, however, it does not require the acceptance of phenomenal externalism (the view that phenomenal character does not supervene on the internal state of the subject). According the view offered here, (...) phenomenal characters essentially represent subject-environment relations that are relevant to the possibilities for causal interaction between the subject and the environment; relations of the kind that J. J. Gibson dubbed affordances. I argue for this view chiefly through an examination of spatial perception, though other cases are also considered. The view assumes that a phenomenal character has an essential functional role; though it need not be assumed that a functional role is sufficient for a phenomenal character. (shrink)

There is a lot that we don’t know. That means that there are a lot of possibilities that are, epistemically speaking, open. For instance, we don’t know whether it rained in Seattle yesterday. So, for us at least, there is an epistemic possibility where it rained in Seattle yesterday, and one where it did not. It’s tempting to give a very simple analysis of epistemic possibility: • A possibility is an epistemic possibility if we do not know that it does (...) not obtain. But this is problematic for a few reasons. One issue, one that we’ll come back to, concerns the first two words. The analysis appears to quantify over possibilities. But what are they? As we said, that will become a large issue pretty soon, so let’s set it aside for now. A more immediate problem is that it isn’t clear what it is to have de re attitudes towards possibilities, such that we know a particular possibility does or doesn’t obtain. Let’s try rephrasing our analysis so that it avoids this complication. (shrink)

Simon Saunders and David Wallace have proposed an attractive semantics for interpreting linguistic communities embedded in an Everettian multiverse. It provides a charitable interpretation of our ordinary talk about the future, and allows us to retain a principle of bivalence for propositions and to retain the law of excluded middle in the logic of propositions about the future. But difficulties arise when it comes to providing an appropriate account of the metaphysics of macroscopic objects and events. I evaluate various metaphysical (...) frameworks which might be combined with the Saunders–Wallace semantics. I conclude that the most appropriate metaphysics to underwrite the semantics renders Everettian quantum mechanics a theory of non-overlapping worlds. (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.

Nonreductive materialism is the dominant position in the philosophy of mind. The global supervenience of the mental on the physical has been thought by some to capture the central idea of nonreductive materialism: that mental properties are ultimately dependent on, but irreducible to, physical properties. But Jaegwon Kim has argued that global psychophysical supervenience does not provide the materialist with the desired dependence of the mental on the physical, and in general that global supervenience is too weak to be an (...) interesting dependence relation. We argue that these arguments are unsound. Along the way, we clarify the relationship between global and strong supervenience, and show clearly what sort of dependence global supervenience provides. (shrink)

In this paper I put forward a representationalist theory of conscious experience based on Robert Stalnaker's version of two-dimensional modal semantics. According to this theory the phenomenal character of an experience correlates with a content equivalent to what Stalnaker calls the diagonal proposition. I show that the theory is closely related both to functionalist theories of consciousness and to higher-order representational theories. It is also more compatible with an anti-Cartesian view of the mind than standard representationalist theories.

If two subjects have phenomenally identical experiences, there is an important sense in which the way the world appears to them is precisely the same. But how are we to understand this notion of 'ways of appearing'? Most philosophers who have acknowledged the existence of phenomenal content have held that the way something appears is simply a matter of the properties something appears to have. On this view, the way something appears is simply the way something appears to be . (...) This identification supports a Russellian theory of phenomenal content, according to which phenomenal content is exhausted by facts about what specific properties are represented by an experience. The present paper motivates and develops an alternative Fregean theory of phenomenal colour content. According to Fregean theories, the phenomenal content that is shared by any two phenomenally identical experiences is a matter of how the world is represented, and need not involve sameness in what is represented. It is argued that ways of appearing are modes of presentations of external properties and objects, and a detailed theory is presented about the nature of the modes of presentation involved in colour experience. (shrink)

[[This paper appears in my anthology _Philosophy of Mind: Classical and Contemporary Readings_ (Oxford University Press, 2002), pp. 608-633. It is a heavily revised version of a paper first written in 1994 and revised in 1995. Sections 1, 7, 8, and 10 are similar to the old version, but the other sections are quite different. Because the old version has been widely cited, I have made it available (in its 1995 version) at http://consc.net/papers/content95.html.

A content of a subject's mental state is narrow when it is determined by the subject's intrinsic properties: that is, when any possible intrinsic duplicate of the subject has a corresponding mental state with the same content. A content of a subject's mental state is..

Alice has insomnia. She has trouble falling asleep and part of the problem is that she worries about it and realizes that her worrying about it tends to keep from falling asleep. It occurs to her that thinking that she will not be able to fall asleep may be a kind of self-fulfilling prophecy. Perhaps she even has a thought that might be expressed like this: I am not going to fall asleep because of my having this very thought. This (...) thought attributes to itself the property of keeping her awake. (shrink)

In this paper we will try to show the differences between Quine’s and Gibson’s interpretation of the naturalized epistemology project. Namely, although Gibson points out that the genetic approach advocated by Quine is the best strategy there is to investigate the relations between evidence and theory, and that externalizing of empiricism that it requires is one of Quine’s major philosophical contributions, we argue that the assumptions on which Gibson’s project is based, apart from the fact that they are in conflict (...) with some strongly held intuitions, would have to be essentially different from Quine’s. In other words, contrary to Quine’s position within which we have the possibility of staying on more moderate, and in our opinion, more plausible behavioristic line of approach, we will try to show that one of the consequences of Gibson’s interpretation is that this possibility is ruled out in Gibson’s case. On the other hand, this should enable us to draw some more radical conclusions about the nature of Quine’s epistemological project. (shrink)

The view that dominates the literature on intentional attitudes holds that beliefs and desires both have propositional content. A commitment to what I call “content uniformity” underlies this view. According to content uniformity, beliefs and desires are but different psychological modes having a uniform kind of content. Prima facie, the modes don’t place any constraint on the kinds of content the attitude can have. I challenge this consensus by pointing out an asymmetry between belief contents and desire contents which shows (...) content uniformity to be mistaken. I do this by revisiting the arguments of Richard (Philosophical Studies, 39(1): 1–13, 1981), and show that arguments which purport to show the temporal specificity of belief contents yield the opposite results for desire contents. I defend this preliminary conclusion from various strategies to neutralize the asymmetry claim. My defense provides occasions to respond to objections by Brogaard (2012) and Recanati (2007) to the Richard argument, and to get clearer on the role of temporal adjuncts in desire ascriptions. Finally, I consider whether the construal of attitude content as centered propositions (as in Lewis Philosophical Review, 88(4): 513–543, 1979) can be invoked to vindicate content uniformity. My conclusion is that while the framework itself doesn’t vindicate content uniformity, it could, but only if it availed itself of a further, substantive thesis about desire, which itself is in need of defense. (shrink)

This paper aims to provide a mathematically tractable background against which to model both modal cognitivism and modal expressivism. I argue that epistemic modal algebras comprise a materially adequate fragment of the language of thought, and endeavor to show how such algebras provide the resources necessary to resolve Russell's paradox of propositions. I demonstrate, then, how modal expressivism can be regimented by modal coalgebraic automata, to which the above epistemic modal algebras are dually isomorphic. I examine, in particular, the virtues (...) unique to the modal expressivist approach here proffered in the setting of the foundations of mathematics, by contrast to competing approaches based upon both the inferentialist approach to concept-individuation and the codification of speech acts via intensional semantics. (shrink)

Recent arguments for relativist semantic theories have centered on the phenomenon of “faultless disagreement.” This paper offers independent motivation for such theories, based on the interpretation of predicates of personal taste in certain attitude contexts and presuppositional constructions. It is argued that the correct interpretation falls out naturally from a relativist theory, but requires special stipulation in a theory which appeals instead to the use of hidden indexicals; and that a hidden indexical analysis presents problems for contemporary syntactic theory.

In the Sleeping Beauty problem, Beauty is uncertain whether the outcome of a certain coin toss was heads or tails. One argument suggests that her degree of belief in heads should be 1/3, while a second suggests that it should be 1/2. Prima facie, the argument for 1/2 appears to be stronger. I offer a diachronic Dutch Book argument in favor of 1/3. Even for those who are not routinely persuaded by diachronic Dutch Book arguments, this one has some important (...) morals. (shrink)

Some accounts of mental content represent the objects of belief as structured, using entities that formally resemble the sentences used to express and report attitudes in natural language; others adopt a relatively unstructured approach, typically using sets or functions. Currently popular variants of the latter include classical and neo-classical propositionalism, which represent belief contents as sets of possible worlds and sets of centered possible worlds, respectively; and property self-ascriptionism, which employs sets of possible individuals. I argue against their contemporary proponents (...) that all three views are ineluctably plagued by generation gaps: they either overgenerate beliefs, undergenerate them, or both. (shrink)

Modal primitivists hold that some modal truths are primitively true. They thus seem to face a special epistemological problem: how can primitive modal truths be known? The epistemological objection has not been adequately developed in the literature. I undertake to develop the objection, and then to argue that the best formulation of the epistemological objection targets all realists about modality, rather than the primitivist alone. Furthermore, the moves available to reductionists in response to the objection are also available to primitivists. (...) I conclude by suggesting that extant theories of the epistemology of modality are not sensitive to the question of primitivism versus reductionism. (shrink)

Scientists and philosophers frequently speak about levels of description, levels of explanation, and ontological levels. This paper presents a framework for studying levels. I give a general definition of a system of levels and discuss several applications, some of which refer to descriptive or explanatory levels while others refer to ontological levels. I illustrate the usefulness of this framework by bringing it to bear on some familiar philosophical questions. Is there a hierarchy of levels, with a fundamental level at the (...) bottom? And what does the answer to this question imply for physicalism, the thesis that everything supervenes on the physical? Are there emergent higher-level properties? Are higher-level descriptions reducible to lower-level ones? Can the relationship between normative and non-normative domains be viewed as one involving levels? And might a levelled framework shed light on the relationship between third-personal and first-personal phenomena? (shrink)

It is often assumed that there is a close connection between Quine's criticism of the analytic/synthetic distinction, in 'Two dogmas of empiricism' and onwards, and his thesis of the indeterminacy of translation, in Word and Object and onwards. Often, the claim that the distinction is unsound (in some way or other) is taken to follow from the indeterminacy thesis, and sometimes the indeterminacy thesis is supported by such a claim. However, a careful scrutiny of the indeterminacy thesis as stated by (...) Quine, and the varieties of the analytic/synthetic distinction, reveals that the two claims are mutually independent. Neither does the claim that the distinction is unsound follow from the indeterminacy thesis, nor that thesis from unsoundness claim, under any of the common interpretations of the analytic/synthetic distinction. (shrink)

To define new property terms, we combine already familiar ones by means of certain logical operations. Given suitable constraints, these operations may presumably include the resources of first-order logic: truth-functional sentence connectives and quantification over objects. What is far less clear is whether we can also use modal operators for this purpose. This paper clarifies what is involved in this question, and argues in favor of modal property definitions.