Logic, Inference and Rationality

Program

Day 1

8:50-9 Introduction and Welcome

9-9:50 Wilfried Sieg, “Proofs as Objects”

9:55-10:45 Nicholaos Jones, “Intra-theoretic Juggling and Explanatory Networks”

10:45-11:00 Break

11:00-11:50 Ethan Brauer, “Relevance as Use in a Derivation”

11:55-12:45 Patrick Reeder, “Much Ado about Knowing”

12:45-2:00 Lunch

2:00-2:50 Julian Cole, “A New Approach to Mathematical Humanism”

2:55-3:45 Paolo Maffezioli, “Lewis, Tarski, and Rational Numbers: Tennant's Contributions to a Constructive Mereology”

3:45-4:00 Break

4:00-4:50 Roy Cook, “What Kind of Realism? Intuition, Excluded Middles, and Other Stuff”

4:50-5:00 Break

5:00-5:20 General Remarks by Neil Tennant

Day 2

9-9:50 Heinrich Wansing, “Abelian Logic on the Bochum Plan (and the American Plan as well)”  

9:55-10:45 Salvatore Florio, “Cantor’s Plural Logic” 

10:45-11:00 Break

11:00-11:50 Adam Podlaskowski, “The Taming of the True, Discourse-by-Discourse” 

11:55-12:45 Nils Kürbis, “Tennant on Natural Deduction, Definite Descriptions and other Term Forming Operators”  

12:45-2:00 Lunch

2:00-2:50 Robert Kraut, “Meaning as Use? Reference as Inference? Robust Deflation Revisited” 

2:50-3:00 Break

3:00-4:00 Neil Tennant, Closing remarks.