This article begins by distinguishing force and mood. Then it lays out desiderata on a successful account. It sketches as background the program of truth-theoretic semantics. Next, it surveys assimilation approaches and argues that they are inadequate. Then it shows how the fulfillment-conditional approach can be applied to imperatives, interrogatives, molecular sentences containing them, and quantification into mood markers. Next, it considers briefly the recent set of propositions approach to the semantics of interrogatives and exclamatives. Finally, it shows how to (...) integrate exclamatives and optatives into a framework similar to the fulfillment approach. (shrink)

Information exchange can be seen as a dynamic process of raising and resolving issues. The goal of this paper is to provide a logical framework to model and reason about this process. We develop an inquisitive dynamic epistemic logic , which enriches the standard framework of dynamic epistemic logic , incorporating insights from recent work on inquisitive semantics. At a static level, IDEL does not only allow us to model the information available to a set of agents, like standard epistemic (...) logic, but also the issues that the agents entertain. At a dynamic level, IDEL does not only allow us to model the effects of communicative actions that provide new information, like standard DEL, but also the effects of actions that raise new issues. Thus, IDEL provides the fundamental tools needed to analyze information exchange as a dynamic process of raising and resolving issues. (shrink)

Many languages grammatically mark evidentiality, i.e., the source of information. In assertions, evidentials indicate the source of information of the speaker while in questions they indicate the expected source of information of the addressee. This dissertation examines the semantics and pragmatics of evidentiality and illocutionary mood, set within formal theories of meaning and discourse. The empirical focus is the evidential system of Cheyenne (Algonquian: Montana), which is analyzed based on several years of fieldwork by the author.

In this paper I argue that there is a class of attitudes that have questions (rather than propositions or something else) as contents.

A construction is found in American Sign Language that we call a Question–Answer Clause. It is made of two parts: the first part looks like an interrogative clause conveying a question, while the second part resembles a declarative clause answering that question. The very same signer has to sign both, the entire construction is interpreted as truth-conditionally equivalent to a declarative sentence, and it can be uttered only under certain discourse conditions. These and other properties of Question–Answer Clauses are discussed, (...) and a detailed syntactic, semantic, and pragmatic account is provided. Question–Answer Clauses are argued to be copular clauses consisting of a silent copula of identity connecting an interrogative clause in the precopular position with a declarative clause in the postcopular position. Pragmatically, they instantiate a topic/comment structure, with the first part expressing a sub-question under discussion and the second part expressing the answer to that sub-question. Broader implications of the analysis are discussed for the Question Under Discussion theory of discourse structuring, for the analysis of pseudoclefts in spoken languages, and for recent proposals about the need for answerhood operators and exhaustivity operators in the grammar and the consequences for the syntax/semantics/pragmatics interface. (shrink)

Questions are triggers for explicit events of ‘issue management’. We give a complete logic in dynamic-epistemic style for events of raising, refining, and resolving an issue, all in the presence of information flow through observation or communication. We explore extensions of the framework to multi-agent scenarios and long-term temporal protocols. We sketch a comparison with some alternative accounts.

In many natural languages, there are clear syntactic and/or intonational differences between declarative sentences, which are primarily used to provide information, and interrogative sentences, which are primarily used to request information. Most logical frameworks restrict their attention to the former. Those that are concerned with both usually assume a logical language that makes a clear syntactic distinction between declaratives and interrogatives, and usually assign different types of semantic values to these two types of sentences. A different approach has been taken (...) in recent work on inquisitive semantics. This approach does not take the basic syntactic distinction between declaratives and interrogatives as its starting point, but rather a new notion of meaning that captures both informative and inquisitive content in an integrated way. The standard way to treat the logical connectives in this approach is to associate them with the basic algebraic operations on these new types of meanings. For instance, conjunction and disjunction are treated as meet and join operators, just as in classical logic. This gives rise to a hybrid system, where sentences can be both informative and inquisitive at the same time, and there is no clearcut division between declaratives and interrogatives. It may seem that these two general approaches in the existing literature are quite incompatible. The main aim of this paper is to show that this is not the case. We develop an inquisitive semantics for a logical language that has a clearcut division between declaratives and interrogatives. We show that this language coincides in expressive power with the hybrid language that is standardly assumed in inquisitive semantics, we establish a sound and complete axiomatization for the associated logic, and we consider a natural enrichment of the system with presuppositional interrogatives. (shrink)

