Schluss und Umkehrschluss: Ein Beitrag zur Definitionstheorie

DSpace Repositorium (Manakin basiert)

Schluss und Umkehrschluss: Ein Beitrag zur Definitionstheorie

Schroeder-Heister, Peter
Dateien:
Thumbnail
1.66 MB
PDF
Zitierfähiger Link (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: Wissenschaftlicher Artikel
Erscheinungsdatum: 2011
Originalveröffentlichung: 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
Sprache: Deutsch
Fakultät: 5 Philosophische Fakultät
Fachbereich: Philosophie
DDC-Klassifikation: 004 - Informatik
100 - Philosophie
Schlagworte: Logik , Schluss , Umkehrschluss , Definition , Negation
Freie Schlagwörter: Beweistheoretische Semantik
Logic
inference
reverse inference
definition
negation
proof-theoretic semantics
ISBN: 978-3-7873-1943-5
Lizenz: 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
Zur Langanzeige

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.

Das Dokument erscheint in: