Home

Upcoming Events
Colloquia
Conferences

News
People
Faculty
Graduate Students
Staff
Visitors
Courses
Fall 2010
Winter 2011
Spring 2011
Previous Years
Graduate Program
General Information
Admissions
Degree Requirements
Advising
Placement
Alumni
Undergraduate Program
Colloquia
2010-2011
Previous Years
Conferences & Workshops
Exchange Programs
Lambert Prize

Logic & Philosophy of Science Colloquium


 

Allen Hazen
University of Alberta

A metaphysical ichnofossil: the variable in Quine's ML

Abstract:

The nature of the variable was, for Russell's generation, a metaphysical or semantic puzzle. We know that Quine was aware of this (the first dissertation written under his supervision was about it!). Other features of "Mathematical Logic" were designed to teach as much by example as by precept. I suggest that the axiomatization of quantifier logic in the book may have been chosen in order to demonstrate that the puzzles need not arise in formal logic.

Wednesday, April 20, 2011
SST 777
3:00 pm

Light Refreshments Provided




©