形式論理学 : その展望と限界

リチャード・ジェフリー 著 ; 戸田山和久 訳

本書は、初心者向けに書かれた形式論理学書で、命題論理から、ゲーデルの不完全性定理やチャーチ=チューリングの定理等までを取り扱っている。本書の特徴は、真理の木の方法(タブローの方法)と呼ばれる、おどろくほどわかりやすい考え方に基づいており、この方法により、ほとんど寄り道せずに今世紀に展開した論理学の基礎を把握することができる。日本語版では、解答をさらにていねいに説明するなど、独習者にたいしても配慮している。また題材として名探偵ホームズとモリアーティの戦いや、日常会話の落し穴を取り上げており、たいへんウィットに富んだ内容になっている。

「BOOKデータベース」より

[目次]

  • 第1章 真理関数的論理
  • 第2章 真理の木
  • 第3章 一般性
  • 第4章 重なりあった一般性
  • 第5章 同一性
  • 第6章 関数
  • 第7章 計算不可能性
  • 第8章 決定不可能性
  • 第9章 不完全性

「BOOKデータベース」より

この本の情報

書名 形式論理学 : その展望と限界
著作者等 Jeffrey, Richard C
Jeffrey, Richard C.
戸田山 和久
Jeffrey Richard
ジェフリー リチャード
書名ヨミ ケイシキ ロンリガク
書名別名 Formal logic
出版元 産業図書
刊行年月 1995.3
ページ数 224p
大きさ 21cm
ISBN 4782800924
NCID BN12369455
※クリックでCiNii Booksを表示
全国書誌番号
95056464
※クリックで国立国会図書館サーチを表示
言語 日本語
原文言語 英語
出版国 日本
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想