マグロウヒル大学演習 現代論理学(I)

基礎から始めて必ず修得できる教科書・自習書の決定版

このような方におすすめ

大学、短大、高専などの数学、情報科学、哲学、言語学関連の学生および教官の方、ならびに哲学、言語学、数学、情報科学に興味をもっている方
  • 著者John Nolt Dennis Rohatyn 共著/埼玉大学 加地 大介 訳
  • 定価2,970 (本体2,700 円+税)
  • A5 288頁 1995/09発行
  • ISBN978-4-274-13032-8
  • 定価
  • ポイント0
  • 数量

※本体価格は変更される場合があります。
※通常2〜3営業日以内で発送いたします。
※取寄が可能な場合もございますのでお問合せください。

  • 概要
  • 主要目次
  • 詳細目次

 本書は、長年にわたり全世界で教科書や自習書として広く利用され、定評を得ている米国McGraw-Hill社のSchaum's Outline Seriesの日本語翻訳版である。日常会話の形式化から、命題論理、第一階述語論理まで、現代論理学の初歩が例題と演習問題により自然に身につくように構成されており、また現代論理学と伝統的な論理学のつながりや違いについてもふれられている。

https://www.ohmsha.co.jp/book/9784274130328/
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巻への訳者あとがき
索引