Metodo

International Studies in Phenomenology and Philosophy

Series | Book | Chapter

191928

A paraconsistent and substructural conditional logic

Francesco Paoli

pp. 173-198

Abstract

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

Published in:

Tanaka Koji, Berto Francesco, Mares Edwin D., Paoli Francesco (2013) Paraconsistency: logic and applications. Dordrecht, Springer.

Pages: 173-198

DOI: 10.1007/978-94-007-4438-7_11

Full citation:

Paoli Francesco (2013) „A paraconsistent and substructural conditional logic“, In: K. Tanaka, F. Berto, E. D. Mares & F. Paoli (eds.), Paraconsistency, Dordrecht, Springer, 173–198.