A type of transcendental argument for libertarian free will maintains that if acting freely requires the availability of alternative possibilities, and determinism holds, then one is not justified in asserting that there is no free will. More precisely: if an agent A is to be justified in asserting a proposition P (e.g. "there is no free will"), then A must also be able to assert not-P. Thus, if A is unable to assert not-P, due to determinism, then A is not (...) justified in asserting P. While such arguments often appeal to principles with wide appeal, such as the principle that ‘ought’ implies ‘can’, they also require a commitment to principles that seem far less compelling, e.g. the principle that ‘ought’ implies ‘able not to’ or the principle that having an obligation entails being responsible. It is argued here that these further principles are dubious, and that it will be difficult to construct a valid transcendental argument without them. (shrink)

There is a salient contrast in how theoretical representations are regarded. Some are regarded as revealing the nature of what they represent, as in familiar cases of theoretical identification in physical chemistry where water is represented as hydrogen hydroxide and gold is represented as the element with atomic number 79. Other theoretical representations are regarded as serving other explanatory aims without being taken individually to reveal the nature of what they represent, as in the representation of gold as a standard (...) for pre-20th century monetary systems in economics or the representation of the meaning of an English sentence as a function from possible worlds to truth values in truth-conditional semantics. Call the first attitude towards a theoretical representation *realist* and the second attitude *instrumentalist*. Philosophical explanation purports to reveal the nature of whatever falls within its purview, so it would appear that a realist attitude towards its representations is a natural default. I offer reasons for skepticism about such default realism that emerge from attending to several case studies of philosophical explanation and drawing a general metaphilosophical moral from the foregoing discussion. (shrink)

We suffer from genealogical anxiety when we worry that the contingent origins of our representations, once revealed, will somehow undermine or cast doubt on those representations. Is such anxiety ever rational? Many have apparently thought so, from pre-Socratic critics of Greek theology to contemporary evolutionary debunkers of morality. One strategy for vindicating critical genealogies is to see them as undermining the epistemic standing of our representations—the justification of our beliefs, the aptness of our concepts, and so on. I argue that (...) this strategy is not as promising as it might first seem. Instead, I suggest that critical genealogies can wield a sort of meta-epistemic power; in so far as we wish to resist the genealogical critic, we are under pressure to see ourselves as the beneficiaries of a certain kind of good luck: what I call genealogical luck. But there is also a resolutely non-epistemic way of understanding the power of critical genealogies, one that is essential, I argue, for understanding the genealogical projects of various theorists, including Nietzsche and Catharine MacKinnon. For critical genealogies can reveal what it is that our representations do—and what we, in turn, might do with them. (shrink)

Many pantheists have claimed that their view of the divine is motivated by a kind of spiritual experience. In this paper, I articulate a novel argument, inspired by recent work on moral exemplarism, that gives voice to this kind of motivation for pantheism. The argument is based on two claims about the emotion of awe, each of which is defended primarily via critical engagement with empirical research on the emotion. I also illustrate how this pathway to pantheism offers pantheists distinctive (...) resources for responding to persistent objections to their view, and how it might lead to more exotic views incorporating pantheistic elements. (shrink)

What is it about relativism that justifies, or at least explains, its continued appeal in the face of relentless attacks through the history of philosophy? This paper explores a new answer to this old question, casting the response in metaphilosophical terms. § i introduces the problem. § ii argues that one part of the answer is that some of the well-known defences of relativism take it to be a philosophical stance—that is, a broad perspective or orientation with normative consequences—rather than (...) a doctrine or a thesis. § iii draws attention to an assumption, not always explicitly stated by its proponents, that the relativist stance leads to the cultivation of some key intellectual virtues. Open-mindedness, tolerance, intellectual humility, and curiosity are examples of the intellectual virtues that relativism can foster. § iv argues that the defence of relativism on the basis of the virtues that are assumed to follow from it, at best, is only partially successful. Moreover, there is a range of epistemic vices, resulting from the stance, that undercuts the virtue-based defence presented in § iii. (shrink)

