論理学

意味とモデルの理論
人文・社会科学セミナー　

東京電機大学出版局
森田茂行　

• 価格: 2,310円（本体2,100円＋税）
• 発行年月: 1999年06月
• 判型: Ａ５
• ISBN: 9784501617103

内容情報

[BOOKデータベースより]

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

序　対象言語とメタ言語
第１章　命題論理
第２章　一階の述語論理
第３章　等号関係をもつ一階の述語論理
第４章　直観主義の論理（ＩＧ体系）
第５章　様相命題論理
第６章　嘘つきのパラドックスと論理

[日販商品データベースより]

本書は論理学を初めて学ぼうとする人対象にパズルを解くかのようなおもしろさ，わかりやすさで書かれている。

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