Truth and Properties: Building Bridges

Internationaler Workshop unter Leitung von Lavinia Picollo, Ph.D. (Postdoc-Stipendiatin der Münchener Universitätsgesellschaft am CAS).

01.09.2016 – 02.09.2016

There is a striking similarity between truth and properties (or their extensions, classes) from a logical point of view. Not only because of the structural resemblance between the truth-theoretic and the logical paradoxes, but also in terms of the expressive power the truth predicate and quantification over predicate position provide. Moreover, there are several well-known results in proof-theory that link formal theories of truth with second-order systems. This suggests a more comprehensive study of the formal connections between truth and properties, which is the focus of the workshop. The obtained results could lead to a unified treatment of the paradoxes and a deeper insight into both philosophical phenomena.

Teilnehmer sind u.a.: Dora Achourioti (Amsterdam), Timo Beringer (Munich), Roy T. Cook (Minnesota), Leon Horsten (Bristol), Oystein Linnebo (Oslo), Thomas Schindler (Cambridge), John Wigglesworth (Munich).