Schluss und Umkehrschluss: Ein Beitrag zur Definitionstheorie

DSpace Repository


Dateien:

URI: http://hdl.handle.net/10900/130948
http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-1309485
http://dx.doi.org/10.15496/publikation-72308
Dokumentart: Article
Date: 2011
Source: Lebenswelt und Wissenschaft. XXI. Deutscher Kongreß für Philosophie, 15.-19. September 2008 an der Universität Duisburg-Essen. Kolloquienbeiträge. Hrsg. von Carl Friedrich Gethmann in Verbindung mit J. Carl Bottek und Susanne Hiekel. (= Deutsches Jahrbuch Philosophie. Hrsg. im Auftrag der Deutschen Gesellschaft für Philosophie, Band 2.) Hamburg: Felix Meiner Verlag 2011, S. 1065-1092
Language: German
Faculty: 5 Philosophische Fakultät
Department: Philosophie
DDC Classifikation: 004 - Data processing and computer science
100 - Philosophy
Keywords: Logik , Schluss , Umkehrschluss , Definition , Negation
Other Keywords: Beweistheoretische Semantik
Logic
inference
reverse inference
definition
negation
proof-theoretic semantics
ISBN: 978-3-7873-1943-5
License: http://tobias-lib.uni-tuebingen.de/doku/lic_ohne_pod.php?la=de http://tobias-lib.uni-tuebingen.de/doku/lic_ohne_pod.php?la=en
Show full item record

Inhaltszusammenfassung:

Im Rahmen eines Ansatzes, der Definitionen als Regelsysteme versteht, wird diskutiert, welche Konzeptionen sich ergeben, wenn man die Richtung der Regeln umkehrt. Einmal werden Umkehrschlüsse aufgrund negativer Information untersucht und deren Beziehung zum traditionellen logischen Quadrat hergestellt. Dann werden zu regellogisch definierten Begriffen entsprechende duale Begriffe defininiert und damit die Idee von zueinander dualen Aussagenoperatoren verallgemeinert. Schließlich werden zu den definitionstheoretischen Begriffen der "Zulässigkeit" und "Inversion" Umkehrungen untersucht, die man "Co-Zulässigkeit" und "Co-Inversion" nennen kann und die eine originelle Erweiterung der beweistheoretischen Semantik von Begriffen darstellen.

This item appears in the following Collection(s)