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

DSpace Repositorium (Manakin basiert)


Dateien:

Zitierfähiger Link (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
Dokumentart: Verschiedenartige Ressourcen, nicht textgeprägt
Erscheinungsdatum: 2008
Sprache: Englisch
Fakultät: 7 Mathematisch-Naturwissenschaftliche Fakultät
Fachbereich: Informatik
DDC-Klassifikation: 004 - Informatik
100 - Philosophie
Schlagworte: Logik , Beweistheorie , Hypothese , Folgerung
Freie Schlagwörter: Inferentialismus
Beweistheoretische Semantik
Hypothesis
Consequence
Inferentialism
Proof-Theoretic Semantics
Proof Theory
Logik
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

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.

Das Dokument erscheint in: