横浜市立図書館蔵書検索ページ
トップメニュー
詳細検索
ジャンル検索
新着・本紹介
お知らせ
レファレンス
(調べもの・相談)
Myライブラリ
本サイトにはJavaScriptの利用を前提とした機能がございます。
お客様の環境では一部の機能がご利用いただけない可能性がございますので、ご了承ください。
資料詳細
詳細検索
ジャンル検索
1 件中、 1 件目
【図書】
論理学入門
ちくま学芸文庫
--
丹治信春
/著 --
筑摩書房 -- 2014.5 -- 15cm -- 253p
予約申込
本棚へ
資料詳細
タイトル
論理学入門
シリーズ名
ちくま学芸文庫
著者名等
丹治信春
/著
出版
筑摩書房 2014.5
大きさ等
15cm 253p
分類
116.3
件名
記号論理学
注記
『タブローの方法による論理学入門』(朝倉書店1999年刊)の改訂
注記
索引あり
内容紹介
大学で定番の教科書として愛用されてきた名著がついに文庫化。完全に自力でマスターできる「タブロー」を用いた学習法で、思考と議論の技を鍛える。
要旨
「論理的に正しい」とはどういうことか?疑い得ない確実な推論と論証はどうすれば可能なのか?この問いとの格闘のなかで鍛え上げられてきた「論理学」は哲学に必須の学問だが、初学者の誰もがつまずく難関だ。本書では、現代最強のメソッド「タブロー」を用い、システマティックに正しい結論を導きだす画期的方法を伝授する。大学教育の現場で熱い支持を受けてきた名教科書の練習問題を刷新し、独習に便利な解答も収録。たった5つの記号とその操作法を学ぶだけで完全制覇へと導く決定版テキストブック。
目次
第1部 命題論理(命題論理の記号言語;真理値分析とトートロジー;命題論理のタブロー;命題論理における健全性と完全性);第2部 述語論理(述語論理の記号言語;述語論理における真理値と妥当性;述語論理のタブロー;述語論理における健全性と完全性)
ISBN(13)、ISBN
978-4-480-09518-3 4-480-09518-7
書誌番号
1113161226
URL
https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1113161226
ページの先頭へ
所蔵
所蔵は
6
件です。現在の予約件数は
0
件です。
所蔵館
所蔵場所
別置
請求記号
資料区分
状態
取扱
資料コード
中央
書庫
文庫本
116.3/2
一般書
利用可
-
2052336751
鶴見
公開
Map
文庫本
116
一般書
利用可
-
2052370240
神奈川
公開
Map
文庫本
116
一般書
利用可
-
2055319319
旭
公開
Map
文庫本
116
一般書
利用可
-
2052327957
港北
公開
Map
文庫本
116
一般書
利用可
-
2052447782
都筑
公開
Map
文庫本
116
一般書
利用可
-
2052393330
ページの先頭へ