This chapter discusses three puzzles about practical conditionals and inferences and shows how the flexible, contextualist semantic framework for “ought”. The chapter develops elsewhere resolves all three puzzles more satisfactorily than any of its three most prominent rivals, the relativist account of Niko Kolodny and John MacFarlane, the wide-scoping account of John Broome, and the “trying on” account of James Dreier. The chapter first introduces the puzzle cases and six desiderata for their solutions, and then shows how only (...) flexible contextualism about “ought” is able to resolve each while satisfying all six desiderata. (shrink)

Recently, there has been a shift away from traditional truth-conditional accounts of meaning towards non-truth-conditional ones, e.g., expressivism, relativism and certain forms of dynamic semantics. Fueling this trend is some puzzling behavior of modal discourse. One particularly surprising manifestation of such behavior is the alleged failure of some of the most entrenched classical rules of inference; viz., modus ponens and modus tollens. These revisionary, non-truth-conditional accounts tout these failures, and the alleged tension between the behavior of modal vocabulary (...) and classical logic, as data in support of their departure from tradition, since the revisionary semantics invalidate some of these patterns. I, instead, offer a semantics for modality with the resources to accommodate the puzzling data while preserving classical logic, thus affirming the tradition that modals express ordinary truth-conditional content. My account shows that the real lesson of the apparent counterexamples is not the one the critics draw, but rather one they missed: namely, that there are linguistic mechanisms, reflected in the logical form, that affect the interpretation of modal language in a context in a systematic and precise way, which have to be captured by any adequate semantic account of the interaction between discourse context and modal vocabulary. The semantic theory I develop specifies these mechanisms and captures precisely how they affect the interpretation of modals in a context, and do so in a way that both explains the appearance of the putative counterexamples and preserves classical logic. (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)

The subjective deontic "ought" generates counterexamples to classical inference rules like modus ponens. It also conflicts with the orthodox view about modals and conditionals in natural language semantics. Most accounts of the subjective ought build substantive and unattractive normative assumptions into the semantics of the modal. I sketch a general semantic account, along with a metasemantic story about the context sensitivity of information-sensitive operators.

This paper discusses an important puzzle about the semantics of indicative conditionals and deontic necessity modals (should, ought, etc.): the Miner Puzzle (Parfit, ms; Kolodny and MacFarlane, J Philos 107:115–143, 2010). Rejecting modus ponens for the indicative conditional, as others have proposed, seems to solve a version of the puzzle, but is actually orthogonal to the puzzle itself. In fact, I prove that the puzzle arises for a variety of sophisticated analyses of the truth-conditions of indicative conditionals. A (...) comprehensive solution requires rethinking the relationship between relevant information (what we know) and practical rankings of possibilities and actions (what to do). I argue that (i) relevant information determines whether considerations of value may be treated as reasons for actions that realize them and against actions that don’t, (ii) incorporating this normative fact requires a revision of the standard ordering semantics for weak (but not for strong) deontic necessity modals, and (iii) an off-the-shelf semantics for weak deontic necessity modals, due to von Fintel and Iatridou, which distinguishes “basic” and “higher-order” ordering sources, and interprets weak deontic necessity modals relative to both, is well-suited to this task. The prominence of normative considerations in our proposal suggests a more general methodological lesson: formal semantic analysis of natural language modals expressing normative concepts demands that close attention be paid to the nature of the underlying normative phenomena. (shrink)

This chapter develops a contextualist account of normative language, focusing on broadly normative readings of modal verbs. The account draws on a more general framework for implementing a contextualist semantics and pragmatics, Discourse Contextualism. The aim of Discourse Contextualism is to derive the discourse properties of normative language from a contextualist interpretation of an independently motivated formal semantics, along with principles of interpretation and conversation. In using normative language, interlocutors can exploit their grammatical and (...) world knowledge, and general pragmatic reasoning skills, to manage an evolving system of norms. Discourse Contextualism provides a perspicuous framework for further philosophical theorizing about the nature of normativity, normative language, and normative judgment. Delineating these issues can help refine our understanding of the space of overall theories and motivate more fruitful ways the dialectics may proceed. Discourse Contextualism provides a linguistic basis for a more comprehensive theory of normativity and normative discourse and practice. (shrink)

A recent article by Jeff Kochan contains a discussion of modus ponens that among other thing alleges that the paradox of the heap is a counterexample to it. In this note I show that it is the conditional major premise of a modus ponens inference, rather than the rule itself, that is impugned. This premise is the contrapositive of the inductive step in the principle of mathematical induction, confirming the widely accepted view that it is the vagueness of (...) natural language predicates, not modus ponens , that is challenged by Sorites. (shrink)

Many philosophers think that requirements of rationality are “wide-scope”. That is to say: they are requirements to satisfy some material conditional, such that one counts as satisfying the requirement iff one either makes the conditional’s antecedent false or makes its consequent true. These contrast with narrow-scope requirements, where the requirement takes scope only over the consequent of the conditional. Many of the philosophers who have preferred wide-scope requirements to narrow-scope requirements have also endorsed a corresponding semantic claim, namely (...) that ordinary talk about rationality, despite appearances to the contrary, expresses wide-scope claims. In doing so, they seek to avoid attributing massive error to ordinary speakers. However, it is becoming increasingly clear that the wide-scope semantics inadequately captures the meaning of ordinary talk about rationality. It seems, then, that we are left with a dilemma: either give up the view that requirements of rationality are wide-scope, or accept an implausible semantics for ordinary talk about rationality, or attribute massive error to speakers. In this paper, I argue that this dilemma is only apparent, since we can appeal to a standard kind of contextualist semantics for modals to explain why narrow-scope talk comes out true in virtue of the wide-scope requirements. My view, then, combines wide-scoping about the explanatorily fundamental requirements of rationality with a contextualist variant of a narrow-scope semantics. I argue that this view gives us the best of both worlds, as well as solving related puzzles and challenges for the extant views in the literature. (shrink)

