Philosophical ideas of John Locke