The Categorical and the Hypothetical: An Inferentialist Critique of the Transmission View of Consequence

DSpace Repository


Dateien:

URI: http://hdl.handle.net/10900/129451
http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-1294513
http://dx.doi.org/10.15496/publikation-70814
http://nbn-resolving.org/urn:nbn:de:bsz:21-dspace-1294513
http://nbn-resolving.org/urn:nbn:de:bsz:21-dspace-1294515
Dokumentart: Other
Date: 2008
Language: English
Faculty: 7 Mathematisch-Naturwissenschaftliche Fakultät
Department: Informatik
DDC Classifikation: 004 - Data processing and computer science
100 - Philosophy
Keywords: Logik , Beweistheorie , Hypothese , Folgerung
Other Keywords: Inferentialismus
Beweistheoretische Semantik
Hypothesis
Consequence
Inferentialism
Proof-Theoretic Semantics
Proof Theory
Logik
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

Inhaltszusammenfassung:

Dieser Artikel wurde für ein nicht zustandegekommenes Sonderheft der Zeitschrift "Erkenntnis" über den inferentialistischen Zugang zur formalen Logik konzipiert. Er kritisiert traditionelle Begriffe der (logischen) Folgerung, die den Folgerungsbegriff auf den Wahrheits- oder Gültigkeitsbegriff zurückführen, und proklamiert stattdessen einen Ansatz, wonach der Folgerungsbegriff gegenüber dem Wahrheitsbegriff primär ist.

Abstract:

This paper was written for a special issue of the journal "Erkenntnis" on the inferentialist approach to formal logic that did not materialise. It criticises standard approaches that understand consequence as transmission of truth or validity from premisses to conclusion, and instead puts forward an approach according to which consequence is the primary concept.

This item appears in the following Collection(s)