Mark Johnston and Eric Olson have both pressed what Johnston has dubbed the personite problem. Personites, if they exist, are person-like entities whose lives extend over a continuous proper part of a person’s life. They are so person-like that they seem to have moral status if persons do. But this threatens to wreak havoc with ordinary moral thinking. For example, simple decisions to suffer some short-term hardship for long-term benefits become problematic. And ordinary punishment is always also punishment of the (...) innocent, since it punishes personites that didn’t exist when the crime was committed. An initially attractive way around the personite problem may be to simply deny that personites exist. But as I discuss in this talk, relating to contemporary discussions in metaontology, this response for principled reasons doesn’t work. The problems I discuss illustrate the significance of metaontological considerations for issues in ethics and metaethics, and generalize widely beyond the personite problem. (shrink)

Ethnobiology has become increasingly concerned with applied and normative issues such as climate change adaptation, forest management, and sustainable agriculture. Applied ethnobiology emphasizes the practical importance of local and traditional knowledge in tackling these issues but thereby also raises complex theoretical questions about the integration of heterogeneous knowledge systems. The aim of this article is to develop a framework for addressing questions of integration through four core domains of philosophy - epistemology, ontology, value theory, and political theory. In each of (...) these dimensions, we argue for a model of “partial overlaps” that acknowledges both substantial similarities and differences between knowledge systems. While overlaps can ground successful collaboration, their partiality requires reflectivity about the limitations of collaboration and co-creation. By outlining such a general and programmatic framework, the article aims to contribute to developing “philosophy of ethnobiology” as a field of interdisciplinary exchange that provides new resources for addressing foundational issues in ethnobiology and also expands the agenda of philosophy of biology. (shrink)

In Reason, Truth and History, Putnam provides an influential argument for the materialist view that the supposition that we are all “actually” brains in a vat [BIV’s] is “necessarily false”. Putnam admits that his argument, inspired by insights in Wittgenstein’s later views, is “unusual”, but he is certain that it is a correct. He argues that the claim that we are BIV’s is self-refuting because, if we actually are BIV’s, then we cannot refer to real physical things like vats. Although (...) the present author agrees, fundamentally, with Heidegger’s view that we are essentially “in a world”, and, therefore, with Putnam’s conclusion that we cannot possibly be BIV’s, the paper argues that Putnam’s argument is fallacious. The proper conclusion to draw from Putnam’s argument is that asserting that one is a BIV is beyond the limits of a BIV’s language. That is, Putnam only shows that if we actually are BIV’s, then we cannot think or assert either that we are or that we are not BIV’s. It does not show that we are not “actually” BIV’s. The cogency of this criticism is illustrated with a concrete “science-fiction” example. (shrink)

Safe-by-Design (SBD) frameworks for the development of emerging technologies have become an ever more popular means by which scholars argue that transformative emerging technologies can safely incorporate human values. One such popular SBD methodology is called Value Sensitive Design (VSD). A central tenet of this design methodology is to investigate stakeholder values and design those values into technologies during early stage research and development (R&D). To accomplish this, the VSD framework mandates that designers consult the philosophical and ethical literature to (...) best determine how to weigh moral trade-offs. However, the VSD framework also concedes the universalism of moral values, particularly the values of freedom, autonomy, equality trust and privacy justice. This paper argues that the VSD methodology, particularly applied to nano-bio-info-cogno (NBIC) technologies, has an insufficient grounding for the determination of moral values. As such, an exploration of the value-investigations of VSD are deconstructed to illustrate both its strengths and weaknesses. This paper also provides possible modalities for the strengthening of the VSD methodology, particularly through the application of moral imagination and how moral imagination exceed the boundaries of moral intuitions in the development of novel technologies. (shrink)

I present a paradoxical combination of desires. I show why it's paradoxical, and consider ways of responding. The paradox saddles us with an unappealing trilemma: either we reject the possibility of the case by placing surprising restrictions on what we can desire, or we deny plausibly constitutive principles linking desires to the conditions under which they are satisfied, or we revise some bit of classical logic. I argue that denying the possibility of the case is unmotivated on any reasonable way (...) of thinking about mental content, and rejecting those desire-satisfaction principles leads to revenge paradoxes. So the best response is a non-classical one, according to which certain desires are neither determinately satisfied nor determinately not satisfied. Thus, theorizing about paradoxical propositional attitudes helps constrain the space of possibilities for adequate solutions to semantic paradoxes more generally. (shrink)

