Bibliographic Information

論理学入門

丹治信春著

(ちくま学芸文庫, [タ41-1])

筑摩書房, 2014.5

Other Title

タブローの方法による論理学入門

Title Transcription

ロンリガク ニュウモン

Available at  / 123 libraries

Note

「タブローの方法による論理学入門」 (朝倉書店 1999年刊) に大幅に改訂を加え、文庫化したもの

Description and Table of Contents

Description

「論理的に正しい」とはどういうことか?疑い得ない確実な推論と論証はどうすれば可能なのか?この問いとの格闘のなかで鍛え上げられてきた「論理学」は哲学に必須の学問だが、初学者の誰もがつまずく難関だ。本書では、現代最強のメソッド「タブロー」を用い、システマティックに正しい結論を導きだす画期的方法を伝授する。大学教育の現場で熱い支持を受けてきた名教科書の練習問題を刷新し、独習に便利な解答も収録。たった5つの記号とその操作法を学ぶだけで完全制覇へと導く決定版テキストブック。

Table of Contents

  • 第1部 命題論理(命題論理の記号言語;真理値分析とトートロジー;命題論理のタブロー;命題論理における健全性と完全性)
  • 第2部 述語論理(述語論理の記号言語;述語論理における真理値と妥当性;述語論理のタブロー;述語論理における健全性と完全性)

by "BOOK database"

Related Books: 1-1 of 1

Details

  • NCID
    BB15539590
  • ISBN
    • 9784480095183
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    jpn
  • Place of Publication
    東京
  • Pages/Volumes
    253p
  • Size
    15cm
  • Classification
  • Subject Headings
  • Parent Bibliography ID
Page Top