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/2015/newsitem/7005/2-O ctober-2015-Cool-Logic-Stella-Moon DTSTAMP:20150924T000000 SUMMARY:Cool Logic, Stella Moon ATTENDEE;ROLE=Speaker:Stella Moon DTSTART;TZID=Europe/Amsterdam:20151002T173000 DTEND;TZID=Europe/Amsterdam:20151002T183000 LOCATION:ILLC Seminar Room (F1.15), Science Park 1 07, Amsterdam DESCRIPTION:In the early 1900s, some paradoxes wer e discovered regarding the notion of truth. This l ed some philosophers to suggest abandoning truth e ntirely. However, Tarski's ground breaking paper “ The concept of truth in formalized languages” (193 5) reintroduced the concept of truth as a respecta ble notion. He introduced the notion of metalangua ge and object language to avoid the paradoxes. Thi s also led to a view called deflationism. Deflatio nism is a view that the assertion of truth should not assert more than the statement itself. Since then, there have been attempts to formalise the co ncept of truth. There are two ways of formalising the concept: semantic and axiomatic theories of tr uth. Semantic theories use models of formal theori es to state whether a sentence is true or false. T his is generally accepted and used in model theory . Axiomatic theories introduce truth into the lang uage of the theory. We will use Peano Arithmetic (PA) as our base theory, the theory of the object language. We can show Goedel's theorems in PA and discuss truth in arithmetic. To respect deflationi sts' view on truth, I will introduce proof theoret ic and model theoretic conservativities, and discu ss the compositional axioms of truth. For more in formation, see http://www.illc.uva.nl/coollogic/ o r contact coollogic.uva at gmail.com X-ALT-DESC;FMTTYPE=text/html:\n
In the e arly 1900s, some paradoxes were discovered regardi ng the notion of truth. This led some philosophers to suggest abandoning truth entirely. However, Ta rski's ground breaking paper “The concept of truth in formalized languages” (1935) reint roduced the concept of truth as a respectable noti on. He introduced the notion of metalanguage and o bject language to avoid the paradoxes. This also l ed to a view called deflationism. Deflationism is a view that the assertion of truth should not asse rt more than the statement itself.
\nSince then, there have been attempts to formalise the concept of truth. There are two ways of forma lising the concept: semantic and axiomatic theorie s of truth. Semantic theories use models of formal theories to state whether a sentence is true or f alse. This is generally accepted and used in model theory. Axiomatic theories introduce truth into t he language of the theory.
\nWe will use Peano Arithmetic (PA) as our base theory, the theory of the object language. We can show Goedel 's theorems in PA and discuss truth in arithmetic. To respect deflationists' view on truth, I will i ntroduce proof theoretic and model theoretic conse rvativities, and discuss the compositional axioms of truth.
\n \nFor more informati
on, see http://www.illc.uva.nl/coollogic
/ or contact coollogic.uva at gmail.com