Search

6th International Workshop On Philosophy and Logic of Social Reality. 28 February – 1 March, 2022, On-Line

A comprehensive examination of the interfaces of logic, computer science, and game theory, drawing on twenty years of research on logic and games.This book draws on ideas from philosophical logic, computational logic, multi-agent systems, and game theory to offer a comprehensive account of logic and games viewed in two complementary ways. It examines the logic of games: the development of sophisticated modern dynamic logics that model information flow, communication, and interactive structures in games. It also examines logic as games: the idea that logical activities of reasoning and many related tasks can be viewed in the form of games.In doing so, the book takes up the ?intelligent interaction? of agents engaging in competitive or cooperative activities and examines the patterns of strategic behavior that arise. It develops modern logical systems that can analyze information-driven changes in players' knowledge and beliefs, and introduces the ?Theory of Play? that emerges from the combination of logic and game theory. This results in a new view of logic itself as an interactive rational activity based on reasoning, perception, and communication that has particular relevance for games.Logic in Games, based on a course taught by the author at Stanford University, the University of Amsterdam, and elsewhere, can be used in advanced seminars and as a resource for researchers.

‘Formal epistemology’ is a term coined in the late 1990s for a new constellation of interests in philosophy,the roots of which are found in earlier works of epistemologists, philosophers of science, and logicians. It addresses a growing agenda of problems concerning knowledge, belief, certainty, rationality, deliberation, decision, strategy, action and agent interaction – and it does so using methods from logic, probability, computability, decision, and game theory. This volume presents 42 classic texts in formal epistemology, and strengthens the ties between research into this area of philosophy and its neighbouring intellectual disciplines. The editors provide introductions to five basic subsections: Bayesian Epistemology, Belief Change, Decision Theory, Interactive Epistemology and Logics of Knowledge and Belief. The volume also includes a thorough index and suggestions for further reading, and thus offers a complete teaching and research package for students as well as research scholars of formal epistemology, philosophy, logic,computer science, theoretical economics and cognitive psychology.

In november 2005 werd de zevende editie van de Augustus Morgan Workshop gehouden. Hierin werd de focus van het logicaonderzoek op het terrein van de interactieve logica behandeld. Maar ook de rijkdom van de belangrijkste toepassingen op dit gebied; logische benaderingen van games en social software. Uit de workshop is de nieuwe serie 'Texts in Logic and Games' ontstaan. Het eerste deel, Interactive Logic, is een collectie uitmuntende onderzoeksopstellen op het gebied van logica, wiskunde, computerwetenschappen en gametheorie.

Ter gelegenheid van haar 250-jarig bestaan organiseerde de Hollandsche Maatschappij der Wetenschappen (opgericht in 1752) in 2001 een Prijsvraag met als onderwerp The Future of the Sciences and Humanities. Deelnemers werd gevraagd hun licht te laten schijnen over de toekomst van de Wetenschap, vooral vanwege de steeds verdere verbreding en wederzijdse overlap van de meest uiteenlopende disciplines. Vier inzendingen werden bekroond: de bijdragen van James McAllister, Johan van Benthem, Arie Rip en Herman Philipse vormen de basis voor een kritisch debat over de toekomst van het interdisciplinair onderzoek. Onder de titel The Future of the Sciences and Humanities brengt Amsterdam University Press in mei 2002 een prachtige jubileum-uitgave uit voor de Hollandsche Maatschappij der Wetenschappen waarin de vier bekroonde essays en een samenvatting van het debat gebundeld zijn. De uitgave staat onder redactie van P.A.J. Tindemans, A.A. Verrijn-Stuart en R.P.W. Visser.