THE LOGIC OF THE EVIDENTIAL CONDITIONAL

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.

Automated summary

This paper presents a sound and complete system of conditional logic, which is based on Chrysippus' idea and accommodates the analysis proposed by Crupi and Iacona. The soundness and completeness proofs rely on a general method elaborated by Raidl, applicable to various systems of conditional logic.