Results for 'connexive implication'

943 found
Order:
  1.  21
    Connexive Implications in Substructural Logics.Davide Fazio & Gavin St John - 2024 - Review of Symbolic Logic 17 (3):878-909.
    This paper is devoted to the investigation of term-definable connexive implications in substructural logics with exchange and, on the semantical perspective, in sub-varieties of commutative residuated lattices (FL ${}_{\scriptsize\mbox{e}}$ -algebras). In particular, we inquire into sufficient and necessary conditions under which generalizations of the connexive implication-like operation defined in [6] for Heyting algebras still satisfy connexive theses. It will turn out that, in most cases, connexive principles are equivalent to the equational Glivenko property with respect (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2. Connexive implication.Storrs Mccall - 1966 - Journal of Symbolic Logic 31 (3):415-433.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   74 citations  
  3. Connexive implication and the syllogism.Storrs McCall - 1967 - Mind 76 (303):346-356.
  4.  83
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  5.  39
    Two Objections to System CC1 of Connexive Implication.John Woods - 1968 - Dialogue 7 (3):473-475.
  6. Negated Implications in Connexive Relevant Logics.Andrew Tedder - 2025 - Australasian Journal of Logic 22 (1):8-32.
    Connexive expansions of relevant logics tend to prove every negated implication formula. In this paper I discuss why they tend to satisfy this unsavoury property, and discuss avenues by which it can be avoided, providing logics which stand as proofs of concept that these avenues can be made to work.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7. (1 other version)Connexive logics. An overview and current trends.Hitoshi Omori & Heinrich Wansing - 2019 - Logic and Logical Philosophy 28 (3):371-387.
    In this introduction, we offer an overview of main systems developed in the growing literature on connexive logic, and also point to a few topics that seem to be collecting attention of many of those interested in connexive logic. We will also make clear the context to which the papers in this special issue belong and contribute.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   43 citations  
  8.  58
    Connexive Conditional Logic. Part I.Heinrich Wansing & Matthias Unterhuber - 2019 - Logic and Logical Philosophy 28 (3):567-610.
    In this paper, first some propositional conditional logics based on Belnap and Dunn’s useful four-valued logic of first-degree entailment are introduced semantically, which are then turned into systems of weakly and unrestrictedly connexive conditional logic. The general frame semantics for these logics makes use of a set of allowable (or admissible) extension/antiextension pairs. Next, sound and complete tableau calculi for these logics are presented. Moreover, an expansion of the basic conditional connexive logics by a constructive implication is (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  9.  55
    Per Se Modality and Natural Implication – an Account of Connexive Logic in Robert Kilwardby.Spencer Johnston - 2019 - Logic and Logical Philosophy 28 (3):449-479.
    We present a formal reconstruction of the theories of the medieval logician Robert Kilwardby, focusing on his account of accidental and natural inferences and the underlying modal logic that gives rise to it. We show how Kilwardby’s use of an essentialist modality underpins his connexive account of implication.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  10.  6
    Connexive Exclusion.Yaroslav Shramko & Heinrich Wansing - forthcoming - Erkenntnis:1-32.
    We present a logic which deals with connexive exclusion. Exclusion (also called “co-implication”) is considered to be a propositional connective dual to the connective of implication. Similarly to implication, exclusion turns out to be non-connexive in both classical and intuitionistic logics, in the sense that it does not satisfy certain principles that express such connexivity. We formulate these principles for connexive exclusion, which are in some sense dual to the well-known Aristotle’s and Boethius’ theses (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  50
    Rewriting the History of Connexive Logic.Wolfgang Lenzen - 2022 - Journal of Philosophical Logic 51 (3):525-553.
    The “official” history of connexive logic was written in 2012 by Storrs McCall who argued that connexive logic was founded by ancient logicians like Aristotle, Chrysippus, and Boethius; that it was further developed by medieval logicians like Abelard, Kilwardby, and Paul of Venice; and that it was rediscovered in the 19th and twentieth century by Lewis Carroll, Hugh MacColl, Frank P. Ramsey, and Everett J. Nelson. From 1960 onwards, connexive logic was finally transformed into non-classical calculi which (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  12.  47
    A Poly-Connexive Logic.Nissim Francez - 2020 - Logic and Logical Philosophy 29 (1):143-157.
    The paper introduces a variant of connexive logic in which connexivity is extended from the interaction of negation with implication to the interaction of negation also with conjunction and disjunction. The logic is presented by two deductively equivalent methods: an axiomatic one and a natural-deduction one. Both are shown to be complete for a four-valued model theory.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  13.  23
    Connexive Variants of Modal Logics Over FDE.Sergei Odintsov, Daniel Skurt & Heinrich Wansing - 2021 - In Ofer Arieli & Anna Zamansky, Arnon Avron on Semantics and Proof Theory of Non-Classical Logics. Springer Verlag. pp. 295-318.
    Various connexive FDE-based modal logics are studied. Some of these logics contain a conditional that is both connexive and strict, thereby highlighting that strictness and connexivity of a conditional do not exclude each other. In particular, the connexive modal logics cBK-\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}^{-}\end{document}, cKN4, scBK-\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}^{-}\end{document}, scKN4, cMBL, and scMBL are introduced semantically by means of classes of Kripke models. The logics cBK-\documentclass[12pt]{minimal} (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  14. 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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  15.  1
    Relevant Connexive Logic.Nissim Francez - 2019 - Logic and Logical Philosophy 28 (3):409-425.
    In this paper, a connexive extension of the Relevance logic R→ was presented. It is defined by means of a natural deduction system, and a deductively equivalent axiomatic system is presented too. The goal of such an extension is to produce a logic with stronger connection between the antecedent and the consequent of an implication.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  1
    Connexive logic: new old challenges.Fernando Cano-Jorge & Luis Estrada-González - forthcoming - Logic Journal of the IGPL.
    After the intense attention the relevance logic community and its friends gave to McCall’s ideas on connexive implication during the late 1960s and nearly.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  44
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  18.  28
    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 (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  19. Bi-Connexive Logic, Bilateralism, and Negation Inconsistency.Heinrich Wansing, Satoru Niki & Sergey Drobyshevich - forthcoming - Review of Symbolic Logic:1-41.
    In this paper we study logical bilateralism understood as a theory of two primitive derivability relations, namely provability and refutability, in a language devoid of a primitive strong negation and without a falsum constant, $\bot $, and a verum constant, $\top $. There is thus no negation that toggles between provability and refutability, and there are no primitive constants that are used to define an “implies falsity” negation and a “co-implies truth” co-negation. This reduction of expressive power notwithstanding, there remains (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20. Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality.Norihiro Kamide - 2019 - Logic and Logical Philosophy 28 (3):481-511.
    In this study, a new paraconsistent four-valued logic called bi-classical connexive logic (BCC) is introduced as a Gentzen-type sequent calculus. Cut-elimination and completeness theorems for BCC are proved, and it is shown to be decidable. Duality property for BCC is demonstrated as its characteristic property. This property does not hold for typical paraconsistent logics with an implication connective. The same results as those for BCC are also obtained for MBCC, a modal extension of BCC.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21. Peirce’s Triadic Logic and Its (Overlooked) Connexive Expansion.Alex Belikov - 2021 - Logic and Logical Philosophy 30 (3):535-559.
    In this paper, we present two variants of Peirce’s Triadic Logic within a language containing only conjunction, disjunction, and negation. The peculiarity of our systems is that conjunction and disjunction are interpreted by means of Peirce’s mysterious binary operations Ψ and Φ from his ‘Logical Notebook’. We show that semantic conditions that can be extracted from the definitions of Ψ and Φ agree (in some sense) with the traditional view on the semantic conditions of conjunction and disjunction. Thus, we support (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  22.  30
    Logic taking care of itself: the case of connexive logic.Luis Estrada-González - 2024 - Principia: An International Journal of Epistemology 28 (1):155-165.
    Logic is an excellent tool for reasoning about most philosophical topics, including logical issues themselves. Discussions about the validity or otherwise of certain principles have been widespread throughout the history of logic. This chapter exemplifies that with the analysis of the debate surrounding connexive logics. In connexive logics, certain principles involving mainly negation and implication hold good, whereas they are not valid in most well-known logics. Despite their intuitiveness, the connexive principles quickly lead to contradictions and (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  58
    A Critical Examination of the Historical Origins of Connexive Logic.Wolfgang Lenzen - 2019 - History and Philosophy of Logic 41 (1):16-35.
    It is often assumed that Aristotle, Boethius, Chrysippus, and other ancient logicians advocated a connexive conception of implication according to which no proposition entails, or is entailed by, its own negation. Thus Aristotle claimed that the proposition ‘if B is not great, B itself is great […] is impossible’. Similarly, Boethius maintained that two implications of the type ‘If p then r’ and ‘If p then not-r’ are incompatible. Furthermore, Chrysippus proclaimed a conditional to be ‘sound when the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  24.  48
    Kripke Completeness of Bi-intuitionistic Multilattice Logic and its Connexive Variant.Norihiro Kamide, Yaroslav Shramko & Heinrich Wansing - 2017 - Studia Logica 105 (6):1193-1219.
    In this paper, bi-intuitionistic multilattice logic, which is a combination of multilattice logic and the bi-intuitionistic logic also known as Heyting–Brouwer logic, is introduced as a Gentzen-type sequent calculus. A Kripke semantics is developed for this logic, and the completeness theorem with respect to this semantics is proved via theorems for embedding this logic into bi-intuitionistic logic. The logic proposed is an extension of first-degree entailment logic and can be regarded as a bi-intuitionistic variant of the original classical multilattice logic (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  25.  65
    The Implicative Conditional.Eric Raidl & Gilberto Gomes - 2024 - Journal of Philosophical Logic 53 (1):1-47.
    This paper investigates the implicative conditional, a connective intended to describe the logical behavior of an empirically defined class of natural language conditionals, also namedimplicative conditionals, which excludes concessive and some other conditionals. The implicative conditional strengthens the strict conditional with the possibility of the antecedent and of the contradictory of the consequent.pq{p\Rightarrow q}p⇒qis thus defined as¬(p¬q)p¬q{\lnot } \Diamond {(p \wedge \lnot q) \wedge } \Diamond {p \wedge } \Diamond {\lnot q}¬◊(p∧¬q)∧◊p∧◊¬q. We explore the logical properties of this conditional in (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  26.  28
    An Algebraic Investigation of the Connexive Logic C\textsf{C}.Davide Fazio & Sergei P. Odintsov - 2023 - Studia Logica 112 (1):37-67.
    In this paper we show that axiomatic extensions of H. Wansing’s connexive logic C\textsf{C} ( C\textsf{C}^{\perp } ) are algebraizable (in the sense of J.W. Blok and D. Pigozzi) with respect to sub-varieties of C\textsf{C} ( C\textsf{C}^{\perp } )-algebras. We develop the structure theory of C\textsf{C} ( C\textsf{C}^{\perp } )-algebras, and we prove their representability in terms of twist-like constructions over implicative lattices (Heyting algebras). As a consequence, we further clarify the relationship between the aforementioned classes. Finally, taking advantage (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  27.  21
    Neutralization, Lewis‘ Doctored Conditional, or Another Note on "A Connexive Conditional".Eric Raidl - 2023 - Logos and Episteme 14 (1):101-118.
    Günther recently suggested a 'new‘ conditional. This conditional is not new, as already remarked by Wansing and Omori. It is just David Lewis‘ forgotten alternative 'doctored‘ conditional and part of a larger class termed neutral conditionals. In this paper, I answer some questions raised by Wansing and Omori, concerning the motivation, the logic, the connexive flavor and contra-classicality of such neutralized conditionals. The main message being: Neutralizing a vacuist conditional avoids (some) paradoxes of strict implication, changes the logic (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  28.  36
    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, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  29.  5
    Consequential Implication and the Implicative Conditional.Gilberto Gomes, Claudio Pizzi & Eric Raidl - forthcoming - Logic and Logical Philosophy:1-44.
    This paper compares two logical conditionals which are strengthenings of the strict conditional and avoid the paradoxes of strict implication. The logics of both may be viewed as extensions of KT, and the two conditionals are interdefinable in KT. The implicative conditional requires that its antecedent and consequent be both contingent. The consequential conditional may be viewed as a weakening of the implicative conditional, insofar as it also admits the case in which the antecedent and the consequent are strictly (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  39
    Contenability and the Logic of Consequential Implication.Claudio Pizzi - 2004 - Logic Journal of the IGPL 12 (6):561-579.
    The aim of the paper is to outline a treatment of cotenability inspired by a perspective which had strong roots in ancient logic since Chrysippus and was partially recovered in the XX Century by E. Nelson and the exponents of so-called connexive logic. Consequential implication is a modal reinterpretation of connexive implication which permits a simple reconstruction of Aristotle's square of conditionals, in which proper place is given not only to ordinary cotenability between A and B, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  31.  11
    Dummett’s Theory of Truth as a Source of Connexivity.Alex Belikov & Evgeny Loginov - forthcoming - Studia Logica:1-34.
    In his seminal paper ‘Truth’, M. Dummett considered negated conditional statements as one of the main motivations for introducing a three-valued logical framework. He left a sketch of an implication connective that, as we observe, shares some intuitions with Wansing-style account for connexivity. In this article, we discuss Dummett’s ‘unfinished’ implication and suggest two possible reconstructions of it. One of them collapses into implication from W. Cooper’s ‘Logic of Ordinary Discourse’ OL\textbf{OL} and J. Cantwell’s ‘Logic of Conditional (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32.  25
    Some Remarks on the Logic of Probabilistic Relevance.Davide Fazio & Raffaele Mascella - 2024 - Logic and Logical Philosophy 33 (1):101-144.
    In this paper we deepen some aspects of the statistical approach to relevance by providing logics for the syntactical treatment of probabilistic relevance relations. Specifically, we define conservative expansions of Classical Logic endowed with a ternary connective ⇝ - indeed, a constrained material implication - whose intuitive reading is “x materially implies y and it is relevant to y under the evidence z”. In turn, this ensures the definability of a formula in three-variables R(x, z, y) which is the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  34
    Kilwardby's 55th Lesson.Wolfgang Lenzen - 2020 - Logic and Logical Philosophy 29 (4):485-504.
    In “Lectio 55” of his Notule libri Priorum, Robert Kilwardby discussed various objections that had been raised against Aristotle’s Theses. The first thesis, AT1, says that no proposition q is implied both by a proposition p and by its negation, ∼p. AT2 says that no proposition p is implied by its own negation. In Prior Analytics, Aristotle had shown that AT2 entails AT1, and he argued that the assumption of a proposition p such that (∼p → p) would be “absurd”. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  34. Stoic Sequent Logic and Proof Theory.Susanne Bobzien - 2019 - History and Philosophy of Logic 40 (3):234-265.
    This paper contends that Stoic logic (i.e. Stoic analysis) deserves more attention from contemporary logicians. It sets out how, compared with contemporary propositional calculi, Stoic analysis is closest to methods of backward proof search for Gentzen-inspired substructural sequent logics, as they have been developed in logic programming and structural proof theory, and produces its proof search calculus in tree form. It shows how multiple similarities to Gentzen sequent systems combine with intriguing dissimilarities that may enrich contemporary discussion. Much of Stoic (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  35.  27
    Improving Strong Negation.Satoru Niki - 2023 - Review of Symbolic Logic 16 (3):951-977.
    Strong negation is a well-known alternative to the standard negation in intuitionistic logic. It is defined virtually by giving falsity conditions to each of the connectives. Among these, the falsity condition for implication appears to unnecessarily deviate from the standard negation. In this paper, we introduce a slight modification to strong negation, and observe its comparative advantages over the original notion. In addition, we consider the paraconsistent variants of our modification, and study their relationship with non-constructive principles and connexivity.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36.  2
    Note on Contradictions in Francez-Weiss Logics.Satoru Niki - forthcoming - Logic and Logical Philosophy:1-30.
    It is an unusual property for a logic to prove a formula and its negation without ending up in triviality. Some systems have nonetheless been observed to satisfy this property: one group of such non-trivial negation inconsistent logics has its archetype in H. Wansing’s constructive connexive logic, whose negation-implication fragment already proves contradictions. N. Francez and Y. Weiss subsequently investigated relevant subsystems of this fragment, and Weiss in particular showed that they remain negation inconsistent. In this note, we (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37. Logics of Nonsense and Parry Systems.Thomas Macaulay Ferguson - 2015 - Journal of Philosophical Logic 44 (1):65-80.
    We examine the relationship between the logics of nonsense of Bochvar and Halldén and the containment logics in the neighborhood of William Parry’s A I. We detail two strategies for manufacturing containment logics from nonsense logics—taking either connexive and paraconsistent fragments of such systems—and show how systems determined by these techniques have appeared as Frederick Johnson’s R C and Carlos Oller’s A L. In particular, we prove that Johnson’s system is precisely the intersection of Bochvar’s B 3 and Graham (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   34 citations  
  38.  20
    A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions.Juan Manuel Cornejo & Hanamantagouda P. Sankappanavar - 2022 - Bulletin of the Section of Logic 51 (4):555-645.
    The variety DHMSH\mathbb{DHMSH} of dually hemimorphic semi-Heyting algebras was introduced in 2011 by the second author as an expansion of semi-Heyting algebras by a dual hemimorphism. In this paper, we focus on the variety DHMSH\mathbb{DHMSH} from a logical point of view. The paper presents an extensive investigation of the logic corresponding to the variety of dually hemimorphic semi-Heyting algebras and of its axiomatic extensions, along with an equally extensive universal algebraic study of their corresponding algebraic semantics. Firstly, we present a (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  39.  36
    A Dialectic Contra-Classical Logic.Nissim Francez - 2023 - Logica Universalis 17 (2):221-229.
    The paper presents a contra-classical dialectic logic, inspired and motivated by Hegel s dialectics. Its axiom schemes are 0.1 Thus, in a sense, this dialectic logic is a kind of “mirror image“ of connexive logic. The informal interpretation of ‘ \rightarrow ’ emerging from the above four axiom schemes is not of a conditional (or implication); rather, it is the relation of determination in the presence of truth-value gaps: φψ\varphi \rightarrow \psi is read as φ\varphi (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  40.  79
    Secrets and Narrative Sequence.Frank Kermode - 1980 - Critical Inquiry 7 (1):83-101.
    The capacity of narrative to submit to the desires of this or that mind without giving up secret potential may be crudely represented as a dialogue between story and interpretation. This dialogue begins when the author puts pen to paper and it continues through every reading that is not merely submissive. In this sense we can see without too much difficulty that all narrative, in the writing and the reading, has something in common with the continuous modification of text that (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  41.  55
    Logical Consequence in Avicenna’s Theory.Saloua Chatti - 2019 - Logica Universalis 13 (1):101-133.
    In this paper I examine Avicenna’s conception of the consequence relation. I will consider in particular his categorical and hypothetical logics. I will first analyse his definition of the implication and will show that this relation is not a consequence relation in his frame. Unlike the medieval logicians, he does not distinguish explicitly between material and formal consequences. The arguments discussed in al-Qiyās, where the conclusion is true only in some matters, and would seem close to a material consequence (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  42.  5
    On Nelson’s conception of consistency.Wolfgang Lenzen - forthcoming - Logic Journal of the IGPL.
    This paper scrutinizes Everett Nelson's conception of consistency by comparing it with the “standard” account of C. I. Lewis. This conflict surprisingly resembles a related controversy between the ancient logicians Chrysippus and Diodorus. Nelson's intuitions behind his peculiar conception of consistency are analysed and certain features of his logical system are critically examined. In particular, his objections against the law of the transitivity of implication and against the laws of conjunction and disjunction have to be discussed. Although Nelson's considerations (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43.  15
    The Principle of Explosion in the Stoic Logic.Marcin Tkaczyk - 2024 - Logic and Logical Philosophy 33 (2):325-345.
    I argue that the Stoic logic is explosive. The claim applies to the Stoics' syllogistic in the strictest sense, because there is a provable syllogism which qualifies as a principle of explosion. It applies also to the general consequence operation, in the sense that every sentence is derivable from any pair containing both a sentence and the negation of the sentence. Finally, it applies to the connective of implication (conditional), in the sense that any conditional is derivable, providing its (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44. Catégorisation et processus de qualification: Contextes, circonstances et activités connexes.Circonstances Et Activités Connexes Contextes - 2008 - In Frank Alvarez-Pereyre, Catégories et catégorisation: une perspective interdisciplinaire. Dudley, MA: Peeters. pp. 213.
  45.  36
    RASMUSEN, ERIC, Folk Theorems for the Observable Implications of Repeated.Implications of Repeated Games - 1992 - Theory and Decision 32:147-164.
  46.  13
    Brian O'Shaughnessy.Implications of Dual Aspectism - 2003 - In Johannes Roessler & Naomi Eilan, Agency and Self-Awareness: Issues in Philosophy and Psychology. New York: Oxford University Press.
    Direct download  
     
    Export citation  
     
    Bookmark  
  47. Critical period, 241-242.Implications Test - 1997 - In M. McCallum & W. Piper, Psychological Mindedness: A Contemporary Understanding. Lawrence Erlbaum. pp. 59--271.
  48. Mary Ann G. Cutter.Local Bioethical Discourse: Implications - 2002 - In Julia Lai Po-Wah Tao, Cross-cultural perspectives on the (im) possibility of global bioethics. Boston: Kluwer Academic.
     
    Export citation  
     
    Bookmark  
  49. Strong Connexivity.Andreas Kapsner - 2012 - Thought: A Journal of Philosophy 1 (2):141-145.
    Connexive logics aim to capture important logical intuitions, intuitions that can be traced back to antiquity. However, the requirements that are imposed on connexive logic are actually not enough to do justice to these intuitions, as I will argue. I will suggest how these demands should be strengthened.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  50. Yu kam Por. Self-Ownership & Its Implications for Bioethics 197 - 2002 - In Julia Lai Po-Wah Tao, Cross-cultural perspectives on the (im) possibility of global bioethics. Boston: Kluwer Academic.
     
    Export citation  
     
    Bookmark  
1 — 50 / 943