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

Recasting important questions about truth and objectivity in new and helpful terms, his book will become a focus in the contemporary debates over realism, and ...

The two main psychological theories of the ordinary conditional were designed to account for inferences made from assumptions, but few premises in everyday life can be simply assumed true. Useful premises usually have a probability that is less than certainty. But what is the probability of the ordinary conditional and how is it determined? We argue that people use a two stage Ramsey test that we specify to make probability judgements about indicative conditionals in natural language, and we describe experiments (...) that support this conclusion. Our account can explain why most people give the conditional probability as the probability of the conditional, but also why some give the conjunctive probability. We discuss how our psychological work is related to the analysis of ordinary indicative conditionals in philosophical logic. (shrink)

Two experiments were conducted to investigate the roles of covariation and of causality in people's readiness to believe a conditional. The experiments used a probabilistic truth-table task (Oberauer & Wilhelm, 2003) in which people estimated the probability of a conditional given information about the frequency distribution of truth-table cases. For one group of people, belief in the conditional was determined by the conditional probability of the consequent, given the antecedent, whereas for another group it depended on the probability of the (...) conjunction of antecedent and consequent. There was little evidence that covariation, expressed as the probabilistic contrast or as the pCI rule (White, 2003), influences belief in the conditional. The explicit presence of a causal link between antecedent and consequent in a context story had a weak positive effect on belief in a conditional when the frequency distribution of relevant cases was held constant. (shrink)

What is truth? Michael Lynch defends a bold new answer to this question. Traditional theories of truth hold that truth has only a single uniform nature. All truths are true in the same way. More recent deflationary theories claim that truth has no nature at all; the concept of truth is of no real philosophical importance. In this concise and clearly written book, Lynch argues that we should reject both these extremes and hold that truth is a functional property. To (...) understand truth we must understand what it does, its function in our cognitive economy. Once we understand that, we'll see that this function can be performed in more than one way. And that in turn opens the door to an appealing pluralism: beliefs about the concrete physical world needn't be true in the same way as our thoughts about matters -- like morality -- where the human stain is deepest. (shrink)

Many conditionals seem to convey the existence of a link between their antecedent and consequent. We draw on a recently proposed typology of conditionals to argue for an old philosophical idea according to which the link is inferential in nature. We show that the proposal has explanatory force by presenting empirical results on the evidential meaning of certain English and Dutch modal expressions.

According to the Principle of Conditional Non-Contradiction (CNC), conditionals of the form “If p, q” and “If p, not q” cannot both be true, unless p is inconsistent. This principle is widely regarded as an adequacy constraint on any semantics that attributes truth conditions to conditionals. Gibbard has presented an example of a pair of conditionals that, in the context he describes, appear to violate CNC. He concluded from this that conditionals lack truth conditions. We argue that this conclusion is (...) rash by proposing a new diagnosis of what is going on in Gibbard’s argument. We also provide empirical evidence in support of our proposal. (shrink)

According to what is now commonly referred to as “the Equation” in the literature on indicative conditionals, the probability of any indicative conditional equals the probability of its consequent of the conditional given the antecedent of the conditional. Philosophers widely agree in their assessment that the triviality arguments of Lewis and others have conclusively shown the Equation to be tenable only at the expense of the view that indicative conditionals express propositions. This study challenges the correctness of that assessment by (...) presenting data that cast doubt on an assumption underlying all triviality arguments. (shrink)

According to so-called epistemic theories of conditionals, the assertability/acceptability/acceptance of a conditional requires the existence of an epistemically significant relation between the conditional’s antecedent and its consequent. This paper points to some linguistic data that our current best theories of the foregoing type appear unable to explain. Further, it presents a new theory of the same type that does not have that shortcoming. The theory is then defended against some seemingly obvious objections.

The standard approach to the so-called paradoxes of identity has been to argue that these paradoxes do not essentially concern the notion of identity but rather betray misconceptions on our part regarding other metaphysical notions, like that of an object or a property. This paper proposes a different approach by pointing to an ambiguity in the identity predicate and arguing that the concept of identity that figures in many ordinary identity claims, including those that appear in the paradoxes, is not (...) the traditional philosophical concept but one that can be defined in terms of relevant similarity. This approach to the paradoxes will be argued to be superior to the standard one. (shrink)

In previous published research (“Conditionals and Inferential Connections: A Hypothetical Inferential Theory,” Cognitive Psychology, 2018), we investigated experimentally what role the presence and strength of an inferential connection between a conditional’s antecedent and consequent plays in how people process that conditional. Our analysis showed the strength of that connection to be strongly predictive of whether participants evaluated the conditional as true, false, or neither true nor false. In this article, we re-analyse the data from our previous research, now focussing on (...) the semantics of conditionals rather than on how they are processed. Specifically, we use those data to compare the main extant semantics with each other and with inferentialism, a semantics according to which the truth of a conditional requires the presence of an inferential connection between the conditional’s component parts. (shrink)

Putnam’s internal realism is aimed at reconciling realist and antirealist intuitions about truth and the nature of reality. A common complaint about internal realism is that it has never been stated with due precision. This paper attempts to render the position precise by drawing on the literature on conceptual spaces as well as on earlier work of the authors on the notion of identity.

