Provides comprehensive coverage of logical structure as well as the techniques of formal reasoning.

First published in 1952, professor’s Strawson’s highly influential _Introduction_ _to Logical Theory_ provides a detailed examination of the relationship between the behaviour of words in common language and the behaviour of symbols in a logical system. He seeks to explain both the exact nature of the discipline known as Formal Logic, and also to reveal something of the intricate logical structure of ordinary unformalised discourse.

This book traces the development of formal logic from its origins inancient Greece to the present day. The authors first discuss the work oflogicians from Aristotle to Frege, showing how they were influenced by thephilosophical or mathematical ideas of their time. They then examinedevelopments in the present century.

Are humans rational? Various experiments performed over the last several decades have been interpreted as showing that humans are irrational we make significant and consistent errors in logical reasoning, probabilistic reasoning, similarity judgements, and risk-assessment, to name a few areas. But can these experiments establish human irrationality, or is it a conceptual truth that humans must be rational, as various philosophers have argued? In this book, Edward Stein offers a clear critical account of this debate about rationality in philosophy and (...) cognitive science. He discusses concepts of rationality - the pictures of rationality that the debate centres on - and assesses the empirical evidence used to argue that humans are irrational. He concludes that the question of human rationality must be answered not conceptually but empirically, using the full resources of an advanced cognitive science. Furthermore, he extends this conclusion to argue that empirical considerations are also relevant to the theory of knowedge - in other words, that epistemology should be naturalized. from the reviews: 'Stein has done a great service in bringing together all of the important arguments in the human rationality debate and providing a measured critical assessment of them.... This will be an important book and is essential reading for epistemologists, philosophers of mind, and cognitive and evolutionary psychologists.' Choice 'very considerable value... for professionals' Times Higher Education Supplement. (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)

The standard account of denying the antecedent (DA) is that it is a deductively invalid form of argument, and that, in a conditional argument, to argue from the falsity of the antecedent to the falsity of the consequent is always fallacious. In this paper, we argue that DA is not always a fallacious argumentative strategy. Instead, there is a legitimate usage of DA according to which it is a defeasible argument against the acceptability of a claim. The dialectical effect of (...) denying the antecedent is to shift the burden of proof back to the original proponent of a claim. We provide a model of this non-fallacious usage which is built upon pragmatic models of argumentation. (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)

We establish a probabilized version of modus tollens, deriving from p(E|H)=a and p()=b the best possible bounds on p(). In particular, we show that p() 1 as a, b 1, and also as a, b 0. Introduction Probabilities of conditionals Conditional probabilities 3.1 Adams' thesis 3.2 Modus ponens for conditional probabilities 3.3 Modus tollens for conditional probabilities.

Denying the antecedent is an invalid form of reasoning that is typically identified and frowned upon as a formal fallacy. Contrary to arguments that it does not or at least should not occur, denying the antecedent is a legitimate and effective strategy for undermining a position. Since it is not a valid form of argument, it cannot prove that the position is false. But it can provide inductive evidence that this position is probably false. In this role, it is neither (...) defective nor deceptive. Denying the antecedent provides inductive support for rejecting a claim as improbable. (shrink)

This paper defends two theses about probabilistic reasoning. First, although modus ponens has a probabilistic analog, modus tollens does not – the fact that a hypothesis says that an observation is very improbable does not entail that the hypothesis is improbable. Second, the evidence relation is essentially comparative; with respect to hypotheses that confer probabilities on observation statements but do not entail them, an observation O may favor one hypothesis H1 over another hypothesis H2 , but O cannot be said (...) to confirm or disconfirm H1 without such relativization. These points have serious consequences for the Intelligent Design movement. Even if evolutionary theory entailed that various complex adaptations are very improbable, that would neither disconfirm the theory nor support the hypothesis of intelligent design. For either of these conclusions to follow, an additional question must be answered: With respect to the adaptive features that evolutionary theory allegedly says are very improbable, what is their probability of arising if they were produced by intelligent design? This crucial question has not been addressed by the ID movement. (shrink)