Deontic necessity modals (e.g. 'have to', 'ought to', 'must', 'need to', 'should', etc.) seem to vary in how they interact with negation. According to some accounts, what forces modals like 'ought' and 'should' to outscope negation is their polarity sensitivity -- modals that scope over negation do so because they are positive polarity items. But there is a conflict between this account and a widely assumed theory of if-clauses, namely the restrictor analysis. In particular, the conflict arises for constructions (...) containing a bound pronoun in the if-clause. This note spells out the core conflict. (shrink)

This chapter develops an account of the meaning and use of various types of legal claims, and uses this account to inform debates about the nature and normativity of law. The account draws on a general framework for implementing a contextualist theory, called 'Discourse Contextualism' (Silk 2016). The aim of Discourse Contextualism is to derive the apparent normativity of claims of law from a particular contextualist interpretation of a standard semantics for modals, along with general principles of interpretation (...) and conversation. Though the semantics is descriptivist, it avoids Dworkin’s influential criticism of so-called “semantic theories of law,” and elucidates the nature of “theoretical disagreements” about the criteria of legal validity. The account sheds light on the social, interpersonal function of normative uses of language in legal discourse. It also gives precise expression to Hart’s and Raz’s intuitive distinctions among types of legal claims (internal/external, committed/detached), while giving them a uniform type of analysis. The proposed semantics and pragmatics of legal claims provides a fruitful framework for further theorizing about the nature and metaphysics of law, the relation between law and morality, and the apparent practical character of legal language and judgment. Discourse Contextualism provides a solid linguistic basis for a broader account of legal discourse and practice. (shrink)

The compositional structure of language might have led one to expect that a proper analysis of simple conditionals would have been adequate to determine the analysis of iterated conditionals. But McGee has presented an interesting group of examples that shows that this is not so for indicative conditionals. The examples are particularly arresting since they appear to show that modus ponens does not hold as a generally valid rule of inference for conditionals in natural language.

Our goal here is to help identify the contextualist’s most worthy competitor to relativism. Recently, some philosophers of language and linguists have argued that, while there are contextualist-friendly semantic theories of deontic modals that fit with the relativist’s challenge data, the best such theories are not Lewis-Kratzer-style semantic theories. If correct, this would be important: It would show that the theory that has for many years enjoyed the status of the default view of modals in English and other languages (...) is in need of revision. Here we defend the default view by showing how a Kratzer-style semantics is able to make available readings of the relevant utterances that fit with the pretheoretical judgments opponents purport it cannot fully capture. Having established this, we turn to considering the more theoretical grounds proponents have offered for preferring their rival contextualist views. Here the question is to what extent such grounds favor semantic over what Korta and Perry call “near-side pragmatic” explanations of our judgments. In particular, we argue that our favored readings figure in near-side pragmatic explanations of those judgments that possess the methodological and theoretical advantages of systematicity and unity at least as well as, if not to a greater extent than, those of opponents who argue for their revised semantic theories on the basis of these advantages. (shrink)

Why are the fundamentals of education apparently so little changed in our era of digital technology? Is their obstinate persistence evidence of resilience or obsolescence? Such questions can best be answered not by imagining an uncertain high-tech future, but by examining a well-documented past--a history of instruction and media that extends from Gilgamesh to Google. Norm Friesen looks to the combination and reconfiguration of oral, textual, and more recent media forms to understand the longevity of so many educational arrangements and (...) practices. Friesen examines the interrelationship of reading, writing, and pedagogy in the case of the lecture and the textbook--from their premodern to their postmodern incarnations. Over hundreds of years, these two forms have integrated textual, oral, and (more recently) digital media and connected them with changing pedagogical and cultural priorities. The Textbook and the Lecture opens new possibilities for understanding not only mediated pedagogical practices and their reform but also gradual changes in our conceptions of the knowing subject and of knowledge itself. Drawing on wide-ranging scholarship in fields as diverse as media ecology and German-language media studies, Foucauldian historiography, and even archaeological research, The Textbook and the Lecture is a fascinating investigation of educational media. (shrink)

We report two new phenomena of deontic reasoning: (1) For conditionals with deontic content such as, "If the nurse cleaned up the blood then she must have worn rubber gloves", reasoners make more modus tollens inferences (from "she did not wear rubber gloves" to "she did not clean up the blood") compared to conditionals with epistemic content. (2) For conditionals in the subjunctive mood with deontic content, such as, "If the nurse had cleaned up the blood (...) then she must have had to wear rubber gloves", reasoners make the same frequency of all inferences as they do for conditionals in the indicative mood with deontic content. In this regard, subjunctive deontics are different from subjunctive epistemic conditionals: reasoners interpret subjunctive epistemic conditionals as counterfactual and they make more negative inferences such as modus tollens from them. The experiments show these two phenomena occur for deontic conditionals that contain the modal auxiliary "must" and ones that do not. We discuss the results in terms of the mental representations of deontic conditionals and of counterfactual conditionals. (shrink)

This paper argues that a standard analysis of modals from formal semantics suggests a solution to the detaching problem — the problem of whether un-embedded 'ought'-claims can "detach" (be derived) from hypothetical imperatives and their antecedent conditions. On a broadly Kratzerian analysis, modals have a skeletal conventional meaning and receive a particular reading (e.g., deontic, epistemic, teleological) only relative to certain forms of contextual supplementation. I argue that 'ought'-claims can detach — subject to an important qualification — but only (...) as long as the 'ought's in the conditional premise and conclusion are interpreted relative to the same ordering sources. Although modus ponens can be shown to fail with hypothetical imperatives, the cases in question do not constitute a failure of detachment in the sense that ethicists have cared about. Rival wide-scoping accounts are proven to be linguistically problematic. They make incorrect predictions about the meanings of hypothetical imperatives, and founder in response to quantificational variants of the detaching problem. (shrink)

