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

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

Single-premise epistemic closure is the principle that: if one is in an evidential position to know that P where P entails Q, then one is in an evidential position to know that Q. In this paper, I defend the viability of opposition to closure. A key task for such an opponent is to precisely formulate a restricted closure principle that remains true to the motivations for abandoning unrestricted closure but does not endorse particularly egregious instances of closure violation. I focus (...) on two brands of epistemic theory that naturally incorporate closure restrictions. The first type holds that the truth value of a knowledge ascription is relative to a relevant question. The second holds that the truth value of a knowledge ascription is relative to a relevant topic. For each approach, I offer a formalization of a leading theory from the literature and use this formalization to evaluate the theory’s adequacy in terms of a precise set of desiderata. I conclude that neither theory succeeds in meeting these desiderata, casting doubt on the viability of the underlying approaches. Finally, I offer a novel variant of the topic-sensitive approach that fares better. (shrink)

Most dialectical models view argumentation as a process of critically testing a standpoint. Further, they assume that what we critically test can be analytically reduced to individual and bi-polar standpoints. I argue that these two assumptions lead to the dominant view of dialectics as a bi-partisan argumentative discussion in which the yes-side argues against the doubter or the no-side. I scrutinise this binary orientation in understanding argumentation by drawing on the main tenets of normative pragmatic and pragma-dialectical theories of argumentation. (...) I develop my argument by showing how argumentative practice challenges these assumptions. I then lay out theoretical reasons for this challenge. This paves the way for an enhanced conceptualisation of dialectical models and their standards of rationality in terms of multi-party discussions, or argumentative polylogues. (shrink)

How can expressivists make sense of the practice of communication? If communication is not a joint enterprise aimed at sharing information about the world, why do we engage in communication the way we do? Call this *the problem of communication*. Starting from basic assumptions about the rationality of speakers and the nature of assertion, we argue that speakers engaging in conversation about normative matters must presuppose that there is a unique normative standard on which the attitudes of conversational participants ought (...) to converge. This gives the beginning of a solution to the problem of communication on behalf of expressivists. (shrink)

Ordinary Language Philosophy has largely fallen out of favour, and with it the belief in the primary importance of analyses of ordinary language for philosophical purposes. Still, in their various endeavours, philosophers not only from analytic but also from other backgrounds refer to the use and meaning of terms of interest in ordinary parlance. In doing so, they most commonly appeal to their own linguistic intuitions. Often, the appeal to individual intuitions is supplemented by reference to dictionaries. In recent times, (...) Internet search engine queries for expressions of interest have become quite popular. Apparently, philosophers attempt to surpass the limits of their own linguistic intuitions by appealing to experts or to factual uses of language. I argue that this attempt is commendable but that its execution is wanting. Instead of appealing to dictionaries or Internet queries, philosophers should employ computer-based linguistic corpora in order to confirm or falsify hypotheses about the factual use of language. This approach also has some advantages over methods employed by experimental philosophers. If the importance of ordinary language is stressed, the use of linguistic corpora is hardly avoidable. (shrink)

David Lewis holds that a single possible world can provide more than one way things could be. But what are possible worlds good for if they come apart from ways things could be? We can make sense of this if we go in for a metaphysical understanding of what the world is. The world does not include everything that is the case—only the genuine facts. Understood this way, Lewis's “cheap haecceitism” amounts to a kind of metaphysical anti-haecceitism: it says there (...) aren't any genuine facts about individuals over and above their qualitative roles. (shrink)

Do you know who you are? If the question seems unclear, it might owe to the notion of ‘knowing-wh’ (knowing-who, knowing-what, knowing-when, etc.). Such knowledge contrasts with ‘knowing-that’, the more familiar topic of epistemologists. But these days, knowing-wh is receiving more attention than ever, and here we will survey three current debates on the nature of knowing-wh. These debates concern, respectively, (1) whether all knowing-wh is reducible to knowing-that (‘generalized intellectualism’), (2) whether all knowing-wh is relativized to a contrast proposition (...) (‘contrastivism about knowing-wh’), and (3) whether the context-sensitivity of knowing-wh is a semantic or purely pragmatic phenomenon (‘contextualism vs. invariantism about knowing-wh’). (shrink)

