Abstract
AbstractIn Part I of this paper, we identified and compared various schemes for trivalent truth conditions for indicative conditionals, most notably the proposals by de Finetti (1936) and Reichenbach (1935, 1944) on the one hand, and by Cooper (Inquiry, 11, 295–320, 1968) and Cantwell (Notre Dame Journal of Formal Logic, 49, 245–260, 2008) on the other. Here we provide the proof theory for the resulting logics and , using tableau calculi and sequent calculi, and proving soundness and completeness results. Then we turn to the algebraic semantics, where both logics have substantive limitations: allows for algebraic completeness, but not for the construction of a canonical model, while fails the construction of a Lindenbaum-Tarski algebra. With these results in mind, we draw up the balance and sketch future research projects.
Publisher
Springer Science and Business Media LLC
Reference41 articles.
1. Adams, E.W. (1975). The logic of conditionals. Dordrecht: Reidel.
2. Asenjo, F.G. (1966). A calculus of antinomies. Notre Dame Journal of Formal Logic, 16, 103–105.
3. Baaz, M., Fermüller, C., & Zach, R. (1992). Dual systems of sequents and tableaux for many-valued logics. Technical Report TUW-E185.2-BFZ.2–92.
4. Baaz, M., Fermüller, C., & Zach, R. (1993). Systematic construction of natural deduction systems for many-valued logics: Extended report. Technical Report TUW- E185.2-BFZ.1–93.
5. Baratgin, J., Over, D., & Politzer, G. (2013). Uncertainty and the de Finetti tables. Thinking & Reasoning, 19, 308–328.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献