The metaphysics of representation poses questions such as: in virtue of what does a sentence, picture, or mental state represent that the world is a certain way? In the first instance, I have focused on the semantic properties of language: for example, what is it for a name such as ‘London’ to refer to something? Interpretationism concerning what it is for linguistic expressions to have meaning, says that constitutively, semantic facts are fixed by best semantic theory. As here developed, it (...) promises to give a reductive, universal and non-revisionary account of the nature of linguistic representation. -/- Interpretationism in general, however, is threatened by severe internal tension, due to arguments for radical inscrutability. These contend that, given the interpretationist setting, there can be no fact of the matter what object an individual word refers to: for example, that there is no fact of the matter as to whether “London” refers to London or to Sydney. -/- A series of challenges emerge, forming the basis for this thesis. 1. What sort of properties is the interpretationist trying to reduce, and what kind of reductive story is she offering? 2. How are inscrutability theses best formulated? Are arguments for inscrutability effective in their own terms? What kinds of inscrutability arise? 3. Is endorsing radical inscrutability a stable position? 4. Are there theoretical virtues—such as simplicity—that can be appealed to in discrediting the rival (empirically equivalent) theories that underpin inscrutability arguments? -/- In addressing these questions, I concentrate on diagnosing the source of inscrutability, mapping the space of ways of resisting the arguments for radical inscrutability, and examining the challenges faced in developing a principled account of linguistic content that avoids radical inscrutability. -/- The effect is not to close down the original puzzles, but rather to sharpen them into a set of new and deeper challenges. (shrink)

The paper provides a conceptual distinction between evidence assessment criteria and standards of proof. Evidence must be assessed in order to check whether it satisfies a relevant standard of proof, and the assessment is operated with some criterion; so both criteria and standards are necessary for fact-finding. In addition to this conceptual point, the article addresses three main questions: Why do some scholars and decision-makers take assessment criteria as standards of proof and vice versa? Why do systems differ as to (...) criteria and standards? How can a system work if it neglects one of these things? The answers to the first and second question come from the historical and procedural differences between the systems. The answer to the third focuses on the functional connection between criteria and standards. (shrink)

Rudolf Carnap is well known for his attack on metaphysics, and W. V. Quine is equally well known for his attack on Carnap’s analytic/synthetic distinction. Receiving far less attention is their basic agreement that a properly scientific approach to philosophy should eliminate the metaphysical excesses of the past. This paper aims to remedy this. It focuses initially on the development of Carnap’s rejection of metaphysics from 1932 to 1950 and the role that analyticity plays. It then turns to Quine, emphasizing (...) his basic agreement with Carnap over the elimination of metaphysics and what this looks like without the analytic/synthetic distinction. (shrink)

How can we think about things in the outside world? There is still no widely accepted theory of how mental representations get their meaning. In light of pioneering research, Nicholas Shea develops a naturalistic account of the nature of mental representation with a firm focus on the subpersonal representations that pervade the cognitive sciences.

Facts about justification are not brute facts. They are epistemic facts that depend upon more fundamental non-epistemic facts. Internalists about justification often argue for mentalism, which claims that facts about justification supervene upon one’s non-factive mental states, using Lehrer and Cohen’s :191–207, 1983) New Evil Demon Problem. The New Evil Demon Problem tells you to imagine yourself the victim of a Cartesian demon who deceives you about what the external world is like, and then asks whether you nevertheless have justification (...) for your beliefs about the external world. Internalists and externalists agree that there is something that is epistemically good or valuable about both your actual beliefs and your beliefs in the demon scenario. Internalists claim that the epistemic property which these sets of beliefs share most intuitively should be thought of as sameness of justification. Externalists, on the other hand, reject this claim, usually either by challenging the internalist intuition directly, or by arguing that there is a more plausible way to think about the epistemic property in question. Recently, both kinds of externalist objection have been raised against the argument from the New Evil Demon Problem for mentalism. The goal of this paper is to defend the argument against three prominent objections—a pair of which is offered by Littlejohn :399–434, 2009) and one by Williamson Rationality and the good: critical essays on the ethics and epistemology of Robert Audi, Oxford University Press, Oxford, 2007; in: Dutant J, Dohrn D The new evil demon, Oxford University Press, Oxford, 2016). (shrink)

