Lauro to give paper at Czech conference
Greg Lauro, currently finishing his second year in LPS, will give a paper entitled "Iterated Reflection in Axiomatic Theories of Truth" at the conference Logica 2016. The conference is sponsored by the Institute of Philosophy, part of the Academy of Sciences of the Czech Republic, and will take place June 20-24, 2016 in the town of Hejnice. Lauro's paper explores a program for developing a theory of truth recently defended by logicians Leon Horsten (Bristol) and Graham Leigh (Vienna). He proves a number of new results, and suggests that these show some potential difficulties for the Horsten-Leigh project.