存在概念的逻辑分析

:“存在”概念有两义 ,称之为B1和B2 ,它们代表了哲学家两种不同的本体论立场。存在集B2是一个具有不同层次子集的命题函项E(Mn(x) ) ,这些不同层次的子集Mn(x)构成了函项E的不同取值范围或不同的定义域。某物是否存在的问题 ,实际上是某物在何种定义域中存在的问题 ,因而避免了在定义域不确立或非单一情况下 。