This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 7 provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters 8-12 provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter 8 examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of Ω-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 12 avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

This 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)

In this article, I argue that if tacit knowledge of grammar is analyzable in functional‐computational terms, then it cannot ground linguistic meaning, structure, or sound. If to know or cognize a grammar is to be in a certain computational state playing a certain functional role, there can be no unique grammar cognized. Satisfying the functional conditions for cognizing a grammar G entails satisfying those for cognizing many grammars disagreeing with G about expressions' semantic, phonetic, and syntactic values. This threatens the (...) Chomskyan view that expressions have such values for speakers because they cognize grammars assigning them those values. For if this is true, semantics, syntax, and phonology must be indeterminate, thanks to the indeterminacy of grammar‐cognizing (qua functional‐computational state). So, the fact that a speaker cognizes a grammar cannot explain the determinate character of their language. (shrink)

This paper proposes a new account of bounded or minimal doxastic rationality (in the sense of Cherniak 1986), based on the notion that beliefs are answers to questions (à la Yalcin 2018). The core idea is that minimally rational beliefs are linked through thematic connections, rather than entailment relations. Consequently, such beliefs are not deductively closed, but they are closed under parthood (where a part is an entailment that answers a smaller question). And instead of avoiding all inconsistency, minimally rational (...) believers only avoid blatant inconsistencies (where some beliefs are blatantly inconsistent when they contradict one another on a particular question). Rather than cohering into a single overall world view, beliefs are more loosely connected in what is best described as a web of questions. This view of minimally rational belief naturally gives rise to an account of deductive inquiry on which deductive reasoning is a matter of posing new questions. (shrink)

Choices confront us with questions. How we act depends on our answers to those questions. So the way our beliefs guide our choices is not just a function of their informational content, but also depends systematically on the questions those beliefs address. This paper gives a precise account of the interplay between choices, questions and beliefs, and harnesses this account to obtain a principled approach to the problem of deduction. The result is a novel theory of belief-guided action that explains (...) and predicts the decisions of agents who, like ourselves, fail to be logically omniscient: that is, of agents whose beliefs may not be deductively closed, or even consistent. (Winner of the 2021 Isaac Levi Prize.). (shrink)

In this paper, I investigate whether we can use a world-involving framework to model the epistemic states of non-ideal agents. The standard possible-world framework falters in this respect because of a commitment to logical omniscience. A familiar attempt to overcome this problem centers around the use of impossible worlds where the truths of logic can be false. As we shall see, if we admit impossible worlds where “anything goes” in modal space, it is easy to model extremely non-ideal agents that (...) are incapable of performing even the most elementary logical deductions. A much harder, and considerably less investigated challenge is to ensure that the resulting modal space can also be used to model moderately ideal agents that are not logically omniscient but nevertheless logically competent. Intuitively, while such agents may fail to rule out subtly impossible worlds that verify complex logical falsehoods, they are nevertheless able to rule out blatantly impossible worlds that verify obvious logical falsehoods. To model moderately ideal agents, I argue, the job is to construct a modal space that contains only possible and non-trivially impossible worlds where it is not the case that “anything goes”. But I prove that it is impossible to develop an impossible-world framework that can do this job and that satisfies certain standard conditions. Effectively, I show that attempts to model moderately ideal agents in a world-involving framework collapse to modeling either logical omniscient agents, or extremely non-ideal agents. (shrink)

A new puzzle about material constitution is presented and its implications are discussed. The moral of the story is that familiar intuitions supporting a neo-Aristotelian view of the material world are contradictory. To accommodate these intuitions is to embrace inconsistency. Therefore, neo-Aristotelianism is worse off for its intuitive appeal. Furthermore, the puzzle is used to argue for an account of ordinary modal thought and language that’s reconstructive, or ameliorative.

