論理学 Logic
著者
書誌事項
論理学 = Logic
（3STEPシリーズ, 3）
昭和堂, 2021.11
- タイトル読み
-
ロンリガク
大学図書館所蔵 件 / 全126件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
文献案内: p236-239
内容説明・目次
内容説明
論理学は、数学・計算機科学・言語学・哲学などの諸分野と密接に関係しつつ、「推論の正しさ」という切り口から人間の思考について考える学問である。本書では現代的な論理学を初学者〜中級者向けに解説。理系・文系の枠を超えて学べる入門書である。
目次
第１部 計算と表現（古典命題論理（１）—論理式で計算する；古典命題論理（２）—推論の妥当性；様相論理（１）—可能世界意味論；様相論理（２）—対応理論；古典述語論理（１）—量化子；古典述語論理（２）—多重量化；古典述語論理（３）—計算と表現；第２部 正しい論理を求めて（厳密含意の論理—古典論理を批判する；直観主義論理（１）—数学的構成；直観主義論理（２）—真理と様相；多値論理—真理値は２つで十分か；関連性論理（１）—３項関係；関連性論理（２）—構造規則・状況推論；様相演算子としての否定
「BOOKデータベース」 より
