A Variant of Material Connexive Logic

Bulletin of the Section of Logic 51 (2):227-242 (2022)
  Copy   BIBTEX


The relationship between formal logic and informal reasoning has always been a hot topic. In this paper, we propose another possible way to bring it up inspired by connexive logic. Our approach is based on the following presupposition: whatever method of formalizing informal reasoning you choose, there will always be some classically acceptable deductive principles that will have to be abandoned, and some desired schemes of argument that clearly are not classically valid. That way, we start with a new version of connexive logic which validates Boethius’ Theses and quashes their converse from right to left. We provide a sound and complete axiomatization of this logic. We also study the implication-negation fragment of this logic supplied with Boolean negation as a second negation.



    Upload a copy of this work     Papers currently archived: 91,202

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Connexive Restricted Quantification.Nissim Francez - 2020 - Notre Dame Journal of Formal Logic 61 (3):383-402.
A Poly-Connexive Logic.Nissim Francez - forthcoming - Logic and Logical Philosophy:1.
Connexive Extensions of Regular Conditional Logic.Yale Weiss - 2019 - Logic and Logical Philosophy 28 (3):611-627.
Rewriting the History of Connexive Logic.Wolfgang Lenzen - 2022 - Journal of Philosophical Logic 51 (3):525-553.
Semantics for Pure Theories of Connexive Implication.Yale Weiss - 2022 - Review of Symbolic Logic 15 (3):591-606.
Strong Connexivity.Andreas Kapsner - 2012 - Thought: A Journal of Philosophy 1 (2):141-145.
Contenability and the Logic of Consequential Implication.Claudio Pizzi - 2004 - Logic Journal of the IGPL 12 (6):561-579.
Probability logic.Niki Pfeifer - forthcoming - In M. Knauff & Wolfgang Spohn (eds.), Handbook of Rationality. Cambridge, MA, USA:
Variable Sharing in Connexive Logic.Luis Estrada-González & Claudia Lucía Tanús-Pimentel - 2021 - Journal of Philosophical Logic 50 (6):1377-1388.
Humble Connexivity.Andreas Kapsner - 2019 - Logic and Logical Philosophy 28.
Inferentialism and Relevance.Damián Szmuc - 2021 - Análisis Filosófico 41 (2):317-336.
Realism and Nominalism in Formal Logic.Bruce Erwin Ruy Thompson - 1988 - Dissertation, University of Colorado at Boulder


Added to PP

15 (#893,994)

6 months
4 (#698,851)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Alexander Belikov
Moscow State University
Dmitry Zaitsev
Lomonosov Moscow State University

Citations of this work

A Simple Way to Overcome Hyperconnexivity.Alex Belikov - 2023 - Studia Logica 112 (1):69-94.

Add more citations

References found in this work

The propositional logic of ordinary discourse.William S. Cooper - 1968 - Inquiry: An Interdisciplinary Journal of Philosophy 11 (1-4):295 – 320.
Semantics for Pure Theories of Connexive Implication.Yale Weiss - 2022 - Review of Symbolic Logic 15 (3):591-606.
Negation as Cancellation, Connexive Logic, and qLPm.Heinrich Wansing - 2018 - Australasian Journal of Logic 15 (2):476-488.
The Logic of Conditional Negation.John Cantwell - 2008 - Notre Dame Journal of Formal Logic 49 (3):245-260.

View all 6 references / Add more references