The Method of Socratic Proofs

  • CategoryOther
  • TypeE-Books
  • LanguageEnglish
  • Total size29.5 MB
  • Uploaded Byfreecoursewb
  • Downloads43
  • Last checkedJun. 18th '25
  • Date uploadedJun. 18th '25
  • Seeders 6
  • Leechers3

Infohash : 9512513DD46D64099668F15D46173D52151B13E5

The Method of Socratic Proofs



https://WebToolTip.com

English | 2025 | ISBN-10: 3031824504 | 367 pages| Epub PDF (True) | 29.54 MB

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.

Download from free file storage
NITROFLARE
RAPIDGATOR

Files:

[ WebToolTip.com ] The Method of Socratic Proofs
  • Get Bonus Downloads Here.url (0.2 KB)
    • ~Get Your Files Here !
    • 978-3-031-82451-7.epub (21.0 MB)
    • 978-3-031-82451-7.pdf (8.6 MB)
    • Bonus Resources.txt (0.1 KB)

Code:

  • udp://tracker.torrent.eu.org:451/announce
  • udp://tracker.tiny-vps.com:6969/announce
  • http://tracker.foreverpirates.co:80/announce
  • udp://tracker.cyberia.is:6969/announce
  • udp://exodus.desync.com:6969/announce
  • udp://explodie.org:6969/announce
  • udp://tracker.opentrackr.org:1337/announce
  • udp://9.rarbg.to:2780/announce
  • udp://tracker.internetwarriors.net:1337/announce
  • udp://ipv4.tracker.harry.lu:80/announce
  • udp://open.stealth.si:80/announce
  • udp://9.rarbg.to:2900/announce
  • udp://9.rarbg.me:2720/announce
  • udp://opentor.org:2710/announce