Social logic: logic for modeling social phenomena

We explore logic as a method to model social phenomena, giving rise to what we term social logic. After introducing and defining this concept, we identify main examples of social logic, ranging from key precursors that have enabled researchers to start modeling complex social phenomena and concepts using the tools of logic, to more central examples of recent trends in social logic. We then reflect on logic as a modeling tool, discussing more generally why and how it is a relevant and valuable method in the social realm. Finally, we outline some promising directions for future research in social logic.