Contradictions Without Negation and a Proof-theoretic, Bilateralist Account of Connexive Logics
Year: 2026
Type: article
Abstract: This paper investigates the negation-free fragment of the bi-connexive logic 2C , called 2C Subscript minus $_-$ − , from the perspective of bilateralist proof-theoretic semantics (PTS). It is argued that eliminating primitive negation has two important conceptual consequences. First, it requires a reconceptualization of contradictory logics: in a bilateralist framework, contradiction need not be understood in terms of negation inconsistency, but rather as the coexistence of proofs and refutations for certain formulas within a non-trivial system. Second, it challenges the standard definition of connexive logics, which typically rely on negation-based schemata. Instead, a rule-based conception of connexivity, grounded in bilateralist PTS, is proposed. This reconception avoids dependence on the validation of specific formula schemata and thereby also dependence on negation. The paper also addresses the issue of proof–refutation duality in the absence of strong negation, which can be formalized and recovered at a meta-level by extending the system with a two-sorted typed lamda $\lambda $ λ -calculus.
Source: The Review of Symbolic Logic
Author: SARA AYHAN
Institutions: Tohoku University, Ruhr University Bochum
Language: English
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: hybrid
Estimated APC paid: $3,550
OpenAlex ID: W7125434922