論理学(改訂版) 電子書籍版

  • 論理学(改訂版) 電子書籍版
  • 5005円(税込)

    • 本作品について、無料施策・クーポン等の割引施策・PayPayポイント付与の施策を行う予定があります。
      この他にもお得な施策を常時実施中、また、今後も実施予定です。詳しくはこちら

    作品内容

    【内容紹介・目次・著者略歴】現代の主流の論理学=記号論理学の基礎的な方法論から最新の成果までを網羅し、伝統的な形式論理学も精査し、歴史的な位置を与える。【目次】序論 論理学の意義論理学の課題 推理の二大別 論理学の二大部門 「valid」の意味 形式と記号化 伝統的論理学と記号論理学 記号論理学の特色 記号論理学の体系的建設 本書の意図および叙述方式 形式的言語第一部 記号論理学第一章 記号論理学の立揚実例からの出発 文の記号化 結合詞 推理の記号化 真理関数 命題の内部構造 命題関数 クラスと関係第二章 命題の計算I 命題の計算の基本的構想命題 要素命題と結合詞 変項と論理的定項 代表的な結合 命題の計算の構成II 演算の問題演算の検討 演算の相互還元III 式の分類と判定式の分類 3つの式の特色 式の判定 重要な恒真式 導出法則 標準形 双対則 式の導出例V 推理推理と恒真的含意 含意のパラドックス 基本的推理法則 推理の証明第三章 一変項命題関数の計算 命題関数の意味 変項関数の計算の基本的構想 定義 式の導出1 量化法則 命題の量化的表式 推理の吟味 式の導出2 重要な恒真式 形式的含意第四章 クラスの計算(集合算)クラスの計算の基本的構想 定義 重要な恒真式1 式の導出1 式の導出2 重要な恒真式2 命題の表式とクラスの計算の適用 図形的表現第二部 伝統的論理学第一章 伝統的論理学の立場 伝統的論理学の主題 推理の二種 命題の三型 定言命題の形式 名辞の外延と内包 定義 外延的解釈と内包的解釈 推理の二原理 名辞論理学第二章 直接原理A 定言命題に関する直接推理定言命題の四形式 オイラーの図式〔補〕ヴェンの図式 名辞の周延〔補説〕存在解釈の図示 二つの推理規則 対当 変形推理 B 複合命題に関する直接推理定言命題との対応づけ第三章 間接推理A 定言命題に関する間接推理定言シロジズムの定義 格式 公理 定理 前提における命題の組合わせ 第一格のvalidな式 第二格のvalidな式 第三格のvalidな式 第四格のvalidな式 還元の問題 格式覚え歌 還元の方法〔補〕背理法 他の間接推理B 複合問題に関する間接推理間接推理の分類 仮言シロジズム 〔補〕恒真的仮言シロジズム 選言シロジズム ディレンマ第四章 伝統的論理学とクラスの計算伝統的論理学の制限 クラスの計算の伝統的論理学への適用に関する注意 クラスの計算の使用法 内包的名辞論理学 両解釈における真偽問題参考書名練習問題練習問題回答上田 泰治1918~1992年。哲学者。京都大学名誉教授。京都帝国大学文学部独文科卒業。著書に、『ベーコン』『論理学』『論理を求めて』『論理学』(高山岩男との共著)など、訳書に、ヘーゲル『近世哲学史』.ホワイトヘッド『科学と近代世界』(共訳)などがある。

作品情報

ページ数
405ページ
出版社
講談社/文芸
提供開始日
2022/07/15
ジャンル
ビジネス・実用
連載誌/レーベル
創文社オンデマンド叢書

作者の関連作品作者の作品一覧