「論理・タブローブックス」プロジェクト 第1弾

© 2019 高木翼

形式論理探求 第1巻 古典論理のタブロー cover

形式論理探求 第1巻 古典論理のタブロー

高木 翼 著

内容紹介

タブローという図によって論理を視覚的に分析する方法について丁寧に解説する。本書では、最も基本的な論理として知られている古典論理を探求する。

ダウンロード・購入

初版 2019年5月31日 発行

製本版はこちらでお買い求め戴けます。(書籍版 ISBN 978-4-909624024)

発売はAmazon・楽天ブックス・三省堂書店のみとなっております。一般の書店ではお買い求めいただけません。

[PDF版はこちらからダウンロード出来ます]

目次

  • はじめに
  • 第1章 古典命題論理の意味論
    • § 1.1 命題の意味
    • § 1.2 「または」と「ならば」
    • § 1.3 命題の記号化
    • § 1.4 真理値表
    • § 1.5 命題の変形
    • § 1.6 命題論理の論証
    • § 1.7 様々な論証
    • 演習問題
  • 第2章 古典命題論理のタブロー
    • §2.1 命題論理のタブローの規則
    • §2.2 タブローの描き方
    • §2.3 タブローによる反例の発見
    • §2.4 タブローによる妥当性の証明
    • §2.5 命題論理のタブローの健全性と完全性
    • 演習問題
  • 第3章 古典述語論理の意味論
    • §3.1 個体と固有名
    • §3.2 量化子による記号化
    • §3.3 閉論理式の真理値I
    • §3.4 閉論理式の真理値II
    • §3.5 述語論理の論証
    • §3.6 同じ意味
    • §3.7 多項述語論理
    • 演習問題
  • 第4章 古典述語論理のタブロー
    • §4.1 述語論理のタブローの規則
    • §4.2 真理保存性
    • §4.3 タブローによる論証の分析
    • §4.4 タブローの規則の適用順序と複数回適用
    • §4.5 多項述語論理のタブロー
    • §4.6 ヒンティッカ集合
    • §4.7 述語論理のタブローの健全性と完全性
    • 演習問題
  • 補遺
  • 解答
    • 確認問題の解答
    • 第1章の演習問題の解答
    • 第2章の演習問題の解答
    • 第3章の演習問題の解答
    • 第4章の演習問題の解答
  • 索引

著者プロフィール

高木 翼(たかぎ つばさ)

1997年 東京都に生まれる。現在 法政大学文学部哲学科在学中。量子論理に関する発表で、日本物理学会第11回Jr.セッション審査員特別賞を受賞。論文「K4タブローによる妥当性判定と濾過法」(Journal of Science and Philosophy, Association for Science and Philosophy 編, 2019年)

ORCID iD icon  https://orcid.org/0000-0001-9890-1015

ライセンス

この書籍はクリエイティブ・コモンズ 表示 4.0 国際 ライセンスの下で提供しています。
クリエイティブ・コモンズ・ライセンス

お問い合わせ

このプロジェクトに関するコメント・ご意見・お問い合わせはtableau@yamanami.tokyoまでお寄せください。