Investigations into the logical foundations of defeasible reasoning

Abstract

Anfechtbares Schließen ist eine Form des Schlussfolgern, bei der manche Schlüsse nur vorläufig gezogen werden. Es wurde unter Verwendung vieler verschiedener Formalismen untersucht, die oft schwer zu vergleichen sind. Formale Argumentation bietet eine Möglichkeit, die Unterschiede und Gemeinsamkeiten dieser verschiedenen Formalismen zu untersuchen. Darüber hinaus bietet die formale Argumentationstheorie einen intuitiven Zugang zum anfechtbaren Schließen. Die Forschung, die in dieser Arbeit präsentiert wird, leistet einen Beitrag zu den logischen Grundlagen der strukturierten Argumentationstheorie als einer vereinheitlichenden formalen Theorie des anfechtbaren Schließens. In Teil I und Teil II untersuche ich die Beziehungen zwischen verschiedenen Formalismen für das anfechtbare Schließen unter Berücksichtigung einer überwiegend argumentationstheoretischen Perspektive. Im abschließenden Teil dieser Arbeit wird die Rationalität der strukturierten Argumentation untersucht.