2 December 2013, Workshop "Logic and Truth", Geneva, Switzerland

Playing a central role for all philosophical and scientific inquiry, the notion of truth has always posed various puzzles to philosophers and logicians. Answering questions such as what makes some things true as opposed to false or what kind of things can count as true or false requires a genuine understanding of the metaphysics and the logical behaviour of truth.

In a one-day workshop on Logic and Truth, the SGSLPS suggests to look at some questions related to the notion of truth that arise in the context of formal logic. On the one hand, semantic theories of formal languages operate with a rigorous definition of true sentences when spelling out truth conditions for statements in formal theories; on the other hand, the logical behaviour of truth ascriptions themselves is an interesting subject of study. Truth predicates behave in a peculiar way and can lead to paradoxes when treated in a classical formal manner; moreover, it has not been settled so far whether truth ascriptions take the subject predicate form or involve a sentential truth operator which would resemble the necessity operator well known from modal logic. These and similar questions will be addressed during the SGSLPS workshop.

For more information, see http://www.sgslps.ch/events.php