Recent and upcoming talks by Sean Walsh

2014 North American Annual ASL Meeting, May 19 – 22, 2014

2014 ASL North American Annual Meeting. May 19–22, 2014, Boulder, Colorado. The invited speakers are: L. Barto, B. Csima, V. de Paiva, J. Hirst, M. Hrusak, A. Kolesnikov, A. Marks, M.C. continue reading…

Sean Walsh: The Constructible Universe, the Naive Conception, and Intensional Logic

Time: Mon, 11/25/2013 – 4:00pm – 5:30pm Location: RH 440R Speaker: Sean Walsh Institution: Logic and Philosophy of Science, UC Irvine Abstract: This talk looks at the relationship between three foundational systems: Goedel’s Constructible Universe of Sets, the naive conception of set found in consistent fragments of Frege’s Grundgesetze, and the intensional logic of Church’s Logic of Sense and Denotation. continue reading…