Truth and Properties: Building Bridges
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).
- Program "Truth and Properties: Building Bridges" (272 KByte)