I argue that absolutism, the view that absolutely unrestricted quantification is possible, is to blame for both the paradoxes that arise in naive set theory and variants of these paradoxes that arise in plural logic and in semantics. The solution is restrictivism, the view that absolutely unrestricted quantification is not possible. -/- It is generally thought that absolutism is true and that restrictivism is not only false, but inexpressible. As a result, the paradoxes are blamed, not on illicit quantification, but (...) on the logical conception of set which motivates naive set theory. The accepted solution is to replace this with the iterative conception of set. -/- I show that this picture is doubly mistaken. After a close examination of the paradoxes in chapters 2--3, I argue in chapters 4 and 5 that it is possible to rescue naive set theory by restricting quantification over sets and that the resulting restrictivist set theory is expressible. In chapters 6 and 7, I argue that it is the iterative conception of set and the thesis of absolutism that should be rejected. (shrink)

Epistemic externalism offers one of the most prominent responses to the sceptical challenge. Externalism has commonly been interpreted as postulating a crucial asymmetry between the actual-world agent and their brain-in-a-vat counterpart: while the actual agent is in a position to know she is not envatted, her biv counterpart is not in a position to know that she is envatted, or in other words, only the former is in a position to know whether or not she is envatted. In this paper, (...) I argue that there is in fact no such asymmetry: assuming epistemic externalism, both the actual world agent and their biv counterpart are in a position to know whether or not they are envatted. After an introduction, I present the main argument. I examine to what extent the argument survives when one accepts additional externalist-friendly commitments: semantic externalism, a sensitivity condition on knowledge, and epistemic contextualism. Finally, I discuss the implications of my conclusion to a variety of debates in epistemology. (shrink)

The Significance Argument (SA) for the irreducibility of consciousness is based on a series of new puzzle-cases that I call multiple candidate cases. In these cases, there is a multiplicity of physical-functional properties or relations that are candidates to be identified with the sensible qualities and our consciousness of them, where those candidates are not significantly different. I will argue that these cases show that reductive materialists cannot accommodate the various ways in which consciousness is significant and must allow massive (...) vagueness in conscious experience. I also will argue that a nonreductive theory of the conscious-of relation can easily provide a very satisfying, unified explanation of the ways in which this relation is significant. (shrink)

This paper raises an objection to two important arguments for reductive ethical naturalism. Reductive ethical naturalism is the view that ethical properties reduce to the properties countenanced by the natural and social sciences. The main arguments for reductionism in the literature hold that ethical properties reduce to natural properties by supervening on them, either because supervenience is alleged to guarantee identity via mutual entailment, or because non-reductive supervenience relations render the supervenient properties superfluous. After carefully characterizing naturalism and reductionism, we (...) will present, explain, and raise objections against each of the main reductionist arguments: that supervenience does not support the claim that ethical properties and their subvenient natural properties are mutually entailing; that reductive views undermine the claim that ethical properties yield resemblance; and that supervenience does not entail that non-descriptive ethical properties are superfluous in the most fundamental sense. (shrink)

This article offers a comprehensive review of the major theoretical issues and findings of the epistemic approaches to deliberative democracy. Section 2 surveys the norms and ideals of deliberative democracy in relation to deliberation's ability to “track the truth.” Section 3 examines the conditions under which deliberative mini‐publics can “track the truth.” Section 4 discusses how “truth‐tracking” deliberative democracy is possible through the division of epistemic labor in a deliberative system.

The concept of moral wrongness, many think, has a distinctive kind of referential stability, brought out by moral twin earth cases. This article offers a new account of the source of this stability, deriving it from a metaphysics of content: “substantive” radical interpretation, and first-order normative assumptions. This story is distinguished from extant “reference magnetic” explanations of the phenomenon, and objections and replies are considered.

For several decades, renewed interest in the connection between perception and knowledge has sustained a robust debate over external world skepticism. Recently, however, a growing consensus claims the skeptical challenge has been substantially met, and that realism in some robust form has emerged a clear victor. I invite us to rethink this consensus in a two-part response. The first forges a temporary alliance with skepticism against prominent forms of contemporary realism. That these fail to rebuff ews bolsters Barry Stroud’s call (...) for a new paradigm of objectivity. In the second part I sketch such a paradigm based upon a transactional interpretation of John Dewey’s pragmatism, and indicate its resilience to skeptical attacks. (shrink)

