哲学考察（节选）

80、形式逻辑是二值逻辑，因此对于有的命题无法作出判断。自从命题"这句话是假的"诞生，二值逻辑便产生了动摇。"非真即假"，从某个角度来看是片面的，因为必然存在命题非真非假。图省事的人宣称逻辑是三值的，第三值逻辑的存在恰恰解决了二值逻辑矛盾。但在我看来，这样的简单其实并不简单。因为必然还有半真半假，真多假少，真少假多的命题存在，而此时你又是怎样划分逻辑到底是几值的？我想到，不如用一种直接的方式，奥卡姆剃刀原理，也即当一个命题属于这几种类型:非真非假、半真半假、真多假少、真少假多，那么它就不能作为命题，它只是语言上的文字游戏。

81、基于§80，我曾明确指出，要区分命题和语言文字游戏。但一般地，我们对于全称肯定语句（SAP），不能草率地下定结论它不是一个命题。比如"所有的乌鸦都是黑色的"，它是一个全称肯定语句。由于我们不能把宇宙所有的乌鸦都找到来验证，因此不可能证明它是真还是假，甚至是非真非假，而根据我的观点，非真非假不属于命题。但此时应当不断分析，我们让它进行连续换质位法。

也即: SAP→ SE┒P → ┒PES → ┒PA┒S

→ ┒SI┒P。

最终得出:有的非乌鸦是白色的。此时就不需要找到宇宙所有乌鸦，从而证明了该全称肯定语句是一个命题，并且是一个真命题。

82、区分命题与文字游戏。基于三个顺序：先有语句，然后再对它进行判断它是真还是假，无论是真还是假，它都是命题。反之若无法对它进行验证，出现亦真亦假、非真非假，或者真大于假、假大于真，那么就不是命题。

83、p∨┒p称为重言式，p∧┒p或┒(pⅤ┒p)称为矛盾式。但其实由它们组成的语句都不是命题。因为它们组成的命题具有二重性，亦真亦假。