Niki Pfeifer

This position paper advocates combining formal epistemology and the new paradigm psychology of reasoning in the studies of conditionals and reasoning with uncertainty. The new paradigm psychology of reasoning is characterized by the use of probability theory as a rationality framework instead of classical logic, used by more traditional approaches to the psychology of reasoning. This paper presents a new interdisciplinary research program which involves both formal and experimental work. To illustrate the program, the paper discusses recent work on the paradoxes of the material conditional, nonmonotonic reasoning, and Adams’ Thesis. It also identifies the issue of updating on conditionals as an area which seems to call for a combined formal and empirical approach.

There is a long tradition in formal epistemology and in the psychology of reasoning to investigate indicative conditionals. In psychology, the propositional calculus was taken for granted to be the normative standard of reference. Experimental tasks, evaluation of the participants’ responses and psychological model building, were inspired by the semantics of the material conditional. Recent empirical work on indicative conditionals focuses on uncertainty. Consequently, the normative standard of reference has changed. I argue why neither logic nor standard probability theory provide appropriate rationality norms for uncertain conditionals. I advocate coherence based probability logic as an appropriate framework for investigating uncertain conditionals. Detailed proofs of the probabilistic non-informativeness of a paradox of the material conditional illustrate the approach from a formal point of view. I survey selected data on human reasoning about uncertain conditionals which additionally support the plausibility of the approach from an empirical point of view

ABSTRACTTo build a process model of the understanding of conditionals we extract a common core of three semantics of if-then sentences: the conditional event interpretation in the coherencebased probability logic, the discourse processingtheory of Hans Kamp, and the game-theoretical approach of Jaakko Hintikka. The empirical part reports three experiments in which each participant assessed the probability of 52 if-then sentencesin a truth table task. Each experiment included a second task: An n-back task relating the interpretation of conditionals to working memory, a Bayesian bookbag and poker chip task relating the interpretation of conditionals to probability updating, and a probabilistic modus ponens task relating the interpretation of conditionals to a classical inference task. Data analysis shows that the way in which the conditionals are interpreted correlates with each of the supplementary tasks. The results are discussed within the process model proposed in the introduction.

We present a unified approach for investigating rational reasoning about basic argument forms involving indicative conditionals, counterfactuals, and basic quantified statements within coherence-based probability logic. After introducing the rationality framework, we present an interactive view on the relation between normative and empirical work. Then, we report a new experiment which shows that people interpret indicative conditionals and counterfactuals by coherent conditional probability assertions and negate conditionals by negating their consequents. The data support the conditional probability interpretation of conditionals and the narrow-scope reading of the negation of conditionals. Finally, we argue that coherent conditional probabilities are important for probabilistic analyses of conditionals, nonmonotonic reasoning, quantified statements, and paradoxes.

Common sense arguments are practically always about incomplete and uncertain information. We distinguish two aspects or kinds of uncertainty. The one is defined as a persons’ uncertainty about the truth of a sentence. The other uncertainty is defined as a persons’ uncertainty of his assessment of the truth of a sentence. In everyday life argumentation we are often faced with both kinds of uncertainty which should be distinguished to avoid misunderstandings among discussants. The paper presents a probabilistic account of both kinds of uncertainty in the framework of coherence. Furthermore, intuitions about the evaluation of the strength of arguments are explored. Both reasoning about uncertainty and the development of a theory of argument strength are central for a realistic theory of rational argumentation

The modus ponens (A -> B, A :. B) is, along with modus tollens and the two logically not valid counterparts denying the antecedent (A -> B, ¬A :. ¬B) and affirming the consequent, the argument form that was most often investigated in the psychology of human reasoning. The present contribution reports the results of three experiments on the probabilistic versions of modus ponens and denying the antecedent. In probability logic these arguments lead to conclusions with imprecise probabilities. In the modus ponens tasks the participants inferred probabilities that agreed much better with the coherent normative values than in the denying the antecedent tasks, a result that mirrors results found with the classical argument versions. For modus ponens a surprisingly high number of lower and upper probabilities agreed perfectly with the conjugacy property (upper probabilities equal one complements of the lower probabilities). When the probabilities of the premises are imprecise the participants do not ignore irrelevant (“silent”) boundary probabilities. The results show that human mental probability logic is close to predictions derived from probability logic for the most elementary argument form, but has considerable difficulties with the more complex forms involving negations.

Nonmonotonic reasoning is often claimed to mimic human common sense reasoning. Only a few studies, though, have investigated this claim empirically. We report four experiments which investigate three rules of SYSTEMP, namely the AND, the LEFT LOGICAL EQUIVALENCE, and the OR rule. The actual inferences of the subjects are compared with the coherent normative upper and lower probability bounds derived from a non-infinitesimal probability semantics of SYSTEM P. We found a relatively good agreement of human reasoning and principles of nonmonotonic reasoning. Contrary to the results reported in the ‘heuristics and biases’ tradition, the subjects committed relatively few upper bound violations (conjunction fallacies).

