10.3969/j.issn.1674-3202.2019.06.002
非个体与准集合理论
由法兰奇与克鲁兹所提出的准集合理论是目前对非个体的形式化理论中最有前途的一个.它的目标在于对非个体的汇聚这个直觉性概念提出一个形式化的说明,但同时保持其一或多的有限基数性.在准集合理论中,外延等同的概念是以一个限制性的方式加以定义的,该定义排除了被意图当作是非个体的事物.然而,由于该理论的语言中每一个基本语式都是明确二值的,因而我们可以得到这样的一个二元自反关系:该关系的等价集中的所有个体都能够彼此互换而不至于改变任何语式的真假值.因而,任何一对事物间的等同关系可以轻易地在准集合理论中加以定义.从语义层面来说,准集合理论并没有将该语言的语词解释成为非个体,而我们也不容易看出这样的一种解释如何可能被建立起来.
个体、集合理论、binary relation、形式化、语义层面、语言、语词解释、一种解释、概念、直觉性、真假值、限制性、外延、目标、基数、法兰
12
TP3;O14
2020-01-09(万方平台首次上网日期,不代表论文的发表时间)
共24页
22-45