The Method of Socratic Proofs
From the Logic of Questions to Proof Theory
Series: Trends in Logic; 64;
- Publisher's listprice EUR 149.79
-
63 540 Ft (60 515 Ft + 5% VAT)
The price is estimated because at the time of ordering we do not know what conversion rates will apply to HUF / product currency when the book arrives. In case HUF is weaker, the price increases slightly, in case HUF is stronger, the price goes lower slightly.
- Discount 8% (cc. 5 083 Ft off)
- Discounted price 58 457 Ft (55 674 Ft + 5% VAT)
63 540 Ft
Availability
Not yet published.
Why don't you give exact delivery time?
Delivery time is estimated on our previous experiences. We give estimations only, because we order from outside Hungary, and the delivery time mainly depends on how quickly the publisher supplies the book. Faster or slower deliveries both happen, but we do our best to supply as quickly as possible.
Product details:
- Publisher Springer
- Date of Publication 7 June 2025
- Number of Volumes 1 pieces, Book
- ISBN 9783031824500
- Binding Hardback
- No. of pages348 pages
- Size 235x155 mm
- Language English
- Illustrations 20 Illustrations, black & white 700
Categories
Short description:
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.
MoreLong description:
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.
MoreTable of Contents:
Chapter 1: Between the logic of questions and proof theory. An overview.- Chapter 2: Erotetic calculi for classical logic.- Chapter 3: Erotetic calculi for intuitionistic and modal logics.- Chapter 4: Erotetic calculi are calculi of questions.- Chapter 5: From erotetic calculi to proofs. The classical case.- Chapter 6: From erotetic calculi to proofs.
More