Default reasoning occurs whenever the truth of the evidence available to the reasoner does not guarantee the truth of the conclusion being drawn. Despite this, one is entitled to draw the conclusion “by default” on the grounds that we have no information which would make us doubt that the inference should be drawn. It is the type of conclusion we draw in the ordinary world and ordinary situations in which we find ourselves. Formally speaking, ‘nonmonotonic reasoning’ refers to argumentation in (...) which one uses certain information to reach a conclusion, but where it is possible that adding some further information to those very same premises could make one want to retract the original conclusion. It is easily seen that the informal notion of default reasoning manifests a type of nonmonotonic reasoning. Generally speaking, default statements are said to be true about the class of objects they describe, despite the acknowledged existence of “exceptional instances” of the class. In the absence of explicit information that an object is one of the exceptions we are enjoined to apply the default statement to the object. But further information may later tell us that the object is in fact one of the exceptions. So this is one of the points where nonmonotonicity resides in default reasoning. (shrink)

Traditionally, an enthymeme is an incomplete argument, made so by the absence of one or more of its constituent statements. An enthymeme resolution strategy is a set of procedures for finding those missing elements, thus reconstructing the enthymemes and restoring its meaning. It is widely held that a condition on the adequacy of such procedures is that statements restored to an enthymeme produce an argument that is good in some given respect in relation to which the enthymeme itself is bad. (...) In previous work, we emphasized the role of parsimony in enthymeme resolution strategies and concomitantly downplayed the role of charity . In the present paper, we take the analysis of enthymemes a step further. We will propose that if the pragmatic features that attend the phenomenon of enthymematic communication are duly heeded, the very idea of reconstructing enthymemes loses much of its rationale, and their interpretation comes to be conceived in a new light. (shrink)

Enthymemes are traditionally defined as arguments in which some elements are left unstated. It is an empirical fact that enthymemes are both enormously frequent and appropriately understood in everyday argumentation. Why is it so? We outline an answer that dispenses with the so called "principle of charity", which is the standard notion underlying most works on enthymemes. In contrast, we suggest that a different force drives enthymematic argumentation—namely, parsimony, i.e. the tendency to optimize resource consumption, in light of the agent's (...) goals. On this view, the frequent use of enthymemes does not indicate sub-optimal performance of arguers, requiring appeals to charity for their redemption. On the contrary, it is seen as a highly adaptive argumentation strategy, given the need of everyday reasoners to optimize their cognitive resources. Considerations of parsimony also affect enthymeme reconstruction, i.e. the process by which the interpreter makes sense of the speaker's enthymemes. Far from being driven by any pro-social cooperative instinct, interpretative efforts are aimed at extracting valuable information at reasonable costs from available sources. Thus, there is a tension between parsimony and charity, insofar as the former is a non-social constraint for self-regulation of one's behaviour, whereas the latter implies a pro-social attitude. We will argue that some versions of charity are untenable for enthymeme interpretation, while others are compatible with the view defended here, but still require parsimony to expose the ultimate reasons upon which a presumption of fair treatment in enthymeme reconstruction is founded. (shrink)

According to Aristotle, humans are the rational animal. The borderline between rationality and irrationality is fundamental to many aspects of human life including the law, mental health, and language interpretation. But what is it to be rational? One answer, deeply embedded in the Western intellectual tradition since ancient Greece, is that rationality concerns reasoning according to the rules of logic – the formal theory that specifies the inferential connections that hold with certainty between propositions. Piaget viewed logical reasoning as defining (...) the end-point of cognitive development; and contemporary psychology of reasoning has focussed on comparing human reasoning against logical standards. (shrink)

In this paper I am concerned with the analysis of fragments of a discourse or text that express arguments suspected of being denials of the antecedent. I first argue that one needs to distinguish between two senses of ‘the argument expressed’. Second, I show that, with respect to one of these senses, given a Gricean account of the pragmatics of conditionals, some such fragments systematically express arguments that are valid.