Imperative sentences like Dance! do not seem to represent the world. Recent modal analyses challenge this idea, but its intuitive and historical appeal remain strong. This paper presents three new challenges for a non-representational analysis, showing that the obstacles facing it are even steeper than previously appreciated. I will argue that the only way for the non-representationalist to meet these three challenges is to adopt a dynamic semantics. Such a dynamic semantics is proposed here: imperatives introduce preferences between alternatives. This (...) characterization of meaning focuses on what function a sentence serves in discourse, rather than what that sentence refers to (e.g., a state of the world). By representing the meaning of imperatives, connectives and declaratives in a common dynamic format, the challenges posed for non-representationalism are met. (shrink)

After presenting a simple expressivist account of reports of probabilistic judgements, I explore a classic problem for it, namely the Frege-Geach problem. I argue that it is a problem not just for expressivism but for any reasonable account of ascriptions of graded judgements. I suggest that the problem can be resolved by appropriately modelling imprecise credences.

: The common practice of giving (comparing, rejecting and inferring) explanations of phenomena is at the root of articulate learning, including the enterprises we collect under the noun ‘science’. The way that practice privileges a single item from the myriad relevant to any phenomenon tells us something about articulateness itself.

Abstract This paper discusses the semantic theory presented in Robert Brandom’s Making It Explicit . I argue that it is best understood as a special version of dynamic semantics, so that these semantics by themselves offer an interesting theoretical alternative to more standard truth-conditional theories. This reorientation also has implications for more foundational issues. I argue that it gives us the resources for a renewed argument for the normativity of meaning. The paper ends by critically assessing the view in both (...) its development and motivations. Content Type Journal Article Pages 1-22 DOI 10.1007/s11098-011-9768-4 Authors Bernhard Nickel, Harvard University, Cambridge, MA, USA Journal Philosophical Studies Online ISSN 1573-0883 Print ISSN 0031-8116. (shrink)

Speech acts are a staple of everyday communicative life, but only became a topic of sustained investigation, at least in the English-speaking world, in the middle of the Twentieth Century.[1] Since that time “speech act theory” has been influential not only within philosophy, but also in linguistics, psychology, legal theory, artificial intelligence, literary theory and many other scholarly disciplines.[2] Recognition of the importance of speech acts has illuminated the ability of language to do other things than describe reality. In the (...) process the boundaries among the philosophy of language, the philosophy of action, the philosophy of mind and even ethics have become less sharp. In addition, an appreciation of speech acts has helped lay bare an implicit normative structure within linguistic practice, including even that part of this practice concerned with describing reality. Much recent research aims at an accurate characterization of this normative structure underlying linguistic practice. (shrink)

The notion of measurement plays a central role in human cognition. We measure people’s height, the weight of physical objects, the length of stretches of time, or the size of various collections of individuals. Measurements of height, weight, and the like are commonly thought of as mappings between objects and dense scales, while measurements of collections of individuals, as implemented for instance in counting, are assumed to involve discrete scales. It is also commonly assumed that natural language makes use of (...) both types of scales and subsequently distinguishes between two types of measurements. This paper argues against the latter assumption. It argues that natural language semantics treats all measurements uniformly as mappings from objects (individuals or collections of individuals) to dense scales, hence the Universal Density of Measurement (UDM). If the arguments are successful, there are a variety of consequences for semantics and pragmatics, and more generally for the place of the linguistic system within an overall architecture of cognition. (shrink)

: The Hamblin-Karttunen approach has led to many insights about questions in English. In this article the results of this rule-by-rule tradition are reconsidered from a crosslinguistic perspective. Starting from the type-driven XLS theory developed in Bittner (1994a, b), it is argued that evidence from simple questions (in English, Polish, Lakhota and Warlpiri) leads to certain revisions. The revised XLS theory then immediately generalizes to complex questions — including scope marking (Hindi), questions with quantifiers (English) and multiple wh-questions (English, Hindi, (...) Japanese). Eliminating language- and construction-specific information from the compositional rules, in favor of universal semantic filters, leads to analyses that not only generalize across unrelated languages but are also empirically more accurate, not less. (shrink)

Journal of Philosophy of Education, EarlyView.

How should we measure knowledge? According to the Counting Approach, we can measure knowledge by counting pieces of knowledge. Versions of the Counting Approach that try to measure knowledge by counting true beliefs with suitable support or by counting propositions known run into problems, stemming from infinite numbers of propositions and beliefs, difficulties in individuating propositions and beliefs, and cases in which knowing the same number of propositions contributes differently to knowledge. In this paper I develop a novel question-relative and (...) contextualist version of the counting approach, which measures an agent's knowledge by counting the number of complete answers of a contextually salient issue they can rule out. The question-relative and contextualist version of the Counting Approach avoids the issues for the proposition and belief-based systems, and offers a general, systematic, and explanatory system for measuring knowledge. (shrink)

