EVENT DETAILS AND ABSTRACT

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

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.