“正规模态集合论悖论”产生于带等词一阶逻辑、公理集合论和正规模态逻辑的“自然结合”。正规模态命题逻辑如同一根“魔杖”,一旦将之引入经典集合论,即把本来可以容纳偶然关系的集合论,变为断言“所有关系皆必然”的宿命论理论。这个悖论的揭示与澄清,可以清晰说明区分“实体-实体关联”与“实体-属性关联”及引入“广义逻辑真理”概念的必要性与重要性,并有助于认识与解决一系列模态哲学疑难问题。
“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.