The present chapter describes a probabilistic framework of human reasoning. It is based on probability logic. While there are several approaches to probability logic, we adopt the coherence based approach.

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. (shrink)

We propose probability logic as an appropriate standard of reference for evaluating human inferences. Probability logical accounts of nonmonotonic reasoning with system p, and conditional syllogisms (modus ponens, etc.) are explored. Furthermore, we present categorical syllogisms with intermediate quantifiers, like the “most . . . ” quantifier. While most of the paper is theoretical and intended to stimulate psychological studies, we summarize our empirical studies on human nonmonotonic reasoning.

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. (shrink)

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. (shrink)

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. (shrink)

Logical argument forms are investigated by second order probability density functions. When the premises are expressed by beta distributions, the conclusions usually are mixtures of beta distributions. If the shape parameters of the distributions are assumed to be additive (natural sampling), then the lower and upper bounds of the mixing distributions (P´olya-Eggenberger distributions) are parallel to the corresponding lower and upper probabilities in conditional probability logic.

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. (shrink)

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. (shrink)