Deontic reasoning is thinking about whether actions are forbidden or allowed, obligatory or not obligatory. It is proposed that social norms, imposing constraints on individual actions, constitute the fundamental concept for the system of these four deontic modalities, and that people reason from such norms flexibly according to deontic core principles. Two experiments are presented, one on deontic conditional reasoning, the other on “pure” deontic reasoning. Both experiments demonstrate people's high deontic competence and confirm (...) the proposed representational and inferential principles. Experiment 1 additionally shows small effects of the conditional formulations. These findings support the dual source approach (Beller & Spada, 2003) that distinguishes between domain-specific and domain-general inferences. Implications for other theories of deontic reasoning are discussed. (shrink)

To qualify the truth of a proposition probabilistically is to place it within the scope of a special type of alethic modality. We expect that, as in other modal contexts, the merely probabilistic truth of an assumption in a valid inference must carry over to whatever conclusions are derived from the assumption. That expectation, however, is not always fulfilled in ordinary reasoning about conditional probabilities. There are simpler ways of illustrating what I shall call the paradoxes of conditional probabilistic reasoning (...) in ordinary language, but the following argument is a colorful example. Consider an apparently deductively valid inference, by an imaginary inmate of a penal institution supervised by a bitterly hated warden who is surrounded by dangerous criminals, including the argument’s author. (shrink)

This dissertation is intended to provide a formalism for those generics that trigger nonmonotonic inferences. The formalism is to reflect intentionality and exception-tolerating features of generics, and has an emphasis on the axiomatization of generic reasoning that encodes nonmonotonicity. ;A modal conditional approach is taken to formalize the nonmonotonic reasoning in general at the level of object language. A serial of logic systems---MN, NID, NCUM, N STCUM---are constructed in an increasing strength of the characterized nonmonotonic inference relation. In these systems, (...) two binary modal operators ⩾ and > are introduced in their syntax, and a ⊛ function lifted from the traditional * function is deployed in their semantics. These systems are shown to be sound and complete with respect to certain classes of frames defined in the semantics. They are decidable as well. The nonmonotonic inference is argued to be a ternary relation "[phi], Gamma |∼ alpha", and is defined in the system NSTCUM. Many widely discussed nonmonotonic inference patterns such as Defeasible Modus Ponens, Defeasible Transitivity, the Penguin Principle etc. are justified. The specificity rule is proved to be a theorem of the system N STCUM. The impact of negated defaults on an inference is also investigated and accounted for. ;A canonical form to read off generics is proposed: All generic sentences with subject-predicate structure can be re-written into their canonical form S . If S is a plural noun phrase, it can be further refined to be . Normal objects are selected based on the "meaning" of the subject and predicate terms. The second parameter provides an aspect with respect to which certain objects of a kind are considered normal. Due to such a way to select normal objects, the drowning problem is solved. ;The inference behaviors of generics are axiomatized in the system G, which is a quantificational extension of the system NSTCUM. It is proved to be sound and complete with respect to the class of L⩾,G -frames. Those benchmark examples of generic inferences are examined in the system G. (shrink)

We present a meta-analytic review on the processing of negations in conditional reasoning about affirmation problems (Modus Ponens: "MP", Affirmation of the Consequent "AC") and denial problems (Denial of the Antecedent "DA", and Modus Tollens "MT"). Findings correct previous generalisations about the phenomena. First, the effects of negation in the part of the conditional about which an inference is made, are not constrained to denial problems. These inferential-negation effects are also observed on AC. Second, there generally are reliable (...) effects of a negation in the clause referred to by the categorical premise, and these referred-negation effects are constrained to the logically fallacious AC and DA inferences. All findings are presented and discussed in relation to contemporary mental model (MM) and mental logic (ML) theories. It is argued that a double-negation elimination hypothesis provides a sufficient explanation of inferential-negation effects within both MM theory and ML theory, if the latter is extended by a validating search for counter examples. Both MM and ML theories adhere to a processing scheme that allows them to incorporate an account of referred-negation effects based on the thesis that counter-example frequency is modulated by the scope of a contrast class delineated by a false affirmative. We conclude that MM and ML theories provide adequate processing schemes to accommodate for the explanatory hypotheses, at least in principle. In practice, both approaches remain equivocal as regards the connectivity and interactivity with long-term memory knowledge invoked in generating, manipulating, and testing the mental representations of negative state of affairs. (shrink)

In this paper, the set-theoretic approach in the logical theory of normative systems is extended using Broome’s definition of the normative code function. The syntax and semantics for first order metanormative language is defined, and metanormative language is applied in the formalization of the basic principles in Broome’s approach and in the construction of a logical typology of normative systems. Special attention is given to the types of normative systems which are not definable in terms of (...) the properties of singular sets of requirements (e.g. the realization equivalence of codes, the social compatibility of codes, and the compatibility of codes issued by different normative sources). Examples are given of the application of the typology in the interpretation of philosophical texts. Von Wright’s hypothesis on the connection of logical properties of normative systems, conceived set-theoretically, with standard deontic logic is proved by introducing the translation function between the metanormative language and the restricted language of standard deontic logic. The translation reveals that von Wright’s hypothesis must be appended. The problems of narrow and wide scope readings of the deontic conditionals and of the meaning of iterated deontic operators are addressed using the distinction between relative and absolute normative codes. The theorem on the existence of a realization equivalent absolute code for any relative code is proved. (shrink)

