The fact that physical laws often admit certain kinds of space-time symmetries is often thought to be problematic for substantivalism --- the view that space-time is as real as the objects it contains. The most prominent alternative, relationism, avoids these problems but at the cost of giving abstract objects (rather than space-time points) a pivotal role in the fundamental metaphysics. This incurs related problems concerning the relation of the physical to the mathematical. In this paper I will present a version (...) of substantivalism that respects Leibnizian theses about space-time symmetries, and argue that it is superior to both relationism and the more orthodox form of substantivalism. (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)

Higher-order logic augments first-order logic with devices that let us generalize into grammatical positions other than that of a singular term. Some recent metaphysicians have advocated for using these devices to raise and answer questions that bear on many traditional issues in philosophy. In contrast to these 'higher-order metaphysicians', traditional metaphysics has often focused on parallel, but importantly different, questions concerning special sorts of abstract objects: propositions, properties and relations. The answers to the higher-order and the property-theoretic questions may coincide (...) sometimes but will often come apart. I argue that when they do, the higher-order questions are closer to the metaphysical action and so it would be better for these debates to proceed in higher-order terms. (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)

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)

We explore the view that Frege's puzzle is a source of straightforward counterexamples to Leibniz's law. Taking this seriously requires us to revise the classical logic of quantifiers and identity; we work out the options, in the context of higher-order logic. The logics we arrive at provide the resources for a straightforward semantics of attitude reports that is consistent with the Millian thesis that the meaning of a name is just the thing it stands for. We provide models to show (...) that some of these logics are non-degenerate. (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)

The principle of universal instantiation plays a pivotal role both in the derivation of intensional paradoxes such as Prior’s paradox and Kaplan’s paradox and the debate between necessitism and contingentism. We outline a distinctively free logical approach to the intensional paradoxes and note how the free logical outlook allows one to distinguish two different, though allied themes in higher-order necessitism. We examine the costs of this solution and compare it with the more familiar ramificationist approaches to higher-order logic. Our assessment (...) of both approaches is largely pessimistic, and we remain reluctantly inclined to take Prior’s and Kaplan’s derivations at face value. (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)

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)

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)

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)

We develop a theory of necessity operators within a version of higher-order logic that is neutral about how fine-grained reality is. The theory is axiomatized in terms of the primitive of *being a necessity*, and we show how the central notions in the philosophy of modality can be recovered from it. Various questions are formulated and settled within the framework, including questions about the ordering of necessities under strength, the existence of broadest necessities satisfying various logical conditions, and questions about (...) their logical behaviour. We also wield the framework to probe the conditions under which a logicist account of necessities is possible, in which the theory is completely reducible to logic. (shrink)

A number of authors have objected to the application of non-classical logic to problems in philosophy on the basis that these non-classical logics are usually characterised by a classical metatheory. In many cases the problem amounts to more than just a discrepancy; the very phenomena responsible for non-classicality occur in the field of semantics as much as they do elsewhere. The phenomena of higher order vagueness and the revenge liar are just two such examples. The aim of this paper is (...) to show that a large class of non-classical logics are strong enough to formulate their own model theory in a corresponding non-classical set theory. Specifically I show that adequate definitions of validity can be given for the propositional calculus in such a way that the metatheory proves, in the specified logic, that every theorem of the propositional fragment of that logic is validated. It is shown that in some cases it may fail to be a classical matter whether a given sentence is valid or not. One surprising conclusion for non-classical accounts of vagueness is drawn: there can be no axiomatic, and therefore precise, system which is determinately sound and complete. (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)

In recent years there has been a revitalised interest in non-classical solutions to the semantic paradoxes. In this paper I show that a number of logics are susceptible to a strengthened version of Curry's paradox. This can be adapted to provide a proof theoretic analysis of the omega-inconsistency in Lukasiewicz's continuum valued logic, allowing us to better evaluate which logics are suitable for a naïve truth theory. On this basis I identify two natural subsystems of Lukasiewicz logic which individually, but (...) not jointly, lack the problematic feature. (shrink)