Scientists, philosophers, and other researchers commonly assert their theories. This is surprising, as there are good reasons for skepticism about theories in cutting-edge research. I propose a new account of assertion in research contexts that vindicates these assertions. This account appeals to a distinct propositional attitude called endorsement, which is the rational attitude of committed advocacy researchers have to their theories. The account also appeals to a theory of conversational pragmatics known as the Question Under Discussion model, or QUD. Hence, (...) I call the theory the EQUD model. Motivating this account is a recognition that the speech act of assertion has two roles to play in research contexts. The first is the advocacy role, in which researchers assert a theory in order to advocate for it. The second is the evidential role, which is used to add to the common stock of information available to a field of inquiry. The EQUD model provides an account of warranted assertion for both these roles in research contexts. This success provides support for the theory of endorsement. It also provides support for information updating accounts of assertion. (shrink)

Self-locating attitudes and assertions provide a challenge to the received view of mental and linguistic intentionality. In this paper I try to show that the best way to meet this challenge is to adopt relativistic, centred possible worlds accounts for both belief and communication. First, I argue that self-locating beliefs support a centred account of belief. Second, I argue that self-locating utterances support a complementary centred account of communication. Together, these two claims motivate a unified centred conception of belief and (...) communication. (shrink)

The science of mind wandering has rapidly expanded over the past 20 years. During this boom, mind wandering researchers have relied on self-report methods, where participants rate whether their minds were wandering. This is not an historical quirk. Rather, we argue that self-report is indispensable for researchers who study passive phenomena like mind wandering. We consider purportedly “objective” methods that measure mind wandering with eye tracking and machine learning. These measures are validated in terms of how well they predict self-reports, (...) which means that purportedly objective measures of mind wandering retain a subjective core. Mind wandering science cannot break from the cycle of self-report. Skeptics about self-report might conclude that mind wandering science has methodological foundations of sand. We take a rather more optimistic view. We present empirical and philosophical reasons to be confident in self-reports about mind wandering. Empirically, these self-reports are remarkably consistent in their contents and behavioral and neural correlates. Philosophically, self-reports are consistent with our best theories about the function of mind wandering. We argue that this triangulation gives us reason to trust both theory and method. (shrink)

This chapter provides a selective survey of prominent theories of the semantics of deontic modals in logic and natural language. We focus on Kratzer’s (1977; 1981; 1991) semantics and extensions to this analysis. Kratzer’s semantics has been far and away the most influential theory of deontic modals, which provide a base case for the interpretation of normative language in general. Understanding the logic and truth-conditions of normative language is one of the core areas of metaethics. It informs our understanding of (...) normative arguments and normative reasoning. As this chapter will emphasize, some forms of normative language don’t allow for the inferences that classical logic trains philosophers to expect. Understanding what inferences are valid for normative language should impact our under-standing of how we reason, and should reason, about the normative. We will first look at how deontic modals are understood in the context of modal logic and natural language. Then we’ll survey some recent debates and discoveries in the literature on deontic modals in natural language. We close with some considerations about the relevance of natural language to metaethics. (shrink)

Hyperlogic is a hyperintensional system designed to regiment metalogical claims (e.g., “Intuitionistic logic is correct” or “The law of excluded middle holds”) into the object language, including within embedded environments such as attitude reports and counterfactuals. This paper is the first of a two-part series exploring the logic of hyperlogic. This part presents a minimal logic of hyperlogic and proves its completeness. It consists of two interdefined axiomatic systems: one for classical consequence (truth preservation under a classical interpretation of the (...) connectives) and one for “universal” consequence (truth preservation under any interpretation). The sequel to this paper explores stronger logics that are sound and complete over various restricted classes of models as well as languages with hyperintensional operators. (shrink)

What is objectivity? What would it take to have objective representations and do we have what it takes? This paper aims to contribute to answering these questions. To this end, it isolates one relevant sense of objectivity and proposes a generalization of standard frameworks of representational content in order to engage with the question in a way that is rhetorically fair. Armed with a general conception of perspectival content, taken from the literature on centred or de se content, the paper (...) articulates one necessary condition for objective representation: the possession of objective concepts and therefore objective contents. Two ways of meeting this condition are discussed in an exploratory way. (shrink)

