那么，什么是命题呢?与数字不同，它们是可真可假、或对或错的抽象实体。当我们说“约翰知道P”时，我们也可以这样说：“约翰知道P是真的。”无论哪种方式，当我们说约翰知道某事物时，就意味着约翰已经形成了某种判断，已经意识到世界是以这样的方式运转，而不是以那样的方式。比如，在讨论这个判断的过程中，我们将使用命题来区分这两种情况：一种是“玛丽会参加派对”，另一种是“玛丽不会参加派对”。
“约翰希望玛丽能来参加派对”和“约翰担心玛丽会来参加派对”这两句话也是同样的道理，语句中包含同样的命题，但命题与约翰的关系是不同的。诸如“知道”“希望”“后悔”“恐惧”“疑惑”等动词都表明了哲学家所说的命题态度，即行为人与命题之间的关系。无论何种情况，对于命题来说最重要的就是它的真值条件，即如何为真：如果约翰希望玛丽能来参加派对，那么根据这个命题，约翰就是希望世界以某种方式运转。
当然，有一些语句并不会明显地提及命题。当我们说“约翰知道玛丽要带谁去派对”或“约翰知道如何到达”时，我们起码能够想象出隐含的命题：“约翰知道玛丽要带….……去派对”或“约翰知道如何到达派对现场，你先走过主街的两个街区，再左转….”等。另一方面，当我们说约翰对某人或某事有了深刻的了解时，如“约翰非常了解比尔”或“约翰知道如何向后滑”，语句中包含的有用的命题并不明显。(虽然这种“程序性”的知识非常有用，但我只会在第5章讨论，此外不作赘述。)
人工智能的进化
042