复多一阶逻辑的“本体论无辜”问题辨析

  • 打印
  • 收藏
收藏成功
微博 QQ空间 微信


打开文本图片集

摘要：引入复多一阶逻辑是为了形式化一阶公理集合论，为断定集合概念具有唯一普遍的外延提供支持。然而，其自身的纯逻辑性仍是备受争议的议题，争议主要集中在复多一阶逻辑的语义解释是否的确具有“本体论无辜”这个结果。复多一阶逻辑的支持者试图论证该逻辑并不承诺超出经典一阶量化论域之外的对象，由此证立复多一阶逻辑的“本体论无辜”。（剩余11909字）

试读结束

目录
monitor