There has been a recent surge of work on deontic modality within philosophy of language. This work has put the deontic logic tradition in contact with natural language semantics, resulting in significant increase in sophistication on both ends. This chapter surveys the main motivations, achievements, and prospects of this work.

It is commonly accepted that those embedded conditionals of the type "if A, then if B, then C" we do understand, we understand as equivalent to sentences without embedded conditionals. This reduction is in classical logic achieved with the use of laws of exportation and importation. V. McGee even presents counterexamples to modus ponens which are based on the classical treatment of embedded conditionals and proposes to trade the validity of modus ponens for the validity of laws of (...) importation and exportation. It is argued that for a large class of indicative conditionals the laws of exportation and importation are invalid. With the help of Stalnaker's selection function theory of conditionals and the distinction between valid and reasonable inferences it is shown that modus ponens is valid but can be unreasonable, whereas laws of importation and exportation are invalid, but still reasonable. (shrink)

Chancy modus ponens is the following inference scheme: ‘probably φ’, ‘if φ, then ψ’, therefore, ‘probably ψ’. I argue that Chancy modus ponens is invalid in general. I further argue that the invalidity of Chancy modus ponens sheds new light on the alleged counterexample to modus ponens presented by McGee. I close by observing that, although Chancy modus ponens is invalid in general, we can recover a restricted sense in which this scheme of inference is (...) valid. (shrink)

There are narrowest bounds for P(h) when P(e) = y and P(h/e) = x, which bounds collapse to x as y goes to 1. A theorem for these bounds -- bounds for probable modus ponens -- entails a principle for updating on possibly uncertain evidence subject to these bounds that is a generalization of the principle for updating by conditioning on certain evidence. This way of updating on possibly uncertain evidence is appropriate when updating by ’probability kinematics’ or ’Jeffrey-conditioning’ (...) is, and apparently in countless other cases as well. A more complicated theorem due to Karl Wagner -- bounds for probable modus tollens -- registers narrowest bounds for P(not h) when P(not e) = y and P(e/h) = x. This theorem serves another principle for updating on possibly uncertain evidence that might be termed ’contraditioning’, though it is for a way of updating that seems in practice to be frequently not appropriate. It is definitely not a way of putting down a theory -- for example, a random-chanc. (shrink)

We present a meta-analytic review on the processing of negations in conditional reasoning about affirmation problems (Modus Ponens: “MP”, Affirmation of the Consequent “AC”) and denial problems (Denial of the Antecedent “DA”, and Modus Tollens “MT”). Findings correct previous generalisations about the phenomena. First, the effects of negation in the part of the conditional about which an inference is made, are not constrained to denial problems. These inferential-negation effects are also observed on AC. Second, there generally are reliable (...) effects of a negation in the clause referred to by the categorical premise, and these referred-negation effects are constrained to the logically fallacious AC and DA inferences. All findings are presented and discussed in relation to contemporary mental model (MM) and mental logic (ML) theories. It is argued that a double-negation elimination hypothesis provides a sufficient explanation of inferential-negation effects within both MM theory and ML theory, if the latter is extended by a validating search for counter examples. Both MM and ML theories adhere to a processing scheme that allows them to incorporate an account of referred-negation effects based on the thesis that counter-example frequency is modulated by the scope of a contrast class delineated by a false affirmative. We conclude that MM and ML theories provide adequate processing schemes to accommodate for the explanatory hypotheses, at least in principle. In practice, both approaches remain equivocal as regards the connectivity and interactivity with long-term memory knowledge invoked in generating, manipulating, and testing the mental representations of negative state of affairs. (shrink)

Despite growing appreciation in recent decades of the importance of shared intentional mental states as a foundation for everything from divergences in primate evolution, to the institution of communal norms, to trends in the development of modernity as a socio-political phenomenon, we lack an adequate understanding of the relationship between individual and shared intentionality. At the same time, it is widely appreciated that deontic reasoning concerning what ought, may, and ought not be done is, like reasoning about our intentions, (...) an exercise of practical rationality. Taking advantage of this fact, I use a plan-theoretic semantics for the deontic modalities as a basis for understanding individual and shared intentions. This results in a view that accords well with what we currently have reason to believe about the phylogenetic and ontogenetic development of norm psychology and shared intentionality in human beings, and where original intentionality can be understood in terms of the shared intentionality of a community. (shrink)

The precedent studies on the validity of Modus ponens and Modus tollens have been carried out with most regard to a major type of conditionals in which the conditional clause is a sufficient condition for the main clause. But we sometimes, in natural language arguments, find other types of conditionals in which the conditional clause is a necessary or necessary and sufficient condition for the main clause. In this paper I reappraise, on the basis of new definitions of (...) Modus ponens and Modus tollens, their validity/invalidity in natural language arguments in consideration of all types of conditionals. (shrink)

In the recent paper “Naive modus ponens”, Zardini presents some brief considerations against an approach to semantic paradoxes that rejects the transitivity of entailment. The problem with the approach is, according to Zardini, that the failure of a meta-inference closely resembling modus ponens clashes both with the logical idea of modus ponens as a valid inference and the semantic idea of the conditional as requiring that a true conditional cannot have true antecedent and false consequent. I respond (...) on behalf of the non-transitive approach. I argue that the meta-inference in question is independent from the logical idea of modus ponens, and that the semantic idea of the conditional as formulated by Zardini is inadequate for his purposes because it is spelled out in a vocabulary not suitable for evaluating the adequacy of the conditional in semantics for non-transitive entailment. I proceed to generalize the semantic idea of the conditional and show that the most popular semantics for non-transitive entailment satisfies the new formulation. (shrink)

