東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

FindBook

Google Book

Amazon

博客來

The method of Socratic proofs = from the logic of questions to proof theory /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	The method of Socratic proofs/ by Dorota Leszczyńska-Jasion.
其他題名:	from the logic of questions to proof theory /
作者:	Leszczyńska-Jasion, Dorota.
出版者:	Cham :Springer Nature Switzerland : : 2025.,
面頁冊數:	xix, 348 p. :ill., digital ;24 cm.
內容註:	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.
Contained By:	Springer Nature eBook
標題:	Question (Logic) -
電子資源:	https://doi.org/10.1007/978-3-031-82451-7
ISBN:	9783031824517

The method of Socratic proofs = from 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. 64..

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

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

668092
Socrates.
Subjects--Topical Terms:

3730368
Question (Logic)

LC Class. No.: BC199.Q4

Dewey Class. No.: 160

The method of Socratic proofs = from the logic of questions to proof theory /
LDR:02606nmm a2200349 a 4500 001 2412271
003 DE-He213
005 20250613131612.0
006 m d
007 cr nn 008maaau
008 260204s2025 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 3787426
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 668092
650 0 $a Question (Logic) $3 3730368
650 0 $a Proof theory. $3 543782
650 1 4 $a Logic. $3 529544
650 2 4 $a Mathematical Logic and Foundations. $3 892656
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Trends in logic, studia logica library ; $v v. 64. $3 3787427
856 4 0 $u https://doi.org/10.1007/978-3-031-82451-7
950 $a Religion and Philosophy (SpringerNature-41175)