Nonmonotonic logics allow—contrary to classical (monotone) logics— for withdrawing conclusions in the light of new evidence. Nonmonotonic reasoning is often claimed to mimic human common sense reasoning. Only a few studies, though, have investigated this claim empirically. system p is a central, broadly accepted nonmonotonic reasoning system that proposes basic rationality postulates. We previously investigated empirically a probabilistic interpretation of three selected rules of system p. We found a relatively good agreement of human reasoning and principles of nonmonotonic reasoning according to the coherence interpretation of system p. This study reports an experiment on the cautious monotonicity Rule and its “incautious” counterpart that is not contained in system p, namely the monotonicity Rule. In accordance with our previous results, the data suggest that people reason nonmonotonically: the subjects in the cautious monotonicity condition infer significantly tighter intervals close to the coherence interpretation of system p compared with the subjects in the incautious monotonicity condition where rather wide (and hence non-informative) intervals are inferred.

Nonmonotonic reasoning is often claimed to mimic human common sense reasoning. Only a few studies, though, investigated this claim empirically. In the present paper four psychological experiments are reported, that investigate three rules of system p, namely the and, the left logical equivalence, and the or rule. The actual inferences of the subjects are compared with the coherent normative upper and lower probability bounds derived from a non-infinitesimal probability semantics of system p. We found a relatively good agreement of human reasoning and principles of nonmonotonic reasoning according to the coherence interpretation of system p. Contrary to the results reported in the “heuristics and biases” tradition, the subjects committed relatively few upper bound violations (conjunction fallacies). More lower than upper bound violations were observed. When the premises were presented in terms of intervals higher mean lower bounds were observed as when the premises were presented in terms of point percentages.

Conditionals are central to inference. Before people can draw inferences about a natural language conditional, they must interpret its meaning. We investigated interpretation of uncertain conditionals using a probabilistic truth table task, focussing on (i) conditional event, (ii) material conditional, and (iii) conjunction interpretations. The order of object (shape) and feature (color) in each conditional's antecedent and consequent was varied between participants. The conditional event was the dominant interpretation, followed by conjunction, and took longer to process than conjunction (mean dierence 500 ms). Material conditional responses were rare. The proportion of conditional event responses increased from around 40% at the beginning of the task to nearly 80% at the end, with 55% of participants showing a qualitative shift of interpretation. Shifts to the conditional event occurred later in the feature-object order than in the object-feature order. We discuss the results in terms of insight and suggest implications for theories of interpretation.

A system of intermediate quantifiers (“Most S are P”, “m/n S are P”) is proposed for evaluating the rationality of human syllogistic reasoning. Some relations between intermediate quantifiers and probabilistic interpretations are discussed. The paper concludes by the generalization of the atmosphere, matching and conversion hypothesis to syllogisms with intermediate quantifiers. Since our experiments are currently still running, most of the paper is theoretical and intended to stimulate psychological studies.

Nonmonotonic conditionals (A |∼ B) are formalizations of common sense expressions of the form “if A, normally B”. The nonmonotonic conditional is interpreted by a “high” coherent conditional probability, P(B|A) > .5. Two important properties are closely related to the nonmonotonic conditional: First, A |∼ B allows for exceptions. Second, the rules of the nonmonotonic system p guiding A |∼ B allow for withdrawing conclusions in the light of new premises. This study reports a series of three experiments on reasoning with inference rules about nonmonotonic conditionals in the framework of coherence. We investigated the cut, and the right weakening rule of system p. As a critical condition, we investigated basic monotonic properties of classical (monotone) logic, namely monotonicity, transitivity, and contraposition. The results suggest that people reason nonmonotonically rather than monotonically. We propose nonmonotonic reasoning as a competence model of human reasoning

Traditionally, syllogisms are arguments with two premises and one conclusion which are constructed by propositions of the form “All… are…” and “At least one… is…” and their respective negated versions. Unfortunately, the practical use of traditional syllogisms is quite restricted. On the one hand, the “All…” propositions are too strict, since a single counterexample suffices for falsification. On the other hand, the “At least one …” propositions are too weak, since a single example suffices for verification. The present contribution studies algebraic interpretations of syllogisms with comparative quantifiers (e.g., “Most… are…”) and quantitative quantifiers (e.g., “n/m… are…”, “all, except n… are…”). This modern version of syllogistics is intended to be a more adequate framework for argumentation theory than traditional syllogistics.

