In the science of consciousness, it’s oftentimes assumed that some creatures (or mental states) are more conscious than others. But in recent years, a number of philosophers have argued that the notion of degrees of consciousness is conceptually confused. This paper (1) argues that the most prominent objections to degrees of consciousness are unsustainable, (2) examines the semantics of ‘more conscious than’ expressions, (3) develops an analysis of what it is for a degreed property to count as degrees of consciousness, (...) and (4) applies the analysis to various theories of consciousness. I argue that whether consciousness comes in degrees ultimately depends on which theory of consciousness turns out to be correct. But I also argue that most theories of consciousness entail that consciousness comes in degrees. (shrink)

This paper develops a theory of analog representation. We first argue that the mark of the analog is to be found in the nature of a representational system’s interpretation function, rather than in its vehicles or contents alone. We then develop the rulebound structure theory of analog representation, according to which analog systems are those that use interpretive rules to map syntactic structural features onto semantic structural features. The theory involves three degree-theoretic measures that capture three independent ways in which (...) a system can be more or less analog. We explain how our theory improves upon prior accounts of analog representation, provides plausible diagnoses for novel challenge cases, extends to hybrid systems that are partially analog and partially symbolic, and accounts for some of the advantages and disadvantages of representing analogically versus symbolically. (shrink)

