Non-Standard Logic

BIRMINGHAM WORKSHOPS IN PHILOSOPHY

Wednesday 22 January, 2014   Non-Standard Logic  

10:40am Coffee & Biscuits
11:00am Yakov Kremnitzer (Oxford ):   “Logic in Homotopy Type Theory”
Lunch
1:45       Coffee
2pm       Ian Rumfitt (Birmingham):   “Is Intuitionistic Logic the Logic of Vagueness?”                    
4pm        Kit Fine (Birmingham, NYU):   “Truth-conditional Content"  

The talks will be in the Senate Chamber of the Aston Webb building.  This is R6 on the following map:   http://www.birmingham.ac.uk/Documents/university/edgbaston-map.pdf  

The workshop is free and open to all. For further information please contact Professor Scott Sturgeon ([email protected]).