Psychological research on people’s understanding of natural language connectives has traditionally used truth table tasks, in which participants evaluate the truth or falsity of a compound sentence given the truth or falsity of its components in the framework of propositional logic. One perplexing result concerned the indicative conditional if A then C which was often evaluated as true when A and C are true, false when A is true and C is false but irrelevant“ (devoid of value) when A is (...) false (whatever the value of C). This was called the “psychological defective table of the conditional.” Here we show that far from being anomalous the “defective” table pattern reveals a coherent semantics for the basic connectives of natural language in a trivalent framework. This was done by establishing participants’ truth tables for negation, conjunction, disjunction, conditional, and biconditional, when they were presented with statements that could be certainly true, certainly false, or neither. We review systems of three-valued tables from logic, linguistics, foundations of quantum mechanics, philosophical logic, and artificial intelligence, to see whether one of these systems adequately describes people’s interpretations of natural language connectives. We find that de Finetti’s (1936/1995) three-valued system is the best approximation to participants’ truth tables. (shrink)

Arthur Pap’s work played an important role in the development of the analytic tradition. This role goes beyond the merely historical fact that Pap’s views of dispositional and modal concepts were influential. As a sympathetic critic of logical empiricism, Pap, like Quine, saw a deep tension in logical empiricism at its very best in the work of Carnap. But Pap’s critique of Carnap is quite different from Quine’s, and represents the discovery of limits beyond which empiricism cannot go, where there (...) lies nothing other than intuitive knowledge of logic itself. Pap’s arguments for this intuitive knowledge anticipate Etchemendy’s recent critique of the model-theoretic account of logical consequence. Pap’s work also anticipates prominent developments in the contemporary neo-Fregean philosophy of mathematics championed by Wright and Hale. Finally, Pap’s major philosophical preoccupation, the concepts of necessity and possibility, provides distinctive solutions and perspectives on issues of contemporary concern in the metaphysics of modality. In particular, Pap’s account of modality allows us to see the significance of Kripke’s well-known arguments on necessity and apriority in a new light. (shrink)

There is a new Bayesian, or probabilistic, paradigm in the psychology of reasoning, with new psychological accounts of the indicative conditional of natural language. In psychological experiments in this new paradigm, people judge that the probability of the indicative conditional, P(if A then C), is the conditional probability of C given A, P(C | A). In other experiments, participants respond with what has been called the 'de- fective' truth table: they judge that if A then C is true when A (...) holds and C holds, is false when A holds and C does not, and is neither true nor false when A does not hold. We argue that these responses are not 'defective' in any negative sense, as many psychologists have implied. We point out that a number of normative researchers, including de Finetti, have proposed such a table for various coherent interpretations of the third value. We review the relevant general tables in the normative literature, in which there is a third value for A and C and the logically compound forms of the natural language conditional, negation, conjunction, disjunction, and the material conditional. We describe the results of an experiment on which of these tables best describes ordinary people's judgements when the third value is interpreted as indicating uncertainty. (shrink)