Reasoning About Group Polarization: From Semantic Games to Sequent Systems
Abstract: Group polarization, the phenomenon where individuals become more extreme after interacting, has been gaining attention, especially with the rise of social media shaping people's opinions. Recent interest has emerged in formal reasoning about group polarization using logical systems. In this work we consider the modal logic PNL that captures the notion of agents agreeing or disagreeing on a given topic. Our contribution involves enhancing PNL with advanced formal reasoning techniques, instead of relying on axiomatic systems for analyzing group polarization. To achieve this, we introduce a semantic game tailored for (hybrid) extensions of PNL. This game fosters dynamic reasoning about concrete network models, aligning with our goal of strengthening PNL's effectiveness in studying group polarization. We show how this semantic game leads to a provability game by systemically exploring the truth in all models. This leads to the first cut-free sequent systems for some variants of PNL. Using polarization of formulas, the proposed calculi can be modularly adapted to consider different frame properties of the underlying model.
- Jean-Marc Andreoli. Logic programming with focusing proofs in linear logic. J. Log. Comput., 2(3):297–347, 1992.
- Relation-changing modal operators. Log. J. IGPL, 23(4):601–627, 2015.
- Modal logics of sabotage revisited. J. Log. Comput., 28(2):269–303, 2018.
- Understanding polarization: Meanings, measures, and model evaluation. Philosophy of Science, 84(1):115–159, 2017.
- James A. Davis. Clustering and structural balance in graphs. Human Relations, 20(2):181–187, 1967.
- Programming and symbolic computation in Maude. J. Log. Algebraic Methods Program., 110, 2020.
- Giles’s game and the proof theory of Lukasiewicz logic. Stud Logica, 92(1):27–61, 2009.
- Robert Freiman. Games for hybrid logic - from semantic games to analytic calculi. In Alexandra Silva, Renata Wassermann, and Ruy J. G. B. de Queiroz, editors, WoLLIC 2021, volume 13038 of LNCS, pages 133–149. Springer, 2021.
- Robert Freiman. Games for hybrid logic. Journal of Logic and Computation, to appear.
- Truth and preferences - A game approach for qualitative choice logic. In Sarah Alice Gaggl, Maria Vanina Martinez, and Magdalena Ortiz, editors, Logics in Artificial Intelligence - JELIA 2023, Proceedings, volume 14281 of LNCS, pages 547–560. Springer, 2023.
- Validity in choice logics - A game-theoretic investigation. In Helle Hvid Hansen, Andre Scedrov, and Ruy J. G. B. de Queiroz, editors, WoLLIC 2023, volume 13923 of LNCS, pages 211–226. Springer, 2023.
- Reasoning about group polarization: From semantic games to sequent systems. Technical report and tool available at https://github.com/promueva/PNL-game.git. 2024.
- Infinite games with perfect information, pages 245–266. Princeton University Press, 1953.
- Frank Harary. On the notion of balance of a signed graph. Michigan Mathematical Journal, 2:143–146, 1953.
- Jaakko Hintikka. Logic, language-games and information, Kantian themes in the philosophy of logic. Revue Philosophique de la France Et de l’Etranger, 163:477–478, 1973.
- Daniel J Isenberg. Group polarization: A critical review and meta-analysis. Journal of Personality and Social Psychology, 50(6):1141, 1986.
- A game model for proofs with costs. In Serenella Cerrito and Andrei Popescu, editors, TABLEAUX, volume 11714 of LNCS, pages 241–258. Springer, 2019.
- Logical dynamics of belief change in the community. Synth., 191(11):2403–2431, 2014.
- Paul Lorenzen and Kuno Lorenz, editors. Dialogische Logik. Wissenschaftliche Buchgesellschaft, [Abt. Verl.], Darmstadt, 1978.
- From axioms to synthetic inference rules via focusing. Ann. Pure Appl. Log., 173(5):103091, 2022.
- José Meseguer. Twenty years of rewriting logic. J. Log. Algebraic Methods Program., 81(7-8):721–781, 2012.
- The group polarization phenomenon. Psychological Bulletin, 83(4):602, 1976.
- Sara Negri. Proof analysis in modal logic. J. Philosophical Logic, 34(5-6):507–544, 2005.
- A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems. J. Log. Algebraic Methods Program., 130:100827, 2023.
- From semantic games to provability: The case of Gödel logic. Studia Logica, 110:429–456, 2021.
- Modal logics and group polarization. J. Log. Comput., 31(8):2240–2269, 2021.
- Facebook and the epistemic logic of friendship. In Burkhard C. Schipper, editor, Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge, 2013.
- Alex K. Simpson. The Proof Theory and Semantics of Intuitionistic Modal Logic. PhD thesis, College of Science and Engineering, School of Informatics, University of Edinburgh, 1994.
- Cass R Sunstein. The law of group polarization. University of Chicago Law School, John M. Olin Law & Economics Working Paper, (91), 1999.
- Cass R Sunstein. Group polarization and 12 angry men. Negotiation Journal, 23(4):443–447, 2007.
- Hybrid sabotage modal logic. J. Log. Comput., 33(6):1216–1242, 2023.
- Luca Viganò. Labelled Non-Classical Logics. Kluwer Academic Publishers, 2000.
- On the logic of balance in social networks. J. Log. Lang. Inf., 29(1):53–75, 2020.
- Towards a logic of tweeting. In Alexandru Baltag, Jeremy Seligman, and Tomoyuki Yamada, editors, LORI, volume 10455 of LNCS, pages 49–64. Springer, 2017.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.