Literatur vom gleichen Autor/der gleichen Autor*in
plus bei Google Scholar

Bibliografische Daten exportieren
 

Proof Theories for Superpositions of Adaptive Logics

Titelangaben

Straßer, Christian ; van de Putte, Frederik:
Proof Theories for Superpositions of Adaptive Logics.
In: Logique et Analyse. (2012) Heft 230 . - S. 307-346.
ISSN 2295-5836
DOI: https://doi.org/10.2143/LEA.230.0.3141812

Abstract

The standard format for adaptive logics offers a generic and unifying formal framework for defeasible reasoning forms. One of its main distinguishing features is a dynamic proof theory by means of which it is able to explicate actual reasoning. In many applications it has proven very useful to superpose sequences of adaptive logics, such that each logic treats the consequence set of its predecessor as premise set. Although attempts have been made to define dynamic proof theories for some of the resulting logics, no generic proof theory is available yet. Moreover, the existing proof theories for concrete superpositions are suboptimal in various respects: the derivability relations characterized by these proposals are often not adequate with respect to the consequence relation of the superposed adaptive logics and in some cases they even trivialize premise sets. An adequate and generic proof theory is needed in order to meet the requirement of explicating defeasible reasoning in terms of superpositions of adaptive logics. This paper presents two generic proof theories for superpositions of adaptive logics in standard format. By means of simple examples, the basic ideas behind these proof theories are illustrated and it is shown how the older proposals are inadequate.

Weitere Angaben

Publikationsform: Artikel in einer Zeitschrift
Begutachteter Beitrag: Ja
Institutionen der Universität: Fakultäten > Kulturwissenschaftliche Fakultät
Fakultäten > Kulturwissenschaftliche Fakultät > Institut für Philosophie
Fakultäten > Kulturwissenschaftliche Fakultät > Institut für Philosophie > Lehrstuhl Philosophie I
Fakultäten
Titel an der UBT entstanden: Nein
Themengebiete aus DDC: 100 Philosophie und Psychologie
100 Philosophie und Psychologie > 100 Philosophie
100 Philosophie und Psychologie > 160 Logik
Eingestellt am: 27 Nov 2018 07:49
Letzte Änderung: 27 Nov 2018 07:49
URI: https://eref.uni-bayreuth.de/id/eprint/46390