The question of how to arrive at questions is ambiguous. I will concentrate on two readings: (i) How should one set up a formal syntax that accomodates questions? (ii) How does one, while working in a suitable formal language, arrive at a situation where one is allowed to or even must ask a certain question? In other words: How is the asking of questions regulated within a given formal language? I will propose an answer to question (i) and consider the (...) field of possibilities of answering (ii). (shrink)

The paper presents a new argument for epistemic permissivism. The version of permissivism that we defend is a moderate version that applies only to explicit doxastic attitudes. Drawing on Yalcin’s framework for modeling such attitudes, we argue that two fully rational subjects who share all their evidence, prior beliefs, and epistemic standards may still differ in the explicit doxastic attitudes that they adopt. This can happen because two such subjects may be sensitive to different questions. Thus, differing intellectual interests can (...) yield failures of uniqueness. This is not a merely pragmatic phenomenon. (shrink)

In recent years, the e ffort to formalize erotetic inferences (i.e., inferences to and from questions) has become a central concern for those working in erotetic logic. However, few have sought to formulate a proof theory for these inferences. To fill this lacuna, we construct a calculus for (classes of) sequents that are sound and complete for two species of erotetic inferences studied by Inferential Erotetic Logic (IEL): erotetic evocation and regular erotetic implication. While an attempt has been made to (...) axiomatize the former in a sequent system, there is currently no proof theory for the latter. Moreover, the extant axiomatization of erotetic evocation fails to capture its defeasible character and provides no rules for introducing or eliminating question-forming operators. In contrast, our calculus encodes defeasibility conditions on sequents and provides rules governing the introduction and elimination of erotetic formulas. We demonstrate that an elimination theorem holds for a version of the cut rule that applies to both declarative and erotetic formulas and that the rules for the axiomatic account of question evocation in IEL are admissible in our system. (shrink)

How should the contrastivist formulate closure? That is, given that knowledge is a ternary contrastive state Kspq (s knows that p rather than q), how does this state extend under entailment? In what follows, I will identify adequacy conditions for closure, criticize the extant invariantist and contextualist closure schemas, and provide a contrastive schema based on the idea of extending answers. I will conclude that only the contrastivist can adequately formulate closure.

In the logical, philosophical and linguistic literature, a number of theoretical frameworks have been proposed for the meaning of questions (see Ginzburg (1995), Groenendijk & Stokhof (1997) for recent overviews). I will concentrate on two general approaches that figured prominently in linguistic semantics, which I will call the proposition set approach and the structured meaning approach (sometimes called the “propositional” and the “categorial” or “functional” approach). I will show that the proposition set approach runs into three problems: It does not (...) always predict the right focus structure in answers, it is unable to distinguish between polarity (yes/no) and a certain type of alternative questions, and it does not allow to formulate an important condition for a type of multiple constituent questions. On the other hand, I will show that the main argument brought forward against the structured meaning framework, namely that it does not give us an elegant way to account for embedded questions, does not withstand closer scrutiny. In this I will take up an issue raised in von Stechow (1990), namely, that the greater expressive power of the structured meaning approach might be necessary for the proper treatment of semantic phenomena like question formation and focusation. (shrink)

Much of the extant discussion focuses on the question of whether contextualism resolves skeptical paradoxes. Understandably. Yet there has been less discussion as to the internal structure of contextualist theories. Regrettably. Here, for instance, are two questions that could stand further discussion: (i) what is the linguistic basis for contextualism and (ii) what is the parameter that shifts with context?

In Krifka (2001) I argued that three distinct phenomena of question semantics – alternative questions like Did it rain or not?, multiple constituent questions with pair-list readings like Who bought what? and the focus patterns of answers to constituent questions – cannot be dealt with adequately within the framework of Alternative Semantics. In Krifka (to appear) I argue that Alternative Semantics also is problematic as a framework for focus semantics in general; in particular, it makes wrong predictions in case focus (...) occurs in syntactic islands. (shrink)

Contextualism treats ‘knows’ as an indexical that denotes different epistemic properties in different contexts. Contrastivism treats ‘knows’ as denoting a ternary relation with a slot for a contrast proposition. I will argue that contrastivism resolves the main philosophical problems of contextualism, by employing a better linguistic model. Contextualist insights are best understood by contrastivist theory.

A logic of questions and answers exists within the logic of statements, if we make the following identifications (roughly): "Whether" questions are identified with true exclusive disjunctions, and "which" questions are identified with true existential quantifications. The question-and-answer process is interpreted as an information-matching game. The question mark is not needed except as a device of abbreviation. Complete and partial answers can be distinguished and various relations of relevance, independence, and resolution defined.

