國立高雄大學圖資館 |

Language: English

Back

The method of Socratic proofsfrom the logic of questions to proof theory /

Record Type:	Electronic resources : Monograph/item
Title/Author:	The method of Socratic proofsby Dorota Leszczyńska-Jasion.
Reminder of title:	from the logic of questions to proof theory /
Author:	Leszczyńska-Jasion, Dorota.
Published:	Cham :Springer Nature Switzerland :2025.
Description:	xix, 348 p. :ill., digital ;24 cm.
Contained By:	Springer Nature eBook
Subject:	Question (Logic)
Online resource:	https://doi.org/10.1007/978-3-031-82451-7
ISBN:	9783031824517$q(electronic bk.)

The method of Socratic proofsfrom the logic of questions to proof theory /
Leszczyńska-Jasion, Dorota.

The method of Socratic proofsfrom the logic of questions to proof theory /[electronic resource] :by Dorota Leszczyńska-Jasion. - Cham :Springer Nature Switzerland :2025. - xix, 348 p. :ill., digital ;24 cm. - Trends in logic, studia logica library,v. 642212-7313 ;. - Trends in logic, studia logica library ;v.41..

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.

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.

ISBN: 9783031824517$q(electronic bk.)

Standard No.: 10.1007/978-3-031-82451-7doiSubjects--Personal Names:

176283
Socrates.
Subjects--Topical Terms:

974504
Question (Logic)

LC Class. No.: BC199.Q4

Dewey Class. No.: 160

The method of Socratic proofsfrom the logic of questions to proof theory /
LDR:02607nmm a2200349 a 4500 001 685146
003 DE-He213
005 20250613131612.0
006 m d
007 cr nn 008maaau
008 260129s2025 sz s 0 eng d
020 $a 9783031824517$q(electronic bk.)
020 $a 9783031824500$q(paper)
024 7 $a 10.1007/978-3-031-82451-7 $2 doi
035 $a 978-3-031-82451-7
040 $a GP $c GP
041 0 $a eng
050 4 $a BC199.Q4
072 7 $a HPL $2 bicssc
072 7 $a PHI011000 $2 bisacsh
072 7 $a QDTL $2 thema
082 0 4 $a 160 $2 23
090 $a BC199.Q4 $b L644 2025
100 1 $a Leszczyńska-Jasion, Dorota. $3 998940
245 1 4 $a The method of Socratic proofs $h [electronic resource] : $b from the logic of questions to proof theory / $c by Dorota Leszczyńska-Jasion.
260 $a Cham : $b Springer Nature Switzerland : $b Imprint: Springer, $c 2025.
300 $a xix, 348 p. : $b ill., digital ; $c 24 cm.
338 $a online resource $b cr $2 rdacarrier
490 1 $a Trends in logic, studia logica library, $x 2212-7313 ; $v v. 64
505 0 $a 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.
520 $a 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.
600 0 0 $a Socrates. $3 176283
650 0 $a Question (Logic) $3 974504
650 0 $a Proof theory. $3 190840
650 1 4 $a Logic. $3 180785
650 2 4 $a Mathematical Logic and Foundations. $3 274479
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
830 0 $a Trends in logic, studia logica library ; $v v.41. $3 680671
856 4 0 $u https://doi.org/10.1007/978-3-031-82451-7
950 $a Religion and Philosophy (SpringerNature-41175)