典型文献
复多一阶逻辑的"本体论无辜"问题辨析
文献摘要：
引人复多一阶逻辑是为了形式化一阶公理集合论,为断定集合概念具有唯一普遍的外延提供支持.然而,其自身的纯逻辑性仍是备受争议的议题,争议主要集中在复多一阶逻辑的语义解释是否的确具有"本体论无辜"这个结果.复多一阶逻辑的支持者试图论证该逻辑并不承诺超出经典一阶量化论域之外的对象,由此证立复多一阶逻辑的"本体论无辜".然而,这一论证在两个方面需要辨析与澄清.一方面,如果采取不可归约论证、模态论证或集合论公理的证立原则为复多一阶逻辑的"本体论无辜"辩护,会面临难以克服的困难;另一方面,通过诉诸复多概念在日常用法中的不可或缺性及其汇集式用法的不可还原性,一种更可行的证立成为可能.因此,应当为探求"本体论无辜"的实质辩护继续努力.
文献关键词：
复多一阶逻辑;复多概念;本体论无辜;对象概念
中图分类号：
作者姓名：
朱敏;付敏
作者机构：
西南财经大学人文学院,成都 611130
文献出处：
引用格式：
[1]朱敏;付敏-.复多一阶逻辑的"本体论无辜"问题辨析)[J].江淮论坛,2022(03):119-124
A类：
复多一阶逻辑,本体论无辜,复多概念,对象概念
B类：
问题辨析,形式化,公理,集合论,断定,逻辑性,语义解释,支持者,图论,出经,论域,澄清,归约,辩护,会面,临难,难以克服,诉诸,不可或缺性,汇集,还原性,立成
AB值：
0.216843
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
