Task: Text Categorization
Input (English): He developed one of the first versions of compatibilism in his The Questions Concerning Liberty, Necessity, and Chance, and claimed that the cause of all things is the diversity of motion in his first work A Short Tract on First Principles. Doing proofs in Euclid's Elements inspired a trilogy that deduces organization of society from bodily motion and cognition and which includes the works De Cive, De Corpore, and De Homine. He tutored an exiled Prince Charles in France, but he is best known for his ideas that a sovereign entity is created to avoid a life which is "solitary, poor, nasty, brutish, and short. "  FTP, name this author of Leviathan.
Output (English): Social Science