正规模态集合论悖论及相关问题  

The Paradox of Normal Modal Set Theory and Related Problems

作　　者：张建军 Jianjun Zhang(Department of Philosophy, Nanjing University;Modern Logic and Application Institute, Nanjing University)

机构地区：[1]南京大学哲学系 [2]南京大学现代逻辑与逻辑应用研究所

出　　处：《逻辑学研究》2017年第3期35-57,共23页Studies in Logic

基　　金：国家社会科学基金项目12AZX009

摘　　要："正规模态集合论悖论"产生于带等词一阶逻辑、公理集合论和正规模态逻辑的"自然结合"。正规模态命题逻辑如同一根"魔杖",一旦将之引入经典集合论,即把本来可以容纳偶然关系的集合论,变为断言"所有关系皆必然"的宿命论理论。这个悖论的揭示与澄清,可以清晰说明区分"实体-实体关联"与"实体-属性关联"及引入"广义逻辑真理"概念的必要性与重要性,并有助于认识与解决一系列模态哲学疑难问题。“The Paradox of Normal Modal Set Theory”arises from the“natural combination”of first-order logic with equality,axiomatic set theory and normal modal logic.Onceintroduced into classical set theory,normal modal propositional logic works like a“magicwand”that will convert a set theory which is compatible with contingent relationship,into a deterministic theory that asserts“the necessity of all relations”.The expositionand clarification of this paradox may help to illustrate the significance of distinguishingbetween“entity-entity connection”and“entity-attribute connection”,and of introducing“broad-sense logical truth”.All of this should be helpful in understanding and solving aseries of puzzles in modal philosophy.

关 键 词：正规模态集合论 悖论 实体-实体关联 实体-属性关联 广义逻辑真理 

分 类 号：B815.1[哲学宗教—逻辑学]