一歩ずつマスターする論理学入門

峯島 宏次【著】

慶應義塾大学出版会（2025/03発売）

• サイズ A5判／ページ数 288p／高さ 21cm
• 商品コード 9784766430158
• NDC分類 116
• Cコード C0010

出版社内容情報

・論理学の基本をマスターするためのテキスト。
・「証明」の組み立て方を、豊富な練習問題、ていねいな解答・解説により、この一冊でしっかり身につけられる。
・論理学は、ゲームのように面白い！

論理学を使いこなせるようにすることを目標にしたテキスト。
論理学を習得するのにもっとも近道なのが、「自然演繹」の証明体系を身につけることである。

哲学だけでなく、数学・情報科学・認知科学などで必須のツールである「証明」の組み立て方を、
初学者にも分かりやすいよう、豊富な例題、問題を証明図を用いて、ていねいに解説する。

充実した解答・解説、文献案内も収録。
さらにアドバンスの学習を望む人のために、購入者にむけたサポートページにも開設。

内容説明

哲学、数学、情報科学、認知科学で必須のツールである「証明」。問題をたくさん解いて、丁寧な解答・解説で理解を深め、一冊でしっかり身につける。

目次

第１章　論理学の問題
第２章　日本語文の記号化と形式言語
第３章　命題論理の意味論
第４章　命題論理の証明論
第５章　述語論理の形式言語
第６章　述語論理の意味論
第７章　述語論理の証明論
解答と解説

著者等紹介

峯島宏次［ミネシマコウジ］
慶應義塾大学文学部准教授。博士（哲学）。専門は哲学、論理学、言語学（意味論、語用論、計算言語学）（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。

感想・レビュー

※以下の感想・レビューは、株式会社ブックウォーカーの提供する「読書メーター」によるものです。

[Go Extreme]

正しい推論と誤った推論を区別する原理的な方法 妥当な推論の基準は前提がすべて真であるならば結論も必ず真である 前提がすべて真であって結論が偽となる状況は反例と呼ばれる トートロジーは論理的真理とも呼ばれ実質的な情報を持たない 真理条件的同値性は真理表を作成し真理値の組み合わせが一致するかどうかを確認する 証明を構成するための基本的な方針としてボトムアップ戦略とトップダウン戦略 述語論理における状況に対応するのがモデル 量化子の順序によって意味が異なることがある 論理学の学習は外国語の学習とよく似ている

2025/04/07