書誌事項

論理学 = Logic

大西琢朗著

(3STEPシリーズ, 3)

昭和堂, 2021.11

タイトル読み

ロンリガク

大学図書館所蔵 件 / 126

この図書・雑誌をさがす

注記

文献案内: p236-239

内容説明・目次

内容説明

論理学は、数学・計算機科学・言語学・哲学などの諸分野と密接に関係しつつ、「推論の正しさ」という切り口から人間の思考について考える学問である。本書では現代的な論理学を初学者〜中級者向けに解説。理系・文系の枠を超えて学べる入門書である。

目次

第1部 計算と表現(古典命題論理(1)—論理式で計算する;古典命題論理(2)—推論の妥当性;様相論理(1)—可能世界意味論;様相論理(2)—対応理論;古典述語論理(1)—量化子;古典述語論理(2)—多重量化;古典述語論理(3)—計算と表現;第2部 正しい論理を求めて(厳密含意の論理—古典論理を批判する;直観主義論理(1)—数学的構成;直観主義論理(2)—真理と様相;多値論理—真理値は2つで十分か;関連性論理(1)—3項関係;関連性論理(2)—構造規則・状況推論;様相演算子としての否定

「BOOKデータベース」 より

関連文献: 1件中  1-1を表示

詳細情報

  • NII書誌ID(NCID)
    BC11275450
  • ISBN
    • 9784812221044
  • 出版国コード
    ja
  • タイトル言語コード
    jpn
  • 本文言語コード
    jpn
  • 出版地
    京都
  • ページ数/冊数
    ix, 245p
  • 大きさ
    21cm
  • 分類
  • 件名
  • 親書誌ID
ページトップへ