Consequential implication and the implicative conditional

DOI10.12775/LLP.2025.001MaRDI QIDQ6919582zbMATH OpenFDO

Authors Gilberto Gomes, Claudio Pizzi, Eric Raidl

Publication date 8 October 2025

Published in Logic and Logical Philosophy (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NoDerivs 4.0 International

Full work available at URL https://doi.org/10.12775/LLP.2025.001

zbMATH Keywords

Aristotle's thesisBoethius' thesisconnexivityconsequential implicationcontrapositiondefinable conditionalsimplicative conditionalsquare of oppositionsstrong super-strict implication

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45)

Cites work

• A propositional logic with subjunctive conditionals
• An axiomatic system for concessive conditionals
• An introduction to Boethian logics
• Aristotle's thesis in consistent and inconsistent logics
• Axioms for a Logic of Consequential Counterfactuals
• Basic conditional logic
• Completeness for counter-doxa conditionals -- using ranking semantics
• Connexive implication
• Connexive logic, connexivity, and connexivism: remarks on terminology
• Counterfactuals.
• Decision procedures for logics of consequential implication
• Definable conditionals
• Difference-making conditionals and connexivity
• DIFFERENCE-MAKING CONDITIONALS AND THE RELEVANT RAMSEY TEST
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 3537647 (Why is no real title available?)
• scientific article; zbMATH DE number 3587012 (Why is no real title available?)
• scientific article; zbMATH DE number 3993533 (Why is no real title available?)
• Modal logic with subjunctive conditionals and dispositional predicates
• Negation as cancellation, and connexive logic
• Negation as cancellation, connexive logic, and qLPm
• On the logical form of concessive conditionals
• Proof systems for super-strict implication
• Quick completeness proofs for some logics of conditionals
• Semantics for connexive logics. I
• Strengthened conditionals
• Strong Boethius' thesis and consequential implication
• Super-strict implications
• The implicative conditional
• THE LOGIC OF THE EVIDENTIAL CONDITIONAL
• The third and fourth Stoic account of conditionals
• Three conditionals: contraposition, difference-making and dependency
• Threshold-Based Belief Change
• Two kinds of consequential implication
• VI.—NECESSARY PROPOSITIONS AND ENTAILMENT-STATEMENTS

Cited in

(2)

• Counterexamples to import-export in conditionals: a logical analysis
• Logics of import and export for the implicative conditional

This page was built for publication: Consequential implication and the implicative conditional

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6919582)