This paper concerns the phenomenon of pragmatic enrichment, and has a proposal for predicting the occurrence of such enrichments. The idea is that an enrichment of an expressed content c occurs as a means of strengthening the coherence between c and a salient given content c’ of the context, whether c’ is given in discourse, as sentence parts, or through perception. After enrichment, a stronger coherence relation is instantiated than before enrichment. An idea of a strength scale of types of (...) coherence relations is proposed and applied. (shrink)

I give an account of the compositional semantics of unconditionals that explains their relationship to if -conditionals in the Lewis/Kratzer/Heim tradition. Unconditionals involve an alternative-denoting adjunct that supplies domain restrictions pointwise to a main-clause operator such as a modal. The differences from if -clauses follow from the structure of the adjuncts; both are conditionals in the Lewisian sense. In the course of treating unconditionals, I provide a concrete implementation of conditionals where conditional adjuncts in general are a species of correlative, (...) and show what detaching this hypothesis from if involves. (shrink)

A realist view of numbers often rests on the following thesis: statements like ‘The number of moons of Jupiter is four’ are identity statements in which the copula is flanked by singular terms whose semantic function consists in referring to a number (henceforth: Identity). On the basis of Identity the realists argue that the assertive use of such statements commits us to numbers. Recently, some anti-realists have disputed this argument. According to them, Identity is false, and, thus, we may deny (...) that the relevant statements commit us to numbers. The present paper argues that the correct linguistic analysis of the relevant number statements supports the anti-realist view that Identity is false. However, as will further be shown, pace the anti-realist, this analysis does not establish that such statements do not commit us to numbers after all. (shrink)

Although it seems intuitively clear that acts of requesting are different from acts of commanding, it is not very easy to sate their differences precisely in dynamic terms. In this paper we show that it becomes possible to characterize, at least partially, the effects of acts of requesting and compare them with the effects of acts of commanding by combining dynamified deontic logic with epistemic logic. One interesting result is the following: each act of requesting is appropriately differentiated from an (...) act of commanding with the same content, but for each act of requesting, there is another act of commanding with much more complex content which updates models in exactly the same way as it does. We will also consider an application of our characterization of acts of requesting to acts of asking yes-no questions. It yields a straightforward formalization of the view of acts of asking questions as requests for information. (shrink)

Taking the lead from orthodox quantum theory, I will introduce a handy generalization of the Boolean approach to propositions and questions: the orthoalgebraic framework. I will demonstrate that this formalism relates to a formal theory of questions (or ‘observables’ in the physicist’s jargon). This theory allows formulating attitude questions, which normally are non-commuting, i.e., the ordering of the questions affects the answer behavior of attitude questions. Further, it allows the expression of conditional questions such as “If Mary reads the book, (...) will she recommend it to Peter?”, and thus gives the framework the semantic power of raising issues and being informative at the same time. In the case of commuting observables, there are close similarities between the orthoalgebraic approach to questions and the Jäger/Hulstijn approach to question semantics. However, there are also differences between the two approaches even in case of commuting observables. The main difference is that the Jäger/Hulstijn approach relates to a partition theory of questions whereas the orthoalgebraic approach relates to a ‘decorated’ partition theory (i.e. the elements of the partition are decorated by certain semantic values). Surprisingly, the orthoalgebraic approach is able to overcome most of the difficulties of the Jäger/Hulstijn approach. Furthermore, the general approach is suitable to describe the different types of (non-commutative) attitude questions as investigated in modern survey research. Concluding, I will suggest that an active dialogue between the traditional model-theoretic approaches to semantics and the orthoalgebraic paradigm is mandatory. (shrink)

This paper concerns the formal semantic analysis of imperative sentences. It is argued that such an analysis cannot be deferred to the semantics of propositions, under any of the three commonly adopted strategies: the performative analysis, the sentence radical approach to propositions, and the (nondeclarative) mood-as-operator approach. Whereas the first two are conceptually problematic, the third faces empirical problems: various complex imperatives should be analysed in terms of semantic operators over simple imperatives. One particularly striking case is the Dutch pluperfect (...) imperative. It is argued that this construction should be analysed as a genuine counterfactual imperative. On the constructive side, in the last part of the paper a formal semantic analysis of imperatives is presented, in the framework of Update Semantics. On this analysis, imperatives are sui generis semantic entities, on a par with propositions. The analysis also includes an account of the counterfactual imperatives. (shrink)

