論理学 Logic
Author(s)
Bibliographic Information
論理学 = Logic
（3STEPシリーズ, 3）
昭和堂, 2021.11
- Title Transcription
-
ロンリガク
Available at / 125 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
文献案内: p236-239
Description and Table of Contents
Description
論理学は、数学・計算機科学・言語学・哲学などの諸分野と密接に関係しつつ、「推論の正しさ」という切り口から人間の思考について考える学問である。本書では現代的な論理学を初学者〜中級者向けに解説。理系・文系の枠を超えて学べる入門書である。
Table of Contents
第１部 計算と表現（古典命題論理（１）—論理式で計算する；古典命題論理（２）—推論の妥当性；様相論理（１）—可能世界意味論；様相論理（２）—対応理論；古典述語論理（１）—量化子；古典述語論理（２）—多重量化；古典述語論理（３）—計算と表現；第２部 正しい論理を求めて（厳密含意の論理—古典論理を批判する；直観主義論理（１）—数学的構成；直観主義論理（２）—真理と様相；多値論理—真理値は２つで十分か；関連性論理（１）—３項関係；関連性論理（２）—構造規則・状況推論；様相演算子としての否定
by "BOOK database"
