This course introduces participants to set-theoretic methods and their application in the social sciences with a focus on Qualitative Comparative Analysis. The course starts out by familiarizing students with the basic concepts of the underlying methodological perspective, among them the central notions of necessity and sufficiency, formal logic and Boolean algebra. From there, we move to the logic and analysis of truth tables and discuss the most important problems that emerge when this analytical tool is used for exploring social science data. Right from the beginning, students will be exposed to performing set-theoretic analyses with the relevant R software packages. When discussing set-theoretic methods, in-class debates will engage on broad, general comparative social research issues, such as case selection principles, concept formation, questions of data aggregation and the treatment of causally relevant notions of time. Examples are drawn from published applications in the social sciences. Participants are encouraged to bring their own raw data for in-class exercises and assignments, if available.