方法論

論理学

Logic

正しい推論と誤った推論を、形の上で見分ける方法の学問。

✦ See this region of the star chart →

Questions in this fieldQuestions

コンピュータに解けない問題はあるのか

計算機科学論理学情報理論

AIは言葉の意味を分かっているのか

AI言語学論理学

証明とは何か

数学論理学科学哲学

Reading roadmapWhere to start

Start here

Start here · Book 1

『入門！論理学』 — 野矢茂樹

日常の言葉から論理の骨格を学べる定番の入門新書。

Start here · Book 2

『論理トレーニング101題』 — 野矢茂樹

実践問題で論証を読み解く力を鍛える演習書。

Core

Core · Book 1

『論理学をつくる』 — 戸田山和久

命題論理から様相論理まで自分の手で組み立てる教科書。

Core · Book 2

『記号論理学』 — 清水義夫

命題論理と述語論理を体系的に学べる定番の教科書。

Deep dive

Deep dive · Book 1

『数理論理学』 — 松本和夫

古典論理から直観主義論理まで扱う数学基礎論の専門書。

Fields this one connects toConnected fields

See this field on the Knowledge Map →