10.3969/j.issn.1674-3202.2008.03.003
一个关于非直谓语句的逻辑系统
非直谓现象普遍存在于许多领域中.在数学中,对集合的最小元的定义是非直谓的.在逻辑中,岁素悖论的产生是由于允许非直谓地定义一个集合,即"所有不包含它自身的集合的集合".莱布尼兹对"同一性"的定义--"a与b是相同实体当且仅当对所有性质f,如果f(a)则f(b),反之亦然"--是非直谓的.罗素构造分歧类型论的动机不是来自形式系统的悖论,而是来自日常语言中的悖论.本文的目标是构造一个量化命题逻辑米刻画关于特定的非直谓语句的推理.一个非直谓语句的表达预设了一个语句集,一个典型的非直谓语句是"拿破仑具备一名伟人将军的所有德性"(罗素的例子).本文所关注的足"一阶"非直谓语句,即仅预设直谓语句集的非直谓语句.非直谓语句的一个性质是:一个非直谓语句等价于它所预设的语句集中的成员(可能无穷)的合取.这一性质需要在要构造的逻辑系统的句法中被表达出米,而针对此本文所采川的手段足在命题逻辑系统的符号中加入"命题量词",也就是说本文要构造一个量化命题逻辑系统.在形式化部分,本文给出了这个逻辑的句法、语义、希尔伯特公理系统和它的完全性证明.
谓语句、Propositional Logic、命题逻辑、逻辑系统、集合、构造、性质、定义、悖论、deal with、形式系统、希尔伯特、日常语言、莱布尼兹、句法、公理系统、表达、最小元、形式化、完全性
1
H17;TP3
2009-03-13(万方平台首次上网日期,不代表论文的发表时间)
共9页
32-40