Peter Schroeder-Heister on Proof-Theoretic Semantics

• Autore: Piecha Thomas
• Pubblicazione: Cham : , : Springer, , 2024; ©2024
• Edizione: 1st ed.
• Descrizione fisica: 1 online resource (465 pages)
• Altri autori: WehmeierKai F
• Nota di contenuto: Intro -- Preface -- Contents -- List of Contributors -- Proof-Theoretic Semantics: An Autobiographical Survey -- Grundlagen der Arithmetik, 17: Part 1. Frege's Anticipation of the Deduction Theorem∗ -- Frege's Class Theory and the Logic of Sets -- The Validity of Inference and Argument∗ -- Kolmogorov and the General Theory of Problems -- Disjunctive Syllogism without Ex falso -- The Logicality of Equality -- Eight Rules for Implication Elimination -- Focusing Gentzen's LK Proof System -- Intensional Harmony as Isomorphism -- A Note on Synonymy in Proof-Theoretic Semantics -- Paradoxes, Intuitionism, and Proof-Theoretic Semantics -- On the Structure of Proofs -- Truth-Value Constants in Multi-Valued Logics -- Counterfactual Assumptions and Counterfactual Implications -- Some Set-Theoretic Reduction Principles -- Comments on the Contributions -- Index.
• Titolo autorizzato: Peter Schroeder-Heister on Proof-Theoretic Semantics
• ISBN: 3-031-50981-1
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910835058103321
• Lo trovi qui: Univ. Federico II
• Serie: Outstanding Contributions to Logic Series