Repository | Book | Chapter
(2013) Paraconsistency, Dordrecht, Springer.
I introduce and motivate a conditional logic based on the substructural system HL from Paoli (Substructural logics: a primer, Kluwer, Dordrecht, 2002). Its hallmark is the presence of three logical levels (each one of which contains its own conditional connective), linked to one another by means of appropriate distribution principles. Such a theory brings about a twofold benefit: on the one hand, it yields a new classification of conditionals where the traditional dichotomies (indicative vs subjunctive, factual vs counterfactual) do not play a decisive role; on the other hand, it allows to retain suitable versions of both substitution of provable equivalents and simplification of disjunctive antecedents, while still keeping out such debatable principles as transitivity, monotonicity, and contraposition.
Publication details
DOI: 10.1007/978-94-007-4438-7_11
Full citation:
Paoli, F. (2013)., A paraconsistent and substructural conditional logic, in K. Tanaka, F. Berto, E. D. Mares & F. Paoli (eds.), Paraconsistency, Dordrecht, Springer, pp. 173-198.
This document is unfortunately not available for download at the moment.