University of Connecticut

Events Calendar

Logic Colloquium: Stewart Shapiro

Friday, January 27, 2017
2:00pm – 3:30pm

Storrs Campus
FSB 220

Stewart Shapiro (OSU/UConn) is giving a talk in the Logic Colloquium:

"Computing with numbers and other non-syntactic things: de re knowledge of abstract objects”

Abstract: Michael Rescorla has argued that it makes sense to compute directly with numbers, and he faulted Turing for not giving an analysis of number-theoretic computability. However, in line with a later paper of his, it only makes sense to compute directly with syntactic entities, such as strings on a given alphabet. Computing with numbers goes via notation. This raises broader issues involving de re propositional attitudes towards numbers and other non-syntactic abstract entities.

All welcome!


UConn Logic Group Colloquium (primary), Philosophy Department, UConn Master Calendar

Control Panel