2 December 2013
Geneva, Switzerland
**************************************************************************************************** The Swiss Graduate Society of Logic and Philosophy of Science (SGSLPS) organises a one-day conference on LOGIC AND TRUTH on December 2 in 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. Johannes Stern, the recipient of the 2012 Paul Bernays award, will conclude the conference. Invited Speakers: Prof. Hannes Leitgeb (LMU München) Dr. Graham Leigh (University of Oxford) Dr. Johannes Stern (LMU München) Please find a full program on http://www.sgslps.ch/events.php. All are welcome! The SGSLPS is swiss association of advanced undergraduate and graduate students concerned with logic and/or philosophy of science. Its aim is to promote logic among young scientists of a wide range of disciplines including, but not restricted to, mathematics, philosophy and computer science. It presents high level introductory events on chosen topics from the field of logic to all those with an interest in this domain. For the SGSLPS, Marion Haemmerli (Lausanne), Kevin Fournier (Lausanne), Yann Pequignot (Lausanne) and Dandolo Flumini (Bern) ****************************************************************************************************