Lying and fiction both involve the deliberate production of statements that fail to obey Grice’s first Maxim of Quality (“do not say what you believe to be false”). The question thus arises if we can provide a uniform analysis for fiction and lies. In this chapter I discuss the similarities, but also some fundamental differences between lying and fiction. I argue that there’s little hope for a satisfying account within a traditional truth conditional semantic framework. Rather than immediately moving to (...) a fully pragmatic analysis involving distinct speech acts of fiction-making and lying, I will first explore how far we get with the assumption that both are simply assertions, analyzed in a Stalnakerian framework, i.e. as proposals to update the common ground. (shrink)

Belief storage is often modeled as having the structure of a single, unified web. This model of belief storage is attractive and widely assumed because it appears to provide an explanation of the flexibility of cognition and the complicated dynamics of belief revision. However, when one scrutinizes human cognition, one finds strong evidence against a unified web of belief and for a fragmented model of belief storage. Using the best available evidence from cognitive science, we develop this fragmented model into (...) a nascent theory of the cognitive architecture of belief storage. (shrink)

This paper is an exposition and evaluation of the Agustín Rayo's views about the epistemology and metaphysics of mathematics, as they are presented in his book The Construction of Logical Space.

Explanation does not exist in a metaphysical vacuum. Conceptions of the structure of a phenomenon play an important role in guiding attempts to explain it, and erroneous conceptions of a phenomenon may direct investigation in misleading directions. I believe that there is a case to be made for thinking that much work on the neural underpinnings of consciousness—what is often called the neural correlates of consciousness—is driven by an erroneous conception of the structure of consciousness. The aim of this paper (...) is lay bare some connections between the explanation of consciousness and the structure of consciousness, and to argue for a conception of the structure of consciousness that is more adequate than that which currently drives much research into the neural correlates of consciousness. (shrink)

According to the Fragmentation Analysis, epistemic akrasia is a state of conflict between beliefs formed by the linguistic and non-linguistic belief-formation systems, and epistemic akrasia is irrational because it is a state of conflict between beliefs so formed. I argue that there are cases of higher-order epistemic akrasia, where both beliefs are formed by the linguistic belief-formation system. Because the Fragmentation Analysis cannot accommodate this possibility, the Fragmentation Analysis is incorrect. I consider three objections to the possibility of higher-order epistemic (...) akrasia. Along the way, I offer a revision of the Fragmentation Analysis that can allow for the possibility of higher-order akrasia while avoiding the problems I point out for the original view. (shrink)

In this paper I will present a puzzle about epistemic akrasia, and I will use that puzzle to motivate accepting some non-standard views about the nature of epistemological judgment. The puzzle is that while it seems obvious that epistemic akrasia must be irrational, the claim that epistemic akrasia is always irrational amounts to the claim that a certain sort of justified false belief—a justified false belief about what one ought to believe—is impossible. But justified false beliefs seem to be possible (...) in any domain, and it’s hard to see why beliefs about what one ought to believe should be an exception. I will argue that when we get clearer about what sort of psychological state epistemic akrasia is, we can resolve the puzzle in favor of the intuitive view that epistemic akrasia is always irrational. (shrink)

