October 17, 2018, 6-7:30 PM in 234 Moses Hall

Eric Pacuit (University of Maryland, College Park)

Strategic reasoning: From beliefs about mistakes to mistaken beliefs

A crucial assumption underlying any game-theoretic analysis is that there is common knowledge that all the players are rational. Rationality is understood in the decision-theoretic sense: The players’ choices are optimal according to some choice rule (such as maximizing subjective expected utility). Research on the epistemic foundations of game theory is focused on the game-theoretic implications of different notions of rationality and different assumptions about what the players know and believe about each other. In this talk, I will provide a brief overview of this literature. A key question is what should the players
assume about how their opponents will interpret their moves in the game? Two prominent answers have been discussed in the literature: forward induction and backward induction. According to the former, players rationalize past behavior and use it as a basis for forming beliefs about future moves. According to the latter, players ignore past behavior and reason only about their opponents’ future moves. There are sophisticated mathematical models that formalize the implications of each way of reasoning. In this talk, I will consider a different question that has not received as much attention: How should the players choose between the two styles of reasoning? I will present a formal model of strategic reasoning introduced by Brian Skyrms and show how it needs to be modified to address this question.

February 27, 2019, 6-7:30 PM in 234 Moses Hall

Stewart Shapiro (Ohio State University)

Superplurals, groups, and paradox

There are two views regarding definite plurals like “the students” in

  1. The students gathered around the teacher.

According to singularism, “the students” refers to a certain set-like

object, and (1) will be true if that set-like object has the cumulative property of gathering around the teacher. According to pluralism, “the students” refers to a primitive multiplicity of individuals, as familiar from plural logic, and (1) will be true if that multiplicity has that same cumulative property.

Singularism is the predominant view within linguistic semantics and pluralism is at least the received view among philosophers and logicians who invoke plurals.  The latter is due in large part to the influence of George Boolos.  The primary argument against singularism is that the view is prone to Russell’s paradox. Semanticists are, of course, aware of this threat of paradox, as illustrated by Fred Landman’s “First Amendment” for semantics:

The right to solve Russell’s Paradox some other time shall not be restricted.

The first purpose of this paper is to review the empirical data that supports linguistic singularism.  The issue concerns the so-called “super-plurals”.  The second, and main purpose, of the paper is to discharge the First Amendment and provide a potentialist theory of groups—the semantic value of plural expressions.  On this theory, though it is always possible to form a group from a plurality, it is not necessary that we do so.  The view ties in with both the nature of potential infinity generally and the recursive or generative nature of natural languages.

March 06, 2019, 6-7:30 PM in 470 Stephens

Georg Schiemer (University of Vienna)

How Geometry Became Structural

Joint event with OHST.
Structuralism in the philosophy of mathematics is, roughly put, the view that mathematical theories study abstract structures or the structural properties of their subject fields. The position is strongly rooted in modern mathematical practice. In fact, one can understand structuralism as an attempt to come to terms philosophically with a number of wide-ranging methodological transformations in 19th and early 20th century mathematics, related to the rise of modern geometry, number theory, and abstract algebra. The present talk will focus on the geometrical roots of structuralism. Specifically, we will survey some of the key conceptual changes in geometry between 1860 and 1910 that eventually led to a “structural turn” in the field. This includes (i) the gradual implementation of model-theoretic techniques in geometrical reasoning, for instance, the focus on duality and transfer principles in projective geometry; (ii) the unification of geometrical theories by algebraic methods, specifically, by the use of transformation groups in Felix Klein’s Erlangen Program; and (iii) the successive consolidation of formal axiomatics in work by Hilbert and others.