Author:
Omori Hitoshi,Kapsner Andreas
Abstract
AbstractIn this paper, we introduce a new logic, which we call AM3. It is a connexive logic that has several interesting properties, among them being strongly connexive and validating the Converse Boethius Thesis. These two properties are rather characteristic of the difference between, on the one hand, Angell and McCall’s CC1 and, on the other, Wansing’s C. We will show that in other aspects, as well, AM3 combines what are, arguably, the strengths of both CC1 and C. It also allows us an interesting look at how connexivity and the intuitionistic understanding of negation relate to each other. However, some problems remain, and we end by pointing to a large family of weaker logics that AM3 invites us to further explore.
Funder
Alexander von Humboldt-Stiftung
Deutsche Forschungsgemeinschaft
Publisher
Springer Science and Business Media LLC
Reference36 articles.
1. Angell, R., A propositional logic, with subjunctive conditionals, Journal of Symbolic Logic 27(3):327–343, 1962.
2. Bobzien, B., Ancient Logic, in E.N. Zalta, (ed.), The Stanford Encyclopedia of Philosophy, Metaphysics Research Lab, Stanford University, Summer 2020 edition, 2020.
3. Cantwell, J., The Logic of Conditional Negation, Notre Dame Journal of Formal Logic 49(3):245–260, 2008.
4. Corsi, G., Weak logics with strict implication, Mathematical Logic Quarterly 33(5):389–406, 1987.
5. Fazio, D., A. Ledda, and F. Paoli, Intuitionistic logic is a connexive logic, Studia Logica, forthcoming.