There is a renewed debate about modus ponens. Strikingly, the recent counterexamples in Cantwell, Dreier and MacFarlane and Kolodny are generated by restricted readings of the ‘if’-clause. Moreover, it can be argued on general grounds that the restrictor view of conditionals developed in Kratzer and Lewis leads to counterexamples to modus ponens. This paper provides a careful analysis of modus ponens within the framework of the restrictor view. Despite appearances to the contrary, there is a robust sense (...) in which modus ponens is valid, owing to the fact that conditionals do not only allow for restricted readings but have bare interpretations, too. (shrink)

On Kratzer’s canonical account, modal expressions (like “might” and “must”) are represented semantically as quantifiers over possibilities. Such expressions are themselves neutral; they make a single contribution to determining the propositions expressed across a wide range of uses. What modulates the modality of the proposition expressed—as bouletic, epistemic, deontic, etc.—is context.2 This ain’t the canon for nothing. Its power lies in its ability to figure in a simple and highly unified explanation of a fairly wide range of (...) language use. Recently, though, the canon’s neat story has come under attack. The challenge cases involve the epistemic use of a modal sentence for which no single resolution of the contextual parameter appears capable of accommodating all our intuitions.3 According to these revisionaries, such cases show that the canonical story needs to be amended in some way that makes multiple bodies of information relevant to the assessment of such statements. Here I show that how the right canonical, flexibly contextualist account of modals can accommodate the full range of challenge cases. The key will be to extend Kratzer’s formal semantic account with an account of how context selects values for a modal’s.. (shrink)

In recent years, a number of new trends have seen light at the intersection of semantics and philosophy of language. They are meant to address puzzles raised by the context-sensitivity of a variety of natural language constructions, such as knowledge ascriptions, belief reports, epistemic modals, indicative conditionals, quantifier phrases, gradable adjectives, temporal constructions, vague predicates, moral predicates, predicates of personal taste. A diversity of labels have consequently emerged, such as 'contextualism', 'indexicalism', 'invariantism', 'literalism', 'minimalism', and 'relativism', variously qualified. The (...) goal of this essay is to pinpoint the issues that lie at the heart of the recent debates, clarify what is at stake, and provide a snapshot of the current theoretical landscape. (shrink)

