目次
1 基礎理論(真理関数;命題計算;モデル理論;述語計算;ゲンツェンの自然推論の計算)
2 様相論理(様相命題計算;様相述語計算)
3 論理の哲学(様相論理の哲学的諸問題;事態の論理vs事象の論理)
補論 事象論理の定式化の試み(時制論理;事象論理の定式化)
-
- 和書
- 日本の合戦解剖図鑑
1 基礎理論(真理関数;命題計算;モデル理論;述語計算;ゲンツェンの自然推論の計算)
2 様相論理(様相命題計算;様相述語計算)
3 論理の哲学(様相論理の哲学的諸問題;事態の論理vs事象の論理)
補論 事象論理の定式化の試み(時制論理;事象論理の定式化)