Nonmonotonic conditionals (A |∼ B) are formalizations of common sense expressions of the form “if A, normally B”. The nonmonotonic conditional is interpreted by a “high” coherent conditional probability, P(B|A) > .5. Two important properties are closely related to the nonmonotonic conditional: First, A |∼ B allows for exceptions. Second, the rules of the nonmonotonic system p guiding A |∼ B allow for withdrawing conclusions in the light of new premises. This study reports a series of three experiments on reasoning with inference rules about nonmonotonic conditionals in the framework of coherence. We investigated the cut, and the right weakening rule of system p. As a critical condition, we investigated basic monotonic properties of classical (monotone) logic, namely monotonicity, transitivity, and contraposition. The results suggest that people reason nonmonotonically rather than monotonically. We propose nonmonotonic reasoning as a competence model of human reasoning.

This chapter presents a probability logical approach to fallacies. A special interpretation of (subjective) probability is used, which is based on coherence. Coherence provides not only a foundation of probability theory, but also a normative standard of reference for distinguishing fallacious from non-fallacious arguments. The violation of coherence is sufficient for an argument to be fallacious. The inherent uncertainty of everyday life argumentation is captured by attaching degrees of belief to the premises. Probability logic analyzes the structure of the argument and deduces the uncertainty of the conclusion from the premises. The approach is illustrated by prominent examples of fallacies, like the argumentum ad ignorantiam, affirming the consequent and the conjunction fallacy

According to probabilistic theories of reasoning in psychology, people's degree of belief in an indicative conditional `if A, then B' is given by the conditional probability, P(B|A). The role of language pragmatics is relatively unexplored in the new probabilistic paradigm. We investigated how consequent relevance aects participants' degrees of belief in conditionals about a randomly chosen card. The set of events referred to by the consequent was either a strict superset or a strict subset of the set of events referred to by the antecedent. We manipulated whether the superset was expressed using a disjunction or a hypernym. We also manipulated the source of the dependency, whether in long-term memory or in the stimulus. For subset-consequent conditionals, patterns of responses were mostly conditional probability followed by conjunction. For superset-consequent conditionals, conditional probability responses were most common for hypernym dependencies and least common for disjunction dependencies, which were replaced with responses indicating inferred consequent irrelevance. Conditional probability responses were also more common for knowledge-based than stimulus-based dependencies. We suggest

In this work we survey reports on selected severe storms of the 17th century. Specifically, we investigate a severe storm which was accompanied by a ball lightning phenomenon in Cornwall (UK) in 1640. The “fiery Ball”, which reportedly made a “ter[r]ible sound”, entered the church, broke stones and smashed windows. It made holes in stone walls and injured about 14 people. Furthermore, we report on a 1672 storm in Bedford (UK) that tore down houses, blew down stone walls and uprooted trees. We also examine two severe thunderstorms that tore off roofs and uprooted trees in Oxfordshire (UK) and Blois (F) in 1680. In Oxfordshire, hailstone killed farm animals, and later lightning caused a fire, which damaged houses and burned down barns. In Blois, houses were torn down by the wind, eight parishes were ruined by hail (hailstone were the size of a “man’s fist”). Furthermore, houses were damaged and glass windows were shattered. Based on various primary sources, we discuss the impact of these severe storms on society. Moreover, we briefly discuss how people perceived atmospheric phenomena like storms, tornadoes, and hail. Finally, we discuss selected key issues of investigating historical severe storms.

An important field of probability logic is the investigation of inference rules that propagate point probabilities or, more generally, interval probabilities from premises to conclusions. Conditional probability logic (CPL) interprets the common sense expressions of the form “if . . . , then . . . ” by conditional probabilities and not by the probability of the material implication. An inference rule is probabilistically informative if the coherent probability interval of its conclusion is not necessarily equal to the unit interval [0, 1]. Not all logically valid inference rules are probabilistically informative and vice versa. The relationship between logically valid and probabilistically informative inference rules is discussed and illustrated by examples such as the modus ponens or the affirming the consequent. We propose a method to evaluate the strength of CPL inference

Conditionals are basic for human reasoning. In our paper, we present two experiments, which for the first time systematically compare how people reason about indicative conditionals (Experiment 1) and counterfactual conditionals (Experiment 2) in causal and non-causal task settings (N = 80). The main result of both experiments is that conditional probability is the dominant response pattern and thus a key ingredient for modeling causal, indicative, and counterfactual conditionals. In the paper, we will give an overview of the main experimental results and discuss their relevance for understanding how people reason about conditionals

Probabilistic models have started to replace classical logic as the standard reference paradigm in human deductive reasoning. Mental probability logic emphasizes general principles where human reasoning deviates from classical logic, but agrees with a probabilistic approach (like nonmonotonicity or the conditional event interpretation of conditionals). This contribution consists of two parts. In the first part we discuss general features of reasoning systems including consequence relations, how uncertainty may enter argument forms, probability intervals, and probabilistic informativeness. These concepts are of central importance for the psychological task analysis. In the second part we report new experimental data on the paradoxes of the material conditional, the probabilistic modus ponens, the complement task, and data on the probabilistic truth table task. The results of the experiments provide evidence for the hypothesis that people represent indicative conditionals by conditional probability assertions.