Andrews argues for a pluralistic folk psychology that employs different kinds of practices and different kinds of cognitive tools (including personality trait attribution, stereotype activation, inductive reasoning about past behavior, and ...

The view that folk psychology is primarily mindreading beliefs and desires has come under challenge in recent years. I have argued that we also understand others in terms of individual properties such as personality traits and generalizations from past behavior, and in terms of group properties such as stereotypes and social norms (Andrews 2012). Others have also argued that propositional attitude attribution isn’t necessary for predicting others’ behavior, because this can be done in terms of taking Dennett’s Intentional Stance (Zawidzki (...) 2013), appealing to social structures (Maibom 2007), shared norms (McGeer 2007) or via solution based heuristics for reaching equilibrium between social partners (Morton 2003). But it isn’t only prediction that can be done without thinking about what others think; we can explain and understand people in terms of their personality traits, habitual behaviors, and social practices as well. The decentering of propositional attitude attributions goes hand in hand with a move away from taking folk psychology to be primarily a predictive device. While experiments examining folk psychological abilities in children, infants, and other species still rest on asking subjects to predict behavior, theoretical investigations as to the evolutionary function of folk psychology have stressed the role of explanation (Andrews 2012) and regulative functions (McGeer 2007, Zawidzki 2013, Fenici 2011). In this paper I argue that an explanatory role for folk psychology is also a regulative role, and that language is not required for these regulative functions. I will start by drawing out the relationship between prediction, explanation, and regulation of behavior according to both mindreading approaches to folk psychology and the pluralistic account I defend. I will argue that social cognition does not take the form of causal reasoning so much as it does normative reasoning, and will introduce the folk psychological spiral. Then I will examine the cognitive resources necessary for participating in the folk psychological spiral, and I will argue that these cognitive resources can be had without language. There is preliminary evidence that some other species understand one another through a normative lens that, through looping effects, creates expectations that community members strive to live up to. (shrink)

This paper argues that phenomenal consciousness is what makes an entity a welfare subject. I develop a variety of motivations for this view, and then defend it from objections concerning death, non-conscious entities that have interests (such as plants), and conscious entities that necessarily have welfare level zero. I also explain how my theory of welfare subjects relates to experientialist and anti-experientialist theories of welfare goods.

Most work in Kant’s epistemology focuses on what happens “upstream” from experience, prior to the formation of conscious propositional attitudes. By contrast, this essay focuses on what happens "downstream": the formation of assent (Fuerwahrhalten) in its various modes. The mode of assent that Kant calls "Belief" (Glaube) is the main topic: not only moral Belief but also "pragmatic" and "doctrinal" Belief as well. I argue that Kant’s discussion shows that we should reject standard accounts of the extent to which theoretical (...) reason can provide justified assent about things-in-themselves, in favor of one that is much more liberal. Interpretive benefits are not the only results of the discussion, however. I also hope it will become clear along the way that there is such a thing as Kantian Belief, and that we often have quite a lot of it. -/- . (shrink)

Virtue theories have become influential in ethics and epistemology. This paper argues for a similar approach to argumentation. Several potential obstacles to virtue theories in general, and to this new application in particular, are considered and rejected. A first attempt is made at a survey of argumentational virtues, and finally it is argued that the dialectical nature of argumentation makes it particularly suited for virtue theoretic analysis.

This paper examines the idea of "objective phenomenology," or a way of understanding the phenomenal character of conscious experiences that doesn’t require one to have had the kinds of experiences under consideration. My central thesis is that structural facts about experience—facts that characterize purely how conscious experiences are structured—are objective phenomenal facts. I begin by precisifying the idea of objective phenomenology and diagnosing what makes any given phenomenal fact subjective. Then I defend the view that structural facts about experience are (...) objective. I also argue that structural facts about experience, despite being objective, nevertheless still give rise to an explanatory gap. (shrink)

Some philosophers think that life is worth living not merely because of the goods and the bads within it, but also because life itself is good. I explain how this idea can be formalized by associating each version of such of a view with a function from length of life to the value generated by life itself. Then I argue that every version of the view that life itself is good faces some version of the following dilemma: either (1) good (...) human lives are worse than very long lives wholly devoid of pleasure, desire-satisfaction, knowledge, or any other goods, or (2) very short lives containing nothing but suffering are worth living. Since neither result is plausible, we ought to reject the view that life itself is good. On the view I favor, any given life may be worth living because of the goods that it contains, but life itself is neutral. (shrink)

Conscious experiences are characterized by mental qualities, such as those involved in seeing red, feeling pain, or smelling cinnamon. The standard framework for modeling mental qualities represents them via points in geometrical spaces, where distances between points inversely correspond to degrees of phenomenal similarity. This paper argues that the standard framework is structurally inadequate and develops a new framework that is more powerful and flexible. The core problem for the standard framework is that it cannot capture precision structure: for example, (...) consider the phenomenal contrast between seeing an object as crimson in foveal vision versus merely as red in peripheral vision. The solution I favor is to model mental qualities using regions, rather than points. I explain how this seemingly simple formal innovation not only provides a natural way of modeling precision, but also yields a variety of further theoretical fruits: it enables us to formulate novel hypotheses about the space and structures of mental qualities, formally differentiate two dimensions of phenomenal similarity, generate a quantitative model of the phenomenal sorites, and define a measure of discriminatory grain. A noteworthy consequence is that the structure of the mental qualities of conscious experiences is fundamentally different from the structure of the perceptible qualities of external objects. (shrink)

We investigated, experimentally, the contention that the folk view, or naïve theory, of time, amongst the population we investigated is dynamical. We found that amongst that population, ~ 70% have an extant theory of time that is more similar to a dynamical than a non-dynamical theory, and ~ 70% of those who deploy a naïve theory of time deploy a naïve theory that is more similar to a dynamical than a non-dynamical theory. Interestingly, while we found stable results across our (...) two experiments regarding the percentage of participants that have a dynamical or non-dynamical extant theory of time, we did not find such stability regarding which particular dynamical or non-dynamical theory of time they take to be most similar to our world. This suggests that there might be two extant theories in the population—a broadly dynamical one and a broadly non-dynamical one—but that those theories are sufficiently incomplete that participants do not stably choose the same dynamical theory as being most similar to our world. This suggests that while appeals to the ordinary view of time may do some work in the context of adjudicating disputes between dynamists and non-dynamists, they likely cannot do any such work adjudicating disputes between particular brands of dynamism. (shrink)

Is consciousness intrinsically valuable? Some theorists favor the positive view, according to which consciousness itself accrues intrinsic value, independent of the particular kind of experience instantiated. In contrast, I favor the neutral view, according to which consciousness is neither intrinsically valuable nor disvaluable. The primary purpose of this paper is to clarify what is at stake when we ask whether consciousness is intrinsically valuable, to carve out the theoretical space, and to evaluate the question rigorously. Along the way, I also (...) show why the neutral view is attractive and why certain arguments for the positive view do not work. (shrink)

Much has been written about the free energy principle (FEP), and much misunderstood. The principle has traditionally been put forth as a theory of brain function or biological self-organisation. Critiques of the framework have focused on its lack of empirical support and a failure to generate concrete, falsifiable predictions. I take both positive and negative evaluations of the FEP thus far to have been largely in error, and appeal to a robust literature on scientific modelling to rectify the situation. A (...) prominent account of scientific modelling distinguishes between model structure and model construal. I propose that the FEP be reserved to designate a model structure, to which philosophers and scientists add various construals, leading to a plethora of models based on the formal structure of the FEP. An entailment of this position is that demands placed on the FEP that it be falsifiable or that it conform to some degree of biological realism rest on a category error. To this end, I deliver first an account of the phenomenon of model transfer and the breakdown between model structure and model construal. In the second section, I offer an overview of the formal elements of the framework, tracing their history of model transfer and illustrating how the formalism comes apart from any interpretation thereof. Next, I evaluate existing comprehensive critical assessments of the FEP, and hypothesise as to potential sources of existing confusions in the literature. In the final section, I distinguish between what I hold to be the FEP—taken to be a modelling language or modelling framework—and what I term “FEP models.”. (shrink)

The fallacy fallacy is either the misdiagnosis of fallacy or the supposition that the conclusion of a fallacy must be a falsehood. This paper explores the relevance of these and related errors of reasoning for the appraisal of arguments, especially within virtue theories of argumentation. In particular, the fallacy fallacy exemplifies the Owl of Minerva problem, whereby tools devised to understand a norm make possible new ways of violating the norm. Fallacies are such tools and so are vices. Hence a (...) similar problem arises with argumentative vices. Fortunately, both instances of the problem have a common remedy. (shrink)

The virtues and vices of argument are now an established part of argumentation theory. They have helped direct attention to hitherto neglected aspects of how we argue. However, it remains controversial whether a virtue theory can contribute to some of the central questions of argumentation theory. Notably, Harvey Siegel disputes whether what he calls ‘arguments in the abstract propositional sense’ can be evaluated meaningfully within a virtue theory. This paper explores the prospects for grounding an account of argument evaluation in (...) arguers’ virtues and vices by examination of a corresponding debate in virtue ethics: Can an ethics of virtue guide our actions? It is thereby argued that an affirmative answer is possible: virtues suffice for argument evaluation. (shrink)

Empirical work has lately confirmed what many philosophers have taken to be true: people are ‘biased toward the future’. All else being equal, we usually prefer to have positive experiences in the future, and negative experiences in the past. According to one hypothesis, the temporal metaphysics hypothesis, future-bias is explained either by our beliefs about temporal metaphysics—the temporal belief hypothesis—or alternatively by our temporal phenomenology—the temporal phenomenology hypothesis. We empirically investigate a particular version of the temporal belief hypothesis according to (...) which future-bias is explained by the belief that time robustly passes. Our results do not match the apparent predictions of this hypothesis, and so provide evidence against it. But we also find that people give more future-biased responses when asked to simulate a belief in robust passage. We take this to suggest that the phenomenology that attends simulation of that belief may be partially responsible for future-bias, and we examine the implications of these results for debates about the rationality of future-bias. (shrink)

Many philosophers accept both of the following claims: (1) consciousness matters morally, and (2) species membership doesn’t matter morally. In other words, many reject speciesism but accept what we might call 'sentientism'. But do the reasons against speciesism yield analogous reasons against sentientism, just as the reasons against racism and sexism are thought to yield analogous reasons against speciesism? This paper argues that speciesism is disanalogous to sentientism (as well as racism and sexism). I make a case for the following (...) asymmetry: (a) some non-humans clearly have interests, but (b) no non-conscious entities clearly have interests. This asymmetry, I argue, renders sentientism resistant to the standard argument against speciesism. (shrink)

Most elpistologists now agree that hope for a specific outcome involves more than just desire plus the presupposition that the outcome is possible. This paper argues that the additional element of hope is a disposition to focus on the desired outcome in a certain way. I first survey the debate about the nature of hope in the recent literature, offer objections to some important competing accounts, and describe and defend the view that hope involves a kind of focus or attention. (...) I then suggest that this account makes sense of the intuitive thought that there are moral and pragmatic norms on hope that go beyond the norms on desires and modal presuppositions. I conclude by considering some key questions. (shrink)

The study of animal cognition raises profound questions about the minds of animals and philosophy of mind itself. Aristotle argued that humans are the only animal to laugh, but in recent experiments rats have also been shown to laugh. In other experiments, dogs have been shown to respond appropriately to over two hundred words in human language. In this introduction to the philosophy of animal minds Kristin Andrews introduces and assesses the essential topics, problems and debates as they cut across (...) animal cognition and philosophy of mind. She addresses the following key topics: what is cognition, and what is it to have a mind? What questions should we ask to determine whether behaviour has a cognitive basis? the science of animal minds explained: ethology, behaviourist psychology, and cognitive ethology rationality in animals animal consciousness: what does research into pain and the emotions reveal? What can empirical evidence about animal behaviour tell us about philosophical theories of consciousness? does animal cognition involve belief and concepts; do animals have a ‘Language of Thought’? animal communication other minds: do animals attribute ‘mindedness’ to other creatures? moral reasoning and ethical behaviour in animals animal cognition and memory. Extensive use of empirical examples and case studies is made throughout the book. These include Cheney and Seyfarth’s ververt monkey research, Thorndike’s cat puzzle boxes, Jensen’s research into humans and chimpanzees and the ultimatum game, Pankseep and Burgdorf’s research on rat laughter, and Clayton and Emery’s research on memory in scrub-jays. Additional features such as chapter summaries, annotated further reading and a glossary make this an indispensable introduction to those teaching philosophy of mind, animal cognition. It will also be an excellent resource for those in fields such as ethology, biology and psychology. (shrink)

Disagreements that resist rational resolution, often termed “deep disagreements”, have been the focus of much work in epistemology and informal logic. In this paper, I argue that they also deserve the attention of philosophers of mathematics. I link the question of whether there can be deep disagreements in mathematics to a more familiar debate over whether there can be revolutions in mathematics. I propose an affirmative answer to both questions, using the controversy over Shinichi Mochizuki’s work on the abc conjecture (...) as a potential example of both phenomena. I conclude by investigating the prospects for the resolution of mathematical deep disagreements in virtue-theoretic approaches to informal logic and mathematical practice. (shrink)

Mereological nihilism (henceforth just "nihilism") is the thesis that composition never occurs. Nihilism has often been defended on the basis of its theoretical simplicity, including its ontological simplicity and its ideological simplicity (roughly, nihilism's ability to do without primitive mereological predicates). In this paper I defend nihilism on the basis of the theoretical unification conferred by nihilism, which is, roughly, nihilism's capacity to allow us to take fewer phenomena as brute and inexplicable. This represents a respect in which nihilism enjoys (...) greater theoretical simplicity than its rivals which has not yet been explored, and which is immune to many of the objections which have been leveled against previous arguments for nihilism from nihilism's theoretical simplicity. Composition as identity might be thought to confer a similar degree of theoretical unification as nihilism. I end the paper by arguing that this is not the case. (shrink)

Both Philip and Andrew are philosophy students whose interests converge around the philosophy of technology broadly understood. Philip's interest is specifically aimed toward the ethics of Transhumanism and depictions of Transhumanism in works of fiction. On the other hand, Andrew finds himself more focused on religious behavior in the technological world. While the two perspectives might not seem that close, there is certain to be an overlap in Andrew and Philip's shared understanding of how technological phenomena play (...) a crucial role concerning religion and society. (shrink)

This paper argues that knowledge of what it’s like varies along a spectrum from more exact to more approximate, and that phenomenal concepts vary along a spectrum in how precisely they characterize what it’s like to undergo their target experiences. This degreed picture contrasts with the standard all-or-nothing picture, where phenomenal concepts and phenomenal knowledge lack any such degreed structure. I motivate the degreed picture by appeal to (1) limits in epistemic abilities such as recognition, imagination, and inference, and (2) (...) the semantics of ‘knows what it’s like’ expressions. I argue that approximate phenomenal knowledge cannot be explained merely via determinable or vague phenomenal concepts. I develop a framework for systematizing approximate knowledge of phenomenal character. And I explain how my view challenges some standard assumptions about the acquisition conditions, requirements for mastery, and referential mechanisms of phenomenal concepts. (shrink)

In this paper the logic of broad necessity is explored. Definitions of what it means for one modality to be broader than another are formulated, and it is proven, in the context of higher-order logic, that there is a broadest necessity, settling one of the central questions of this investigation. It is shown, moreover, that it is possible to give a reductive analysis of this necessity in extensional language. This relates more generally to a conjecture that it is not possible (...) to define intensional connectives from extensional notions. This conjecture is formulated precisely in higher-order logic, and concrete cases in which it fails are examined. The paper ends with a discussion of the logic of broad necessity. It is shown that the logic of broad necessity is a normal modal logic between S4 and Triv, and that it is consistent with a natural axiomatic system of higher-order logic that it is exactly S4. Some philosophical reasons to think that the logic of broad necessity does not include the S5 principle are given. (shrink)

Philosophers commonly say that beliefs come in degrees. Drawing from the literature, I make precise three arguments for this claim: an argument from degrees of confidence, an argument from degrees of firmness, and an argument from natural language. I show that they all fail. I also advance three arguments that beliefs do not come in degrees: an argument from natural language, an argument from intuition, and an argument from the metaphysics of degrees. On the basis of these arguments, I conclude (...) that beliefs do not come in degrees. (shrink)

An essay on Kant's theory of justification, where by “justification” is meant the evaluative concept that specifies conditions under which a propositional attitude is rationally acceptable with a moderate-to-high degree of confidence. Kant employs both epistemic and non-epistemic concepts of justification: an epistemic concept of justification sets out conditions under which a propositional attitude is rationally acceptable with a moderate-to-high degree of confidence and a candidate (if true and Gettier-immune) for knowledge. A non-epistemic concept of justification, by contrast, sets out (...) conditions under which attitudes are rationally acceptable with a moderate-to-high degree of confidence but not candidates for knowledge (even if true). The latter conditions will typically be “pragmatic” or “practical,” and thus license acceptance from a “practical” point of view. For Kant, only broadly-speaking practical reasons can provide adequate motivation for adopting a positive attitude towards a proposition (rather than suspending judgment) in the absence of sufficient epistemic grounds. -/- . (shrink)

Kant's speculative theistic proof rests on a distinction between “logical” and “real” modality that he developed very early in the pre-critical period. The only way to explain facts about real possibility, according to Kant, is to appeal to the properties of a unique, necessary, and “most real” being. Here I reconstruct the proof in its historical context, focusing on the role played by the theory of modality both in motivating the argument (in the pre-critical period) and, ultimately, in undoing it (...) as a source of knowledge of God's existence (in the critical period). Along the way I examine Kant's version of the now-popular “actualist” thesis that facts about what is possible must be explained by facts about what is actual. I conclude by discussing why the critical Kant claims both that there are rational grounds for accepting the conclusion of his theistic proof, and that such acceptance can not count as knowledge. This is important, I argue, because the same considerations ultimately motivate his prohibition on knowledge of things-in-themselves generally. -/- . (shrink)

Recent research (Latham, Miller and Norton, forthcoming) reveals that a majority of people represent actual time as dynamical. But do they, as suggested by McTaggart and Gödel, represent time as essentially dynamical? This paper distinguishes three interrelated questions. We ask (a) whether the folk representation of time is sensitive or insensitive: i.e., does what satisfies the folk representation of time in counterfactual worlds depend on what satisfies it actually—sensitive—or does is not depend on what satisfies it actually—insensitive, and (b) do (...) those who represent actual time as dynamical, represent time in all possible worlds as dynamical—what we call insensitive dynamism—or do they represent time in all possible worlds as dynamical only conditional on the actual world in fact being dynamical—what we call sensitive dynamism and (c) do dynamists and non-dynamists deploy two different representations of time, or deploy the same representation, but disagree about what actually satisfies that representation? We found no evidence that the folk representation of time is sensitive, or that the folk representation of time is essentially dynamical in either sense, though we did find evidence of a shared representation, on which dynamical features are sufficient, but not necessary, for time. (shrink)

In this paper I present a precise version of Stalnaker's thesis and show that it is both consistent and predicts our intuitive judgments about the probabilities of conditionals. The thesis states that someone whose total evidence is E should have the same credence in the proposition expressed by 'if A then B' in a context where E is salient as they have conditional credence in the proposition B expresses given the proposition A expresses in that context. The thesis is formalised (...) rigorously and two models are provided that demonstrate that the new thesis is indeed tenable within a standard possible world semantics based on selection functions. Unlike the Stalnaker-Lewis semantics the selection functions cannot be understood in terms of similarity. A probabilistic account of selection is defended in its place. -/- I end the paper by suggesting that this approach overcomes some of the objections often leveled at accounts of indicatives based on the notion of similarity. (shrink)

This paper empirically investigates one aspect of the folk concept of time by testing how the presence or absence of directedness impacts judgements about whether there is time in a world. Experiment 1 found that dynamists, showed significantly higher levels of agreement that there is time in dynamically directed worlds than in non-dynamical non-directed worlds. Comparing our results to those we describe in Latham et al., we report that while ~ 70% of dynamists say there is time in B-theory worlds, (...) only ~ 45% say there is time in C-theory worlds. Thus, while the presence of directedness makes dynamists more inclined to say there is time in a world, a substantial subpopulation of dynamists judge that there is time in non-directed worlds. By contrast, a majority of non-dynamists judged that there was time in both growing block worlds and C-theory worlds, with no significant differences between the means. Experiment 2 found that when participants are only presented with non-dynamical worlds—namely, a directed world and a non-directed world—they report significantly higher levels of agreement that there is time in B-theory worlds. However, the majority of participants still judge that there is time in C-theory worlds. We conclude that while the presence of directedness bolsters judgements that there is time, most people do not judge it to be necessary for time. (shrink)

In explaining the notion of a fundamental property or relation, metaphysicians will often draw an analogy with languages. The fundamental properties and relations stand to reality as the primitive predicates and relations stand to a language: the smallest set of vocabulary God would need in order to write the “book of the world.” This paper attempts to make good on this metaphor. To that end, a modality is introduced that, put informally, stands to propositions as logical truth stands to sentences. (...) The resulting theory, formulated in higher-order logic, also vindicates the Humean idea that fundamental properties and relations are freely recombinable and a variant of the structural idea that propositions can be decomposed into their fundamental constituents via logical operations. Indeed, it is seen that, although these ideas are seemingly distinct, they are not independent, and fall out of a natural and general theory about the granularity of reality. (shrink)

Metaphysicians frequently appeal to the idea that theoretical simplicity is truth conducive in metaphysics, in the sense that, all other things being equal, simpler metaphysical theories are more likely to be true. In this paper I defend the notion that theoretical simplicity is truth conducive in metaphysics, against several recent objections. I do not give any direct arguments for the thesis that simplicity is truth conducive in metaphysics, since I am aware of no such arguments. I do argue, however, that (...) there is no special problem with the notion that simplicity is truth conducive in metaphysics. More specifically, I argue that if you accept the idea that simplicity is truth conducive in science, then it would be objectionably arbitrary to reject the idea that simplicity is truth conducive in metaphysics. (shrink)

Traditional geometry concerns itself with planimetric and stereometric considerations, which are at the root of the division between plane and solid geometry. To raise the issue of the relation between these two areas brings with it a host of different problems that pertain to mathematical practice, epistemology, semantics, ontology, methodology, and logic. In addition, issues of psychology and pedagogy are also important here. To our knowledge there is no single contribution that studies in detail even one of the aforementioned areas.

Most work on the semantic paradoxes within classical logic has centered around what this essay calls “linguistic” accounts of the paradoxes: they attribute to sentences or utterances of sentences some property that is supposed to explain their paradoxical or nonparadoxical status. “No proposition” views are paradigm examples of linguistic theories, although practically all accounts of the paradoxes subscribe to some kind of linguistic theory. This essay shows that linguistic accounts of the paradoxes endorsing classical logic are subject to a particularly (...) acute form of the revenge paradox: that there is no exhaustive classification of sentences into “good” and “bad” such that the T-schema holds when restricted to the “good” sentences unless it is also possible to prove some “bad” sentences. The foundations for an alternative classical nonlinguistic approach is outlined that is not subject to the same kinds of problems. Although revenge paradoxes of different strengths can be formulated, they are found to be indeterminate at higher orders and not inconsistent. (shrink)

One thousand fair causally isolated coins will be independently flipped tomorrow morning and you know this fact. I argue that the probability, conditional on your knowledge, that any coin will land tails is almost 1 if that coin in fact lands tails, and almost 0 if it in fact lands heads. I also show that the coin flips are not probabilistically independent given your knowledge. These results are uncomfortable for those, like Timothy Williamson, who take these probabilities to play a (...) central role in their theorizing. (shrink)

This paper argues that the theory of structured propositions is not undermined by the Russell-Myhill paradox. I develop a theory of structured propositions in which the Russell-Myhill paradox doesn't arise: the theory does not involve ramification or compromises to the underlying logic, but rather rejects common assumptions, encoded in the notation of the $\lambda$-calculus, about what properties and relations can be built. I argue that the structuralist had independent reasons to reject these underlying assumptions. The theory is given both a (...) diagrammatic representation, and a logical representation in a novel language. In the latter half of the paper I turn to some technical questions concerning the treatment of quantification, and demonstrate various equivalences between the diagrammatic and logical representations, and a fragment of the $\lambda$-calculus. (shrink)

In the first part of the paper I reconstruct Kant’s proof of the existence of a ‘most real being’ while also highlighting the theory of modality that motivates Kant’s departure from Leibniz’s version of the proof. I go on to argue that it is precisely this departure that makes the being that falls out of the pre-critical proof look more like Spinoza’s extended natura naturans than an independent, personal creator-God. In the critical period, Kant seems to think that transcendental idealism (...) allows him to avoid this conclusion, but in the last section of the paper I argue that there is still one important version of the Spinozistic threat that remains. -/- . (shrink)

This paper explains and defends a belief-first view of the relationship between belief and credence. On this view, credences are a species of beliefs, and the degree of credence is determined by the content of what is believed. We begin by developing what we take to be the most plausible belief-first view. Then, we offer several arguments for it. Finally, we show how it can resist objections that have been raised to belief-first views. We conclude that the belief-first view is (...) more plausible than many have previously supposed. (shrink)

This three-part chapter explores a higher-order logic we call ‘Classicism’, which extends a minimal classical higher-order logic with further axioms which guarantee that provable coextensiveness is sufficient for identity. The first part presents several different ways of axiomatizing this theory and makes the case for its naturalness. The second part discusses two kinds of extensions of Classicism: some which take the view in the direction of coarseness of grain (whose endpoint is the maximally coarse-grained view that coextensiveness is sufficient for (...) identity), and some which take the view in the direction of fineness of grain (whose endpoint is the maximally fine-grained theory containing all distinctness claims compatible with Classicism). The third part introduces some techniques for constructing models of Classicism, and uses them to prove the consistency of many of the extensions of Classicism introduced in the second part. (shrink)

People are ‘biased toward the future’: all else being equal, we typically prefer to have positive experiences in the future, and negative experiences in the past. Several explanations have been suggested for this pattern of preferences. Adjudicating among these explanations can, among other things, shed light on the rationality of future-bias: For instance, if our preferences are explained by unjustified beliefs or an illusory phenomenology, we might conclude that they are irrational. This paper investigates one hypothesis, according to which future-bias (...) is explained by our having a phenomenology that we describe, or conceive of, as being as of time robustly passing. We empirically tested this hypothesis and found no evidence in its favour. Our results present a puzzle, however, when compared with the results of an earlier study. We conclude that although robust passage phenomenology on its own probably does not explain future-bias, having this phenomenology and taking it to be veridical may contribute to future-bias. (shrink)

For Kant, the form of a subject's experience of an object provides the normative basis for an aesthetic judgement about it. In other words, if the subject's experience of an object has certain structural properties, then Kant thinks she can legitimately judge that the object is beautiful - and that it is beautiful for everyone. My goal in this paper is to provide a new account of how this 'subjective universalism' is supposed to work. In doing so, I appeal to (...) Kant's notions of an aesthetic idea and an aesthetic attribute, and the connection that Kant makes between an object's expression of rational and the normativity of aesthetic judgements about it. -/- . (shrink)

An increasing amount of twenty-first century metaphysics is couched in explicitly hyperintensional terms. A prerequisite of hyperintensional metaphysics is that reality itself be hyperintensional: at the metaphysical level, propositions, properties, operators, and other elements of the type hierarchy, must be more fine-grained than functions from possible worlds to extensions. In this paper I develop, in the setting of type theory, a general framework for reasoning about the granularity of propositions and properties. The theory takes as primitive the notion of a (...) substitution on a proposition (property, etc.) and, among other things, uses this idea to elucidate a number of theoretically important distinctions. A class of structures are identified which can be used to model a wide range of positions about the granularity of reality; certain of these structures are seen to receive a natural treatment in the category of M-sets. (shrink)

Perception is riddled with cases of reliable misperception. These are cases in which a perceptual state is tokened inaccurately any time it is tokened under normal conditions. On the face of it, this fact causes trouble for theories that provide an analysis of perceptual content in non-semantic, non-intentional, and non-phenomenal terms, such as those found in Millikan (1984), Fodor (1990), Neander (2017), and Schellenberg (2018). I show how such theories can be extended so that they cover such cases without giving (...) up their core commitments. (shrink)

In the ‘Refutation of Idealism’ chapter of the first Critique, Kant argues that the conditions required for having certain kinds of mental episodes are sufficient to guarantee that there are ‘objects in space’ outside us. A perennially influential way of reading this compressed argument is as a kind of causal inference: in order for us to make justified judgements about the order of our inner states, those states must be caused by the successive states of objects in space outside us. (...) Here I consider the best recent versions of this reading, and argue that each suffers from apparently fatal flaws. -/- . (shrink)

The result of combining classical quantificational logic with modal logic proves necessitism – the claim that necessarily everything is necessarily identical to something. This problem is reflected in the purely quantificational theory by theorems such as ∃x t=x; it is a theorem, for example, that something is identical to Timothy Williamson. The standard way to avoid these consequences is to weaken the theory of quantification to a certain kind of free logic. However, it has often been noted that in order (...) to specify the truth conditions of certain sentences involving constants or variables that don’t denote, one has to apparently quantify over things that are not identical to anything. In this paper I defend a contingentist, non-Meinongian metaphysics within a positive free logic. I argue that although certain names and free variables do not actually refer to anything, in each case there might have been something they actually refer to, allowing one to interpret the contingentist claims without quantifying over mere possibilia. (shrink)

Against a view currently popular in the literature, it is argued that Kant was not a niıve realist about perceptual experience. Naive realism entails that perceptual experience is object-dependent in a very strong sense. In the first half of the paper, I explain what this claim amounts to and I undermine the evidence that has been marshalled in support of attributing it to Kant. In the second half of the paper, I explore in some detail Kant’s account of hallucination and (...) argue that no such account is available to someone who thinks that veridical perceptual experience is object-dependent in the naive realist sense. Kant’s theory provides for a remarkably sophisticated, bottom-up explanation of the phenomenal character of hallucinatory episodes and is crucial for gaining a proper understanding of his model of the mind and its place in nature. (shrink)

Mereological nihilism is the thesis that composition never occurs. Some philosophers have thought that science gives us compelling evidence against nihilism. In this article I respond to this concern. An initial challenge for nihilism stems from the fact that composition is such a ubiquitous feature of scientific theories. In response I motivate a restricted form of scientific anti-realism with respect to those components of scientific theories which make reference to composition. A second scientifically based worry for nihilism is that certain (...) specific scientific phenomena might require ineliminable quantification over composite objects. I address these concerns, and argue that there seem to be nihilist-friendly construals of the scientific phenomena in question. (shrink)

My goal in this paper is to show that Kant’s prohibition on certain kinds of knowledge of things-in-themselves is motivated less by his anti-soporific encounter with Hume than by his new view of the distinction between “real” and “logical” modality, a view that developed out of his reflection on the rationalist tradition in which he was trained. In brief: at some point in the 1770’s, Kant came to hold that a necessary condition on knowing a proposition is that one be (...) able to prove that all the items it refers to are either really possible or really impossible. Most propositions about things-in-themselves, in turns out, cannot meet this condition. I conclude by suggesting that the best interpretation of this modal condition is as a kind of coherentist constraint. (shrink)

Deflationists hold that it does not seem to us, in experience, as though time robustly passes. There is some recent empirical evidence that appears to support this contention. Equally, empirical evidence suggests that we naïvely represent time as dynamical. Thus deflationists are faced with an explanatory burden. If, as they maintain, the world seems to us in experience as though it is non-dynamical, then why do we represent time as dynamical? This paper takes up the challenge of investigating, on the (...) part of the deflationist, one candidate explanation. We hypothesise that people’s belief that the future is what we call deliberatively open partly explains why they represent time as dynamical. In a series of two experiments we test this hypothesis. We find no evidence that beliefs about deliberative openness explain why people represent time as dynamical. Hence there remains an explanatory burden for the deflationist to discharge. (shrink)

A satisfactory theory of linguistic communication must explain how it is that, through the interpersonal exchange of auditory, visual, and tactile stimuli, the communicative preconditions for the acquisition of testimonial knowledge regularly come to be satisfied. Without an account of knowledge-yielding communication this success condition for linguistic theorizing is left opaque, and we are left with an incomplete understanding of testimony, and communication more generally, as a source of knowledge. This paper argues that knowledge-yielding communication should be modelled on knowledge (...) itself. It is argued that knowledge-yielding communication occurs iff interlocutors coordinate on truth values in a non-lucky and non-deviant way. This account is able to do significant explanatory work: it sheds light on the nature of referential communication, and it allows us to capture, in an informative way, the sense in which interlocutors must entertain similar propositions in order to communicate successfully. (shrink)