論理学―意味とモデルの理論(人文・社会科学セミナー) [単行本]

論理学―意味とモデルの理論(人文・社会科学セミナー) の 商品概要

• 要旨（「BOOK」データベースより）

  情報科学の基礎として、またそれ以外の目的でも論理学を初めて学ぼうとされている方を対象に執筆。解釈が容易であるという点で、もっとも直観的に理解できると思われるセマンティックタブローの体系を出発点とし、他の体系との関連を考慮しながら議論を展開。その中でもセマンティックタブロー体系、Ｇ体系、ＬＫ体系の関係が強調されている。

• 目次

  序　　　 対象言語とメタ文字
  第1章　命題論理
  第2章　一階の述語論理
  第3章　等号関係をもつ一階の述語論理
  第4章　直観主義の論理（IG体系)
  第5章　様相命題論理
  第6章　嘘つきのパラドックスと論理

• 内容紹介

  　本書は論理学を初めて学ぼうとする人対象にパズルを解くかのようなおもしろさ，わかりやすさで書かれている。
  　また，論理学体系を二分した場合の説明が可能であるか否かを追求する証明論と，真か疑かが問題となる解釈論の両方を取り込んだ形のセマンティックタブロー体系の立場から書かれていること，最近議論され初めたG体系についても本格的に書かれている点では非常に意義の高い本となっている。

論理学―意味とモデルの理論(人文・社会科学セミナー) の商品スペック