There are quite some formal models employed by political philosophers, which make their arguments clearer and stronger. The social contract, for exmaple, is the most well-known model among them. In order for students to better understand the writings of other theorists, as well as to build better arguments for themselves, it is worth examining and learning to use several major models that are widely used in contemporary political philosophy. This course serves such an aim.