New Arguments for Adaptive Logics as Unifying Frame for the Defeasible Handling of Inconsistency [chapter]

Diderik Batens
2012 Paraconsistency: Logic and Applications  
Nearly all popular reasoning forms that handle inconsistencies in a defeasible way have been characterized in terms of inconsistency-adaptive logics in standard format. This format has great advantages, which are explained in Sections 1 and 2. This suggests that inconsistency-adaptive logics form a suitable unifying framework for handling such reasoning forms. I shall present four new arguments in favour of this suggestion. (i) Identifying equivalent premise sets proceeds along familiar lines
more » ... d is much easier than for many other formats. (ii) Inconsistency-adaptive logics offer maximally consistent interpretations by themselves, without requiring tinkering from their user. (iii) Characterization in terms of inconsistencyadaptive logics offers easy extensions and variations (a fascinating new type of example will be given). (iv) Inconsistency-adaptive logics allow for axiomatizations that identify a set of isomorphic models and enable one to describe inconsistent models in an unambiguous way. WCP4_1.tex -December 23, 2008
doi:10.1007/978-94-007-4438-7_7 dblp:series/leus/Batens13 fatcat:larzfywh3ra5varfm5wvd3txoy