The paper discusses Colin McGinn’s mysterianist approach to the phenomenon of consciousness. According to McGinn, consciousness is, in and of itself, a fully natural phenomenon, but we humans are just cognitively closed to it, meaning that we cannot in principle understand its nature. I argue that, on a proper conception of the relation between an intellectual problem and its solution, we may well not know what the solution is to a problem we understand, or we may not understand exactly what (...) the problem is, but it is incoherent to suppose that we cannot understand what would count as a solution to a problem we can and do understand. The argument appeals to certain accepted assumption in the logic of questions, developed in the early sixties, mainly by Stahl. I close with a general characterization of mysterianism as such, and formulate a form of mysterianism which is in some sense more optimistic and in another more pessimistic than McGinn’s. (shrink)

This paper presents a novel perspective on the force-content distinction making use of truthmaker semantics and an ontology of attitudinal objects, things that are neither acts (or states) nor propositions. It gives a novel norm-based definition of the notion of direction of fit, strictly linking truth and (non-action-guiding) correctness.

Most dialectical models view argumentation as a process of critically testing a standpoint. Further, they assume that what we critically test can be analytically reduced to individual and bi-polar standpoints. I argue that these two assumptions lead to the dominant view of dialectics as a bi-partisan argumentative discussion in which the yes-side argues against the doubter or the no-side. I scrutinise this binary orientation in understanding argumentation by drawing on the main tenets of normative pragmatic and pragma-dialectical theories of argumentation. (...) I develop my argument by showing how argumentative practice challenges these assumptions. I then lay out theoretical reasons for this challenge. This paves the way for an enhanced conceptualisation of dialectical models and their standards of rationality in terms of multi-party discussions, or argumentative polylogues. (shrink)

For sentences such as (1), "Columbus knows that the sea is unpredictable", there is a face-value theory, according to which ‘that’-clauses are singular terms denoting propositions. Famously, Prior raised an objection to the theory, but defenders of the face-value theory such as Forbes, King, Künne, Pietroski and Stanley urged that the objection could be met by maintaining that in (1) ‘to know’ designates a complex relation along the lines of being in a state of knowledge having as content. Is the (...) theory safe, then? The aim of this paper is to show that a new problem for the theory arises if we consider attributions of skills, knacks, propensities and abilities. (shrink)

Pérez Carballo adopts an epistemic utility theory picture of epistemic norms where epistemic utility functions measure the value of degrees of belief, and rationality consists in maximizing expected epistemic utility. Within this framework he seeks to show that we can make sense of the intuitive idea that some true beliefs—say true beliefs about botany—are more valuable than other true beliefs—say true beliefs about the precise number of plants in North Dakota. To do so, however, Pérez Carballo argues that we must (...) think of the value of epistemic states as consisting in more than simply accuracy. This sheds light on which questions it is most epistemically valuable to pursue. (shrink)

In this paper, I consider a variant of the ancient Idle Argument involving so‐called “unconditionals” with interrogative antecedents. This new Idle Argument provides an ideal setting for probing the logic of these close relatives of if‐conditionals, which has been comparatively underexplored. In the course of refuting the argument, I argue that contrary to received wisdom, many unconditionals do not entail their main clauses, yet modus ponens is still unrestrictedly valid for this class of expressions. I make these lessons precise in (...) a formal system drawing on recent work in inquisitive semantics. My larger aim is to challenge standard truth preservation accounts of logic and deductive argumentation. (shrink)

The objective of this paper is to articulate a distinction between habit and bodily skill as different ways of acting without deliberation. I start by elaborating on a distinction between habit and skill as different kinds of dispositions. Then I argue that this distinction has direct implications for the varieties of automaticity exhibited in habitual and skilful bodily acts. The argument suggests that paying close attention to the metaphysics of agency can help to articulate more precisely questions regarding the varieties (...) of automaticity exhibited in overt action. (shrink)

Good’s theorem is the apparent platitude that it is always rational to ‘look before you leap’: to gather information before making a decision when doing so is free. We argue that Good’s theorem is not platitudinous and may be false. And we argue that the correct advice is rather to ‘make your act depend on the answer to a question’. Looking before you leap is rational when, but only when, it is a way to do this.

In this paper, I respond to Kriegel’s criticism of McGinn’s mysterianism. Kriegel objects to a particular argument for the possibility of human cognitive closure and also gives a direct argument against mysterianism. I intend to show that neither the objection nor the argument is convincing.