The aim of this study is to justify the belief that there are biological normative mechanisms that fulfill non-trivial causal roles in the explanations (as formulated by researchers) of actions and behaviors present in specific systems. One example of such mechanisms is the predictive mechanisms described and explained by predictive processing (hereinafter PP), which (1) guide actions and (2) shape causal transitions between states that have specific content and fulfillment conditions (e.g. mental states). Therefore, I am guided by a (...) specific theoretical goal associated with the need to indicate those conditions that should be met by the non-trivial theory of normative mechanisms and the specific models proposed by PP supporters. In this work, I use classical philosophical methods, such as conceptual analysis and critical reflection. I also analyze selected studies in the field of cognitive science, cognitive psychology, neurology, information theory and biology in terms of the methodology, argumentation and language used, in accordance with their theoretical importance for the issues discussed in this study. In this sense, the research presented here is interdisciplinary. My research framework is informed by the mechanistic model of explanation, which defines the necessary and sufficient conditions for explaining a given phenomenon. The research methods I chose are therefore related to the problems that I intend to solve. In the introductory chapter, “The concept of predictive processing”, I discuss the nature of PP as well as its main assumptions and theses. I also highlight the key concepts and distinctions for this research framework. Many authors argue that PP is a contemporary version of Kantianism and is exposed to objections similar to those made against the approach of Immanuel Kant. I discuss this thesis and show that it is only in a very general sense that the PP framework is neo-Kantian. Here we are not dealing with transcendental deduction nor with the application of transcendental arguments. I argue that PP is based on reverse engineering and abduction inferences. In the second part of this chapter, I respond to the objection formulated by Dan Zahavi, who directly accuses this research framework of anti-realistic consequences. I demonstrate that the position of internalism, present in the so-called conservative PP, does not imply anti-realism, and that, due to the explanatory role played in it by structural representations directed at real patterns, it is justified to claim that PP is realistic. In this way, I show that PP is a non-trivial research framework, having its subject, specific methods and its own epistemic status. Finally, I discuss positions classified as the socalled radical PP. In the chapter “Predictive processing as a Bayesian explanatory model” I justify the thesis according to which PP offers Bayesian modeling. Many researchers claim that the brain is an implemented statistical probabilistic network that is an approximation of the Bayesian 7 rule. In practice, this means that all cognitive processes are to apply Bayes' rule and can be described in terms of probability distributions. Such a solution arouses objections among many researchers and is the subject of wide criticism. The purpose of this chapter is to justify the thesis that Bayesian PP is a non-trivial research framework. For this purpose, I argue that it explains certain phenomena not only at the computational level described by David Marr, but also at the level of algorithms and implementation. Later in this chapter I demonstrate that PP is normative modeling. Proponents of the use of Bayesian models in psychology or decision theory argue that they are normative because they allow the formulation of formal rules of action that show what needs to be done to make a given action optimal. Critics of this approach emphasize that such thinking about the normativity of Bayesian modeling is unjustified and that science should shift from prescriptive to descriptive positions. In a polemic with Shira Elqayam and Jonathan Evans (2011), I show that the division they propose into prescriptivism and Bayesian descriptivism is apparent, because, as I argue, there are two forms of prescriptivism, i.e. the weak and the strong. I argue that the weak version is epistemic and can lead to anti-realism, while the strong version is ontic and allows one to justify realism in relation to Bayesian models. I argue that a weak version of prescriptivism is valid for PP. It allows us to adopt anti-realism in relation to PP. In practice, this means that you can explain phenomena using Bayes' rule. This does not, however, imply that they are Bayesian in nature. However, the full justification of realism in relation to the Bayesian PP presupposes the adoption of strong prescriptivism. This position assumes that phenomena are explained by Bayesian rule because they are Bayesian as such. If they are Bayesian in nature, then they should be explained using Bayesian modeling. This thesis will be substantiated in the chapters “Normative functions and mechanisms in the context of predictive processing” and “Normative mechanisms and actions in predictive processing”. In the chapter “The Free Energy Principle in predictive processing”, I discuss the Free Energy Principle (hereinafter FEP) formulated by Karl Friston and some of its implications. According to this principle, all biological systems (defined in terms of Markov blankets) minimize the free energy of their internal states in order to maintain homeostasis. Some researchers believe that PP is a special case of applying this principle to cognition, and that predictive mechanisms are homeostatic mechanisms that minimize free energy. The discussion of FEP is important due to the fact that some authors consider it to be important for explanatory purposes and normative. If this is the case, then FEP turns out to be crucial in explaining normative predictive mechanisms and, in general, any normative biological mechanisms. To define the explanatory possibilities of this principle, I refer to the discussion of its supporters on the issue they define as the problem of continuity and discontinuity between life and mind. A critical analysis of this discussion and the additional arguments I have formulated have allowed me to revise the explanatory ambitions of FEP. I also reject the belief that this principle is necessary to explain the nature of predictive mechanisms. I argue that the principle formulated and defended by Friston is an important research heuristic for PP analysis. 8 In the chapter “Normative functions and mechanisms in predictive processing”, I start my analyzes by formulating an answer to the question about the normative nature of homeostatic mechanisms. I demonstrate that predictive mechanisms are not homeostatic. I defend the view that a full explanation of normative mechanisms presupposes an explanation of normative functions. I discuss the most important proposals for understanding the normativity of a function, both from a systemic and teleosemantic perspective. I conclude that the non-trivial concept of a function must meet two requirements which I define as explanatory and normative. I show that none of the theories I have invoked satisfactorily meets both of these requirements. Instead, I propose a model of normativity based on Bickhard's account, but supplemented by a mechanistic perspective. I argue that a function is normative when: (1) it allows one to explain the dysfunction of a given mechanism; (2) it contributes to the maintenance of the organism's stability by shaping and limiting possible relations, processes and behaviors of a given system; and when (3) (according to the representational and predictive functions) it enables explaining the attribution of logical values of certain representations / predictions. In such an approach, a mechanism is normative when it performs certain normative functions and when it is constitutive for a specific action or behavior, despite the fact that for some reason it cannot realize it either currently or in the long-term. Such an understanding of the normativity of mechanisms presupposes the acceptance of the epistemic hypothesis. I argue that this hypothesis is not cognitively satisfactory, and therefore the ontic hypothesis should be justified, which is directly related to adopting the position of ontic prescriptivism. For this reason, referring to the mechanistic theory of scientific explanations, I formulate an ontical interpretation of the concept of a normative mechanism. According to this approach, a mechanism or a function is normative when they perform such and such causal roles in explaining certain actions and behaviors. With regard to the normative properties of predictive mechanisms and functions, this means that they are the causes of specific actions an organism carries out in the environment. In this way, I justify the necessity of accepting the ontic hypothesis and rejecting the epistemic hypothesis. The fifth chapter, “Normative mechanisms and actions in predictive processing”, is devoted to the dark room problem and the related exploration-exploitation trade-off. A dark room is the state that an agent could be in if it minimized the sum of all potential prediction errors. I demonstrate that, in accordance with the basic assumption of PP about the need for continuous and long-term minimization of prediction errors, such a state should be desirable for the agent. Is it really so? Many authors believe it is not. I argue that the test of the value of PP is the possibility of a non-trivial solution of this problem, which can be reduced to the choice between active and uncertainty-increasing exploration and safe and easily predictable exploitation. I show that the solution proposed by PP supporters present in the literature does not enable a fully satisfactory explanation of this dilemma. Then I defend the position according to which the full explanation of the normative mechanisms, and, subsequently, the solution to the dilemma of exploration and exploitation, involves reference to the existence of constraints present in the environment. The constraints 9 include elements of the environment that make a given mechanism not only causal but also normative. They are therefore key to explaining the predictive mechanisms. They do not only play the role of the context in which the mechanism is implemented, but, above all, are its constitutive component. I argue that the full explanation of the role of constraints in normative predictive mechanisms presupposes the integration of individual models of specific cognitive phenomena, because only the mechanistic integration of PP with other models allows for a non-trivial explanation of the nature of normative predictive mechanisms that would have a strong explanatory value. The explanatory monism present in many approaches to PP makes it impossible to solve the problem of the dark room. Later in this chapter, I argue that the Bayesian PP is normative not because it enables the formulation of such and such rules of action, but because the predictive mechanisms themselves are normative. They are normative because they condition the choice of such and such actions by agents. In this way, I justify the hypothesis that normative mechanisms make it possible to explain the phenomenon of agent motivation, which is crucial for solving the dark room problem. In the last part of the chapter, I formulate the hypothesis of distributed normativity, which assumes that the normative nature of certain mechanisms, functions or objects is determined by the relations into which these mechanisms, functions or objects enter. This means that what is normative (in the primary sense) is the relational structure that constitutes the normativity of specific items included in it. I suggest that this hypothesis opens up many areas of research and makes it possible to rethink many problems. In the “Conclusion”, I summarize the results of my research and indicate further research perspectives. (shrink)

