Paradoxes and Structural Rules

DSpace Repository


Dateien:

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: Article
Date: 2012
Source: Insolubles and Consequences. Essays in Honour of Stephen Read. Ed. by Catarina Dutilh Novaes & Ole Thomassen Hjortland. London: College Publications 2012, pp. 203-211.
Language: English
Faculty: 7 Mathematisch-Naturwissenschaftliche Fakultät
Department: Informatik
DDC Classifikation: 004 - Data processing and computer science
100 - Philosophy
Keywords: Logik , Beweistheorie
Other Keywords: Beweistheoretische Semantik
Paradoxien
Strukturregeln
Proof Theory
Proof-theoretic Semantics
Logic
Paradoxes
Structural Rules
ISBN: 978-1-84890-086-8
License: 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
Order a printed copy: Print-on-Demand
Show full item record

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.

This item appears in the following Collection(s)