論理学

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

目次

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

本の帯に関して

帯つきでの出荷はお約束しておりません。
商品ページに、帯のみに付与される特典物等の表記がある場合でも、確実に帯つきでの出荷はお約束しておりません。
また、帯は商品の一部ではなく「広告扱い」のため、帯の有無・破損による交換や返品は承っておりません。

版・表紙について

版・表紙（カバー）のご指定は承っておりません。ご注文いただくタイミングによっては、お届けする商品の版や表紙が商品ページ上のものとは異なる場合がございます。
また、初版にのみにお付けしている特典（初回特典、初回仕様特典）がある商品は、商品ページに特典の表記がされている場合でも、無くなり次第終了となります。