John Locke (1632–1704), Philosopher