The Method of Socratic Proofs
From the Logic of Questions to Proof Theory
Seiten
2025
Springer International Publishing (Verlag)
978-3-031-82450-0 (ISBN)
Springer International Publishing (Verlag)
978-3-031-82450-0 (ISBN)
| Erscheint lt. Verlag | 10.5.2025 |
|---|---|
| Reihe/Serie | Trends in Logic |
| Zusatzinfo | XIX, 348 p. 20 illus. |
| Verlagsort | Cham |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Themenwelt | Geisteswissenschaften ► Philosophie ► Allgemeines / Lexika |
| Geisteswissenschaften ► Philosophie ► Logik | |
| Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika | |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| Schlagworte | Both-sided calculus EPQ • Erotetic calculi are calculi of questions • Erotetic calculi for classical logic • Erotetic calculi for intuitionistic and modal logics • Erotetic rules for the classical case • From erotetic calculi to proofs. The classical case • Inferential Erotetic Logic • intuitionistic and modal cases of erotetic calculi to proofs • Logic of Questions • Proof-search in erotetic calculi for FOL • Questions and problem-solving strategies in logic • questions and systems of questions in logic • Rules of intuitionistic and modal erotetic calculi • Sequent Systems for Intuitionistic Logic • Sequent Systems for Modal Logics • Socratic Proofs • Soundness and completeness in the intuitionistic and modal cases • Supplementing languages with sequents and questions • the classical case of erotetic calculi to proofs • Translations Between Proof Systems |
| ISBN-10 | 3-031-82450-4 / 3031824504 |
| ISBN-13 | 978-3-031-82450-0 / 9783031824500 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
die letzten Jahre der Philosophie und der Beginn einer neuen …
Buch | Hardcover (2024)
Klett-Cotta (Verlag)
28,00 €
Jenseits von Identität | Ausgezeichnet mit dem Leipziger Buchpreis …
Buch | Softcover (2023)
Ullstein Taschenbuch Verlag
13,99 €