This paper argues for contrastivism about the deontic modals, 'ought', 'must', and 'may'. A simple contrastivist semantics that predicts the desired entailment relations among these modals is offered.

We discuss presupposition, the phenomenon whereby speakers mark linguistically the information that is presupposed or taken for granted, rather than being part of the main propositional content of a speech act. Expressions and constructions carrying presuppositions are called “presupposition triggers”, forming a large class including definites and factive verbs. The article first introduces the range of triggers, the basic properties of presuppositions such as projection and cancellability, and the diagnostic tests used to identify them. The reader is then introducedto major (...) models of presupposition from the last 50 years, separated into three classes: Frege-Strawson derived semantic models, pragmaticmodels such as that offered by Stalnaker, and dynamic models. Finallywe discuss some of the main current issues in presupposition theory. These involve accommodation, which occurs when a hearer's knowledge state is adjusted to meet the speaker's presuppositions; presupposition failure, which occurs when a presupposition is false; the interaction between presuppositions and attitudes; and the triggering problem, i.e., the problem of explaining why presuppositions occur in the first place. (shrink)

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)

This paper explores the nature of curiosity from an epistemological point of view. First it motivates this exploration by explaining why epistemologists do and should care about what curiosity is. Then it surveys the relevant literature and develops a particular approach.

Semantic information is usually supposed to satisfy the veridicality thesis: p qualifies as semantic information only if p is true. However, what it means for semantic information to be true is often left implicit, with correspondentist interpretations representing the most popular, default option. The article develops an alternative approach, namely a correctness theory of truth (CTT) for semantic information. This is meant as a contribution not only to the philosophy of information but also to the philosophical debate on the nature (...) of truth. After the introduction, in Sect. 2, semantic information is shown to be translatable into propositional semantic information (i). In Sect. 3, i is polarised into a query (Q) and a result (R), qualified by a specific context, a level of abstraction and a purpose. This polarization is normalised in Sect. 4, where [Q + R] is transformed into a Boolean question and its relative yes/no answer [Q + A]. This completes the reduction of the truth of i to the correctness of A. In Sects. 5 and 6, it is argued that (1) A is the correct answer to Q if and only if (2) A correctly saturates Q by verifying and validating it (in the computer science’s sense of verification and validation ); that (2) is the case if and only if (3) [Q + A] generates an adequate model (m) of the relevant system (s) identified by Q; that (3) is the case if and only if (4) m is a proxy of s (in the computer science’s sense of proxy ) and (5) proximal access to m commutes with the distal access to s (in the category theory’s sense of commutation ); and that (5) is the case if and only if (6) reading/writing (accessing, in the computer science’s technical sense of the term) m enables one to read/write (access) s. Sect. 7 provides some further clarifications about CTT, in the light of semantic paradoxes. Section 8 draws a general conclusion about the nature of CTT as a theory for systems designers not just systems users. In the course of the article all technical expressions from computer science are explained. (shrink)

This book presents novel formalizations of three of the most important medieval logical theories: supposition, consequence and obligations. In an additional fourth part, an in-depth analysis of the concept of formalization is presented - a crucial concept in the current logical panorama, which as such receives surprisingly little attention.Although formalizations of medieval logical theories have been proposed earlier in the literature, the formalizations presented here are all based on innovative vantage points: supposition theories as algorithmic hermeneutics, theories of consequence analyzed (...) with tools borrowed from model-theory and two-dimensional semantics, and obligations as logical games. For this reason, this is perhaps the first time that these medieval logical theories are made fully accessible to the modern philosopher and logician who wishes to obtain a better grasp of them, but who has always been held back by the lack of appropriate ‘translations' into modern terms.Moreover, the book offers a reflection on the very nature of logic, a reflection that is prompted by the comparisons between medieval and modern logic, their similarities and dissimilarities. It is thus a contribution not only to the history of logic, but also to the philosophy of logic, the philosophy of language and semantics.The analysis of medieval logic is also relevant for the modern philosopher and logician in that, being the unifying methodology used across all disciplines at that time, logic really provided unity to science. It thus presents a unified model of scientific investigation, where logic plays the aggregating role. (shrink)