In this thesis I seek to advance our understanding of what intuitions are. I argue that intuitions are experiences of a certain kind. In particular, they are experiences with representational content, and with a certain phenomenal character. -/- In Chapter 1 I identify our target and provide some important reliminaries. Intuitions are mental states, but which ones? Giving examples helps: a person has an intuition when it seems to her that torturing the innocent is wrong, or that if something is (...) red it is coloured. We can also provide an initial characterisation of the state by saying that it has representational content, often causes belief, and appears to justify belief. In addition, there is something it is like to have an intuition: intuition has a certain phenomenal character. -/- Some argue that intuition does not explain anything which cannot be explained by other mental states. One version of this view takes intuition to reduce to belief. In Chapter 2 I argue that this entails that agents are rationally criticisable in situations where we know they are not, and that such views are therefore untenable. A parallel argument shows that the corresponding approach to perception fails. This suggests a similarity in nature: both intuition and perception are experiences. -/- Others take intuition to reduce to a disposition to have a belief. In Chapter 3 I consider a line of argument against such views, find it unsuccessful, and present two new arguments. One is likely to be dialectically ineffective. The other suffers no such weakness: it shows that the proposed reduction fails. As before, the argument also applies to perception, and suggests that intuition and perception are both experiences. -/- In the remainder of the thesis I develop an account of intuition as an experience. I distinguish between content-specific and attitude-specific phenomenology, and argue that intuition lacks the former (Chapter 4), but has the latter (Chapter 5). This allows us to say what intuition is: it is is an experience with representational content and with attitude-specific phenomenology of a certain kind. -/- In Chapter 6 I put this account of intuition to use. When a person has a perceptual or intuitional experience, I argue that simply having the experience is what makes the subject justified in believing what the experience represents. Moreover, what explains that intuition and perception can justify belief in this way is precisely their phenomenal character. (shrink)

Why must incompatibility be symmetric? An odd question, but recent work in the semantics of non-classical logic, which appeals to the notion of incompatibility as a primitive and defines negation in terms of it, has brought this question to the fore. Francesco Berto proposes such a semantics for negation argues that, since incompatibility must be symmetric, double negation introduction must be a law of negation. However, he offers no argument for the claim that incompatibility really must be symmetric. Here, I (...) provide such an argument, showing that, insofar as we think of incompatibility in normative pragmatic terms, it can play its basic pragmatic function only if it is symmetric. The upshot is that we can vindicate Berto’s claim about the symmetry of incompatibility but only if we, pace Berto, think about incompatibility, in the first instance, as a pragmatic relation between acts rather than a semantic relation between contents. (shrink)

Conditionals that contain a modality in the consequent give rise to a particular semantic phenomenon whereby the antecedent of the conditional blocks possibilities when interpreting the modality in the consequent. This explains the puzzling logical behaviour of constructions like "If you don't buy a lottery ticket, you can't win", "If you eat that poison, it is unlikely that you will survive the day" and "If you kill Harry, you ought to kill him gently". In this paper it is argued that (...) a semantic version of the Ramsey Test provides a key in the analysis of such constructions. The logic for this semantics is axiomatized and some examples are studied, among them a well-known puzzle for contrary-to-duty obligations. (shrink)

This paper investigates the norm of presupposition, as one pervasive type of indirect speech act. It argues against the view that sees presuppositions as an indirect counterpart of the direct speech act of assertion and proposes instead that they are much more similar to the direct speech act of assumption. More concretely, it suggests that the norm that governs presuppositions is not an epistemic or doxastic attitude such as knowledge, justified belief, or mere belief; it's a practical attitude, most plausibly (...) the attitude of rational acceptance. This view has important ramifications well beyond debates in philosophy of language and linguistics. It affects not only our view of which speech act sequences are fine and which are off; it bears on whether presuppositions can function as testimony, whether they can be lies, and whether they are ontologically committal, thus addressing central topics in epistemology, ethics, and metaphysics. (shrink)

This paper argues against definitions of depiction in terms of the syntactic and semantic properties of symbol systems. In particular, it is argued that John Kulvicki's definition of depictive symbol systems in terms of relative repleteness, semantic richness, syntactic sensitivity and transparency is susceptible to similar counterexamples as Nelson Goodman's in terms of syntactic density, semantic density and relative repleteness. The general moral drawn is that defining depiction requires attention not merely to descriptive questions about syntax and semantics, but also (...) to foundational questions about what makes it the case that depictions have the syntactic and semantic properties they do. (shrink)

