Hobbes and the theory of social contract as the context for Kant's political philosophy