In this paper I show that we have strong empirical and theoretical reasons to treat the verbs we use in our semantic theorizing—particularly ‘refers to ’, ‘applies to ’, and ‘is true of ’—as intensional transitive verbs. Stating our semantic theories with intensional vocabulary allows us to partially reconcile two competing approaches to the nature and subject-matter of semantics: the Chomskian approach, on which semantics is non-relational, internalistic, and concerns the psychology of language users, and the Lewisian approach, on which (...) semantics is fully relational, specifies truth-conditions, and has metaphysical implications. ITVs have two readings: an intensional, de dicto reading, and a relational, de re reading. A semantic theory stated with the de dicto readings of our semantic verbs captures the core insights of the Chomskian approach to semantics, in part because it allows us to assign extremely fine-grained semantic values to expressions, even when those expressions are empty. On the other hand, the de re reading yields a theory that is fully relational, and issues in truth-conditions. The resulting theories are related—and compatible—in that they are expressed by two different readings of the very same semantic vocabulary, and plausibly, the distinction between these two readings is one of scope. (shrink)

The Matrix exposes us to the uncomfortable worries of philosophical skepticism in an especially compelling way. However, with a bit more reflection, we can see why we need not share the skeptic’s doubts about the existence of the world. Such doubts are appropriate only in the very special context of the philosophical seminar. When we return to normal life we see immediately that they are groundless. Furthermore, we see also the drastic mistake that Cypher commits in turning his back upon (...) reality and re-entering the matrix. Not only does reason compel us to admit the existence of the external world, it also requires us to face this world, to build for ourselves meaningful lives within it, and to engage, as adults, in the serious business of living. (shrink)

The authors argue in favor of the “nonconciliation” (or “steadfast”) position concerning the problem of peer disagreement. Throughout the paper they place heavy emphasis on matters of phenomenology—on how things seem epistemically with respect to the net import of one’s available evidence vis-à-vis the disputed claim p, and on how such phenomenology is affected by the awareness that an interlocutor whom one initially regards as an epistemic peer disagrees with oneself about p. Central to the argument is a nested goal/sub-goal (...) hierarchy that the authors claim is inherent to the structure of epistemically responsible belief-formation: pursuing true beliefs by pursuing beliefs that are objectively likely given one’s total available evidence; pursuing this sub-goal by pursuing beliefs that are likely true (given that evidence) relative to one’s own deep epistemic sensibility; and pursuing this sub-sub-goal by forming beliefs in accordance with one’s own all-in, ultima facie, epistemic seemings. (shrink)

The paper seeks to answer two new questions about truth and scientific change: What lessons does the phenomenon of scientific change teach us about the nature of truth? What light do recent developments in the theory of truth, incorporating these lessons, throw on problems arising from the prevalence of scientific change, specifically, the problem of pessimistic meta-induction?

Cartesian arguments for global skepticism about the external world start from the premise that we cannot know that we are not in a Cartesian scenario such as an evil-demon scenario, and infer that because most of our empirical beliefs are false in such a scenario, these beliefs do not constitute knowledge. Veridicalist responses to global skepticism respond that arguments fail because in Cartesian scenarios, many or most of our empirical beliefs are true. Some veridicalist responses have been motivated using verificationism, (...) externalism, and coherentism. I argue that a more powerful veridicalist response to global skepticism can be motivated by structuralism, on which physical entities are understood as those that play a certain structural role. I develop the structuralist response and address objections. (shrink)

This paper aims to contribute to the analysis of the nature of mathematical modality and hyperintensionality, and to the applications of the latter to absolute decidability. Rather than countenancing the interpretational type of mathematical modality as a primitive, I argue that the interpretational type of mathematical modality is a species of epistemic modality. I argue, then, that the framework of two-dimensional semantics ought to be applied to the mathematical setting. The framework permits of a formally precise account of the priority (...) and relation between epistemic mathematical modality and metaphysical mathematical modality. The discrepancy between the modal systems governing the parameters in the two-dimensional intensional setting provides an explanation of the difference between the metaphysical possibility of absolute decidability and our knowledge thereof. I also advance a topic-sensitive epistemic two-dimensional truthmaker semantics, if hyperintensional approaches are to be preferred to possible worlds semantics. I examine the relation between two-dimensional hyperintensional states and epistemic set theory, providing two-dimensional hyperintensional formalizations of the modal logic of ZFC, large cardinal axioms, $\Omega$-logic, and the Epistemic Church-Turing Thesis. (shrink)

