Logic in Games
MCMP – Mathematical Philosophy (Archive 2011/12)
English - April 20, 2019 17:57 - 1 hour - 904 MB Video - ★★★★★ - 6 ratingsPhilosophy Society & Culture philosophy logic science language mathematics hannes leitgeb stephan hartmann mcmp lmu Homepage Download Apple Podcasts Google Podcasts Overcast Castro Pocket Casts RSS feed
Previous Episode: Inexhaustibility and Reflection
Next Episode: Validity Curry
Johan van Benthem gives a talk at the MCMP Colloquium titled "Logic in Games". Abstract: We discuss logic *of* games as a foundation for rational interaction, suggesting a 'theory of play' extending standard game theory. We also discuss logic *as* games, the other direction of this contact. We conclude by looking at some natural entanglements between the two perspectives.