資料詳細

記号論理学貸出可

山本新／著 -- 朝倉書店 -- 2023.11 -- 410.96

所蔵

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

所蔵場所	請求記号	資料コード	資料区分	帯出区分	状態
閲覧室	/410.9/ｷ/	117339630	成人一般	可能

タイトル	記号論理学
タイトルカナ	キゴウロンリガク
著者	山本新／著, 入江俊夫／著, 田村高幸／著
著者カナ	ヤマモトシン,イリエトシオ,タムラタカユキ
出版者	朝倉書店
出版年	2023.11
ページ数	9,221p
大きさ	21cm
一般件名	記号論理学
ISBN13桁	978-4-254-50038-7
言語	jpn
分類記号	410.96
内容紹介	記号論理学の概説書。独習書として、また「論理学」の講義テキストとしても使用できるよう、命題論理から述語論理、様相論理、直観主義論理の完全性までを扱う。
著者紹介	岡山県生まれ。千葉大学、武蔵大学、青山学院大学などで非常勤講師を歴任。

第1章論理学とはなにか: §1.正しい推論; §2.対象言語とメタ言語; §3.公理体系
第2章命題論理: §1.命題の記号化; §2.論理式; §3.真理値分析; §4.トートロジー; §5.同値定理; §6.連言標準形; §7.選言標準形; §8.真理関数; §9.公理体系PL
第3章述語論理: §1.命題の記号化; §2.限量記号の用法; §3.論理式; §4.束縛変項と自由変項; §5.解釈(1); §6.妥当な論理式; §7.妥当性のテスト; §8.公理体系FL; §9.無矛盾性
第4章様相論理: §1.様相命題論理; §2.意味論; §3.健全性; §4.完全性; §5.決定可能性; §6.様相述語論理; §7.意味論; §8.健全性; §9.完全性
第5章直観主義論理: §1.直観主義命題論理; §2.意味論; §3.健全性; §4.完全性; §5.決定可能性; §6.直観主義述語論理; §7.意味論; §8.健全性; §9.完全性
補論1 ゲンツェンの論理体系: §1.論理体系LK; §2.ゲンツェンの基本定理; §3.LKの無矛盾性
補論2 様相論理への補論: §1.意味論にかんする補論; §2.構文論にかんする補論
補論3 線形論理について: §1.線形論理の発想; §2.線形論理の体系