本書は、長年にわたり全世界で教科書や自習書として広く利用され、定評を得ている米国McGraw-Hill社のSchaum's Outline Seriesの日本語翻訳版である。日常会話の形式化から、命題論理、第一階述語論理まで、現代論理学の初歩が例題と演習問題により自然に身につくように構成されており、また現代論理学と伝統的な論理学のつながりや違いについてもふれられている。
https://www.ohmsha.co.jp/book/9784274130328/
正誤表やDLデータ等がある場合はこちらに掲載しています
1章 論証の構造
2章 論証の評価
3章 命題計算
4章 真理値表と反証図
5章 定言言明の論理学
6章 述語計算
1章 論証の構造
1.1 論証とは何か？
1.2 論証の同定
1.3 論証図式
1.4 合流論証
1.5 隠れた言明
1.6 使用と言及
1.7 形式論理学VS.非形式論理学
練習問題
2章 論証の評価
2.1 序論
2.2 前提が真であること
2.3 妥当性と帰納的確率
2.4 関連性
2.5 全体的証拠の必要性
練習問題
3章 命題計算
3.1 論証形式
3.2 形式化
3.3 仮説を用いない推論規則
3.4 仮説を用いる規則
3.5 派生規則
3.6 定理
3.7 同値定理
練習問題
4章 真理値表と反証図
4.1 論理演算子の意味論
4.2 論理式の真理値表
4.3 論証形式の真理値表
4.4 反証式
練習問題
5章 定言言明の論理学
5.1 定言言明
5.2 直接推論
5.3 定言三段論法
練習問題
6章 述語計算
6.1 量化子と変更
6.2 術語と固有名
6.3 形成規則
6.4 普遍量化子の推論規則
6.5 存在量化子の推論規則
6.6 定理と量化子同値規則
6.7 同一性
6.8 反証図
練習問題
練習問題解答
付録
用語集
独りで学ぶ人へのアドバイス
第I巻への訳者あとがき
索引
購入案内
購入履歴
領収書発行
送料について
