{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,7]],"date-time":"2025-12-07T16:02:10Z","timestamp":1765123330197,"version":"3.37.3"},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2021,1,29]],"date-time":"2021-01-29T00:00:00Z","timestamp":1611878400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2021,1,29]],"date-time":"2021-01-29T00:00:00Z","timestamp":1611878400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2021,4]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>In 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 (<jats:italic>Inquiry<\/jats:italic>,<jats:italic>11<\/jats:italic>, 295\u2013320, 1968) and Cantwell (<jats:italic>Notre Dame Journal of Formal Logic<\/jats:italic>,<jats:italic>49<\/jats:italic>, 245\u2013260, 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.<\/jats:p>","DOI":"10.1007\/s10992-020-09572-7","type":"journal-article","created":{"date-parts":[[2021,1,29]],"date-time":"2021-01-29T18:02:50Z","timestamp":1611943370000},"page":"215-247","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["De Finettian Logics of Indicative Conditionals Part II: Proof Theory and Algebraic Semantics"],"prefix":"10.1007","volume":"50","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9114-7686","authenticated-orcid":false,"given":"Paul","family":"\u00c9gr\u00e9","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1932-5484","authenticated-orcid":false,"given":"Lorenzo","family":"Rossi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0083-9685","authenticated-orcid":false,"given":"Jan","family":"Sprenger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,1,29]]},"reference":[{"key":"9572_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-7622-2","volume-title":"The logic of conditionals","author":"EW Adams","year":"1975","unstructured":"Adams, E.W. (1975). The logic of conditionals. Dordrecht: Reidel."},{"key":"9572_CR2","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1305\/ndjfl\/1093958482","volume":"16","author":"FG Asenjo","year":"1966","unstructured":"Asenjo, F.G. (1966). A calculus of antinomies. Notre Dame Journal of Formal Logic, 16, 103\u2013105.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9572_CR3","unstructured":"Baaz, M., Ferm\u00fcller, C., & Zach, R. (1992). Dual systems of sequents and tableaux for many-valued logics. Technical Report TUW-E185.2-BFZ.2\u201392."},{"key":"9572_CR4","unstructured":"Baaz, M., Ferm\u00fcller, C., & Zach, R. (1993). Systematic construction of natural deduction systems for many-valued logics: Extended report. Technical Report TUW- E185.2-BFZ.1\u201393."},{"key":"9572_CR5","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1080\/13546783.2013.809018","volume":"19","author":"J Baratgin","year":"2013","unstructured":"Baratgin, J., Over, D., & Politzer, G. (2013). Uncertainty and the de Finetti tables. Thinking & Reasoning, 19, 308\u2013328.","journal-title":"Thinking & Reasoning"},{"key":"9572_CR6","doi-asserted-by":"publisher","first-page":"1479","DOI":"10.3389\/fpsyg.2018.01479","volume":"9","author":"J Baratgin","year":"2018","unstructured":"Baratgin, J., Politzer, G., Over, D.E., & Takahashi, T. (2018). The psychology of uncertainty and three-valued truth tables. Frontiers in Psychology, 9, 1479.","journal-title":"Frontiers in Psychology"},{"key":"9572_CR7","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199268733.001.0001","volume-title":"Spandrels of Truth","author":"JC Beall","year":"2009","unstructured":"Beall, J.C. (2009). Spandrels of Truth. Oxford: Oxford University Press."},{"key":"9572_CR8","doi-asserted-by":"crossref","unstructured":"Blok, W.J., & Pigozzi, D. (1989). Algebraizable Logics. Volume 77 of Memoirs of the American Mathematical Society. American Mathematical Society.","DOI":"10.1090\/memo\/0396"},{"key":"9572_CR9","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1016\/S0020-0255(02)00262-1","volume":"147","author":"P Calabrese","year":"2002","unstructured":"Calabrese, P. (2002). Deduction with uncertain conditionals. Information Sciences, 147, 143\u2013191.","journal-title":"Information Sciences"},{"key":"9572_CR10","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1215\/00294527-2008-010","volume":"49","author":"J Cantwell","year":"2008","unstructured":"Cantwell, J. (2008). The logic of conditional negation. Notre Dame Journal of Formal Logic, 49, 245\u2013260.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9572_CR11","doi-asserted-by":"publisher","unstructured":"Chemla, E., & \u00c9gr\u00e9, P. (2019). From many-valued consequence to many-valued connectives. Synthese. https:\/\/doi.org\/10.1007\/s11229-019-02344-0.","DOI":"10.1007\/s11229-019-02344-0"},{"key":"9572_CR12","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1080\/00201746808601531","volume":"11","author":"WS Cooper","year":"1968","unstructured":"Cooper, W.S. (1968). The propositional logic of ordinary discourse. Inquiry, 11, 295\u2013320.","journal-title":"Inquiry"},{"key":"9572_CR13","unstructured":"de Finetti, B. (1936). La logique de la probabilit\u00e9. In Actes du congr\u00e8s international de philosophie scientifique, (Vol. 4 pp. 1\u20139): Hermann Editeurs Paris."},{"issue":"12","key":"9572_CR14","doi-asserted-by":"publisher","first-page":"1724","DOI":"10.1109\/21.328930","volume":"24","author":"D Dubois","year":"1994","unstructured":"Dubois, D., & Prade, H. (1994). Conditional objects as nonmonotonic consequence relationships. IEEE Transactions on Systems, Man, and Cybernetics, 24(12), 1724\u20131740.","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics"},{"key":"9572_CR15","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1093\/mind\/104.414.235","volume":"104","author":"D Edgington","year":"1995","unstructured":"Edgington, D. (1995). On Conditionals. Mind, 104, 235\u2013329.","journal-title":"Mind"},{"key":"9572_CR16","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1305\/ndjfl\/1093882546","volume":"20","author":"RJ Farrell","year":"1979","unstructured":"Farrell, R.J. (1979). Material implication, confirmation, and counterfactuals. Notre Dame Journal of Formal Logic, 20, 383\u2013394.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9572_CR17","volume-title":"Abstract algebraic logic\u2013an introductory textbook. Studies in Logic: Mathematical Logic and Foundations","author":"JM Font","year":"2016","unstructured":"Font, J.M. (2016). Abstract algebraic logic\u2013an introductory textbook. Studies in Logic: Mathematical Logic and Foundations. London: College Publications."},{"key":"9572_CR18","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1080\/00048409612347131","volume":"74","author":"L Goodship","year":"1996","unstructured":"Goodship, L. (1996). On dialetheism. Australasian Journal of Philosophy, 74, 153\u201361.","journal-title":"Australasian Journal of Philosophy"},{"key":"9572_CR19","volume-title":"A treatise on many-valued logics. Volume IX of Studies in Logic and Computation","author":"S Gottwald","year":"2001","unstructured":"Gottwald, S. (2001). A treatise on many-valued logics. Volume IX of Studies in Logic and Computation. Baldock: Research Studies Press Ltd."},{"key":"9572_CR20","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1007\/BF00370843","volume":"57","author":"B Herrmann","year":"1996","unstructured":"Herrmann, B. (1996). Equivalential and algebraizable logics. Studia Logica, 57, 419\u2013436.","journal-title":"Studia Logica"},{"key":"9572_CR21","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/9055.001.0001","volume-title":"The connectives","author":"L Humberstone","year":"2011","unstructured":"Humberstone, L. (2011). The connectives. Cambridge: MIT Press."},{"key":"9572_CR22","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/BF00427948","volume":"14","author":"RC Jeffrey","year":"1963","unstructured":"Jeffrey, R.C. (1963). On indeterminate conditionals. Philosophical Studies, 14, 37\u201343.","journal-title":"Philosophical Studies"},{"key":"9572_CR23","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1093\/aristoteliansupp\/65.1.161","volume":"65","author":"RC Jeffrey","year":"1991","unstructured":"Jeffrey, R.C. (1991). Matter-of-Fact Conditionals. Proceedings of the Aristotelian Society, 65, 161\u2013183.","journal-title":"Proceedings of the Aristotelian Society"},{"key":"9572_CR24","unstructured":"Khoo, J. (2015). On indicative and subjunctive conditionals. Philosopher\u2019s Imprint, 15."},{"key":"9572_CR25","doi-asserted-by":"publisher","first-page":"556","DOI":"10.2307\/2025310","volume":"70","author":"D Lewis","year":"1973","unstructured":"Lewis, D. (1973). Causation. Journal of Philosophy, 70, 556\u2013567.","journal-title":"Journal of Philosophy"},{"key":"9572_CR26","volume-title":"Counterfactuals","author":"D Lewis","year":"1973","unstructured":"Lewis, D. (1973). Counterfactuals. Oxford: Basil Blackwell."},{"key":"9572_CR27","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537878.001.0001","volume-title":"Many-valued logics","author":"G Malinowski","year":"1993","unstructured":"Malinowski, G. (1993). Many-valued logics. Oxford: Clarendon Press."},{"issue":"1","key":"9572_CR28","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1111\/phpr.12513","volume":"100","author":"M Mandelkern","year":"2020","unstructured":"Mandelkern, M. (2020). Import-Export and \u2018And\u2019. Philosophy and Phenomenological Research, 100(1), 118\u2013135.","journal-title":"Philosophy and Phenomenological Research"},{"key":"9572_CR29","doi-asserted-by":"publisher","first-page":"462","DOI":"10.2307\/2026276","volume":"82","author":"V McGee","year":"1985","unstructured":"McGee, V. (1985). A counterexample to modus ponens. The Journal of Philosophy, 82, 462\u201371.","journal-title":"The Journal of Philosophy"},{"key":"9572_CR30","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1023\/B:LOGI.0000046072.61596.32","volume":"33","author":"P Milne","year":"2004","unstructured":"Milne, P. (2004). Algebras of intervals and a logic of conditional assertions. Journal of Philosophical Logic, 33, 497\u2013548.","journal-title":"Journal of Philosophical Logic"},{"key":"9572_CR31","volume-title":"Elementary induction on abstract structures","author":"Y Moschovakis","year":"1974","unstructured":"Moschovakis, Y. (1974). Elementary induction on abstract structures. Amsterdam, London and New York: North-Holland and Elsevier."},{"key":"9572_CR32","volume-title":"Proof theory. The first step into impredicativity","author":"W Pohlers","year":"2009","unstructured":"Pohlers, W. (2009). Proof theory. The first step into impredicativity. Berlin: Springer."},{"key":"9572_CR33","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/BF00258428","volume":"8","author":"G Priest","year":"1979","unstructured":"Priest, G. (1979). The logic of paradox. Journal of Philosophical Logic, 8, 219\u2013241.","journal-title":"Journal of Philosophical Logic"},{"key":"9572_CR34","volume-title":"Doubt truth to be a liar","author":"G Priest","year":"2006","unstructured":"Priest, G. (2006). Doubt truth to be a liar. Oxford: Oxford University Press."},{"key":"9572_CR35","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1080\/11663081.1995.10510856","volume":"5","author":"A Pynko","year":"1995","unstructured":"Pynko, A. (1995). On Priest\u2019s logic of paradox. Journal of Applied Non-Classical Logics, 5, 219\u2013225.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"9572_CR36","volume-title":"Wahrscheinlichkeitslehre","author":"H Reichenbach","year":"1935","unstructured":"Reichenbach, H. (1935). Wahrscheinlichkeitslehre. Leiden: Sijthoff."},{"key":"9572_CR37","volume-title":"Philosophic foundations of quantum mechanics","author":"H Reichenbach","year":"1944","unstructured":"Reichenbach, H. (1944). Philosophic foundations of quantum mechanics. Berkeley: University of California Press."},{"key":"9572_CR38","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1017\/S1755020312000056","volume":"5","author":"D Ripley","year":"2012","unstructured":"Ripley, D. (2012). Conservatively extending classical logic with transparent truth. Review of Symbolic Logic, 5, 354\u201378.","journal-title":"Review of Symbolic Logic"},{"key":"9572_CR39","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/BF01969991","volume":"2","author":"K Sch\u00fctte","year":"1956","unstructured":"Sch\u00fctte, K. (1956). Ein System des verkn\u00fcpfenden Schlie\u00dfens. Archiv f\u00fcr mathematische Logik und Grundlagenforschung, 2, 55\u201367.","journal-title":"Archiv f\u00fcr mathematische Logik und Grundlagenforschung"},{"issue":"11","key":"9572_CR40","doi-asserted-by":"publisher","first-page":"605","DOI":"10.5840\/jphil20181151135","volume":"115","author":"R Stern","year":"2018","unstructured":"Stern, R., & Hartmann, S. (2018). Two sides of modus ponens. The Journal of Philosophy, 115(11), 605\u2013621.","journal-title":"The Journal of Philosophy"},{"key":"9572_CR41","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139168717","volume-title":"Basic proof theory","author":"AS Troelstra","year":"2000","unstructured":"Troelstra, A.S., & Schwichtenberg, H. (2000). Basic proof theory. Cambridge: Cambridge University Press."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-020-09572-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-020-09572-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-020-09572-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,23]],"date-time":"2024-08-23T06:21:15Z","timestamp":1724394075000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-020-09572-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,1,29]]},"references-count":41,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2021,4]]}},"alternative-id":["9572"],"URL":"https:\/\/doi.org\/10.1007\/s10992-020-09572-7","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"type":"print","value":"0022-3611"},{"type":"electronic","value":"1573-0433"}],"subject":[],"published":{"date-parts":[[2021,1,29]]},"assertion":[{"value":"12 November 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 January 2021","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}