略论假命题的不同类型

本世纪三十年代,波兰逻辑学家塔斯基致力于“建立一种实质上适当和形式上正确的关于‘真句子’的定义”,丰富了人们对形式语言中的真、假命题的研究。本文主要探讨自然语言的假命题,把它归结为七类。(1) 事实的假命题。(2) 逻辑的假命题。(3) 参照的假命题:用形式语言来表述的理论系统,对客观事实只是一个抽象的、间接的反映,它本身是远离现实的。因此,这个系统内的命题也就难以直接与现实相对照,而只能与该系统内作为出发点的初始命题或者已假定为真的命题相照应。