資料詳細

  • 1 件中、 1 件目

一歩ずつマスターする論理学入門 貸出中

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


https://www2.tosyo-saga.jp/kentosyo2/opac/switch-detail.do?bibid=1102665296

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
県立（本館） 公開閲覧 /116/MI43/ 116583444 一般図書 利用可 貸出中 iLisvirtual

ページの先頭へ

資料詳細

タイトル 一歩ずつマスターする論理学入門
著者 峯島 宏次 ／著  
出版者 慶應義塾大学出版会
出版年 2025.3
ページ数 4,273p
大きさ 21cm
一般件名 論理学
NDC分類 116 ／ 116
内容紹介 論理を使いこなせるようになることを目的とした本。証明の組み立て方や日本語文の記号化の方法を、初学者にも分かりやすいよう、ていねいに解説する。練習問題も豊富に掲載。サポートページにアクセスできるQRコード付き。
ISBN 978-4-7664-3015-8

ページの先頭へ

目次

第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 矛盾の証明と述語論理の完全性

ページの先頭へ

所蔵場所が「大和書庫」（所蔵場所の名称が、「大和講堂」、「大和研修」、
「大和新１」、「大和新２」、「大和新３」）の本については、遠方に保管
しているため、お取り寄せに１０日程度かかる場合がありますので、
ご了承ください。（貸出中の場合は、返却後となります。）
なお、「大和書庫」の本は、あらかじめ予約をお願いいたします。

状態が「市町巡回貸出」の本については、市町図書館支援のため優先貸出中です。
当館での提供開始までに最長3か月程度かかりますので、ご了承ください。