论文部分内容阅读
非直谓现象普遍存在于许多领域中。在数学中,对集合的最小元的定义是非直谓的。在逻辑中,罗素悖论的产生是由于允许非直谓地定义一个集合,即“所有不包含它自身的集合的集合”。莱布尼兹对“同一性”的定义——“a与b是相同实体当且仅当对所有性质f,如果f(a)则f(b),反之亦然”——是非直谓的。罗素构造分歧类型论的动机不是来自形式系统的悖论,而是来自日常语言中的悖论。本文的目标是构造一文化景观命题逻辑来刻画关于特定的非直谓语句的推理。一个非直谓语句的表达预设了一个语句集,一个典型的非直谓语句是“拿破仑具备一名伟人将