Those inclined to positions in the philosophy of time that take tense seriously have typically assumed that not all regions of space-time are equal: one special region of space-time corresponds to what is presently happening. When combined with assumptions from modern physics this has the unsettling consequence that the shape of this favored region distinguishes people in certain places or people traveling at certain velocities. In this paper I shall attempt to avoid this result by developing a tensed picture of (...) reality that is nonetheless consistent with ‘hypersurface egalitarianism’—the view that all hypersurfaces are equal. (shrink)

This paper formulates some paradoxes of inductive knowledge. Two responses in particular are explored: According to the first sort of theory, one is able to know in advance that certain observations will not be made unless a law exists. According to the other, this sort of knowledge is not available until after the observations have been made. Certain natural assumptions, such as the idea that the observations are just as informative as each other, the idea that they are independent, and (...) that they increase your knowledge monotonically (among others) are given precise formulations. Some surprising consequences of these assumptions are drawn, and their ramifications for the two theories examined. Finally, a simple model of inductive knowledge is offered, and independently derived from other principles concerning the interaction of knowledge and counterfactuals. (shrink)

A number of `no-proposition' approaches to the liar paradox find themselves implicitly committed to a moderate disquotational principle: the principle that if an utterance of the sentence `$P$' says anything at all, it says that $P$ (with suitable restrictions). I show that this principle alone is responsible for the revenge paradoxes that plague this view. I instead propose a view in which there are several closely related language-world relations playing the `semantic expressing' role, none of which is more central to (...) semantic theorizing than any other. I use this thesis about language and the negative result about disquotation to motivate the view that people do say things with utterances of paradoxical sentences, although they do not say the proposition you'd always expect, as articulated with a disquotational principle. (shrink)

Prior to Kripke's seminal work on the semantics of modal logic, McKinsey offered an alternative interpretation of the necessity operator, inspired by the Bolzano-Tarski notion of logical truth. According to this interpretation, `it is necessary that A' is true just in case every sentence with the same logical form as A is true. In our paper, we investigate this interpretation of the modal operator, resolving some technical questions, and relating it to the logical interpretation of modality and some views in (...) modal metaphysics. In particular, we present an hitherto unpublished solution to problems 41 and 42 from Friedman's 102 problems, which uses a different method of proof from the solution presented in the paper of Tadeusz Prucnal. (shrink)

