BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2013/newsitem/5389/2-D ecember-2013-Workshop-Logic-and-Truth-Geneva-Switz erland DTSTAMP:20131128T000000 SUMMARY:Workshop "Logic and Truth", Geneva, Switze rland DTSTART;VALUE=DATE:20131202 DTEND;VALUE=DATE:20131202 LOCATION:Geneva, Switzerland DESCRIPTION:Playing a central role for all philoso phical and scientific inquiry, the notion of truth has always posed various puzzles to philosophers and logicians. Answering questions such as what ma kes some things true as opposed to false or what k ind 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 worksh op 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 op erate with a rigorous definition of true sentences when spelling out truth conditions for statements in formal theories; on the other hand, the logica l behaviour of truth ascriptions themselves is an interesting subject of study. Truth predicates beh ave in a peculiar way and can lead to paradoxes wh en treated in a classical formal manner; moreover, it has not been settled so far whether truth ascr iptions 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 du ring the SGSLPS workshop. For more information, see http://www.sgslps.ch/events.php X-ALT-DESC;FMTTYPE=text/html:\n
Playing a central role for all philosophical and scientific inquiry, the \n notion of truth has always posed various puzzles to philosophers and \n logicians. Answering questions such as what make s some things true as \n opposed to false o r what kind of things can count as true or false \ n requires a genuine understanding of the m etaphysics and the logical \n behaviour of truth.\n
\nIn a one-day workshop on Logic and Truth, the SGSLPS suggests to look a t \n some questions related to the notion o f truth that arise in the context of \n for mal logic. On the one hand, semantic theories of f ormal languages \n operate with a rigorous definition of true sentences when spelling out \n truth conditions for statements in formal t heories; on the other hand, the \n logical behaviour of truth ascriptions themselves is an in teresting \n subject of study. Truth predic ates behave in a peculiar way and can lead \n to paradoxes when treated in a classical formal manner; moreover, it has \n not been settl ed so far whether truth ascriptions take the subje ct \n predicate form or involve a sententia l truth operator which would resemble \n th e necessity operator well known from modal logic. These and similar \n questions will be addr essed during the SGSLPS workshop.\n
\n \nFor more information, see\n http://www.sgslps.ch/events.php\n p> URL:/NewsandEvents/Archives/2013/newsitem/5389/2-D ecember-2013-Workshop-Logic-and-Truth-Geneva-Switz erland END:VEVENT END:VCALENDAR