There are two competing views of knowledge-how: Intellectualism and anti-intellectualism. According to the reductionist varieties of intellectualism defended by Jason Stanley and Timothy Williamson (2001) and Berit Brogaard (2007, 2008, 2009), knowledge-how simply reduces to knowledge-that. To a first approximation, s knows how to A iff there is a w such that s knows that w is a way to A. For example, John knows how to ride a bicycle if and only if there is a way w such that (...) John knows that w is a way to ride a bicycle. John Bengson and Marc Moffett (2007) defend an anti-reductionist version of intellectualism which takes knowledge-how to require, in addition, that s understand the concepts involved in her belief. According to the anti-intellectualist accounts originally defended by Gilbert Ryle (1946) and many others after him, knowledge-how requires the possession of a practical ability and so knowing that w (for some w) is a way to A does not suffice for knowing-how. For example, John knows how to ride a bicycle only if John has the ability to ride it; if John merely knows that w (for some w) is a way to ride a bicycle, John does not know how to ride a bicycle. Here I will argue for a conciliatory position that is compatible with the reductionist variety of intellectualism: knowledge-how is reducible to knowledge-that. But, I argue, there are knowledge states which are not justification-entailing and knowledge states which are not belief-entailing. Both kinds of knowledge state require the possession of practical abilities. I conclude by arguing that the view defended naturally leads to a disjunctive conception of abilities as either essentially involving mental states or as not essentially involving mental states. Only the former kind of ability is a kind of knowledge-state, viz. a knowledge-how state. (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.

This paper considers the meaning and use of the English particle man . It is shown that the particle does quite different things when it appears in sentence-initial and sentence-final position; the first use involves expression of an emotional attitude as well as, on a particular intonation, intensification; this use is analyzed using a semantics for degree predicates along with a separate dimension for the expressive aspect. Further restrictions on modification with the sentence-initial particle involving monotonicity and evidence are introduced (...) and analyzed. The sentence-final use can be viewed as strengthening the action performed by the sentence. A formal semantics is given by making use of dynamic techniques and, in a sense, dynamically simulating the modification of certain speech acts. Some empirical and theoretical extensions of the analyses are proposed and some consequences discussed. (shrink)

Causal claims are context sensitive. According to the old orthodoxy (Mackie 1974, Lewis 1986, inter alia), the context sensitivity of causal claims is all due to conversational pragmatics. According to the new contextualists (Hitchcock 1996, Woodward 2003, Maslen 2004, Menzies 2004, Schaffer 2005, and Hall ms), at least some of the context sensitivity of causal claims is semantic in nature. I want to discuss the prospects for causal contextualism, by asking why causal claims are context sensitive, what they are sensitive (...) to, and where they are sensitive to it. (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?

Determiner phrases embedded under a propositional attitude verb have traditionally been taken to denote answers to implicit questions. For example, 'the capital of Vermont' as it occurs in 'John knows the capital of Vermont' has been thought to denote the proposition which answers the implicit question 'what is the capital of Vermont?' Thus, where 'know' is treated as a propositional attitude verb rather than an acquaintance verb, 'John knows the capital of Vermont' is true iff John knows that Montpelier is (...) the capital of Vermont. The traditional view lost its popularity long ago, because it was thought to rest on the controversial assumption that determiner phases embedded under a propositional attitude verb function semantically in the same way as the corresponding wh-clauses. Here we defend the traditional assumption against objections. We then argue that wh-clauses are not to be given a uniform treatment as indirect questions. When occurring under a propositional attitude verb, wh-clauses are better treated as having a predicate-type semantic value. We conclude by considering some possible objections to the predicate view. (shrink)

The paper sketches the place of dynamic semantics within a broader picture of developments in philosophical and linguistic theories of meaning. Some basic concepts of dynamic semantics are illustrated by means of a detailed analysis of anaphoric definite and indefinite descriptions, which are treated as contextually dependent quantificational expressions. It is shown how a dynamic view sheds new light on the contextual nature of interpretation, on the difference between monologue and dialogue, and on the interplay between direct and indirect information.

How must knowledge be formed, if made in the image of assertion? That is, given that knowledge plays the normative role of governing what one may assert, what can be inferred about the structure of the knowledge relation from this role? I will argue that what one may assert is sensitive to the question under discussion, and conclude that what one knows must be relative to a question. In short, knowledge in the image of assertion is question-relative knowledge.

Does G. E. Moore know that he has hands? Yes, says the dogmatist: Moore’s hands are right before his eyes. No, says the skeptic: for all Moore knows he could be a brain-in-a-vat. Yes and no, says the contrastivist: yes, Moore knows that he has hands rather than stumps; but no, Moore does not know that he has hands rather than vat-images of hands. The dogmatist and the skeptic suppose that knowledge is a binary, categorical relation: s knows that p. (...) The contrastivist says that knowledge is a ternary, contrastive relation: s knows that p rather than q. (shrink)

Polarity phenomena in language are pervasive and quite diverse. A quite familiar polarity item (PI) is any. Any a PI because it exhibits limited distribution: it is ungrammatical in positive sentences, but becomes fine with negation, in questions, with modal verbs, and in the scope of downward entailing quantifiers like few.

The concept of search scenario is explicated in terms of erotetic logic, i.e., the logic of questions. Different kinds of erotetic search scenarios are characterized. The basic logical properties of erotetic search scenarios are analyzed.

Hong Oak Yun is a person who is over three inches tall. And now you know who Hong Oak Yun is. For if someone were to ask you ‘Who is Hong Oak Yun?’, you could answer that Hong Oak Yun is a person who is over three inches tall, and you would know what you were saying. So you know an answer to the question ‘Who is Hong Oak Yun?’, and that is sufficient for knowing who Hong Oak Yun is. (...) Getting to know who a person is may be easier than you think. (shrink)

Reductionists about knowledge-wh hold that "s knows-wh" (e.g. "John knows who stole his car") is reducible to "there is a proposition p such that s knows that p, and p answers the indirect question of the wh-clause." Anti-reductionists hold that "s knows-wh" is reducible to "s knows that p, as the true answer to the indirect question of the wh-clause." I argue that both of these positions are defective. I then offer a new analysis of knowledge-wh as a special kind (...) of de re knowledge. (shrink)

Causation is widely assumed to be a binary relation: c causes e. I will argue that causation is a quaternary, contrastive relation: c rather than C* causes e rather than E*, where C* and E* are nonempty sets of contrast events. Or at least, I will argue that treating causation as contrastive helps resolve some paradoxes.

Pesetsky’s (1987) ‘‘aggressively non-D-linked’’ wh-phrases (like who the hell; hereinafter, wh-the-hell phrases) exhibit a variety of syntactic and semantic peculiarities, including the fact that they cannot occur in situ and do not support nonecho readings when occurring in root multiple questions. While these are familiar from the literature (albeit less than fully understood), our focus will be on a previously unnoted property of wh-the-hell phrases: the fact that their distribution (in single wh-questions) matches that of polarity items (PIs). We lay (...) out the key data supporting this claim, embed the PI nature of wh-the-hell phrases in the theory of polarity developed in Giannakidou 1998, 1999, 2001, and establish the link between the lexical content of these phrases and their PI status by identifying wh-the-hell as a dependent PI. We subsequently exploit the PI status of wh-the-hell to explain the more familiar puzzles mentioned above, showing that these are not peculiarities specific to wh-the-hell but manifestations of the general properties of the class of PIs that wh-the-hell belongs to. The syntactic aspects of the polarity analysis of wh-the-hell are shown to have important consequences for the fundamental properties of wh-movement in English. (shrink)

With the aid of some results from current linguistic theory I examine a recent anti-Fregean line with respect to hybrid talk of numbers and ordinary things, such as ‘the number of moons of Jupiter is four’. I conclude that the anti-Fregean line with respect to these sentences is indefensible.

We propose a novel interpretation of natural-language questions using a modal predicate logic of knowledge. Our approach brings standard model-theoretic and proof-theoretic techniques from modal logic to bear on questions. Using the former, we show that our interpretation preserves Groenendijk and Stokhof's answerhood relation, yet allows an extensional interpretation. Using the latter, we get a sound and complete proof procedure for the logic for free. Our approach is more expressive; for example, it easily treats complex questions with operators that scope (...) over questions. We suggest a semantic criterion that restricts what natural-language questions can express. We integrate and generalize much previous work on the semantics of questions, including Beck and Sharvit's families of subquestions, non-exhaustive questions, and multi-party conversations. (shrink)

Attitude reports are reports about people’s states of mind. They are reports about what people think, believe, know, know a priori, imagine, hate, wish, fear, and the like. So, for example, I might report that s knows p, or that she imagines p, or that she hates p, where p specifies the content to which s is purportedly related. One lively current debate centers around the question of what sort of specification is involved when such attitude reports are successful. Some (...) hold that it is specification of the precise content of a mental state; others hold that it is specification of the content of a mental state only relative to a mode of presentation; yet others hold that it is merely a description or characterization of the content of a mental state. After providing a brief introduction to the traditional debate on attitude reports, this entry argues that for certain kinds of knowledge reports and for so-called de re attitude reports, descriptive theories emerge as the most plausible. The entry concludes with a discussion of how the characterizing relation between attitude reports and mental states might be construed. (shrink)

This compilation of references includes all references for the knowledge-how chapters included in Bengson & Moffett's edited volume. The volume and the compilation of references may serve as a good starting point for people who are unfamiliar with the philosophical literature on knowledge-how.

There are norms for asking questions. Inquirers should not ask questions to which they know the answer. The literature on the norms of asking has focused on such speaker-centered norms. But, as I argue, there are addressee-centered norms as well: inquirers should not ask addressees who fall short of a certain epistemic status. That epistemic status, I argue here, is knowledge.

This paper explains some of the reasoning behind “Can a Good Philosophical Contribution Be Made Just by Asking a Question?,” a paper which consists solely in its title and which is published in the same issue of the journal as the present paper. The method for explaining that reasoning consists in making available a lightly edited version of a letter the authors sent to the editors when submitting the title-only paper. The editors permitted publication of that paper on the condition (...) that the authors also separately publish a version of that letter; the present paper aims to fulfil that condition. (shrink)

A long line of epistemologists including Sosa (2021), Feldman (2002), and Chisholm (1977) have argued that, at least for a certain class of questions that we take up, we should (or should aim to) close inquiry iff by closing inquiry we would meet a unique epistemic standard. I argue that no epistemic norm of this general form is true: there is not a single epistemic standard that demarcates the boundary between inquiries we are forbidden and obligated to close. In short, (...) such norms are false because they are insensitive to the potentially ambitious epistemic goals that agents may permissibly bring to bear on an inquiry. Focusing particularly on knowledge-oriented versions of the norm, I argue that ignorance has a positive role to play in epistemic life by licensing prolonged inquiry into questions that we especially care about. (shrink)

A growing number of epistemologists have endorsed the Ignorance Norm for Inquiry. Roughly, this norm says that one should not inquire into a question unless one is ignorant of its answer. I argue that, in addition to ignorance, proper inquiry requires a certain kind of knowledge. Roughly, one should not inquire into a question unless one knows it has a true answer. I call this the Knowledge Norm for Inquiry. Proper inquiry walks a fine line, holding knowledge that there is (...) an answer in the left hand and ignorance of the answer in the right. (shrink)

From the Hilbert space formalism we note that five simple conditions are satisfied by the orthogonality relation between the (pure) states of a quantum system. We argue, by proving a mathematical theorem, that they capture the essentials of this relation. Based on this, we investigate the rationale behind these conditions in the form of six physical hypotheses. Along the way, we reveal an implicit theoretical assumption in theories of physics and prove a theorem which formalizes the idea that the Superposition (...) Principle makes quantum physics different from classical physics. The work follows the paradigm of mathematical foundations of quantum theory, which I will argue by methodological reflection that it exemplifies a formal approach to analysing concepts in theories. (shrink)

It’s commonly thought that, in conversation, speakers accept and reject propositions that have been asserted by others. Do speakers accept and reject questions as well? Intuitively, it seems that they do. But what does it mean to accept or reject a question? What is the relationship between these acts and those of asking and answering questions? Are there clear and distinct classes of reasons that speakers have for acceptance and rejection of questions? This chapter seeks to address these issues. Beyond (...) their intrinsic interest to those working on the nature of questions, solutions to these problems may aid the extension of inferentialist approaches to logic and language. Inferentialists who think that inferences should be conceived in terms of the norms we are subject to in virtue of both the sentences we accept or assert as well as those we reject or deny are known as bilateralists. A coherent account of accepting and rejecting questions raises the prospects for a bilateralism that interprets question-involving or erotetic inferences according to these additional primitives. While a full-blown bilateralism for erotetic inferences and ultimately for question-forming operators themselves far exceeds this chapter’s scope, the work presented here does sketch the first steps in that direction. (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)