The author has constructed a concept of conditionals by synthetizing and developing unconnected insights scattered through the literature. The result is incorporated in a formal deductive system, based on a series of "paradox-free" systems initiated by Alonzo Church and interpreted according to principles suggested chiefly by Everett Nelson and by Anderson and Belnap. The basic concept is the sufficiency relation holding between clauses of a conditional, or rather between the relevant states of affairs asserted by the clauses. The logic of (...) sufficiency is developed by using a phenomenological method, much like that of the ordinary-language linguists, to place restrictions on truth-functional logic. For example, conjunction is replaced by adjunction [ = df. ~ ] and this concept is used to modify modus ponens and simplification. Relevance requirements avoid the paradoxes of material implication. These principles, together with a number of physical modalities and some modifications of the concept of induction, are used to attack Goodman's paradox and the paradoxes of confirmation, and to form a concept of cause. The formal system incorporates the principles judged desirable by the analysis of how conditionals are used in discourse. Mr. Barker is modest in his claims, emphasizing that his material is not original and saying only that some of the famous paradoxes "show signs of yielding." Interested students will be grateful for this monograph. It is a valuable compendium of widely scattered work of a difficult and complicated subject, and should be both helpful and stimulating. Moreover, it is particularly clear and readable.--L. G. (shrink)

Modus ponens (from A and “if A then C” infer C) is one of the most basic inference rules. The probabilistic modus ponens allows for managing uncertainty by transmitting assigned uncertainties from the premises to the conclusion (i.e., from P(A) and P(C|A) infer P(C)). In this paper, we generalize the probabilistic modus ponens by replacing A by the conditional event A|H. The resulting inference rule involves iterated conditionals (formalized by conditional random quantities) and propagates previsions from the (...) premises to the conclusion. Interestingly, the propagation rules for the lower and the upper bounds on the conclusion of the generalized probabilistic modus ponens coincide with the respective bounds on the conclusion for the (non-nested) probabilistic modus ponens. (shrink)

Is modus ponens valid for the indicative conditional? McGee [1985] famously presents several alleged counterexamples to this inference rule. More recently, Kolodny and MacFarlane [2010] and Willer [2010] argue that modus ponens is unreliable in certain hypothetical contexts. However, none of these attacks undermines an informational conception of logic on which modus ponens is valid.

This book investigates context-sensitivity in natural language by examining the meaning and use of a target class of theoretically recalcitrant expressions. These expressions-including epistemic vocabulary, normative and evaluative vocabulary, and vague language -exhibit systematic differences from paradigm context-sensitive expressions in their discourse dynamics and embedding properties. Many researchers have responded by rethinking the nature of linguistic meaning and communication. Drawing on general insights about the role of context in interpretation and collaborative action, Silk develops an improved contextualist theory of (...) CR-expressions within the classical truth-conditional paradigm: Discourse Contextualism. The aim of Discourse Contextualism is to derive the distinctive linguistic behavior of a CR-expression from a particular contextualist interpretation of an independently motivated formal semantics, along with general principles of interpretation and conversation. It is shown how in using CR-expressions, speakers can exploit their mutual grammatical and world knowledge, and general pragmatic reasoning skills, to coordinate their attitudes and negotiate about how the context should evolve. The book focuses primarily on developing a Discourse Contextualist semantics and pragmatics for epistemic modals. The Discourse Contextualist framework is also applied to other categories of epistemic vocabulary, normative and evaluative vocabulary, and vague adjectives. The similarities/differences among these expressions, and among context-sensitive expressions more generally, have been underexplored. The development of Discourse Contextualism in this book sheds light on general features of meaning and communication, and the variety of ways in which context affects and is affected by uses of language. Discourse Contextualism provides a fruitful framework for theorizing about various broader issues in philosophy, linguistics, and cognitive science. (shrink)

This article concerns the structure of defeasible arguments like: 'If Bob has red spots, Bob has the measles; Bob has red spots; therefore Bob has the measles.' The issue is whether such arguments have the form of modus ponens or not. Either way there is a problem. If they don't have the form of modus ponens, the common opinion to the contrary taught in leading logic textbooks is wrong. But if they do have the form of modus (...) ponens, doubts are raised about the conventional dogma that all arguments having the form of modus ponens are deductively valid. By carefully examining arguments on both sides of the issue, reasonable doubts are raised about the view that all arguments having a modus ponens form are valid. (shrink)

This paper defends a counterexample to Modus Tollens, and uses it to draw some conclusions about the logic and semantics of indicative conditionals and probability operators in natural language. Along the way we investigate some of the interactions of these expressions with 'knows', and we call into question the thesis that all knowledge ascriptions have truth-conditions.

This paper motivates and develops a novel semantic framework for deontic modals. The framework is designed to shed light on two things: the relationship between deontic modals and substantive theories of practical rationality and the interaction of deontic modals with conditionals, epistemic modals and probability operators. I argue that, in order to model inferential connections between deontic modals and probability operators, we need more structure than is provided by classical intensional theories. In particular, we need (...) probabilistic structure that interacts directly with the compositional semantics of deontic modals. However, I reject theories that provide this probabilistic structure by claiming that the semantics of deontic modals is linked to the Bayesian notion of expectation. I offer a probabilistic premise semantics that explains all the data that create trouble for the rival theories. (shrink)

