Two notions from philosophical logic and linguistics are brought together and applied to the psychological study of defeasible conditional reasoning. The distinction between disabling conditions and alternative causes is shown to be a special case of Pollock's (1987) distinction between ‘rebutting' and ‘undercutting' defeaters. ‘Inferential' conditionals are shown to come in two types, one that is sensitive to rebutters, the other to undercutters. It is thus predicted and demonstrated in two experiments that the type of inferential conditional used as the (...) major premise of conditional arguments can reverse the heretofore classic, distinctive effects of defeaters. (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.

This book offers a unique synthesis of past and current work on the structure, meaning, and use of negation and negative expressions, a topic that has engaged thinkers from Aristotle and the Buddha to Freud and Chomsky. Horn's masterful study melds a review of scholarship in philosophy, psychology, and linguistics with original research, providing a full picture of negation in natural language and thought; this new edition adds a comprehensive preface and bibliography, surveying research since the book's original publication.

This book is meant to be a primer, that is, an introduction, to probability logic, a subject that appears to be in its infancy. Probability logic is a subject envisioned by Hans Reichenbach and largely created by Adams. It treats conditionals as bearers of conditional probabilities and discusses an appropriate sense of validity for arguments such conditionals, as well as ordinary statements as premisses. This is a clear well-written text on the subject of probability logic, suitable for advanced undergraduates or (...) graduates, but also of interest to professional philosophers. There are well-thought-out exercises, and a number of advanced topics treated in appendices, while some are brought up in exercises and some are alluded to only in footnotes. By this means, it is hoped that the reader will at least be made aware of most of the important ramifications of the subject and its tie-ins with current research, and will have some indications concerning recent and relevant literature. (shrink)

This article rebuts Ramsey's earlier theory, in 'Universals of Law and of Fact', of how laws of nature differ from other true generalisations. It argues that our laws are rules we use in judging 'if I meet an F I shall regard it as a G'. This temporal asymmetry is derived from that of cause and effect and used to distinguish what's past as what we can know about without knowing our present intentions.

An experiment was conducted to investigate the relative contributions of syntactic form and content to conditional reasoning. The content domain chosen was that of causation. Conditional statements that described causal relationships (if (cause>, then (effect>) were embedded in simple arguments whose entailments are governed by the rules -oftruth-functional logic (i.e., modus ponens, modus tollens, denying the antecedent, and affirming the consequent). The causal statements differed in terms ofthe number of alternative causes and disabling conditions that characterized the causal relationship. (A (...) disabling condition is an event that prevents an effect from occurring even though a relevant cause is present.) Subjects were required to judge whether or not each argument’s conclusion could be accepted. Judgments were found to vary systematically with the number of alternative causes and disabling conditions. Conclusions of arguments based on conditionals with few alternative causes or disabling conditionswerefoun~d:tobe-rnore accept~ able than cdnclusions based on those with many. (shrink)

This revised edition includes a new Preface outlining developments in Relevance Theory since 1986, discussing the more serious criticisms of the theory, and ...

The book can also be used as an excellent text for graduate-level courses in AI, operations research, or applied probability.

Previous studies have shown that 1 participants are reluctant to accept a conclusion as certainly true when it is derived from a valid conditional argument that includes a doubtful premise, and 2 participants typically link the degree of uncertainty found in a given premise set to its conclusion. Two experiments were designed to further investigate these phenomena. Ninety adult participants in Experiment 1 were first asked to judge the validity of three conditional arguments Modus Ponens, Denial of the Antecedent, and (...) Affirmation of the Consequent . They were then required to evaluate conclusion uncertainty as a function of two degrees of asserted uncertainty in the major conditional premise If p then it is very probable that q and if p then it is not very probable that q of the arguments from the first task that were otherwise unchanged. Results revealed an effect for asserted-uncertainty in two of the three argument forms. Marginal support was found for the hypothesis that perceived argument validity would be a predictor of performance. Experiment 2 investigated the way 40 adult participants combined two sources of asserted uncertainty, one in the major premise and another in the minor premise, when they had to score the uncertainty of the conclusion. The two most prominent kinds of responses were to choose the same likelihood as the weaker of the two expressed in the premises, or a lower one. However, the within-subject consistency was poor. Theoretical implications are discussed. (shrink)

THE INDICATIVE CONDITIONAL. A PROBABILISTIC CRITERION OF SOUNDNESS FOR DEDUCTIVE INFERENCES Our objective in this section is to establish a prima facie case ...

When we speak, we mean more than we say. In this book Stephen C. Levinson explains some general processes that underlie presumptions in communication.

In informal terms, abductive reasoning involves inferring the best or most plausible explanation from a given set of facts or data. It is a common occurrence in everyday life and crops up in such diverse places as medical diagnosis, scientific theory formation, accident investigation, language understanding, and jury deliberation. In recent years, it has become a popular and fruitful topic in artificial intelligence research. This volume breaks new ground in the scientific, philosophical, and technological study of abduction. It presents new (...) ideas about inferential and information-processing foundations for knowledge and certainty. The authors argue that knowledge arises from experience by processes of abductive inference, in contrast to the view that it arises non-inferentially, or that deduction and inductive generalization are enough to account for knowledge. Much AI research is hypothetical, so the importance of this book is that it reports key discoveries about abduction that have been made as a result of designing, building, testing, and analyzing actual working knowledge-based systems for medical diagnosis and other abductive tasks. The book tells the story of six generations of increasingly sophisticated generic abduction machines, RED-1, RED-2, PEIRCE, MDX2, TIPS, QUAWDS, and the discovery of reasoning strategies that make it computationally feasible to form well-justified composite explanatory hypotheses, despite the threat of combinatorial explosion. The final chapter argues that perception is logically abductive and presents a layered-abduction computational model of perceptual information processing. This book will be of great interest to researchers in AI, cognitive science, and philosophy of science. (shrink)

This book offers a new approach to the analysis of the multiple meanings of English modals, conjunctions, conditionals, and perception verbs. Although such ambiguities cannot easily be accounted for by feature-analyses of word meaning, Eve Sweetser's argument shows that they can be analyzed both readily and systematically. Meaning relationships in general cannot be understood independently of human cognitive structure, including the metaphorical and cultural aspects of that structure. Sweetser shows that both lexical polysemy and pragmatic ambiguity are shaped by our (...) metaphorical folk understanding of epistemic processes and of speech interaction. Similar regularities can be shown to structure the contrast among root, epistemic and speech act uses of modal verbs, multiple uses of conjunctions and conditionals, and certain processes of historical change observed in Indo-European languages. Since polysemy is typically the intermediate step in semantic change, the same regularities observable in polysemy can be extended to an analysis of semantic change. (shrink)

The explanation of the suppression of Modus Ponens inferences within the framework of linguistic pragmatics and of plausible reasoning (i.e., deduction from uncertain premises) is defended. First, this approach is expounded, and then it is shown that the results of the first experiment of Byrne, Espino, and Santamar a (1999) support the uncertainty explanation but fail to support their counterexample explanation. Second, two experiments are presented. In the first one, aimed to refute one objection regarding the conclusions observed, the additional (...) conditional premise ( if N, C ) was replaced with a statement of uncertainty ( it is not certain that N ); the answers produced by the participants remained qualitatively and quantitatively similar in both conditions. In the second experiment, a fine-grained analysis of the responses to and justifications for an evaluation task was performed. The results of both experiments strongly supported the uncertainty explanation. (shrink)

We propose that the pragmatic factors that mediate everyday deduction, such as alternative and disabling conditions (e.g. Cummins et al., 1991) and additional requirements (Byrne, 1989) exert their effects on specific inferences because of their perceived relevance to more general principles, which we term SuperPs. Support for this proposal was found first in two causal inference experiments, in which it was shown that specific inferences were mediated by factors that are relevant to a more general principle, while the same inferences (...) were unaffected by factors not relevant to the general principle. These results were extended to deontic inferences in two further experiments. Taken together, these findings show that unstated superordinate principles play a significant role in certain types of reasoning. Questions raised by the findings for the main theoretical approaches are discussed. (shrink)

There was a long tradition in philosophy according to which good reasoning had to be deductively valid. However, that tradition began to be questioned in the 1960’s, and is now thoroughly discredited. What caused its downfall was the recognition that many familiar kinds of reasoning are not deductively valid, but clearly confer justification on their conclusions. Here are some simple examples.

Rational analysis (Anderson 1990, 1991a) is an empiricalprogram of attempting to explain why the cognitive system isadaptive, with respect to its goals and the structure of itsenvironment. We argue that rational analysis has two importantimplications for philosophical debate concerning rationality. First,rational analysis provides a model for the relationship betweenformal principles of rationality (such as probability or decisiontheory) and everyday rationality, in the sense of successfulthought and action in daily life. Second, applying the program ofrational analysis to research on human reasoning (...) leads to a radicalreinterpretation of empirical results which are typically viewed asdemonstrating human irrationality. (shrink)

The authors outline a theory of conditionals of the form If A then C and If A then possibly C. The 2 sorts of conditional have separate core meanings that refer to sets of possibilities. Knowledge, pragmatics, and semantics can modulate these meanings. Modulation can add information about temporal and other relations between antecedent and consequent. It can also prevent the construction of possibilities to yield 10 distinct sets of possibilities to which conditionals can refer. The mental representation of a (...) conditional normally makes explicit only the possibilities in which its antecedent is true, yielding other possibilities implicitly. Reasoners tend to focus on the explicit possibilities. The theory predicts the major phenomena of understanding and reasoning with conditionals. (shrink)

First published in 2000. Routledge is an imprint of Taylor & Francis, an informa company.

Two notions from philosophical logic and linguistics are brought together and applied to the psychological study of defeasible conditional reasoning. The distinction between disabling conditions and alternative causes is shown to be a special case of Pollock’s (1987) distinction between ‘rebutting’ and ‘undercutting’ defeaters. ‘Inferential’ conditionals are shown to come in two varieties, one that is sensitive to rebutters, the other to undercutters. It is thus predicted and demonstrated in two experiments that the type of inferential conditional used as the (...) major premise of conditional arguments can reverse the heretofore classic, distinctive effects of defeaters. (shrink)

We investigate how the perceived uncertainty of a conditional affects a person's choice of conclusion. We use a novel procedure to introduce uncertainty by manipulating the conditional probability of the consequent given the antecedent. In Experiment 1, we show first that subjects reduce their choice of valid conclusions when a conditional is followed by an additional premise that makes the major premise uncertain. In this we replicate Byrne. These subjects choose, instead, a qualified conclusion expressing uncertainty. If subjects are given (...) a third statement that qualifies the likelihood of the additional premise, then the uncertainty of the conclusions they choose is systematically related to the suggested uncertainty. Experiment 2 confirms these observations in problems that omit the additional premise and qualify the first premise directly. Experiment 3 shows that the qualifying statement also affects the perceived probability of the consequent given the antecedent of the conditional. Experiment 4 investigates the effect of suggested uncertainty on the fallacies and shows that increases in uncertainty reduce the number of certain conclusions that are chosen while affirming the consequent but have no effect on denying the antecedent. We discuss our results in terms of rule theories and mental models and conclude that the latter give the most natural account of our results. (shrink)

An experiment was conducted to investigate the relative contributions of syntactic form and content to conditional reasoning. The content domain chosen was that of causation. Conditional statements that described causal relationships were embedded in simple arguments whose entailments are governed by the rules -of truth-functional logic. The causal statements differed in terms of the number of alternative causes and disabling conditions that characterized the causal relationship. Subjects were required to judge whether or not each argument’s conclusion could be accepted. Judgments (...) were found to vary systematically with the number of alternative causes and disabling conditions. Conclusions of arguments based on conditionals with few alternative causes or disabling conditions were found to be more accept-able than conclusions based on those with many. (shrink)

A well-established phenomenon in reasoning research is matching bias : a tendency to select information that matches the lexical content of propositional statements, regardless of the logically critical presence of negations. Previous research suggested, however, that the effect might be restricted to reasoning with conditional statements. This paper reports two experiments in which participants were required to construct or identify true and false cases of propositional rules of several kinds, including universal statements, disjunctions, and negated conjunctions. Matching bias was observed (...) across all rule types but largely restricted to problems where participants were required to falsify rather than to verify the rules. A third experiment showed a similar generalization across linguistic forms in the Wason selection task with only if conditionals substituted for universals. The results are discussed with reference to contemporary theories of propositional reasoning. (shrink)

This book examines three areas in which abductive reasoning is especially important: medicine, science, and law. The reader is introduced to abduction and shown how it has evolved historically into the framework of conventional wisdom in logic. Discussions draw upon recent techniques used in artificial intelligence, particularly in the areas of multi-agent systems and plan recognition, to develop a dialogue model of explanation. Cases of causal explanations in law are analyzed using abductive reasoning, and all the components are finally brought (...) together to build a new account of abductive reasoning. By clarifying the notion of abduction as a common and significant type of reasoning in everyday argumentation, _Abductive Reasoning_ will be useful to scholars and students in many fields, including argumentation, computing and artificial intelligence, psychology and cognitive science, law, philosophy, linguistics, and speech communication and rhetoric. (shrink)

This book is meant to be a primer, that is, an introduction, to probability logic, a subject that appears to be in its infancy. Probability logic is a subject envisioned by Hans Reichenbach and largely created by Adams. It treats conditionals as bearers of conditional probabilities and discusses an appropriate sense of validity for arguments such conditionals, as well as ordinary statements as premisses. This is a clear well-written text on the subject of probability logic, suitable for advanced undergraduates or (...) graduates, but also of interest to professional philosophers. There are well-thought-out exercises, and a number of advanced topics treated in appendices, while some are brought up in exercises and some are alluded to only in footnotes. By this means, it is hoped that the reader will at least be made aware of most of the important ramifications of the subject and its tie-ins with current research, and will have some indications concerning recent and relevant literature. (shrink)

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

In this study on deduction, the authors argue that people reason by imagining the relevant state of affairs, ie building an internal model of it, formulating a tentative conclusion based on this model and then searching for alternative models.

Lance Rips describes a unified theory of natural deductive reasoning and fashions a working model of deduction, with strong experimental support, that is capable of playing a central role in mental life.

Interpretation is the process whereby a hearer reasons to an interpretation of a speaker's discourse. The hearer normally adopts a credulous attitude to the discourse, at least for the purposes of interpreting it. That is to say the hearer tries to accommodate the truth of all the speaker's utterances in deriving an intended model. We present a nonmonotonic logical model of this process which defines unique minimal preferred models and efficiently simulates a kind of closed-world reasoning of particular interest for (...) human cognition. Byrne's “suppression” data (Byrne, 1989) are used to illustrate how variants on this logic can capture and motivate subtly different interpretative stances which different subjects adopt, thus indicating where more fine-grained empirical data are required to understand what subjects are doing in this task. We then show that this logical competence model can be implemented in spreading activation network models. A one pass process interprets the textual input by constructing a network which then computes minimal preferred models for (3-valued) valuations of the set of propositions of the text. The neural implementation distinguishes easy forward reasoning from more complex backward reasoning in a way that may be useful in explaining directionality in human reasoning. (shrink)