Program

September 10th

15.00 E. Moriconi ``First Steps in Proof-theoretic Semantics''

16.00 C. Cozzo ``Gulliver's travels. Part five.''

17.00 Coffee Break

17.30 G. Sundholm ``Error''

18.30 Discussion

20.00 Dinner

September 11th

9.00 L. Tranchini ``Truth from a proof-theoretic perspective''

10.00 P. Schroeder-Heister ``Consequence and correctness of inference''

11.00 Coffee Break

11.30 D. Prawitz ``Truth as an epistemic notion''

12.30 Discussion

13.00 Lunch

15.00 G. Usberti ``Anti-realistic Truth and truth recognition''

16.00 I. Rumfitt ``Determinacy and bivalence''

17.00 Coffee Break

17.30 J. Murzi ``Manifestability and decidability''

18.30 Discussion

20.00 Dinner

September 12th

9.00 H. Wansing ``Anti-realistic truth and falsity''

10.00 I. Douven ``Putnam's Internal Realism: A Restatement'

11.00 Coffee Break

11.30 B. Weiss ``Perspectives and the World''

12.30 Discussion

13.00 End of the Workshop