Here we focus on two questions: What is the proper semantics for deontic modal expressions in English? And what is the connection between true deontic modal statements and normative reasons? Our contribution towards thinking about the first, which makes up the bulk of our paper, considers a representative sample of recent challenges to a Kratzer-style formal semantics for modal expressions, as well as the rival views—Fabrizio Cariani’s contrastivism, John MacFarlane’s relativism, and Mark Schroeder’s ambiguity theory—those challenges are (...) thought to motivate. These include the Professor Procrastinate challenge to Inheritance (the principle that ‘If ought p and p entails q, then ought q), as well as Parfit’s miners puzzle regarding information-sensitive deontic modals. Here we argue that a Kratzer-style view is able to meet all of the challenges we’ll consider. In addition, we’ll identify challenges for each of those rival views. Our overall conclusion is that a Kratzer-style semantics remains the one to beat. With this assumption in place, we then ask how we should understand the relationship between true deontic modal statements and normative reasons. Should, for example, we hold that the truth of such a statement entails the existence of a normative reason for some agent to comply? Here we argue that, in many cases, acceptance of Kratzer’s semantics for deontic modals leaves open for substantive normative theorizing the question of whether an agent has a normative reason to comply with what she ought to do. (shrink)

Causal conditional reasoning means reasoning from a conditional statement that refers to causal content. We argue that data from causal conditional reasoning tasks tell us something not only about how people interpret conditionals, but also about how they interpret causal relations. In particular, three basic principles of people's causal understanding emerge from previous studies: the modal principle, the exhaustive principle, and the equivalence principle. Restricted to the four classic conditional inferences—Modus Ponens, Modus Tollens, Denial of the Antecedent, and (...) Affirmation of the Consequent—causal conditional reasoning data are only partially able to support these principles. We present three experiments that use concrete and abstract causal scenarios and combine inference tasks with a new type of task in which people reformulate a given causal situation. The results provide evidence for the proposed representational principles. Implications for theories of the na ve understanding of causality are discussed. (shrink)

Recent challenges to Kratzer’s canonical contextualist semantics for modal expressions are united by a shared methodological practice: Each requires the assessment of the truth or warrant of a sentence in a scenario. The default evidential status accorded these judgments is a constraining one: It is assumed that, to be plausible, a semantic hypothesis must vindicate the reported judgments. Fully assessing the extent to which these cases do generate data that puts pressure on the canonical semantics, then, requires an understanding of (...) this methodological practice. Here I argue that not all assessments are fit to play this evidential role. To play it, we need reason to think that speakers’ assessments can be reasonably expected to be reliable. Minimally, having such grounds requires that assessments are given against the background of non-defectively characterized points of evaluation. Assessing MacFarlane’s central challenge case to contextualism about deontic modals in light of this constraint shows that his judgments do not have the needed evidential significance. In addition, new experimental data shows that once the needed scenario is characterized non-defectively, none of the resulting range of cases provides data that cannot be accommodated by a Kratzer-style contextualism. (shrink)

This paper develops a trivalent semantics for the truth conditions and the probability of the natural language indicative conditional. Our framework rests on trivalent truth conditions first proposed by Cooper (1968) and Belnap (1973) and it yields two logics of conditional reasoning: (i) a logic C of certainty-preserving inference; and (ii) a logic U for uncertain reasoning that preserves the probability of the premises. We show systematic correspondences between trivalent and probabilistic representations of inferences in either framework, and we use (...) the distinction between the two systems to cast light on the validity of inferences such as Modus Ponens, Or-To-If, and Conditional Excluded Middle. Specifically, the conditional behaves monotonically in C, but non-monotonically in U; Modus Ponens is valid in C, but valid in U only for non-nested conditionals. The result is a unified account of the semantics and epistemology of indicative conditionals that can be fruitfully applied to analyzing the validity of conditional inferences. (shrink)

An extraordinary amount of recent work by philosophers of language, meta-ethicists, and semanticists has focused on the meaning and function of language expressing concepts having to do with what is allowed, forbidden, required, or obligatory, in view of the requirements of morality, the law, one's preferences or goals, or what an authority has commanded: in short, deontic modality. This volume presents new work on the much-discussed topic of deontic modality by leading figures in the philosophy of language, meta-ethics, (...) and linguistic semantics. The papers tackle issues about the place of decision and probability theory in the semantics of deontic modality, the viability of standard possible worlds treatments of the truth conditions of deontic modal sentences, the possibility of dynamic semantic treatments of deontic modality, the methodology of semantics for deontic modals, and the prospects for representationalist, expressivist, and inferentialist treatments of deontic modality. (shrink)

The reasoning abilities of large language models (LLMs) are the topic of a growing body of research in artificial intelligence and cognitive science. In this paper, we probe the extent to which a dozen LLMs are able to distinguish logically correct inferences from logically fallacious ones. We focus on inference patterns involving conditionals (e.g., 'If Ann has a queen, then Bob has a jack') and epistemic modals (e.g., 'Ann might have an ace', 'Bob must have a king'). These inference patterns (...) have been of special interest to logicians, philosophers, and linguists, since they plausibly play a central role in human reasoning. Assessing LLMs on these inference patterns is thus highly relevant to the question of how much the reasoning abilities of LLMs match those of humans. Among the LLMs we tested, all but GPT-4 often make basic mistakes with conditionals. Moreover, even GPT-4 displays logically inconsistent judgments across inference patterns involving epistemic modals. (shrink)

McGee argues that it is sometimes reasonable to accept both x and x-> without accepting y->z, and that modus ponens is therefore invalid for natural language indicative conditionals. Here, we examine McGee's counterexamples from a Bayesian perspective. We argue that the counterexamples are genuine insofar as the joint acceptance of x and x-> at time t does not generally imply constraints on the acceptability of y->z at t, but we use the distance-based approach to Bayesian learning to show that (...) applications of modus ponens are nevertheless guaranteed to be successful in an important sense. Roughly, if an agent becomes convinced of the premises of a modus ponens argument, then she should likewise become convinced of the argument's conclusion. Thus we take McGee's counterexamples to disentangle and reveal two distinct ways in which arguments can convince. Any general theory of argumentation must take stock of both. (shrink)