The principle of charity is used in philosophy of language and argumentation theory as an important principle of interpretation which credits speakers with “the best” plausible interpretation of their discourse. I contend that the argumentation account, while broadly advocated, misses the basic point of a dialectical conception which approaches argumentation as discussion between two parties who disagree over the issue discussed. Therefore, paradoxically, an analyst who is charitable to one discussion party easily becomes uncharitable to the other. To overcome this (...) paradox, I suggest to significantly limit the application of the principle of charity depending on contextual factors. (shrink)

False polarization (FP) is an interpersonal bias on judgement, the effect of which is to lead people in contexts of disagreement to overestimate the differences between their respective views. I propose to treat FP as a problem of applied social epistemology—a barrier to reliable belief-formation in certain social domains—and to ask how best one may debias for FP. This inquiry leads more generally into questions about effective debiasing strategies; on this front, considerable empirical evidence suggests that intuitively attractive strategies for (...) debiasing are not very effective, while more effective strategies are neither intuitive nor likely to be easily implemented. The supports for more effective debiasing seem either to be inherently social and cooperative, or at least to presuppose social efforts to create physical or decision-making infrastructure for mitigating bias. The upshot, I argue, is that becoming a less biased epistemic agent is a thoroughly socialized project. (shrink)

In many actual arguments, the conclusion seems intuitively to follow from the premisses, even though we cannot show that it follows logically. The traditional approach to evaluating such arguments is to suppose that they have an unstated premiss whose explicit addition will produce an argument where the conclusion does follow logically. But there are good reasons for doubting that people so frequently leave the premisses of their arguments unstated. The inclination to suppose that they do stems from the belief that (...) the only way in which an argument's conclusion can follow definitely from its premisses is to follow logically. I argue that this belief is mistaken. I propose a revision of the current generic conception of logical consequence, and its variant specifications, to avoid the paradoxes of strict implication. The revised conception can then be naturally extended to include also what we might call 'enthymematic consequence'. This concept is a kind of consequence, whose properties merit investigation. (shrink)

Bayesian probability has recently been proposed as a normative theory of argumentation. In this article, we provide a Bayesian formalisation of the ad Hitlerum argument, as a special case of the ad hominem argument. Across three experiments, we demonstrate that people's evaluation of the argument is sensitive to probabilistic factors deemed relevant on a Bayesian formalisation. Moreover, we provide the first parameter-free quantitative evidence in favour of the Bayesian approach to argumentation. Quantitative Bayesian prescriptions were derived from participants' stated subjective (...) probabilities (Experiments 1 and 2), as well as from frequency information explicitly provided in the experiment (Experiment 3). Participants' stated evaluations of the convincingness of the argument were well matched to these prescriptions. (shrink)

We present a formal, mathematical model of argument structure and evaluation, taking seriously the procedural and dialogical aspects of argumentation. The model applies proof standards to determine the acceptability of statements on an issue-by-issue basis. The model uses different types of premises (ordinary premises, assumptions and exceptions) and information about the dialectical status of statements (stated, questioned, accepted or rejected) to allow the burden of proof to be allocated to the proponent or the respondent, as appropriate, for each premise separately. (...) Our approach allows the burden of proof for a premise to be assigned to a different party than the one who has the burden of proving the conclusion of the argument, and also to change the burden of proof or applicable proof standard as the dialogue progresses from stage to stage. Useful for modeling legal dialogues, the burden of production and burden of persuasion can be handled separately, with a different responsible party and applicable proof standard for each. Carneades enables critical questions of argumentation schemes to be modeled as additional premises, using premise types to capture the varying effect on the burden of proof of different kinds of questions. (shrink)

The paper argues that the two best known formal logical fallacies, namely denying the antecedent (DA) and affirming the consequent (AC) are not just basic and simple errors, which prove human irrationality, but rather informational shortcuts, which may provide a quick and dirty way of extracting useful information from the environment. DA and AC are shown to be degraded versions of Bayes’ theorem, once this is stripped of some of its probabilities. The less the probabilities count, the closer these fallacies (...) become to a reasoning that is not only informationally useful but also logically valid. (shrink)

