Leszczynska-Jasion

Erschienen: 05.07.2025

The Method of Socratic Proofs

From the Logic of Questions to Proof Theory

Springer

ISBN 978-3-031-82450-0

Standardpreis


149,79 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

Preisangaben inkl. MwSt. Abhängig von der Lieferadresse kann die MwSt. an der Kasse variieren. Weitere Informationen

auch verfügbar als eBook (PDF) für 149,79 €

Bibliografische Daten

Fachbuch

Buch. Hardcover

2025

20 s/w-Abbildungen.

In englischer Sprache

Umfang: xix, 348 S.

Format (B x L): 15,5 x 23,5 cm

Verlag: Springer

ISBN: 978-3-031-82450-0

Weiterführende bibliografische Daten

Das Werk ist Teil der Reihe: Trends in Logic

auch verfügbar als eBook (PDF) für 149,79 €

Produktbeschreibung

This book contains a systematic and formal attempt to model solutions to problems such as: Is it possible to prove a question? Is it possible to prove something by the use of questions? Do the existing paradigms in the logic of questions allow one to combine questions and proofs? What are the results in this field? In developing answers, the book focuses on the applications of the method of Socratic proofs, and goes beyond that. It starts out with an overview of the leading paradigms, issues, problems and ready solutions in the logic of questions, and places Inferential Erotetic Logic and the method of Socratic proofs against a wider background. It then introduces these two methods in more detail and explains how they can be used for classical logic, intuitionistic propositional logic and for basic modal logics. Next, the book deals with issues specific to the field of the logic of questions, introducing the tools of Minimal Erotetic Semantics (MiES). The final chapters describe the translations between proof systems: from a Socratic transformation, derived in an erotetic calculus, into a sequent system.

Autorinnen und Autoren

Kundeninformationen

Offers a systematic presentation of issues at the intersection of the logic of questions and proof theory Includes an examination of intuitionistic logic and erotetic calculi for modal logics Illustrates the application of methods to different areas of logic

Produktsicherheit

Hersteller

Springer Nature Customer Service Center GmbH

ProductSafety@springernature.com

Topseller & Empfehlungen für Sie

Ihre zuletzt angesehenen Produkte

Rezensionen

Dieses Set enthält folgende Produkte:
    Auch in folgendem Set erhältlich:

    • nach oben

      Ihre Daten werden geladen ...