THE LOGIC OF THE EVIDENTIAL CONDITIONAL
Éric Raidl, Andrea Iacona, Vincenzo Crupi
Abstract
Abstract In some recent works, Crupi and Iacona proposed an analysis of ‘if’ based on Chrysippus’ idea that a conditional holds whenever the negation of its consequent is incompatible with its antecedent. This paper presents a sound and complete system of conditional logic that accommodates their analysis. The soundness and completeness proofs that will be provided rely on a general method elaborated by Raidl, which applies to a wide range of systems of conditional logic.
Topics & Concepts
SoundnessCompleteness (order theory)NegationAntecedent (behavioral psychology)Mathematical proofComputer scienceRange (aeronautics)MathematicsTheoretical computer scienceArtificial intelligenceAlgorithmCalculus (dental)Programming languagePsychologyEngineeringMedicineMathematical analysisDevelopmental psychologyAerospace engineeringDentistryGeometryLogic, Reasoning, and KnowledgeAdvanced Algebra and LogicLogic, programming, and type systems