The phenomenon known as matching bias consists of a tendency to see cases as relevant in logical reasoning tasks when the lexical content of a case matches that of a propositional rule, normally a conditional, which applies to that case. Matching is demonstrated by use of the negations paradigm that is by using conditionals in which the presence and absence of negative components is systematically varied. The phenomenon was first published in 1972 and the present paper reviews the history of (...) research and theorising on the problem in the subsequent 25 years. Theories of matching bias considered include those based on several broad frameworks including the heuristic-analytic theory, the mental models theory, the theory of optimal data selection, and relevance theory as well as the specific processing-negations account. The ability of these theories to account for a range of phenomena is considered, including the effects of linguistic form, realistic content, and explicit negation on the matching bias effect. Of particular importance are recent findings showing that the bias is observable on a wider range of linguistic forms than has generally been thought, and that it is almost entirely dependent on the use of implicit negation in the logical cases to which rules are applied. The reasons for the general suppression of matching when realistic content is used are, however, unclear and a need for further research is identified here. It is concluded that matching bias is a highly robust effect which is closely connected with the problem of understanding implicit negation. Most of the theories in the literature are unable to account for at least some of the major phenomena discovered in research on the bias. The accounts that fare best are those that posit local effects of negation, including the heuristic-analytic and processing negations theories. (shrink)

An argumentative passage that might appear to be an instance of denying the antecedent will generally admit of an alternative interpretation, one on which the conditional contained by the passage is a preface to the argument rather than a premise of it. On this interpretation. which generally is a more charitable one, the conditional plays a certain dialectical role and, in some cases, a rhetorical role as well. Assuming only a very weak principle of exigetical charity, I consider what it (...) would take to justify the less charitable interpretation. I then present evidence that those conditions are seldom met. Indeed, I was unable to find a single published argument that can justifiably be charged with denying the antecedent. (shrink)

The phenomenon of base-rate neglect has elicited much debate. One arena of debate concerns how people make judgments under conditions of uncertainty. Another more controversial arena concerns human rationality. In this target article, we attempt to unpack the perspectives in the literature on both kinds of issues and evaluate their ability to explain existing data and their conceptual coherence. From this evaluation we conclude that the best account of the data should be framed in terms of a dual-process model of (...) judgment, which attributes base-rate neglect to associative judgment strategies that fail to adequately represent the set structure of the problem. Base-rate neglect is reduced when problems are presented in a format that affords accurate representation in terms of nested sets of individuals. (shrink)

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

The standard use of the propositional calculus ('P.C.?) in analyzing the validity of inferences involving conditionals leads to fallacies, and the problem is to determine where P.C. may be ?safely? used. An alternative analysis of criteria of reasonableness of inferences in terms of conditions of justification rather than truth of statements is proposed. It is argued, under certain restrictions, that P. C. may be safely used, except in inferences whose conclusions are conditionals whose antecedents are incompatible with the premises in (...) the sense that if the antecedent became known, some of the previously asserted premises would have to be withdrawn. (shrink)

Conditional sentences are among the most intriguing and puzzling features of language, and analysis of their meaning and function has important implications for, and uses in, many areas of philosophy. Jonathan Bennett, one of the world's leading experts, distils many years' work and teaching into this book, making it the fullest and most authoritative treatment of the subject.

In this book two of the leading figures in argumentation theory present a view of argumentation as a means of resolving differences of opinion by testing the acceptability of the disputed positions. Their model of a 'critical discussion' serves as a theoretical tool for analysing, evaluating and producing argumentative discourse. They develop a method for the reconstruction of argumentative discourse that takes into account all aspects that are relevant to a critical assessment. They also propose a practical code of behaviour (...) for discussants who want to resolve their differences in a reasonable way. This is a major contribution to the study of argumentation and will be of particular value to professionals and graduate students in speech communication, informal logic, rhetoric, critical thinking, linguistics, and philosophy. (shrink)