| dc.contributor.author |
Schroeder-Heister, Peter |
|
| dc.date.accessioned |
2022-08-16T10:55:11Z |
|
| dc.date.available |
2022-08-16T10:55:11Z |
|
| dc.date.issued |
1982 |
|
| dc.identifier.issn |
0010-5155 |
|
| dc.identifier.uri |
http://hdl.handle.net/10900/130944 |
|
| dc.identifier.uri |
http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-1309441 |
de_DE |
| dc.identifier.uri |
http://dx.doi.org/10.15496/publikation-72304 |
|
| dc.description.abstract |
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. |
de_DE |
| dc.language.iso |
de |
de_DE |
| dc.publisher |
Universität Tübingen |
de_DE |
| dc.rights |
ubt-podno |
de_DE |
| dc.rights.uri |
http://tobias-lib.uni-tuebingen.de/doku/lic_ohne_pod.php?la=de |
de_DE |
| dc.rights.uri |
http://tobias-lib.uni-tuebingen.de/doku/lic_ohne_pod.php?la=en |
en |
| dc.subject.classification |
Aussagenlogik , Logische Partikel |
de_DE |
| dc.subject.ddc |
004 |
de_DE |
| dc.subject.ddc |
100 |
de_DE |
| dc.subject.other |
Beweistheoretische Semantik |
de_DE |
| dc.subject.other |
Kalkül des natürlichen Schließens |
de_DE |
| dc.subject.other |
Logical connective |
en |
| dc.subject.other |
Propositional logic |
en |
| dc.subject.other |
Proof-theoretic semantics |
en |
| dc.subject.other |
Calculus of natural deduction |
en |
| dc.title |
Logische Konstanten und Regeln. Zur Deutung von Aussagenoperatoren |
de_DE |
| dc.type |
Article |
de_DE |
| utue.publikation.fachbereich |
Philosophie |
de_DE |
| utue.publikation.fakultaet |
5 Philosophische Fakultät |
de_DE |
| utue.publikation.source |
Conceptus. Zeitschrift für Philosophie 16 (1982), 45–59 |
de_DE |
| utue.publikation.noppn |
yes |
de_DE |