Scientific models are important, if not the sole, units of science. This thesis addresses the following question: in virtue of what do scientific models represent their target systems? In Part i I motivate the question, and lay out some important desiderata that any successful answer must meet. This provides a novel conceptual framework in which to think about the question of scientific representation. I then argue against Callender and Cohen’s attempt to diffuse the question. In Part ii I investigate the (...) ideas that scientific models are ‘similar’, or structurally morphic, to their target systems. I argue that these approaches are misguided, and that at best these relationships concern the accuracy of a pre-existing representational relationship. I also pay particular attention to the sense in which target systems can be appropriately taken to exhibit a ‘structure’, and van Fraassen’s recent argument concerning the pragmatic equivalence between representing phenomena and data. My next target is the idea that models should not be seen as objects in their own right, but rather what look like descriptions of them are actually direct descriptions of target systems, albeit not ones that should be understood literally. I argue that these approaches fail to do justice to the practice of scientific modelling. Finally I turn to the idea that how models represent is grounded, in some sense, in their inferential capacity. I compare this approach to anti-representationalism in the philosophy of language and argue that analogous issues arise in the context of scientific representation. Part iii contains my positive proposal. I provide an account of scientific representation based on Goodman and Elgin’s notion of representation-as. The result is a highly conventional account which is the appropriate level of generality to capture all of its instances, whilst remaining informative about the notion. I illustrate it with reference to the Phillips-Newlyn machine, models of proteins, and the Lotka-Volterra model of predator-prey systems. These examples demonstrate how the account must be understood, and how it sheds light on our understanding of how models are used. I finally demonstrate how the account meets the desiderata laid out at the beginning of the thesis, and outline its implications for further questions from the philosophy of science; not limited to issues surrounding the applicability of mathematics, idealisation, and what it takes for a model to be ‘true’. (shrink)

Philosophers traditionally recognize two main features of mental states: intentionality and phenomenal consciousness. To a first approximation, intentionality is the aboutness of mental states, and phenomenal consciousness is the felt, experiential, qualitative, or "what it's like" aspect of mental states. In the past few decades, these features have been widely assumed to be distinct and independent. But several philosophers have recently challenged this assumption, arguing that intentionality and consciousness are importantly related. This article overviews the key views on the relationship (...) between consciousness and intentionality and describes our favored view, which is a version of the phenomenal intentionality theory, roughly the view that the most fundamental kind of intentionality arises from phenomenal consciousness. (shrink)

I articulate and argue for a modest use to which philosophers who are not historians of philosophy might put the history of philosophy. That use is in conceptual cartography. I understand conceptual cartography to be the practice of mapping how concepts, including those as complex as philosophical views, relate. Using the history of philosophy in conceptual cartography uses that history to situate landmarks on a conceptual map, and then situates other views (historical or contemporary) relative to those landmarks. After articulating (...) and arguing for this use, I consider objections. (shrink)

If there is content that we reason on, cognitive content, it is in the head and accessible to reasoning mechanisms. This paper discusses the phenomenal theory of cognitive content, according to which cognitive contents are the contents of phenomenal consciousness. I begin by distinguishing cognitive content from the closely associated notion of narrow content. I then argue, drawing on prior work, that the phenomenal theory can plausibly account for the cognitive contents of many relatively simple mental states. My main focus (...) in this paper is the question whether the phenomenal theory can account for the apparently abstract and complex cognitive contents of "high-level" thoughts. It might seem dubious that the theory can account for such cognitive contents, because cognitive phenomenology is too scarce and too thin. However, I argue there are in fact few abstract or complex cognitive contents, so the phenomenal theory's predictions are correct. This position explains some apparently irrational behavior that is otherwise hard to explain, and it makes sense of the central role of inner speech and other forms of consciousness in reasoning. (shrink)

Starting with the observation that there exist contradictory claims in the literature about the relationship between vitalism and emergentism—be it one of inclusion or, on the contrary, exclusion–, this paper aims at disentangling the vitalism–emergentism knot. To this purpose, after having described a particular form of emergentism, namely Lloyd Morgan’s emergent evolutionism, I develop a conceptual analysis on the basis of a distinction between varieties of monism and pluralism. This analysis allows me to identify and characterize several forms of vitalism (...) and emergentism, and a subsequent comparison between these forms constitutes the occasion for a clarification of the relationship between both doctrines. (shrink)