In this dissertation, I argue that understanding possesses unique epistemic value. I propose and defend a novel account of understanding that I call the management account of understanding, which is the view that an agent A understands a subject matter S just in case A has the ability to extract the relevant information and exploit it with the relevant cognitive capacities to answer questions in S. Since inquiry is the process of raising and answering questions, I argue that without understanding, (...) it would be impossible to engage in successful inquiry. I argue that understanding is indispensable for effective cognition and that it is irreducible to other epistemic categories, such as knowledge, justification, or rationality. Understanding is an irreducible component of epistemic excellence. In arguing for this account, I focus on the nature and requirements of cognition and pay less attention to intuitions about hypothetical cases, in contrast to previous approaches to understanding. I draw upon psychology and cognitive science, especially work on the frame problem, to demonstrate the importance (and difficulty) of finding relevant information and exploiting it in relevant ways to answer questions. One’s cognitive system must be organized in such a way that one has the ability to think the relevant thoughts in the relevant ways to answer the relevant questions. This reveals well-defined directions in which future research on understanding should move. In addition to proposing and defending the management account of understanding, I explore several features of understanding, including some interesting consequences of the management account. I argue that the management account and commonly used methods of measuring degrees of understanding imply that understanding can be based on false beliefs. I argue that the management account (and any account of understanding that implies understanding is an ability) implies that understanding can be acquired by luck. I also argue that understanding is ontologically prior to explanation: a good explanation is essentially an act that produces understanding in the relevant cognitive background. (shrink)

John MacFarlane explores how we might make sense of the idea that truth is relative. He provides new, satisfying accounts of parts of our thought and talk that have resisted traditional methods of analysis, including what we mean when we talk about what is tasty, what we know, what will happen, what might be the case, and what we ought to do.

I develop a challenge for a widely suggested knowledge-first account of belief that turns, primarily, on unknowable propositions. I consider and reject several responses to my challenge and sketch a new knowledge-first account of belief that avoids it.

Quantifier variance is a well-known view in contemporary metaontology, but it remains very widely misunderstood by critics. Here we briefly and clearly explain the metasemantics of quantifier variance and distinguish between modest and strong forms of variance (Section I), explain some key applications (Section II), clear up some misunderstandings and address objections (Section III), and point the way toward future directions of quantifier-variance-related research (Section IV).

Queremos neste ensaio caracterizar de modo introdutório o essencial do legado de Gottlob Frege para a Filosofia da Linguagem contemporânea, identificando e caracterizando os traços distintivos mais genéricos de uma teoria do significado (ou conteúdo semântico) inspirada nas suas ideias seminais e contrastando-a com outras concepções actuais influentes acerca do significado, em especial as posições sobre o conteúdo singular (conteúdo expresso por nomes próprios e outros termos singulares) remotamente inspiradas em ideias de John Stuart Mill.

Against the background of standard possible-worlds semantics, this paper outlines a truthmaker approach to the semantics of attitude reports and modal sentences based on an ontology of attitudinal and modal objects.

I argue first that attention is a (maybe the) paradigmatic case of an object-directed, non-propositional intentional mental episode. In addition attention cannot be reduced to any other (propositional or non-propositional) mental episodes. Yet, second, attention is not a non-propositional mental attitude. It might appear puzzling how one could hold both of these claims. I show how to combine them, and how that combination shows how propositionality and non-propositionality can co-exist in a mental life. The crucial move is one away from (...) an atomistic, building block picture to a more holistic, structural picture. (shrink)

This essay advances and develops a dynamic conception of inference rules and uses it to reexamine a long-standing problem about logical inference raised by Lewis Carroll’s regress.

Epistemic logic in the tradition of Hintikka provides, as one of its many applications, a toolkit for the precise analysis of certain epistemological problems. In recent years, dynamic epistemic logic has expanded this toolkit. Dynamic epistemic logic has been used in analyses of well-known epistemic “paradoxes”, such as the Paradox of the Surprise Examination and Fitch’s Paradox of Knowability, and related epistemic phenomena, such as what Hintikka called the “anti-performatory effect” of Moorean announcements. In this paper, we explore a variation (...) on basic dynamic epistemic logic—what we call sequential epistemic logic—and argue that it allows more faithful and fine-grained analyses of those epistemological topics. (shrink)

