Towards a bridge over two approaches in connexive logic

Hitoshi Omori



The present note aims at bridging two approaches to connexive logic: one approach suggested by Heinrich Wansing, and another approach suggested by Paul Egré and Guy Politzer. To this end, a variant of FDE-based modal logic, developed by Sergei Odintsov and Heinrich Wansing, is introduced and some basic results including soundness and completeness results are established.


connexive logic; contra-classical logic; Belnap-Dunn logic; modal logic; experimental philosophy

Full Text:



Angell, Richard B., “A propositional logic with subjunctive conditionals”, Journal of Symbolic Logic 27, 3 (1962): 327–343. DOI:

Avron, Arnon, “Natural 3-valued logics characterization and proof theory”, Journal of Symbolic Logic 56, 1 (1991): 276–294. DOI:

Egré, Paul, and Guy Politzer, “On the negation of indicative conditionals”, pages 10–18 in M. Franke M. Aloni and F. Roelofsen (eds.), Proceedings of the Amsterdam Colloquium, 2013.

Kamide, Norihiro, and Heinrich Wansing, Proof Theory of N4-related Paraconsistent Logics, Studies in Logic, vol. 54, College Publications, London, 2015.

Kapsner, Andreas, “Strong connexivity”, Thought: A Journal of Philosophy 1, 2 (2012): 141–145. DOI:

Kapsner, Andreas, “Humble connexivity”, Logic and Logical Philosophy 28, 1 (2019). DOI:

Kapsner, Andreas, and Hitoshi Omori, “Counterfactuals in Nelson Logic”, pages 497–511 in Proceedings of LORI 2017, Lecture Notes in Computer Science, 2017. DOI:

McCall, Storrs, “A history of connexivity”, pages 415–449 in Handbook of the History of Logic, vol. 11, Elsevier, 2012. DOI:

Odintsov, Sergei P., “The class of extensions of Nelson paraconsistent logic”, Studia Logica 80, 2–3 (2005): 291–320. DOI:

Odintsov, Sergei P., and Heinrich Wansing, “Modal logics with Belnapian truth values”, Journal of Applied Non-Classical Logics 20, 3 (2010): 279–301. DOI:

Odintsov, Sergei P., and Heinrich Wansing, “Disentangling FDE-based paraconsistent modal logics”, Studia Logica 105, 6 (2017): 1221–1254. DOI:

Omori, Hitoshi, “A note on Wansing’s expansion of Nelson’s logic”, Reports on Mathematical Logic 51 (2016): 133–144. DOI:

Omori, Hitoshi, “A simple connexive extension of the basic relevant logic BD”, IfCoLog Journal of Logics and their Applications 3, 3 (2016): 467–478.

Omori, Hitoshi, “From paraconsistent logic to dialetheic logic”, pages 111–134 in Holger Andreas and Peter Verdée, editors, Logical Studies of Paraconsistent Reasoning in Science and Mathematics, Trends in Logic, Springer, 2016. DOI:

Pfeifer, Niki, “Experiments on Aristotle’s thesis: Towards an experimental philosophy of conditionals”, The Monist 95, 2 (2012): 223–240. DOI:

Priest, Graham, An Introduction to Non-Classical Logic: From If to Is, Cambridge University Press, 2 edition, 2008. DOI:

Wansing, Heinrich, “Semantics-based nonmonotonic inference”, Notre Dame Journal of Formal Logic 36, 1 (1995): 44–54. DOI:

Wansing, Heinrich, “Negation”, pages 415–436 in L. Goble (ed.), The Blackwell Guide to Philosophical Logic, Basil Blackwell Publishers, Cambridge/MA, 2001.

Wansing, Heinrich, “Connexive modal logic”, pages 367–383 in R. Schmidt, I. Pratt-Hartmann, M. Reynolds and H. Wansing (eds.), Advances in Modal Logic, vol. 5, King’s College Publications, 2005.

Wansing, Heinrich, “Connexive logic”, in E.N. Zalta (ed.), The Stanford Encyclopedia of Philosophy., Fall 2014 edition.

Wansing, Heinrich, and Daniel Skurt, “Negation as cancellation, connexive logic, and qLPm”, Australasian Journal of Logic 15, 2 (2018): 476–488. DOI:

Wansing, Heinrich, and Matthias Unterhuber, “Connexive conditional logic. Part I”, Logic and Logical Philosophy 28, 1 (2019). DOI:

ISSN: 1425-3305 (print version)

ISSN: 2300-9802 (electronic version)

Partnerzy platformy czasopism