Graduate Student Seminar

Title: Possibility and provability
Speaker: Paul VanKoughnett
Speaker Info:
Brief Description:
Special Note:

We use logic to talk about statements that are true or false. But what do we mean when we say that something could have been false, or had to be true? I'll introduce a set of logical tools that help us understand these and other modes of truth -- when things are true after a point in time, or are known to be true, or ought to be true -- and start to analyze the relationship between their syntax and semantics. I'll conclude with a mathematical application: an analysis of the logic of provability in Peano arithmetic.
Date: Friday, November 13, 2015
Time: 4:00pm
Where: Lunt 104
Contact Person: Corinna Wendisch
Contact email: wendisch@math.northwestern.edu
Contact Phone: 847-644-5889
Copyright © 1997-2024 Department of Mathematics, Northwestern University.