5 Washington Pl
New York, NY 10003
USA
The standard way to show the consistency of a theory, or the independence of a given statement from that theory, is to exhibit a model. But there’s more than one thing that’s been called a “model” as this notion has evolved from its original role in 19th century foundations of geometry to its current role as a universallyapplicable tool in logic. This talk investigates some of the changes that bring us to the modern notion, and asks to what extent various kinds of model do, or don’t, successfully demonstrate various kinds of consistency and independence.
When: Friday October 20, 11:00am-1:00pm (with reception to follow)
Where: NYU Philosophy Department, 5 Washington Place, Room 202
Nina Emery (Mount Holyoke), November 3, The Graduate Center, CUNY
Be the first to reply