丹治信春/著 -- 筑摩書房 -- 2014.5 -- 116.3

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
鳥取県立 書庫 116.3/タンシ/一般H 119304909 一般 利用可

資料詳細

タイトル 論理学入門
書名ヨミ ロンリガク ニュウモン
シリーズ名 ちくま学芸文庫
シリーズ巻次 タ41-1
著者名 丹治信春 /著  
著者ヨミ タンジ,ノブハル  
出版者 筑摩書房  
出版年 2014.5
ページ数等 253p
大きさ 15cm
内容細目 索引あり
一般注記 『タブローの方法による論理学入門』(朝倉書店1999年刊)の改訂
一般件名 記号論理学  
ISBN 4-480-09518-7
ISBN13桁 978-4-480-09518-3
定価 1100円
問合わせ番号(書誌番号) 1102018631
NDC8版 116.3
NDC9版 116.3
内容紹介 「論理的に正しい」とはどういうことか?疑い得ない確実な推論と論証はどうすれば可能なのか?この問いとの格闘のなかで鍛え上げられてきた「論理学」は哲学に必須の学問だが、初学者の誰もがつまずく難関だ。本書では、現代最強のメソッド「タブロー」を用い、システマティックに正しい結論を導きだす画期的方法を伝授する。大学教育の現場で熱い支持を受けてきた名教科書の練習問題を刷新し、独習に便利な解答も収録。たった5つの記号とその操作法を学ぶだけで完全制覇へと導く決定版テキストブック。

内容一覧

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