Switch to: References

Add citations

You must login to add citations.
  1. (1 other version)Connexive Negation.Luis Estrada-González & Ricardo Arturo Nicolás-Francisco - 2023 - Studia Logica (Special Issue: Frontiers of Conn):1-29.
    Seen from the point of view of evaluation conditions, a usual way to obtain a connexive logic is to take a well-known negation, for example, Boolean negation or de Morgan negation, and then assign special properties to the conditional to validate Aristotle’s and Boethius’ Theses. Nonetheless, another theoretical possibility is to have the extensional or the material conditional and then assign special properties to the negation to validate the theses. In this paper we examine that possibility, not sufficiently explored in (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Situation-Based Connexive Logic.Alessandro Giordani - 2023 - Studia Logica 112 (1):295-323.
    The aim of this paper is to present a system of modal connexive logic based on a situation semantics. In general, modal connexive logics are extensions of standard modal logics that incorporate Aristotle’s and Boethius’ theses, that is the thesis that a sentence cannot imply its negation and the thesis that a sentence cannot imply a pair of contradictory sentences. A key problem in devising a connexive logic is to come up with a system that is both sufficiently strong to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Semantics for Pure Theories of Connexive Implication.Yale Weiss - 2022 - Review of Symbolic Logic 15 (3):591-606.
    In this article, I provide Urquhart-style semilattice semantics for three connexive logics in an implication-negation language (I call these “pure theories of connexive implication”). The systems semantically characterized include the implication-negation fragment of a connexive logic of Wansing, a relevant connexive logic recently developed proof-theoretically by Francez, and an intermediate system that is novel to this article. Simple proofs of soundness and completeness are given and the semantics is used to establish various facts about the systems (e.g., that two of (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Strictness and connexivity.Andrea Iacona - 2021 - Inquiry: An Interdisciplinary Journal of Philosophy 64 (10):1024-1037.
    .This paper discusses Aristotle’s thesis and Boethius’ thesis, the most distinctive theorems of connexive logic. Its aim is to show that, although there is something plausible in Aristotle’s thesis and Boethius’ thesis, the intuitions that may be invoked to motivate them are consistent with any account of indicative conditionals that validates a suitably restricted version of them. In particular, these intuitions are consistent with the view that indicative conditionals are adequately formalized as strict conditionals.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Did Aristotle Endorse Aristotle’s Thesis? A Case Study in Aristotle’s Metalogic.Yale Weiss - 2022 - Notre Dame Journal of Formal Logic 63 (4):551-579.
    Since McCall (1966), the heterodox principle of propositional logic that it is impossible for a proposition to be entailed by its own negation—in symbols, ¬(¬φ→φ)—has gone by the name of Aristotle’s thesis, since Aristotle apparently endorses it in Prior Analytics 2.4, 57b3–14. Scholars have contested whether Aristotle did endorse his eponymous thesis, whether he could do so consistently, and for what purpose he endorsed it if he did. In this article, I reconstruct Aristotle’s argument from this passage and show that (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • An Analysis of Poly-connexivity.Luis Estrada-González - 2022 - Studia Logica 110 (4):925-947.
    Francez has suggested that connexivity can be predicated of connectives other than the conditional, in particular conjunction and disjunction. Since connexivity is not any connection between antecedents and consequents—there might be other connections among them, such as relevance—, my question here is whether Francez’s conjunction and disjunction can properly be called ‘connexive’. I analyze three ways in which those connectives may somehow inherit connexivity from the conditional by standing in certain relations to it. I will show that Francez’s connectives fail (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • A Bit of Connexivity Around the Field of Ordinary Conditionals.Elisángela Ramírez-Cámara & Luis Estrada-González - 2020 - Australasian Philosophical Review 4 (2):156-161.
    ABSTRACT In this brief note we explore a couple of features of the semantics for indicative conditionals provided by Field. Those features strikingly resemble some controversial principles in connexive logic. We will show that although Field’s semantics has the technical means to stand to the mentioned features, more work is needed to make some of its outcomes less unintuitive.
    Download  
     
    Export citation  
     
    Bookmark  
  • Variable Sharing in Connexive Logic.Luis Estrada-González & Claudia Lucía Tanús-Pimentel - 2021 - Journal of Philosophical Logic 50 (6):1377-1388.
    However broad or vague the notion of connexivity may be, it seems to be similar to the notion of relevance even when relevance and connexive logics have been shown to be incompatible to one another. Relevance logics can be examined by suggesting syntactic relevance principles and inspecting if the theorems of a logic abide to them. In this paper we want to suggest that a similar strategy can be employed with connexive logics. To do so, we will suggest some properties (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Super-Strict Implications.Guido Gherardi & Eugenio Orlandelli - 2021 - Bulletin of the Section of Logic 50 (1):1-34.
    This paper introduces the logics of super-strict implications, where a super-strict implication is a strengthening of C.I. Lewis' strict implication that avoids not only the paradoxes of material implication but also those of strict implication. The semantics of super-strict implications is obtained by strengthening the (normal) relational semantics for strict implication. We consider all logics of super-strict implications that are based on relational frames for modal logics in the modal cube. it is shown that all logics of super-strict implications are (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • (1 other version)Connexive logic.Heinrich Wansing - 2008 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   49 citations  
  • (1 other version)Connexive Negation.Luis Estrada-González & Ricardo Arturo Nicolás-Francisco - 2023 - Studia Logica 112 (1):511-539.
    Seen from the point of view of evaluation conditions, a usual way to obtain a connexive logic is to take a well-known negation, for example, Boolean negation or de Morgan negation, and then assign special properties to the conditional to validate Aristotle’s and Boethius’ Theses. Nonetheless, another theoretical possibility is to have the extensional or the material conditional and then assign special properties to the negation to validate the theses. In this paper we examine that possibility, not sufficiently explored in (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Stalnakerian Connexive Logics.Xuefeng Wen - 2023 - Studia Logica 112 (1):365-403.
    Motivated by supplying a new strategy for connexive logic and a better semantics for conditionals so that negating a conditional amounts to negating its consequent under the condition, we propose a new semantics for connexive conditional logic, by combining Kleene’s three-valued logic and a slight modification of Stalnaker’s semantics for conditionals. In the new semantics, selection functions for selecting closest worlds for evaluating conditionals can be undefined. Truth and falsity conditions for conditionals are then supplemented with a precondition that the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • A Nelsonian Response to ‘the Most Embarrassing of All Twelfth-century Arguments’.Luis Estrada-González & Elisángela Ramírez-Cámara - 2019 - History and Philosophy of Logic 41 (2):101-113.
    Alberic of Paris put forward an argument, ‘the most embarrassing of all twelfth-century arguments’ according to Christopher Martin, which shows that the connexive principles contradict some other logical principles that have become deeply entrenched in our most widely accepted logical theories. Building upon some of Everett Nelson’s ideas, we will show that the steps in Alberic of Paris’ argument that should be rejected are precisely the ones that presuppose the validity of schemas that are nowadays taken as some of the (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Angell and McCall Meet Wansing.Hitoshi Omori & Andreas Kapsner - 2024 - Studia Logica 112 (1):141-165.
    In 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • 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  
  • Inferentialism and Relevance.Damián Szmuc - 2021 - Análisis Filosófico 41 (2):317-336.
    This paper provides an inferentialist motivation for a logic belonging in the connexive family, by borrowing elements from the bilateralist interpretation for Classical Logic without the Cut rule, proposed by David Ripley. The paper focuses on the relation between inferentialism and relevance, through the exploration of what we call relevant assertion and denial, showing that a connexive system emerges as a symptom of this interesting link. With the present attempt we hope to broaden the available interpretations for connexive logics, showing (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Connexive Logic, Connexivity, and Connexivism: Remarks on Terminology.Heinrich Wansing & Hitoshi Omori - 2023 - Studia Logica 112 (1):1-35.
    Over the past ten years, the community researching connexive logics is rapidly growing and a number of papers have been published. However, when it comes to the terminology used in connexive logic, it seems to be not without problems. In this introduction, we aim at making a contribution towards both unifying and reducing the terminology. We hope that this can help making it easier to survey and access the field from outside the community of connexive logicians. Along the way, we (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • A Variant of Material Connexive Logic.Alexander Belikov & Dmitry Zaitsev - 2022 - Bulletin of the Section of Logic 51 (2):227-242.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation