論理学入門

著者

• 丹治, 信春 タンジ, ノブハル

書誌事項

論理学入門

丹治信春著

（ちくま学芸文庫, [タ41-1]）

筑摩書房, 2014.5

タイトル別名

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

タイトル読み

ロンリガク ニュウモン

注記

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

内容説明・目次

内容説明

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

目次

• 第１部　命題論理（命題論理の記号言語；真理値分析とトートロジー；命題論理のタブロー；命題論理における健全性と完全性）
• 第２部　述語論理（述語論理の記号言語；述語論理における真理値と妥当性；述語論理のタブロー；述語論理における健全性と完全性）

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BB15539590
• ISBN:
  • 9784480095183
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: 253p
• 大きさ: 15cm
• 分類:
  • NDC8 : 410.96
  • NDC9 : 410.96
  • NDC9 : 116.3
• 件名:
  • BSH : 記号論理学
  • NDLSH : 記号論理学
• 親書誌ID:
  • BN07814606