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

© 2019 高木翼

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

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

高木 翼 著

https://doi.org/10.50856/978-4-909624024

内容紹介

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

本書では、最も基本的な論理として知られている「古典論理」を初学者でも分かるように丁寧に解説する。本書の最大の特徴は、合計53問の練習問題とその詳細な解答(約50ページ!)を掲載している点にある。著者としては、論理学は実践して初めて自分のものになる学問だと考えているので、このように豊富な練習問題を掲載した。この本は、特に次のような読者におすすめする。

  • 論理学を基本的な部分から体系的に勉強したい
  • 文字だけで色々言われても分からないので、図を使って論理を勉強したい。
  • 実際に論理が身についているか不安なので、たくさんの問題を解いて理解度を確認したい。

ダウンロード(オープンアクセス)・購入

初版 2019年5月31日 発行

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

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

本書籍はCC BY 4.0で公開しており、PDF版はご自由にダウンロードいただけます。

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

著者webサイト:https://tt-logic.github.io/

ライセンス

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

お問い合わせ

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