Journal of Philosophical Logic 50 (2):215-247 (2021)
| Authors | |
| Abstract |
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 and Reichenbach on the one hand, and by Cooper and Cantwell on the other. Here we provide the proof theory for the resulting logics DF/TT and CC/TT, 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: DF/TT allows for algebraic completeness, but not for the construction of a canonical model, while CC/TT fails the construction of a Lindenbaum-Tarski algebra. With these results in mind, we draw up the balance and sketch future research projects.
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| ISBN(s) | |
| DOI | 10.1007/s10992-020-09572-7 |
| Options |
Mark as duplicate
Export citation
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 59,775
External links
- From the Publisher via CrossRef (no proxy)
- link.springer.com (no proxy)
- nbn-resolving.de
(no proxy) - epub.ub.uni-muenchen.de (no proxy)
- epub.ub.uni-muenchen.de [2] (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
View all 32 references / Add more references
Citations of this work BETA
No citations found.
Similar books and articles
De Finettian Logics of Indicative Conditionals Part I: Trivalent Semantics and Validity.Paul Égré, Lorenzo Rossi & Jan Sprenger - 2021 - Journal of Philosophical Logic 50 (2):187-213.
Possible Worlds Semantics for Indicative and Counterfactual Conditionals? A Formal Philosophical Inquiry Into Chellas-Segerberg Semantics.Matthias Unterhuber - 2013 - Ontos (Now de Gruyter).
Algebraic Kripke-Style Semantics for Relevance Logics.Eunsuk Yang - 2014 - Journal of Philosophical Logic 43 (4):803-826.
Indicative and Subjunctive Conditionals.Brian Weatherson - 2001 - Philosophical Quarterly 51 (203):200-216.
Gaggles, Gentzen and Galois: How to Display Your Favourite Substructural Logic.R. Gore - 1998 - Logic Journal of the IGPL 6 (5):669-694.
A Content Semantics for Quantified Relevant Logics. II.Ross T. Brady - 1989 - Studia Logica 48 (2):243 - 257.
An Algebraic Proof of the Admissibility of Γ in Relevant Modal Logics.Takahiro Seki - 2012 - Studia Logica 100 (6):1149-1174.
An Algebraic Approach to Intuitionistic Modal Logics in Connection with Intermediate Predicate Logics.Nobu-Yuki Suzuki - 1989 - Studia Logica 48 (2):141 - 155.
Distinguished Algebraic Semantics for T -Norm Based Fuzzy Logics: Methods and Algebraic Equivalencies.Petr Cintula, Francesc Esteva, Joan Gispert, Lluís Godo, Franco Montagna & Carles Noguera - 2009 - Annals of Pure and Applied Logic 160 (1):53-81.
Fibred Semantics and the Weaving of Logics Part 1: Modal and Intuitionistic Logics.D. M. Gabbay - 1996 - Journal of Symbolic Logic 61 (3):1057-1120.
Fibred Semantics and the Weaving of Logics Part 1: Modal and Intuitionistic Logics.D. M. Gabbay - 1996 - Journal of Symbolic Logic 61 (4):1057-1120.
Polynomial Ring Calculus for Modal Logics: A New Semantics and Proof Method for Modalities: Polynomial Ring Calculus for Modal Logics.Juan C. Agudelo - 2011 - Review of Symbolic Logic 4 (1):150-170.
Kripke-Style Semantics for Many-Valued Logics.Franco Montagna & Lorenzo Sacchetti - 2003 - Mathematical Logic Quarterly 49 (6):629.
Analytics
Added to PP index
2021-01-30
Total views
10 ( #856,024 of 2,432,676 )
Recent downloads (6 months)
10 ( #65,865 of 2,432,676 )
2021-01-30
Total views
10 ( #856,024 of 2,432,676 )
Recent downloads (6 months)
10 ( #65,865 of 2,432,676 )
How can I increase my downloads?
Downloads
