On the use (and abuse) of Logic in Game Theory

Journal of Philosophical Logic 44 (6):741-753 (2015)
  Copy   BIBTEX

Abstract

IntroductionA quick glance at the opening paragraphs in many of the classic logic textbooks reveals a common view: Logical methods highlight the reasoning patterns of a single agent engaged in some form of mathematical thinking.A sampling from my bookshelf: Shoenfield’s Mathematical Logic: “Logic is the study of reasoning; and mathematical logic is the study of the type of reasoning done by mathematicians”; Enderton’s A Mathematical Introduction of Logic: “Symbolic logic is a mathematical model of deductive thought”; and Chiswell and Hodges Mathematical Logic: “In this course we shall study some ways of proving statements.” However, this traditional view of the “subject matter” of logic is expanding. There is a growing literature using phrases such as “rational interaction” or “information flow” to describe its subject matter while still employing traditional logical methods. The clearest example of this can be found in the work of Johan van Benthem and others on l ..

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Reasoning About Games.Melvin Fitting - 2011 - Studia Logica 99 (1-3):143-169.
Logic games are complete for game logics.Johan van Benthem - 2003 - Studia Logica 75 (2):183-203.
The epistemic structure of a theory of a game.Michael Bacharach - 1994 - Theory and Decision 37 (1):7-48.
The logic of justification.Sergei Artemov - 2008 - Review of Symbolic Logic 1 (4):477-513.
Proof theory of epistemic logic of programs.Paolo Maffezioli & Alberto Naibo - 2014 - Logic and Logical Philosophy 23 (3):301--328.
Games, Logic, and Constructive Sets.Grigori Mints & Reinhard Muskens (eds.) - 2003 - Center for the Study of Language and Inf.
Infinitary S5‐Epistemic Logic.Aviad Heifetz - 1997 - Mathematical Logic Quarterly 43 (3):333-342.

Analytics

Added to PP
2015-03-18

Downloads
56 (#255,809)

6 months
4 (#320,252)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Eric Pacuit
University of Maryland, College Park

Citations of this work

No citations found.

Add more citations

References found in this work

Logical Dynamics of Information and Interaction.Johan van Benthem - 2011 - New York: Cambridge University Press.
Rationality and Dynamic Choice: Foundational Explorations.Edward Francis McClennen - 1990 - Cambridge, England: Cambridge University Press.
Structures of agency: essays.Michael Bratman - 2007 - New York: Oxford University Press.
The Dynamics of Rational Deliberation.Brian Skyrms - 1990 - Harvard University Press.

View all 32 references / Add more references