An increasing amount of contemporary philosophy of mathematics posits, and theorizes in terms of special kinds of mathematical modality. The goal of this paper is to bring recent work on higher-order metaphysics to bear on the investigation of these modalities. The main focus of the paper will be views that posit mathematical contingency or indeterminacy about statements that concern the `width' of the set theoretic universe, such as Cantor's continuum hypothesis. Within a higher-order framework I show that contingency about the (...) width of the set-theoretic universe refutes two orthodoxies concerning the structure of modal reality: the view that the broadest necessity has a logic of S5, and the "Leibniz biconditionals" stating that what is possible, in the broadest sense of possible, is what is true in some possible world. Nonetheless, I suggest that the underlying picture of modal set-theory is coherent and has attractions. (shrink)

According to an influential idea in the philosophy of set theory, certain mathematical concepts, such as the notion of a well-order and set, are indefinitely extensible. Following Parsons (1983), this has often been cashed out in modal terms. This paper explores instead an extensional articulation of the idea, formulated in higher-order logic, that flat-footedly formalizes some remarks of Zermelo. The resulting picture is incompatible with the idea that the entire universe can be well-ordered, but entirely consistent with the idea that (...) the sets of any set-theoretic universe can be. (shrink)

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)

This is a discussion of the state of discussion on pragmatic reasons for belief.

While many aspects of cognition have been shown to be shared between humans and non-human animals, there remains controversy regarding whether the capacity to mentally time travel is a uniquely human one. In this paper, we argue that there are four ways of representing when some event happened: four kinds of temporal representation. Distinguishing these four kinds of temporal representation has five benefits. First, it puts us in a position to determine the particular benefits these distinct temporal representations afford an (...) organism. Second, it provides the conceptual resources to foster a discussion about which of these representations is necessary for an organism to count as having the capacity to mentally time travel. Third, it enables us to distinguish stricter from more liberal views of mental time travel that differ regarding which kind(s) of temporal representation is taken to be necessary for mental time travel. Fourth, it allows us to determine the benefits of taking a stricter or more liberal view of mental time travel. Finally, it ensures that disagreement about whether some species can mentally time travel is not merely the product of unrecognised disagreement about which temporal representation is necessary for mental time travel. We argue for a more liberal view, on the grounds that it allows us to view mental time travel as an evolutionarily continuous phenomenon, and to recognise that differences in the ways that organisms mentally time travel might reflect different temporal representations, or combinations thereof, that they employ. Our ultimate aim, however, is to create the conceptual framework for further discussion regarding what sorts of temporal representations are required for mental time travel. (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)

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)

This chapter addresses an ambiguity in some of the literature on rational peer disagreement about the use of the term 'rational'. In the literature 'rational' is used to describe a variety of normative statuses related to reasons, justification, and reasoning. This chapter focuses most closely on the upshot of peer disagreement for what is rationally required of parties to a peer disagreement. This follows recent work in theoretical reason which treats rationality as a system of requirements among an agent's mental (...) states. It is argued that peer disagreement has either no, or a very limited, affect on what rationality requires of an agent in a given circumstance. This is in part because of difficulties generated by a novel example of evidence of evidence of p being evidence against p. This example calls into question the mechanisms whereby peer disagreement might affect what is rationally required of an agent. The chapter also reevaluates the importance of actual peer disagreement against the backdrop of prior expectations about whether disagreement is believed to be likely, arguing that peer disagreement is most likely to change what is rationally required of an agent when it is believed to be unlikely. (shrink)

To be conscious—according to a common metaphor—is for the “lights to be on inside.” Is this a good metaphor? I argue that the metaphor elicits useful intuitions while staying neutral on controversial philosophical questions. But I also argue that there are two ways of interpreting the metaphor. Is consciousness the inner light itself? Or is consciousness the illuminated room? Call the first sense subjectivity (where ‘consciousness’ =def what makes an entity feel some way at all), and the second sense phenomenal (...) character (where ‘consciousness’ =def what it feels like to be an entity). I use this distinction—as well as the metaphor of the inner light—to clarify some philosophical questions about whether consciousness comes in degrees, whether consciousness is multidimensional, and whether there are borderline cases of consciousness. (shrink)

Many say that ontological disputes are defective because they are unimportant or without substance. In this paper, we defend ontological disputes from the charge, with a special focus on disputes over the existence of composite objects. Disputes over the existence of composite objects, we argue, have a number of substantive implications across a variety of topics in metaphysics, science, philosophical theology, philosophy of mind, and ethics. Since the disputes over the existence of composite objects have these substantive implications, they are (...) themselves substantive. (shrink)

The aim of the Analytic of Concepts is to derive and deduce a set of pure concepts of the understanding, the categories, which play a central role in Kant’s explanation of the possibility of synthetic a priori cognition and judgment. This chapter is structured around two questions. First, what is a pure concept of the understanding? Second, what is involved in a deduction of a pure concept of the understanding? In answering the first, we focus on how the categories differ (...) from the pure forms of sensibility and examine whether they are known only to be the pure forms of human thinking or rather the forms of discursive cognition as such. In answering the second, we draw a distinction between the application and the exemplification of the categories and use it to identify different ways of understanding Kant’s project in the Transcendental Deduction of the Categories. These questions connect because the answer to the first determines how we should understand the kind of entitlement which is to be established in the Deduction. (shrink)

For Kant, knowledge involves certainty. If “certainty” requires that the grounds for a given propositional attitude guarantee its truth, then this is an infallibilist view of epistemic justification. Such a view says you can’t have epistemic justification for an attitude unless the attitude is also true. Here I want to defend an alternative fallibilist interpretation. Even if a subject has grounds that would be sufficient for knowledge if the proposition were true, the proposition might not be true. And so there (...) is sometimes still rational room for doubt. The goal of this paper is to present four different models of what “certainty” amounts to, for Kant, each of which is compatible with fallibilism. (shrink)

The norm of monogamy is pervasive, having remained widespread, in most Western cultures at least, in spite of increasing tolerance toward more diverse relationship types. It is also puzzling. People willingly, and often with gusto, adhere to it, yet it is also, prima facie at least, highly restrictive. Being in a monogamous relationship means agreeing to give up certain sorts of valuable interactions and relationships with other people and to severely restrict one’s opportunities for sex and love. It is this (...) restrictiveness which has led for calls among some philosophers for the justification of the norm, and some have argued that it cannot be justified. John McMurtry, for example, writing in 1972, compared monogamy to private property and argued that it serves the capitalist order (McMurtry 1972, 596–97). More recently, Harry Chalmers (2019) has argued that monogamy is morally impermissible. In this chapter we argue that rather than justify the norm, we ought to explain and understand its pervasiveness. Not everyone who follows the norm is doing so blindly, irrationally, or immorally. Indeed, many people are monogamous because being monogamous supports their needs and best enables them to flourish. We suggest that the human need for trust and attachment could underlie many people’s desires for monogamy and, therefore, explain monogamy’s pervasiveness. Focusing on the human need for trust and attachment security can also help us to understand why sexual infidelity can feel like such a betrayal. It can make sense to mutually agree to exclusivity in relationships, in spite of the apparent restrictions this brings. In a sense, not all restrictions are restrictive, because holding ourselves to limits on our behavior can in fact help us to invest in and experience the things we value most. (shrink)

Matteo Ricci (1552-1610) was an Italian Jesuit and one of the first Christian missionaries to China in the modern era. He was a genuine polymath—a translator, cartographer, mathematician, astronomer, and musician. Above all, Ricci was a missionary for the gospel. As we briefly examine his 1603 seminal work, The True Meaning of the Lord of Heaven, our hope is that we, as evangelical educators, will perceive some of the deeper principles necessary for our own missionary work among unreached people.

This entry discusses the notion of a unit of normativity. This notion may be understood in two distinct ways. One way to understand a unit of normativity is as some particular type of assignment of normative status, e.g., a requirement, an ought, a reason, or a permission. A second way to understand a unit of normativity is as a measure of a quantity of normativity, perhaps associated with the numerical assignment given to the strength of reasons. This entry outlines some (...) basic differences among units of normativity in the first sense, noting that they vary slightly depending on whether one is talking about normativity in a more general or more robust sense. This entry also discusses in more detail the question of whether there might be a unit of normativity in the second sense. It discusses the relevant metaphysical questions. It also provides an explanation of why reasons can be assigned numerical strengths, even if there are no units of normativity in the sense of measurements of quantities of normativity. (shrink)

This paper outlines a new pluralistic theory of normative reasons for belief, welfarist pluralism, which aims to explain how there can be basic alethic/epistemic reasons for belief and basic pragmatic/non-alethic reasons for belief that can combine to determine what one ought to believe. The paper shows how this non-derivative first-order pluralism arises from a purely welfarist account of the foundations of theoretical normativity, thereby combining foundational pragmatism with non-derivative pluralism about normative reasons for belief. In addition, this paper outlines how (...) welfarist pluralism provides a new and potentialy attractive account of the value of truth (or its indicators), namely that the value of truth (or its indicators) is its direct contribution to individuals' personal good or wellbeing. (shrink)

Let a smooth experience be an experience with perfectly gradual changes in phenomenal character. Consider, as examples, your visual experience of a blue sky or your auditory experience of a rising pitch. Do the phenomenal characters of smooth experiences have continuous or discrete structures? If we appeal merely to introspection, then it may seem that we should think that smooth experiences are continuous. This paper (1) uses formal tools to clarify what it means to say that an experience is continuous (...) or discrete, and (2) develops a discrete model of the phenomenal characters of smooth experiences. As a result, I'll argue that introspection leaves open whether smooth experiences are continuous or discrete. Yet I’ll also argue—perhaps surprisingly—that the discrete theory may better fit our introspective evidence. (shrink)

I argue that the following theses are both popular among evidentialists but also jointly inconsistent with evidentialism: 1) Time-Slice Mentalism: one’s justificational properties at t are grounded only by one’s mental properties at t; 2) Experience Ultimacy: all ultimate evidence is experiential; and 3) Sleep Justification: we have justified beliefs while we have dreamless, nonexperiential sleep. Although I intend for this paper to be a polemic against evidentialists, it can also be viewed as an opportunity for them to clarify their (...) views. Furthermore, the paper is not only relevant to evidentialists. For example, the arguments of this paper could give Time-Slice Mentalists a reason to deny evidentialism. (shrink)

The classical Confucian philosopher Xunzi proposed a naturalistic virtue ethics account of ritual: rituals are practices that channel human emotion and desire so that one develops virtues. In this paper I show that William of Auxerre’s Summa de Officiis Ecclesiasticis can be understood as presenting a similar account of ritual. William places great emphasis on the emotional power of the liturgy, which makes participants like the blessed in heaven by developing virtue. In other words, he has a virtue ethics of (...) ritual closely aligned with that of Xunzi. Xunzi’s writings on ritual illuminate and enrich one’s reading of the Summa de Officiis. But unlike Xunzi, William is not a naturalist with regard to ritual: although much of William’s language about the causal power of liturgy can be explained in Xunzian terms, Christian liturgy has an irreducible supernatural element. (shrink)

How is it that a speaker S can at once make it obvious to an audience A that she intends to communicate some proposition p, and yet at the same time retain plausible deniability with respect to this intention? The answer is that S can bring it about that A has a high justified credence that ‘S intended p’ without putting A in a position to know that ‘S intended p’. In order to achieve this S has to exploit a (...) sense in which communication can be lottery-like. After defending this view of deniability I argue that it compares favorably to a rival account recently developed by Dinges and Zakkou (2023). (shrink)

In recent years, the science and the philosophy of consciousness has seen growing interest in structural questions about consciousness. This is the Editorial Introduction for a special volume for Philosophy and the Mind Sciences on “Structuralism in Consciousness Studies.”.

This overview of the philosophy of certainty will distinguish two types of certainty, specify controversial theses about certainty from recent literature, and explain some of the arguments for and against those theses.

Our aim in this chapter is to shed light on Kant’s account of the pure forms of sensibility by focusing on a somewhat neglected issue: Kant’s restriction of his claims about space and time to the case of human sensibility. Kant argues that space and time are the pure forms of sensibility for human cognizers. But he also says that we cannot know whether space and time are likewise the pure forms of sensibility for all discursive cognizers. A great deal (...) of attention has focused on the first of these claims, both on how Kant argues for it and how it relates to transcendental idealism. But a satisfactory interpretation must also account for the second claim, and it must account for the fact that Kant endorses both of them. What we need is an explanation of why Kant thinks our knowledge that space and time are the pure forms of sensibility extends to all human beings but no further. (shrink)

The official definitions that appear at the beginning of four of the five parts of the "Ethics" do not include an account of "existence." However Spinoza does provide a definition of “existence” in the scholium to proposition 45 of Part 2. This is an odd place for such an important doctrine, and all the more so given that the account there differs from anything resembling commonsense. In this paper I show that, for Spinoza, to exist is to be eternal. Existence (...) in the strict sense is eternal existence. (shrink)

This is a critical, but sympathetic, examination of the manifesto for naturalized metaphysics that forms the first chapter of James Ladyman and Don Ross's 2006 book, Every Thing Must Go, but it has wider implications than this description suggests.