洛克是英国哲学家、政治思想家，主要著作有（）。