Social logic: logic for modeling social phenomena
Files
Publication date
2026-06-19
Editors
Advisors
Supervisors
Document Type
Article
Metadata
Show full item recordCollections
License
taverne
Abstract
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.
Keywords
Agent-based modeling, Dynamic logics, Methodologies, Modal logic, Multi-agent logics, Social logic, Social phenomena, Social sciences, Taverne, Philosophy, General Social Sciences
Citation
Belardinelli, G, Bolander, T, Galeazzi, P, Hansen, J U, Herzig, A, Klein, D, Lorini, E, Pedersen, M Y, De Putte, F V & Velázquez-Quesada, F R 2026, 'Social logic : logic for modeling social phenomena', Synthese, vol. 208, no. 1, 1. https://doi.org/10.1007/s11229-026-05613-x