Robert Brandom’s normative-pragmatic theory is intended to represent the minimal set of practical abilities whose exhibition qualifies creatures as speaking a language. His model of a minimally discursive practice (MDP) is one in which participants, devoid of logical vocabulary, are only capable of making assertions and drawing inferences. This paper argues that Brandom’s purely assertional practices are not MDPs and that speech acts of asking questions (queries) must be included in any practice that counts as an MDP. The upshot of (...) the argument is support for the claim that the normative pragmatic analysis of assertions requires a corresponding analysis of queries and vice versa. (shrink)

Some philosophers respond to Leibniz’s “shift” argument against absolute space by appealing to antihaecceitism about possible worlds, using David Lewis’s counterpart theory. But separated from Lewis’s distinctive system, it is difficult to understand what this doctrine amounts to or how it bears on the Leibnizian argument. In fact, the best way of making sense of the relevant kind of antihaecceitism concedes the main point of the Leibnizian argument, pressing us to consider alternative spatiotemporal metaphysics.

This paper studies the distribution of ‘list readings’ in questions like who does everyone like? vs. who likes everyone?. More generally, it focuses on the interaction between wh-words and quantified NPs. It is argued that, contrary to widespread belief, the pattern of available readings of constituent questions can be explained as a consequence of Weak Crossover, a well-known property of grammar. In particular, list readings are claimed to be a special case of ‘functional readings’, rather than arising from quantifying into (...) questions. Functional readings are argued to be encoded in the syntax as doubly indexed traces, which straightforwardly leads to a Crossover account of the absence of list readings in who likes everyone?. Empirical and theoretical consequences of this idea for the syntax and semantics of questions are considered. (shrink)

(Schroeder 2007) presents a puzzle about negative reason existentials—claims like ‘There's no reason to cry over spilled milk’. Some of these claims are intuitively true, but we also seem to be committed to the existence of the very reasons that are said not to exist. I argue that Schroeder's own pragmatic solution to this puzzle is unsatisfactory, and propose my own based on a contrastive account of reasons, according to which reasons are fundamentally reasons for one thing rather than another, (...) instead of reasons for things simpliciter, as has been traditionally held. (shrink)

Distributive egalitarians believe that distributive justice is to be explained by the idea of distributive equality (DE) and that DE is of intrinsic value. The socio-relational critique argues that distributive egalitarianism does not account for the “true” value of equality, which rather lies in the idea of “equality as a substantive social value” (ESV). This paper examines the socio-relational critique and argues that it fails because – contrary to what the critique presupposes –, first, ESV is not conceptually distinct from (...) DE, and second, the idea of ESV cannot serve as a “foundation” or “root” of distributive egalitarianism. (shrink)

We examine a special case of inquiry games and give an account of the informational import of asking questions. We focus on yes-or-no questions, which always carry information about the questioner's strategy, but never about the state of Nature, and show how strategic information reduces uncertainty through inferences about other players' goals and strategies. This uncertainty cannot always be captured by information structures of classical game theory. We conclude by discussing the connection with Gricean pragmatics and contextual constraints on interpretation.

This paper develops an account of the German discourse particle denn that captures the meaning contribution of this particle in polar questions, wh-questions, and certain conditional antecedents in a unified way. It is shown that the behavior of denn exhibits an asymmetry between polar and wh-interrogatives, which can be captured by treating the particle as sensitive to the property highlighted by its containing clause, in the sense of Roelofsen and Farkas :359–414, 2015). In addition, the paper argues that highlighting-sensitivity should (...) be incorporated in the account of another discourse particle, German überhaupt, and discusses how the proposed account of discourse particle denn may be extended to also cover the use of denn as a causal conjunction. (shrink)

Yablo gives us an account of subject-matter - a characterization of what declarative sentences are about. I argue that this account can be seen as a way of adjusting Frege’s theory of meaning, so as it no longer carries the implausible commitment that declarative sentences refer to their truth-values. I also point out that Yablo’s approach faces an unpleasant choice: give up a uniform compositional semantics for interrogative sentences or abandon the idea that ordinary characterizations of subject matter are literally (...) and unambiguously true. (shrink)

A plausible constraint on normative reasons to act is that it must make sense to use them as premises in deliberation. I argue that a central sort of deliberation – what Bratman calls partial planning – is question-directed: it is over, and aims to resolve, deliberative questions. Whether it makes sense to use some consideration as a premise in deliberation in a case of partial planning can vary with the deliberative question at issue. I argue that the best explanation for (...) this is that reasons are contrastive or relativized to deliberative questions. (shrink)