How are philosophical questions about what kinds of things there are to be understood and how are they to be answered? This paper defends broadly Fregean answers to these questions. Ontological categories—such as object, property, and relation—are explained in terms of a prior logical categorization of expressions, as singular terms, predicates of varying degree and level, etc. Questions about what kinds of object, property, etc., there are are, on this approach, reduce to questions about truth and logical form: for example, (...) the question whether there are numbers is the question whether there are true atomic statements in which expressions function as singular terms which, if they have reference at all, stand for numbers, and the question whether there are properties of a given type is a question about whether there are meaningful predicates of an appropriate degree and level. This approach is defended against the objection that it must be wrong because makes what there depend on us or our language. Some problems confronting the Fregean approach—including Frege’s notorious paradox of the concept horse—are addressed. It is argued that the approach results in a modest and sober deflationary understanding of ontological commitments. (shrink)

RésuméConsidérons la «thèse d'inexprimabilité» : un locuteur incapable de formuler dans ses propres mots la pensée que p est incapable d'avoir cette pensée. On peut remettre en question la TI, puisqu'un locuteur peut se servir des mots d'autrui pour exprimer des pensées qu'il serait sinon incapable d'exprimer. La première partie de cet article montre qu'en faisant ressortir la pratique jusque-lè négligée consistant à utiliser les mots d'autrui, on met au jour une ambiguïte fondamentale de la théorie causale de la référence. (...) Dans la seconde partie, je me sers de cette ambiguïte pour démontrer que les craintes sceptiques traditionnelles face à la théorie causale de la référence peuvent être reformulées et que le scepticisme implicite dans le réalisme métaphysique résiste à l'argument de bon sens de Putnam selon lequel nous ne sommes pas des cerveaux dans une cuve. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines 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. Elohim develops 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 Elohim's 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. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, 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 two-dimensional 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. Elohim invents 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. Elohim provides a counter-example to epistemic closure for logical deduction. 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)

Disagreement affords humans as members of epistemic communities important opportunities for refining or improving their epistemic situations with respect to many of their beliefs. To get such epistemic gains, one needs to explore and gauge one’s own epistemic situation and the epistemic situations of others. Accordingly, a fitting response to disagreement regarding some matter, p, typically will turn on the resolution of two strongly interrelated questions: (1) whether p, and (2) why one’s interlocutor disagrees with oneself about p. When one (...) has high intellectual respect for one’s interlocutor, answering question (2) involves arriving at a sympathetic explanatory understanding of the interlocutor’s own epistemic attitude toward p. Sorting out (2) is an abductive matter. Further, so far as the abductive explanation conditions one’s epistemic take regarding (1), there will be an abductive character to one’s epistemic position with respect to whether p—even where one’s initial purchase on whether p was not an abductive matter. We explain here how this can be managed naturally and tractably. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines 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. Elohim develops 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 Elohim's 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. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, 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 two-dimensional 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. Elohim invents 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. Elohim provides a counter-example to epistemic closure for logical deduction. 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)

If it works, I can use Putnam’s vat argument to show that I have not always been a brain-in-a-vat. It is widely thought that the vat argument is of no use against closure scepticism – that is, scepticism motivated by arguments that appeal to a closure principle. This is because, even if I can use the vat argument to show that I have not always been a BIV, I cannot use it to show that I was not recently envatted, and (...) it is thought that the claim that I am not justified in thinking that I was not recently envatted is all that the closure sceptic requires. In this paper I first argue that scenarios in which I have been recently envatted are inadequate for the sceptic’s purposes, and so the standard argument that the vat argument is of no use against closure scepticism fails. I then argue that it is not possible to revise the standard argument to meet my objection. I conclude that, if it works, I can use the vat argument as a defence against closure scepticism. (shrink)

RESUMEN: La teoría causal formulada por Kripke y Putnam es la teoría semántica dominante de los términos de género natural y, en especial, de los términos de sustancia. La teoría semántica de los términos de sustancia de Locke ha sido, supuestamente, refutada por aquélla. Según Putnam, la teoría de Locke ha pasado por alto dos importantes contribuciones a la semántica, y principalmente a la referencia, de los términos de sustancia, a saber, la contribución de la sociedad y la del entorno. (...) El objetivo de este artículo es argüir que la teoría de Locke puede incorporar la primera contribución y que alguien que en principio sostuviese una teoría como la de Locke podría verse llevado a aceptar también la segunda contribución.ABSTRACT: The causal theory put forward by Kripke and Putnam is the dominant semantic theory of natural kind terms and especially of substance terms. Locke’s semantic theory of substance terms has supposedly been rebutted by it. Locke’s theory has, according to Putnam, overlooked two significant contributions to the semantics, and mainly to the reference, of substance terms, namely, the contribution of the society and that of the environment. This paper aims to argue that Locke’s theory is able to embrace the first contribution and that someone who initially held a theory like Locke’s could be led to accept also the second one. (shrink)

