Journal
REVIEW OF SYMBOLIC LOGIC
Volume 15, Issue 3, Pages 758-770Publisher
CAMBRIDGE UNIV PRESS
DOI: 10.1017/S1755020321000071
Keywords
evidential conditional; contraposition; right weakening; conditional logic; connexive logic; completeness
Categories
Funding
- Deutsche Forschungsgemeinschaft (DFG, Germ Research Foundation) under Germany's Excellence Strategy-EXC 2064/1 [390727645]
Ask authors/readers for more resources
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.
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.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available