Abstract
This paper explores trivalent truth conditions for indicative conditionals, examining the “defective” truth table proposed by de Finetti (1936) and Reichenbach (1935, 1944). On their approach, a conditional takes the value of its consequent whenever its antecedent is true, and the value Indeterminate otherwise. Here we deal with the problem of selecting an adequate notion of validity for this conditional. We show that all standard validity schemes based on de Finetti’s table come with some problems, and highlight two ways out of the predicament: one pairs de Finetti’s conditional (DF) with validity as the preservation of non-false values (TT-validity), but at the expense of Modus Ponens; the other modifies de Finetti’s table to restore Modus Ponens. In Part I of this paper, we present both alternatives, with specific attention to a variant of de Finetti’s table (CC) proposed by Cooper (Inquiry 11, 295–320, 1968) and Cantwell (Notre Dame Journal of Formal Logic 49, 245–260, 2008). In Part II, we give an in-depth treatment of the proof theory of the resulting logics, DF/TT and CC/TT: both are connexive logics, but with significantly different algebraic properties.
Item Type: | Journal article |
---|---|
Form of publication: | Publisher's Version |
Faculties: | Philosophy, Philosophy of Science and Religious Science > Munich Center for Mathematical Philosophy (MCMP) |
Subjects: | 100 Philosophy and Psychology > 100 Philosophy |
URN: | urn:nbn:de:bvb:19-epub-73237-6 |
Language: | English |
Item ID: | 73237 |
Date Deposited: | 24. Aug 2020, 06:55 |
Last Modified: | 21. May 2021, 05:43 |