Proof-theoretic versus Model-theoretic Consequence

DSpace Repository

Proof-theoretic versus Model-theoretic Consequence

Schroeder-Heister, Peter
Dateien:
Thumbnail
151. KB
PDF
URI: http://hdl.handle.net/10900/129464
http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-1294645
http://dx.doi.org/10.15496/publikation-70827
Dokumentart: Article
Date: 2008
Source: The Logica Yearbook 2007, ed. by Michal Peliš, Prague: Filosofia 2008, pp. 187-200
Language: English
Faculty: 7 Mathematisch-Naturwissenschaftliche Fakultät
Department: Informatik
DDC Classifikation: 004 - Data processing and computer science
100 - Philosophy
Keywords: Logik , Beweistheorie , Modelltheorie , Folgerung
Other Keywords:
Logic
Proof Theory
Model Theory
Logical Consequence
ISBN: 978-80-7007-281-3
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:

Model-theoretic and proof-theoretic notions of logical consequence are compared. According to standard semantics, they rely on the idea of the transmission of a categorical concept (truth, canonical provability) from the premisses to the conclusion of a hypothetical consequence statement. It is argued that the hypothetical should be given conceptual priority over the categorical, which for formal systems means a conceptual preference of the sequent calculus over the calculus of natural deduction.

This item appears in the following Collection(s)