誰でもいつでも論理学

慶應義塾大学三田哲学会叢書　ａｒｓ　ｉｎｃｏｇｎｉｔａ　

慶應義塾大学三田哲学会 慶應義塾大学出版会
岡田光弘　峯島宏次　

• 価格: 990円（本体900円＋税）
• 発行年月: 2026年04月
• 判型: Ｂ４０
• ISBN: 9784766430974

内容情報

[BOOKデータベースより]

人狼ゲームの嘘つきは誰か、落語「風が吹けば桶屋が儲かる」を論証するとどうなるか、ヒット曲の「誰もが誰かを愛している」は「真　ｔｒｕｅ」なのか。知的好奇心をくすぐる問い、わかりやすい図解、コンピュータと論理学の関係といった話題を通じて、誰でもいちから楽しく学べる入門書。

第一部　意味の世界から論証の世界へ（論理学の言語を導入する；真理表によって意味を説明する；自然演繹の入り口；述語論理を一瞥する）
第二部　論証の世界から計算の世界へ（証明木を枝刈りする―証明の正規化；普遍記号学の夢と現実）