Logische Konstanten und Regeln. Zur Deutung von Aussagenoperatoren

DSpace Repository

Logische Konstanten und Regeln. Zur Deutung von Aussagenoperatoren

Schroeder-Heister, Peter
Dateien:
Thumbnail
1.10 MB
PDF
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
http://nbn-resolving.org/urn:nbn:de:bsz:21-dspace-1309448
http://nbn-resolving.org/urn:nbn:de:bsz:21-dspace-1309442
Dokumentart: Article
Date: 1982
Source: Conceptus. Zeitschrift für Philosophie 16 (1982), 45–59
Language: German
Faculty: 5 Philosophische Fakultät
Department: Philosophie
DDC Classifikation: 004 - Data processing and computer science
100 - Philosophy
Keywords: Aussagenlogik , Logische Partikel
Other Keywords: Beweistheoretische Semantik
Kalkül des natürlichen Schließens
Logical connective
Propositional logic
Proof-theoretic semantics
Calculus of natural deduction
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:

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.

This item appears in the following Collection(s)