資料詳細

[ 和図書 ] 今度こそわかる論理数理論理学はなぜわかりにくいのか ( 今度こそわかるシリーズ )

本橋信義／著 -- 講談社 -- 2014.9 --

所蔵

所蔵は 1 件です。

Eメールによる郵送複写申込みは、「東京都在住」の登録利用者の方が対象です。

ISBN	4-06-156606-4
ISBN13桁	978-4-06-156606-4
タイトル	今度こそわかる論理
タイトルカナ	コンドコソワカルロンリ
タイトル関連情報	数理論理学はなぜわかりにくいのか
タイトル関連情報読み	スウリロンリガクワナゼワカリニクイノカ
著者名	本橋信義／著
著者名典拠番号	110001200500000
出版地	東京
出版者	講談社
出版者カナ	コウダンシャ
出版年	2014.9
ページ数	13, 137p
大きさ	21cm
シリーズ名	今度こそわかるシリーズ
シリーズ名のルビ等	コンドコソワカルシリーズ
価格	¥2700
内容紹介	初学者がつまずくところを熟知した著者が、論理の勘どころをやさしい言葉で丁寧に説き明かす。数理論理学のわかりにくさを、論理と理論の間の新しい関係を導入することで解消した本。
一般件名	記号論理学-ndlsh-00565709
一般件名カナ	キゴウロンリガク-00565709
一般件名	記号論理学
一般件名カナ	キゴウロンリガク
一般件名典拠番号	510630200000000
分類：都立NDC10版	410.96
資料情報1	『今度こそわかる論理数理論理学はなぜわかりにくいのか』（今度こそわかるシリーズ）　本橋信義／著　講談社　2014.9（所蔵館：中央　請求記号：/410.9/5098/2014　資料コード：7104549307）
URL	https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1152513394

第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 数理論理学はなぜわかりにくいのか