理論是從實踐中總結出來，而作為理論的根據，各事物間的關係何時能被人類意識到，

這就無法保證了，雖然它們一直就已經存在在那裏了。但很明顯的是，社會契約論是合理地解釋了人類社會形成的原因的。

契約，是一種聯結形式，契約論是一種聯結理論，社會契約論是對社會之所以形成的理論。所以，它們存在於在不同的層麵上，嚴格地說不是一回事。就好像契約早就有，但作為在社會形成的成因上被總結出來，就不是一個概念了。

作為盧梭的社會契約論的來源，洛克的理論也可以是一個其來自於哲學證之於哲學的佐證。