Switch to: References

Add citations

You must login to add citations.
  1. On the Provable Contradictions of the Connexive Logics C and C3.Satoru Niki & Heinrich Wansing - 2023 - Journal of Philosophical Logic 52 (5):1355-1383.
    Despite the tendency to be otherwise, some non-classical logics are known to validate formulas that are invalid in classical logic. A subclass of such systems even possesses pairs of a formula and its negation as theorems, without becoming trivial. How should these provable contradictions be understood? The present paper aims to shed light on aspects of this phenomenon by taking as samples the constructive connexive logic C, which is obtained by a simple modification of a system of constructible falsity, namely (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • A Simple Way to Overcome Hyperconnexivity.Alex Belikov - 2023 - Studia Logica 112 (1):69-94.
    The term ‘hyperconnexive logic’ (or ‘hyperconnexivity’ in general) in relation to a certain logical system was coined by Sylvan to indicate that not only do Boethius’ theses hold in such a system, but also their converses. The plausibility of the latter was questioned by some connexive logicians. Without going into the discussion regarding the plausibility of hyperconnexivity and the converses of Boethius’ theses, this paper proposes a quite simple way to escape the hyperconnexivity within the semantic framework of Wansing-style constructive (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Aristotle’s dilemma.Andreas Kapsner - forthcoming - Logic Journal of the IGPL.
    The contra-classicality of connexive logics presents a challenge to classical logic that is interestingly different from other non-classical logics, and discussions of that difference have been a main feature of the literature around connexive logic. Seldom, if ever, however, is the following question addressed: is this challenge more severe or less severe than the one presented by sub-classical logics (i.e. almost all other non-classical projects)? This paper will aim to show that, in fact, the connexive project, suitably unpacked, contains a (...)
    Download  
     
    Export citation  
     
    Bookmark