The main goal of this chapter is to argue that accessibilism in epistemology is incompatible with vehicle externalism in philosophy of mind. As we shall see, however, there are strong arguments for both of these positions. On the one hand, there is a compelling argument for vehicle externalism: the parity argument from Clark and Chalmers 1998. On the other hand, there is a compelling argument for accessibilism: the Moorean argument from Smithies 2012. If accessibilism is incompatible with vehicle externalism, then (...) both arguments cannot be sound. I resolve the tension by arguing that while the Moorean argument succeeds, the parity argument fails, and so vehicle externalism should be rejected on broadly epistemological grounds. (shrink)

In this paper, I defend the metalinguistic solution to the problem of mathematical omniscience for the possible-worlds account of propositions by combining it with a computational model of knowledge and belief. The metalinguistic solution states that the objects of belief and ignorance in mathematics are relations between mathematical sentences and what they express. The most pressing problem for the metalinguistic strategy is that it still ascribes too much mathematical knowledge under the standard possible-worlds model of knowledge and belief on which (...) these are closed under entailment. I first argue that Stalnaker's fragmentation strategy is insufficient to solve this problem. I then develop an alternative, computational strategy: I propose a model of mathematical knowledge and belief adapted from the algorithmic model of Halpern et al. which, when combined with the metalinguistic strategy, entails that mathematical knowledge and belief require computational abilities to access metalinguistic information, and thus aren't closed under entailment. As I explain, the computational model generalizes beyond mathematics to a version of the functionalist theory of knowledge and belief that motivates the possible-worlds account in the first place. I conclude that the metalinguistic and computational strategies yield an attractive functionalist, possible-worlds account of mathematical content, knowledge, and inquiry. (shrink)

In this paper, I develop an algorithmic impossible-worlds model of belief and knowledge that provides a middle ground between models that entail that everyone is logically omniscient and those that are compatible with even the most egregious kinds of logical incompetence. In outline, the model entails that an agent believes (knows) φ just in case she can easily (and correctly) compute that φ is true and thus has the capacity to make her actions depend on whether φ. The model thereby (...) captures the standard view that belief and knowledge ground are constitutively connected to dispositions to act. As I explain, the model improves upon standard algorithmic models developed by Parikh, Halpern, Moses, Vardi, and Duc, among other ways, by integrating them into an impossible-worlds framework. The model also avoids some important disadvantages of recent candidate middle-ground models based on dynamic epistemic logic or step logic, and it can subsume their most important advantages. (shrink)

This paper argues that NPs with case as head noun stand for situations in their role as truthmakers within a sentential or epistemic case space. The paper develops a unified semantic analysis of case-constructions of the various sorts within a truthmaker-based version of alternative semantics.

White, Christensen, and Feldman have recently endorsed uniqueness, the thesis that given the same total evidence, two rational subjects cannot hold different views. Kelly, Schoenfield, and Meacham argue that White and others have at best only supported the weaker, merely intrapersonal view that, given the total evidence, there are no two views which a single rational agent could take. Here, we give a new argument for uniqueness, an argument with deliberate focus on the interpersonal element of the thesis. Our argument (...) is that the best explanation of the value of promoting rationality is an explanation that entails uniqueness. (shrink)

This is a prepublication version of my book Objects and Attitudes. The book develops a novel semantics of attitude reports, modal sentences, and quotation based on the view that sentences semantically act as predicates of various attitudinal and modal objects, entities like claims, requests, promises, obligations, and permissions, rather than standing for abstract propositions playing the role of objects. The approach develops truthmaker semantics for attitudinal and modal objects and has a wide range of applications to issues in philosophy of (...) language, semantics, and philosophy of mind. (shrink)

