Logische Konstanten und Regeln. Zur Deutung von Aussagenoperatoren

DSpace Repository

Show simple item record

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

Dateien:

This item appears in the following Collection(s)

Show simple item record