Paradoxes and Structural Rules

DSpace Repositorium (Manakin basiert)

Paradoxes and Structural Rules

Schroeder-Heister, Peter
Dateien:
Thumbnail
386. KB
PDF
Zitierfähiger Link (URI): http://hdl.handle.net/10900/129461
http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-1294610
http://dx.doi.org/10.15496/publikation-70824
Dokumentart: Wissenschaftlicher Artikel
Erscheinungsdatum: 2012
Originalveröffentlichung: Insolubles and Consequences. Essays in Honour of Stephen Read. Ed. by Catarina Dutilh Novaes & Ole Thomassen Hjortland. London: College Publications 2012, pp. 203-211.
Sprache: Englisch
Fakultät: 7 Mathematisch-Naturwissenschaftliche Fakultät
Fachbereich: Informatik
DDC-Klassifikation: 004 - Informatik
100 - Philosophie
Schlagworte: Logik , Beweistheorie
Freie Schlagwörter: Beweistheoretische Semantik
Paradoxien
Strukturregeln
Proof Theory
Proof-theoretic Semantics
Logic
Paradoxes
Structural Rules
ISBN: 978-1-84890-086-8
Lizenz: http://tobias-lib.uni-tuebingen.de/doku/lic_mit_pod.php?la=de http://tobias-lib.uni-tuebingen.de/doku/lic_mit_pod.php?la=en
Gedruckte Kopie bestellen: Print-on-Demand
Zur Langanzeige

Abstract:

The derivation of many paradoxes can be blocked, if the application of structural rules is locally restricted in certain ways. This is shown independently for identity, contraction, and cut. Imposing such local restrictions is seen as an alternative to the global rejection of structural rules (notably contraction), which is no reasonable option given that structural rules are needed in mathematical reasoning.

Das Dokument erscheint in: