理论是从实践中总结出来，而作为理论的根据，各事物间的关系何时能被人类意识到，

这就无法保证了，虽然它们一直就已经存在在那里了。但很明显的是，社会契约论是合理地解释了人类社会形成的原因的。

契约，是一种联结形式，契约论是一种联结理论，社会契约论是对社会之所以形成的理论。所以，它们存在于在不同的层面上，严格地说不是一回事。就好像契约早就有，但作为在社会形成的成因上被总结出来，就不是一个概念了。

作为卢梭的社会契约论的来源，洛克的理论也可以是一个其来自于哲学证之于哲学的佐证。