Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Peter Schroeder-Heister on Proof-Theoretic Semantics

BuchKartoniert, Paperback
463 Seiten
Englisch
Springererschienen am13.02.20241st ed. 2024
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.mehr
Verfügbare Formate
BuchGebunden
EUR53,49
BuchKartoniert, Paperback
EUR42,79

Produkt

KlappentextThis 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.
Details
ISBN/GTIN978-3-031-50983-4
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr2024
Erscheinungsdatum13.02.2024
Auflage1st ed. 2024
ReiheOutstanding Contributions to Logic
Seiten463 Seiten
SpracheEnglisch
IllustrationenX, 463 p. 29 illus., 12 illus. in color.
Artikel-Nr.55681494

Inhalt/Kritik

Inhaltsverzeichnis
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).mehr

Schlagworte

Autor

Thomas Piecha is a philosopher, physicist, and computer scientist. His research interests include proof-theoretic and dialogical approaches in logic, the logical writings of Karl Popper, and the logical and physical foundations of computer science.






Kai Wehmeier is a professor of logic and philosophy of science at the University of California, Irvine. He has made contributions to mathematical and philosophical logic, formal semantics, the philosophy of language, and the history of analytic philosophy, with a special emphasis on Frege.
Weitere Artikel von
Wehmeier, Kai F.