Social logic: logic for modeling social phenomena

Files

Access status: Embargo until 2026-12-19 , s11229-026-05613-x.pdf (2.16 MB)

Publication date

2026-06-19

Authors

Belardinelli, Gaia
Bolander, Thomas
Galeazzi, Paolo
Hansen, Jens Ulrik
Herzig, Andreas
Klein, DominikISNI 0000000419555911
Lorini, Emiliano
Pedersen, Mina Young
De Putte, Frederik Van
Velázquez-Quesada, Fernando R.

Editors

Advisors

Supervisors

Document Type

Article

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