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 https://www.illc.uva.nl/coollogic/ 
 or contact coollogic.uva at gmail.com
X-ALT-DESC;FMTTYPE=text/html:\n        <p>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 &ldquo;The concept of
  truth in formalized languages&rdquo; (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.</p>\n        <p
 >Since 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.</p>\n        <p>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 deflationists' view on truth, I will i
 ntroduce proof theoretic and model theoretic conse
 rvativities, and discuss the compositional axioms 
 of truth.</p>\n    \n        <p>For more informati
 on, see <a target="_blank" href="https://www.illc.
 uva.nl/coollogic/">https://www.illc.uva.nl/coollog
 ic/</a> or contact <a class="email">coollogic.uva 
 <span class="at">at</span> gmail.com</a></p>\n    
URL:/NewsandEvents/Archives/2015/newsitem/7005/2-O
 ctober-2015-Cool-Logic-Stella-Moon
END:VEVENT
END:VCALENDAR