所蔵館	所蔵場所	請求記号	資料コード	資料区分	帯出区分	状態
中央	参書庫	K/410.9/もと/モ	180265217W	一般書	可能	利用可

タイトル	今度こそわかる論理
副書名	数理論理学はなぜわかりにくいのか
シリーズ	今度こそわかるシリーズ
著者名	本橋　信義／著
出版者	講談社
出版年	２０１４．９
ページ数等	１３，１３７ｐ
大きさ	２１ｃｍ
分類(9版)	410.96
分類(10版)	410.96
内容紹介	初学者がつまずくところを熟知した著者が、論理の勘どころをやさしい言葉で丁寧に説き明かす。数理論理学のわかりにくさを、論理と理論の間の新しい関係を導入することで解消した本。
著者紹介	１９４３年東京都生まれ。東京大学大学院理学系研究科修士課程数学専攻修了。筑波大学名誉教授。理学博士。著書に「現代論理学入門」「情報時代の論理」「新しい論理序説」など。
テーマ	記号論理学
ISBN	4-06-156606-4
本体価格	￥２７００
特定資料種別	図書
URL	https://www.library.city.hiroshima.jp/winj/opac/switch-detail.do?bibid=1103647737

タイトル	著者名	ページ
第１章　形式論理学の誤謬
第２章　論理の基本定理
第３章　論理の活用：情報処理場面で
第４章　論理が生まれる物語
第５章　意味の外延化と視点
第６章　論理語の使い方：古典主義と直観主義
第７章　数理論理学と論理法則学
１．１　推論の根拠
１．２　メタ推論
１．３　推論の普遍的根拠
１．４　論理の基本定理
１．５　誤謬の実例
２．１　社会の論理はどのようにして決まるか？
２．２　法則文を仮定に適用して結論を導くとは？
２．３　論理の基本定理とその証明
２．４　論理は理論で決まる
３．１　情報と主題
３．２　世界の階層
３．３　新しい情報を獲得する：推理
３．４　既知の情報を整理する：公理化
３．５　人を説得する：証明
４．１　文の構造
４．２　主語に付属した“すべて”と“ある”
４．３　主語から独立した“すべて”と“ある”
４．４　根拠法則の中の“すべて”
５．１　単純文を作る
５．２　単純文の真偽と視点
５．３　形式化
６．１　視点の揺れ
６．２　複合文を作ること
６．３　古典主義における論理語の使い方
６．４　直観主義における論理語の使い方
７．１　形式論理の完全性定理
７．２　健全で完全な推件変換システムの例
７．３　排中律の証明
７．４　論理法則学としての数理論理学
７．５　論理学と理論
７．６　数理論理学はなぜわかりにくいのか

館名	所蔵数	貸出中数	貸出可能数
中央	1	0	1

資料詳細

所蔵

館別所蔵

資料詳細

内容一覧