内容紹介
基礎から始めて必ず修得できる教科書・自習書の決定版
本書は、長年にわたり全世界で教科書や自習書として広く利用され、定評を得ている米国McGraw-Hill社のSchaum's Outline Seriesの日本語翻訳版である。日常会話の形式化から、命題論理、第一階述語論理まで、現代論理学の初歩が例題と演習問題により自然に身につくように構成されており、また現代論理学と伝統的な論理学のつながりや違いについてもふれられている。
このような方におすすめ
大学、短大、高専などの数学、情報科学、哲学、言語学関連の学生および教官の方、ならびに哲学、言語学、数学、情報科学に興味をもっている方
目次
主要目次
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 反証図
練習問題
練習問題解答
付録
用語集
独りで学ぶ人へのアドバイス
第Ⅰ巻への訳者あとがき
索引
続きを見る