Paraconsistent maths workshop begins!

Monday, August 2

9am Introduction - Zach Weber

10 Naive comprehension, circularity and arithmetic in fuzzy
logic- Shunsuke Yatabe

11 TEA

11.30 Groupthink -- Set theory and arithmetic

1 pm. LUNCH

2.30 Paraconsistent Set Theory and Metatheory - Graham Priest

3.30 Relevant Logic and Classical Proofs - Ed Mares

4.30 TEA

5 Paraconsistent arithmetic with binary quantifiers - Sam Butchart

6 DINNER


Tuesday, August 3

9am Coformulas - Greg Restall

10 Church/Turing Thesis - Koji Tanaka

11 TEA

11.30 Co-inductive-like definition in fuzzy truth theory - Shunsuke
Yatabe

1pm LUNCH

2.30 Groupthink -- Proofs and Computation

3.30 Groups, Inconsistency and The Routley Functor - Chris Mortensen

4.30 TEA

5 Conclusion - Open Problems

6.15 Barry Taylor Memorial Lecture (Jon Bigelow)