Logische Konstanten und Regeln. Zur Deutung von Aussagenoperatoren

DSpace Repositorium (Manakin basiert)

Logische Konstanten und Regeln. Zur Deutung von Aussagenoperatoren

Schroeder-Heister, Peter
Dateien:
Thumbnail
1.10 MB
PDF
Zitierfähiger Link (URI): http://hdl.handle.net/10900/130944
http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-1309441
http://dx.doi.org/10.15496/publikation-72304
Dokumentart: Wissenschaftlicher Artikel
Erscheinungsdatum: 1982
Originalveröffentlichung: Conceptus. Zeitschrift für Philosophie 16 (1982), 45–59
Sprache: Deutsch
Fakultät: 5 Philosophische Fakultät
Fachbereich: Philosophie
DDC-Klassifikation: 004 - Informatik
100 - Philosophie
Schlagworte: Aussagenlogik , Logische Partikel
Freie Schlagwörter: Beweistheoretische Semantik
Kalkül des natürlichen Schließens
Logical connective
Propositional logic
Proof-theoretic semantics
Calculus of natural deduction
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:

Es wird eine Erweiterung des Ableitungsbegriffs des Kalküls des natürlichen Schließens um Regeln höherer Stufe vorgeschlagen. Diese Erweiterung erlaubt es, ein allgemeines Schema für Einführungs- und Beseitigungsregeln von Aussagenoperatoren zu formulieren. Nach dieser Deutung können Regeln als Annahmen und somit als Bestandteile von Argumenten fungieren. Dieser Ansatz löst gewissen Probleme eines von Dag Prawitz vorgeschlagenen Ansatzes allgemeiner Regeln.

Das Dokument erscheint in: