Shouldn't this have its own page by now? It is certainly part of a larger discussion - social contract - as per the redirection to that page, but I think it deserves its own page since it is a significant strain of thought within social contract theory. For example, the Stanford Encyclopedia of Philosophy has its own page on Contractarianism - http://plato.stanford.edu/entries/contractarianism/.