The new paradigm in the psychology of reasoning adopts a Bayesian, or prob- abilistic, model for studying human reasoning. Contrary to the traditional binary approach based on truth functional logic, with its binary values of truth and falsity, a third value that represents uncertainty can be introduced in the new paradigm. A variety of three-valued truth table systems are available in the formal literature, including one proposed by de Finetti. We examine the descriptive adequacy of these systems for natural language (...) indicative condi- tionals and bets on conditionals. Within our framework the so-called “defective” truth table, in which participants choose a third value when the antecedent of the indicative conditional is false, becomes a coherent response. We show that only de Finetti’s system has a good descriptive fit when uncer- tainty is the third value. (shrink)

A study is reported testing two hypotheses about a close parallel relation between indicative conditionals, if A then B , and conditional bets, I bet you that if A then B . The first is that both the indicative conditional and the conditional bet are related to the conditional probability, P(B|A). The second is that de Finetti's three-valued truth table has psychological reality for both types of conditional— true , false , or void for indicative conditionals and win , lose (...) , or void for conditional bets. The participants were presented with an array of chips in two different colours and two different shapes, and an indicative conditional or a conditional bet about a random chip. They had to make judgements in two conditions: either about the chances of making the indicative conditional true or false or about the chances of winning or losing the conditional bet. The observed distributions of responses in the two conditions were generally related to the conditional probability, supporting the first hypothesis. In addition, a majority of participants in further conditions chose the third option, “void”, when the antecedent of the conditional was false, supporting the second hypothesis. (shrink)

Grice’s distinction between what is said and what is implicated has greatly clarified our understanding of the boundary between semantics and pragmatics. Although border disputes still arise and there are certain difficulties with the distinction itself (see the end of §1), it is generally understood that what is said falls on the semantic side and what is implicated on the pragmatic side. But this applies only to what is..

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)

Conditionals are sentences of the form 'If A, then B', and they play a central role in scientific, logical, and everyday reasoning. They have been in the philosophical limelight for centuries, and more recently, they have been receiving attention from psychologists, linguists, and computer scientists. In spite of this, many key questions concerning conditionals remain unanswered. While most of the work on conditionals has addressed semantical questions - questions about the truth conditions of conditionals - this book focuses on the (...) main epistemological questions that conditionals give rise to, such as: what are the probabilities of conditionals? When is a conditional acceptable or assertable? What do we learn when we receive new conditional information? In answering these questions, this book combines the formal tools of logic and probability theory with the experimental approach of cognitive psychology. It will be of interest to students and researchers in logic, epistemology, and psychology of reasoning. (shrink)

Are people rational? This question was central to Greek thought and has been at the heart of psychology and philosophy for millennia. This book provides a radical and controversial reappraisal of conventional wisdom in the psychology of reasoning, proposing that the Western conception of the mind as a logical system is flawed at the very outset. It argues that cognition should be understood in terms of probability theory, the calculus of uncertain reasoning, rather than in terms of logic, the calculus (...) of certain reasoning. (shrink)

This book contends that insufficient attention has been paid to the syntax of conditionals, as investigated by linguists.

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.

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.

We investigated how people interpret conditionals and how stable their interpretation is over a long series of trials. Participants were shown the colored patterns on each side of a six-sided die, and were asked how sure they were that a conditional holds of the side landing upwards when the die is randomly thrown. Participants were presented with 71 trials consisting of all combinations of binary dimensions of shape (e.g., circles and squares) and color (e.g., blue and red) painted onto the (...) sides of each die. In two experiments (N1 = 66, N2 = 65), the conditional event was the dominant interpretation, followed by conjunction, and material conditional responses were negligible. In both experiments, the percentage of participants giving a conditional event response increased from around 40% at the beginning of the task to nearly 80% at the end, with most participants shifting from a conjunction interpretation. The shift was moderated by the order of shape and color in each conditional’s antecedent and consequent: participants were more likely to shift if the antecedent referred to a color. In Experiment 2 we collected response times: conditional event interpretations took longer to process than conjunction interpretations (mean difference 500 ms). We discuss implications of our results for mental models theory and probabilistic theories of reasoning. (shrink)

Unconditionals are syntactic conditionals whose affirmation affirms their consequent, unconditionally. Prominent instances were addressed by J.L. Austin ('There are biscuits if you want some') and Nelson Goodman (even-if 'semifactuals'). Their detailed features are explained in a Decision-Theoretic Semantics (DTS) which extends, by certainty and relevance conditions, the "CCCP" conditional probability construal of conditionals due to Ernest Adams and others. The construal of assertions of conditionals as conditional acts, defended by Keith DeRose and Richard Grandy in 1999 against objections arising from (...) Austin's unconditionals, is shown to be incompatible with any known version of CCCP. However, an ad-hoc decision-theoretic construal of their proposal is seen to work for Austin's unconditionals, albeit for these only. The DTS account of unconditionals hinges on stochastic independence or irrelevance conditions. For Austin's variant, it also involves changes in the expectations of non-indicator random variables, i.e. properly valuational relevance relations. The widely assumed speaker's knowledge presumption for assertion in general is reconstrued non-transcendently as a proposal to update to ostensible common certainty. This imperative replaces the factive 'T-axiom', KA-> A, of modal logical explications of knowledge to yield an doxastically imperatival, but evidence-sensitive theory of assertoric truth claims. On such a basis, Max Black's and G.E. Moore's ostensibilist account of assertors representing themselves as knowing is defended against Tim Williamson's 1996 and Igor Douven's 2006 respective deontic proposals for a knowledge or rational credibility requirement. Moreover, ostensibly unconditional, unhedged assertion is reconciled with a reality of dimly perceived potential defeaters on recognizing it to be a tacit semifactual, if need be. (shrink)