Dag Prawitz on Proofs and Meaning

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Wansing, Heinrich (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2015.
• Σειρά: Outstanding Contributions to Logic, 7
• Θέματα: Philosophy.; Logic.; Computer logic.; Mathematical logic.; Mathematical Logic and Foundations.; Logics and Meanings of Programs.

This volume is dedicated to Prof. Dag Prawitz and his outstanding contributions to philosophical and mathematical logic. Prawitz's eminent contributions to structural proof theory, or general proof theory, as he calls it, and inference-based meaning theories have been extremely influential in t...

Πίνακας περιεχομένων:

• Prawitz, proofs, and meaning; Wansing, Heinrich
• A short scientific autobiography; Prawitz, Dag
• Explaining deductive inference; Prawitz, Dag
• Necessity of Thought; Cozzo, Cesare
• On the Motives for Proof Theory; Detlefsen, Michael
• Inferential Semantics; Došen, Kosta
• Cut elimination, substitution and normalization; Dyckhoff, Roy
• Inversion principles and introduction rules; Milne, Peter
• Intuitionistic Existential Instantiation and Epsilon Symbol; Mints, Grigori
• Meaning in Use; Negri, Sara and von Plato, Jan
• Fusing Quantifiers and Connectives: Is Intuitionistic Logic Different?; Pagin, Peter
• On constructive fragments of Classical Logic; Pereira; Luiz Carlos and Haeusler, Edward Hermann
• General-Elimination Harmony and Higher-Level Rules; Read, Stephen
• Hypothesis-discharging rules in atomic bases; Sandqvist, Tor
• Harmony in proof-theoretic semantics: A reductive analysis; Schroeder-Heister, Peter
• First-order Logic without bound variables: Compositional Semantics; Tait, William W
• On Gentzen’s Structural Completeness Proof; Tennant, Neil
• A Notion of C-Justification for Empirical Statements; Usberti, Gabriele.