Abstract
AbstractThis 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 () with validity as the preservation of non-false values (-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 () 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, and : both are connexive logics, but with significantly different algebraic properties.
Funder
École Normale Supérieure
Ministerio de Economía, Industria y Competitividad, Gobierno de España
European Research Council
FWF
Publisher
Springer Science and Business Media LLC
Reference85 articles.
1. Adams, E.W. (1965). The logic of conditionals. Inquiry, 8, 166–197.
2. Adams, E.W. (1975). The logic of conditionals. Reidel: Dordrecht.
3. Baratgin, J., Over, D., & Politzer, G. (2013). Uncertainty and the de Finetti tables. Thinking & Reasoning, 19, 308–328.
4. Beaver, D., & Krahmer, E. (2001). A partial account of presupposition projection. Journal of Logic Language and Information, 10, 147.
5. Belnap, N.D. (1970). Conditional assertion and restricted quantification. Nouŝ, 68, 1–12.
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献