In this paper, I argue that, if transcendental arguments are to proceed from premises that are acceptable to the skeptic, the Transcendental Premise, according to which “X is a metaphysically necessary condition for the possibility of Y,” must be grounded in considerations of conceivability and possibility. More explicitly, the Transcendental Premise is based on what Szabó Gendler and Hawthorne call the “conceivability-possibility move.” This “inconceivability-impossibility” move, however, is a problematic argumentative move when advancing transcendental arguments for the following reasons. First, (...) from “S cannot conceive of P” it doesn’t necessarily follow that P is inconceivable. Second, from “P is inconceivable” it doesn’t necessarily follow that P is metaphysically impossible. Third, rather than block skeptical doubts, the conceivability-possibility move introduces skeptical doubts. For these reasons, transcendental arguments fail to deliver on their promise to overcome skeptical doubts. (shrink)

My thesis situates itself within the field of the Philosophy of Worldviews. Specifically, it aims to address the normative question of what the task should be of such a philosophy when faced with the problem of conflicting beliefs between religious worldviews. To answer this question, I turn to the procedure of aporetical analysis, in short, aporetics. Firstly, aporetics offers a distinct method of consistency restoration within inconsistent sets on the basis of thesis rejection and thesis modification. Secondly, aporetics leads to (...) an understanding of the availability of aporetic exits on the basis of epistemic criteria. On the one hand, this leads us to opt for an orientational monism/pluralism, which steers the middle course between the epistemic stances of exclusivism and pluralism. On the other hand, it allows us to identify epistemic criteria for worldview acquisition on the basis of three distinct superclasses. These superclasses can be derived from Jürgen Habermas' validity claims, and applied to the self-understanding of contemporary theories of religion. (shrink)

According to Gurwitsch, the body is at least at the margin of consciousness. If all components of the field of consciousness were experienced as equally salient, we would indeed not be able to think and behave appropriately. Though the body may become the focus of our conscious field when we are introspectively aware of it, it remains most of the time only at the background of consciousness. However, we may wonder if bodily states do really need to be conscious, even (...) at the margin, or cannot be simply non-conscious. Action control requires permanent proprioceptive and visual feedback about the state and the position of our body parts. Experimental data show that action monitoring operates at a nonconscious level and we may similarly suggest that we have a continuous unconscious access to bodily information. In this chapter, I thus intend to describe the various levels of body representations with the help of Gurwitsch's distinction. I will investigate the properties and the function of each of these levels. (shrink)

Thoroughgoing relativists typically dismiss the realist conviction that competing theories describe just one definite and mind-independent world-structure on the grounds that such theories fail to be relatively translatable even though they are equally correct. This line of argument allegedly brings relativism into direct conflict with the metaphysics of realism. I argue that this relativist line of reasoning is shaky by deriving a theorem about relativistic inquiry in formal epistemology—more specifically, in the approach Kevin Kelly has dubbed “logic of reliable inquiry”. (...) According to the theorem, two scientists, who share some background knowledge but follow different appropriately reliable methods, will converge to relatively formally translatable competing theories, even if meaning, truth, logic and evidence are allowed to vary in time depending on each scientist’s conjectures, actions, or conceptual choices. Some final remarks on the relevance of the theorem to the incommensurability thesis that has vexed twentieth century philosophy of science are adduced. (shrink)

According to the phenomenal intentionality research program, a state’s intentional content is fixed by its phenomenal character. Defenders of this view have little to say about just how this grounding is accomplished. I argue that without a robust account of representation, the research program promises too little. Unfortunately, most of the well-developed accounts of representation – asymmetric dependence, teleosemantics, and the like – ground representation in external relations such as causation. Such accounts are inconsistent with the core of the phenomenal (...) intentionality program. I argue that, however counter-intuitive it may seem, the best prospect for explaining how phenomenal character represents appeals to resemblance. (shrink)