資料詳細

[ 和図書 ] 一歩ずつマスターする論理学入門

峯島宏次／著 -- 慶應義塾大学出版会 -- 2025.3 --

所蔵

所蔵は 1 件です。

遠隔複写申込みは、東京都在住・在勤・在学の方からお受けいたします。
複写カート機能には、Cookieを使用しています。申込む際はCookieを有効にしてください。

ISBN	4-7664-3015-8
ISBN13桁	978-4-7664-3015-8
タイトル	一歩ずつマスターする論理学入門
タイトルカナ	イッポズツマスタースルロンリガクニュウモン
著者名	峯島宏次／著
著者名典拠番号	110004566670000
並列タイトル	Introduction to Logic
出版地	東京
出版者	慶應義塾大学出版会
出版者カナ	ケイオウギジュクダイガクシュッパンカイ
出版年	2025.3
ページ数	4, 273p
大きさ	21cm
価格	¥2400
内容紹介	論理を使いこなせるようになることを目的とした本。証明の組み立て方や日本語文の記号化の方法を、初学者にも分かりやすいよう、ていねいに解説する。練習問題も豊富に掲載。サポートページにアクセスできるQRコード付き。
一般件名	論理学
一般件名カナ	ロンリガク
一般件名典拠番号	511488700000000
分類：都立NDC10版	116
テキストの言語	日本語
資料情報1	『一歩ずつマスターする論理学入門』　峯島宏次／著　慶應義塾大学出版会　2025.3（所蔵館：中央　請求記号：/116.0/5082/2025　資料コード：7118999142）
URL	https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1154733539

第1章論理学の問題: 1.1 推論とはどのようなものか; 1.2 妥当な推論と妥当でない推論; 1.3 命題論理と述語論理; 1.4 矛盾と整合性; 1.5 演繹と帰納
第2章日本語文の記号化と形式言語: 2.1 なぜ記号化するのか; 2.2 文の記号化; 2.3 命題論理の形式言語
第3章命題論理の意味論: 3.1 真理値分析; 3.2 真理条件的に同値な論理式と同値変形; 3.3 トートロジーと矛盾式; 3.4 真理値分析によって推論の妥当性を判定する; 3.5 真理値分析によって矛盾と整合性を判定する
第4章命題論理の証明論: 4.1 命題論理の自然演繹; 4.2 自然演繹の証明を構成する方針; 4.3 最小論理・直観主義論理・古典論理; 4.4 自然演繹による矛盾の導出; 4.5 命題論理の完全性
第5章述語論理の形式言語: 5.1 曖昧性の問題; 5.2 個体定項と述語記号; 5.3 論理結合子; 5.4 量化子; 5.5 多重量化; 5.6 述語論理の形式言語の定義
第6章述語論理の意味論: 6.1 真理条件的に同値な論理式; 6.2 モデル; 6.3 充足可能性; 6.4 推論の非妥当性; 6.5 関係と多重量化; 6.6 関係の分類; 6.7 同一性
第7章述語論理の証明論: 7.1 量化子の推論規則; 7.2 述語論理の証明を作る方針; 7.3 直観主義述語論理と古典述語論理; 7.4 同一性; 7.5 矛盾の証明と述語論理の完全性