Friday |
|
13:30‑14:30 |
Welcome/Registration/Coffee |
14:30‑15:30 |
Leon Horsten: Truth, conditionals, and paradox [slides] |
15:45‑16:45 |
Juliette Kennedy: Change the logic, change the meaning? [slides] |
16:45‑17:00 |
Coffee |
17:00‑17:45 |
Walter Dean and Hidenori Kurokawa: Numbers, constructive truth, and the Kreisel-Goodman Paradox [slides] |
17:50‑18:35 |
Andrea Strollo: The disentanglement of syntax from a model theoretic point of view [slides] |
18:40‑19:25 |
Graham E. Leigh: A proof-theoretic account of classical principles of truth [slides] |
20:00 |
Dinner |
|
|
Saturday |
|
9:30‑10:30 |
Roman Kossak: Model theory of satisfaction classes [slides] |
10:30‑11:00 |
Coffee |
11:00‑12:00 |
Albert Visser: Degrees of interpretability of finitely axiomatized sequential theories [slides] |
12:15‑13:15 |
Richard Kaye: Adding standardness to nonstandard models [slides] |
13:15‑14:30 |
Lunch |
14:30‑15:30 |
Rafał Urbaniak: Neologicism: for real(s)? [slides] |
15:45‑16:45 |
Konrad Zdanowski: On notation systems for natural numbers and polynomial time computations [slides] |
16:45‑17:15 |
Coffee |
17:15‑18:00 |
Shunsuke Yatabe: Yablo’s paradox and ω-inconsistency [slides] |
18:15‑19:00 |
Edoardo Rivello: Revision without ordinals [slides] |
19:30 |
Dinner |
|
|
Sunday |
|
9:30‑10:30 |
Sean Walsh: Empiricism, Probability, and Knowledge of Arithmetic [slides] |
10:30‑11:00 |
Coffee |
11:00‑12:00 |
Martin Fischer: Truth and groundedness [slides] |
12:15‑13:15 |
Volker Halbach: Axiomatic and semantic approaches to truth [slides] |
13:15‑14:30 |
Lunch |
14:30‑16:30 |
Special session, Roman Kossak: Husserl’s philosophy of arithmetic, a discussion [slides] |