Question: 请回答以下问题：
问题：在17世纪的英国，哪位政治思想家提出了社会契约论？
Answer: 答案：约翰·洛克是在17世纪的英国提出了社会契约论，主张政府的合法性源自人民的同意。