Who is known for the theory of social contract in political philosophy?