Peter Schroeder-Heister on Proof-Theoretic Semantics
This open access book is a superb collection of some fifteen chapters inspired by Schroeder-Heister's groundbreaking work, written by leading experts in the field, plus an extensive autobiography and comments on the various contributions by Schroeder-Heister himself. For several decades, Peter...
| Autor principal: | |
|---|---|
| Otros Autores: | |
| Formato: | Libro electrónico |
| Idioma: | Inglés |
| Publicado: |
Cham :
Springer Nature Switzerland
2024.
|
| Edición: | 1st ed. 2024. |
| Colección: | Outstanding Contributions to Logic,
29 |
| Materias: | |
| Ver en Biblioteca Universitat Ramon Llull: | https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009805102506719 |
Tabla de Contenidos:
- Chapter 1. Proof-theoretic semantics: An autobiographical survey (Peter Schroeder-Heister)
- Chapter 2. Grundlagen der Arithmetik, §17: Part 1. Frege’s anticipation of the deduction theorem (Göran Sundholm)
- Chapter 3. Frege’s class theory and the logic of sets (Neil Tennant)
- Chapter 4. The validity of inference and argument (Dag Prawitz)
- Chapter 5. Kolmogorov and the general theory of problems (Wagner de Campos Sanz)
- Chapter 6. Disjunctive syllogism without Ex falso (Luiz Carlos Pereira, Edward Hermann Haeusler and Victor Nascimento)
- Chapter 7. The logicality of equality (Andrzej Indrzejczak)
- Chapter 8. Eight rules for implication elimination (Michael Arndt)
- Chapter 9. Focusing Gentzen’s LK proof system (Chuck Liang and Dale Miller)
- Chapter 10. Intensional harmony as Isomorphism (Paolo Pistone and Luca Tranchini)
- Chapter 11. A note on synonymy in proof-theoretic semantics (Heinrich Wansing)
- Chapter 12. Paradoxes, intuitionism, and proof-theoretic semantics(Reinhard Kahle and Paulo Guilherme Santos)
- Chapter 13. On the structure of proofs (Lars Hallnäs)
- Chapter 14. Truth-value constants in multi-valued logics (Nissim Francez and Michael Kaminski)
- Chapter 15. Counterfactual assumptions and counterfactual implications (Bartosz Więckowski)
- Chapter 16. Some set-theoretic reduction principles (Michael Bärtschi and Gerhard Jäger)
- Chapter 17. Comments on the contributions (Peter Schroeder-Heister).