This article takes off from Johan van Benthem’s ruminations on the interface between logic and cognitive science in his position paper “Logic and reasoning: Do the facts matter?”. When trying to answer Van Benthem’s question whether logic can be fruitfully combined with psychological experiments, this article focuses on a specific domain of reasoning, namely higher-order social cognition, including attributions such as “Bob knows that Alice knows that he wrote a novel under pseudonym”. For intelligent interaction, it is important that the (...) participants recursively model the mental states of other agents. Otherwise, an international negotiation may fail, even when it has potential for a win-win solution, and in a time-critical rescue mission, a software agent may depend on a teammate’s action that never materializes. First a survey is presented of past and current research on higher-order social cognition, from the various viewpoints of logic, artificial intelligence, and psychology. Do people actually reason about each other’s knowledge in the way proscribed by epistemic logic? And if not, how can logic and cognitive science productively work together to construct more realistic models of human reasoning about other minds? The paper ends with a delineation of possible avenues for future research, aiming to provide a better understanding of higher-order social reasoning. The methodology is based on a combination of experimental research, logic, computational cognitive models, and agent-based evolutionary models. Keywords Epistemic logic - Cognitive science - Intelligent interaction - Cognitive modeling. (shrink)

This article takes off from Johan van Benthem’s ruminations on the interface between logic and cognitive science in his position paper “Logic and reasoning: Do the facts matter?”. When trying to answer Van Benthem’s question whether logic can be fruitfully combined with psychological experiments, this article focuses on a specific domain of reasoning, namely higher-order social cognition, including attributions such as “Bob knows that Alice knows that he wrote a novel under pseudonym”. For intelligent interaction, it is important that the (...) participants recursively model the mental states of other agents. Otherwise, an international negotiation may fail, even when it has potential for a win-win solution, and in a time-critical rescue mission, a software agent may depend on a teammate’s action that never materializes. First a survey is presented of past and current research on higher-order social cognition, from the various viewpoints of logic, artificial intelligence, and psychology. Do people actually reason about each other’s knowledge in the way proscribed by epistemic logic? And if not, how can logic and cognitive science productively work together to construct more realistic models of human reasoning about other minds? The paper ends with a delineation of possible avenues for future research, aiming to provide a better understanding of higher-order social reasoning. The methodology is based on a combination of experimental research, logic, computational cognitive models, and agent-based evolutionary models. (shrink)

According to Bi-logic theory, there are two logics operating in the mind. One is traditional logic, and the other one is called “symmetrical”, because it does not respect asymmetrical relations. Bi-logic assumes that mental processes involve combinations of both logics in different proportions. From that perspective, Michael Gilbert’s theory of Multi-Modal argumentation is discussed focusing upon emotional arguments. It is claimed that these arguments are bi-logical, that is, they contain a combination of traditional and symmetrical logics.

The classic formulation of causal decision theory (CDT) appeals to counterfactuals. It says that you should aim to choose an option that would have a good outcome, were you to choose it. However, this version of CDT faces trouble if the laws of nature are deterministic. After all, the standard theory of counterfactuals says that, if the laws are deterministic, then if anything—including the choice you make—were different in the present, either the laws would be violated or the distant past (...) would be changed. And as several authors have shown, it's easy to transform this upshot of the standard theory of counterfactuals into full-blown counterexamples to CDT. In response to these counterexamples, I argue here that the problem lies, not so much with CDT's guiding idea—that it's the expected causal consequences of your actions that matter for rational decision-making—but with the fact that the classic formulation of CDT doesn't pay sufficient attention to the context-sensitivity of counterfactuals. I develop a contextualist version of CDT which better accounts for this context-sensitivity. And I show that my theory avoids the problems faced by the classic formulation of CDT in determinstic worlds. (shrink)

I consider a puzzling case presented by Jose Benardete, and by appeal to this case develop a paradox involving counterfactual conditionals. I then show that this paradox may be leveraged to argue for certain non-obvious claims concerning the logic of counterfactuals.