検索結果書誌詳細：蔵書検索システム

ログインの状態：ログインしていません。ログインすると利用状況の確認等のサービスを利用できます。		カート（予約候補） 0 登録されていません。

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数在庫数予約数などを確認できます。

所蔵数	1	在庫数	1	予約数	0

資料の状態

各蔵書資料に関する詳細情報です。

No.	資料番号	資料種別	請求記号	配架場所	状態	貸出
1	0012733812	図書一般	410.96/ﾓﾄ14/	2F自然	貸出可	○

この資料に対する操作

カートに入れるを押すとこの資料を予約する候補として予約カートに追加します。

いますぐ予約するを押すと認証後この資料をすぐに予約します。

この資料に対する操作

電子書籍を読むを押すと電子図書館に移動しこの資料の電子書籍を読むことができます。

登録するリストログインメモ

書誌情報サマリ

タイトル	今度こそわかる論理
人名	本橋信義／著
人名ヨミ	モトハシノブヨシ
出版者・発行者	講談社
出版年月	2014.9

書誌詳細

この資料の書誌詳細情報です。

書誌種別	図書
タイトル	今度こそわかる論理
サブタイトル	数理論理学はなぜわかりにくいのか
シリーズ名	今度こそわかるシリーズ
タイトルヨミ	コンドコソワカルロンリ
サブタイトルヨミ	スウリロンリガクワナゼワカリニクイノカ
シリーズ名ヨミ	コンドコソワカルシリーズ
人名	本橋信義／著
人名ヨミ	モトハシノブヨシ
出版者・発行者	講談社
出版者・発行者等ヨミ	コウダンシャ
出版地・発行地	東京
出版・発行年月	2014.9
ページ数または枚数・巻数	13,137p
大きさ	21cm
価格	￥２７００
ISBN	978-4-06-156606-4
ISBN	4-06-156606-4
分類記号	410.96
件名	記号論理学
内容紹介	初学者がつまずくところを熟知した著者が、論理の勘どころをやさしい言葉で丁寧に説き明かす。数理論理学のわかりにくさを、論理と理論の間の新しい関係を導入することで解消した本。
著者紹介	1943年東京都生まれ。東京大学大学院理学系研究科修士課程数学専攻修了。筑波大学名誉教授。理学博士。著書に「現代論理学入門」「情報時代の論理」「新しい論理序説」など。
言語区分	JPN
タイトルコード	1009811828041
目次	第1章形式論理学の誤謬
	1.1 推論の根拠／1.2 メタ推論／1.3 推論の普遍的根拠／1.4 論理の基本定理／1.5 誤謬の実例
	第2章論理の基本定理
	2.1 社会の論理はどのようにして決まるか?／2.2 法則文を仮定に適用して結論を導くとは?／2.3 論理の基本定理とその証明／2.4 論理は理論で決まる
	第3章論理の活用:情報処理場面で
	3.1 情報と主題／3.2 世界の階層／3.3 新しい情報を獲得する:推理／3.4 既知の情報を整理する:公理化／3.5 人を説得する:証明
	第4章論理が生まれる物語
	4.1 文の構造／4.2 主語に付属した“すべて”と“ある”／4.3 主語から独立した“すべて”と“ある”／4.4 根拠法則の中の“すべて”
	第5章意味の外延化と視点
	5.1 単純文を作る／5.2 単純文の真偽と視点／5.3 形式化
	第6章論理語の使い方:古典主義と直観主義
	6.1 視点の揺れ／6.2 複合文を作ること／6.3 古典主義における論理語の使い方／6.4 直観主義における論理語の使い方
	第7章数理論理学と論理法則学
	7.1 形式論理の完全性定理／7.2 健全で完全な推件変換システムの例／7.3 排中律の証明／7.4 論理法則学としての数理論理学／7.5 論理学と理論／7.6 数理論理学はなぜわかりにくいのか