BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Upcoming-Events/newsitem
/7005/2-October-2015-Cool-Logic-Stella-Moon
DTSTAMP:20150924T000000
SUMMARY:Cool Logic, Stella Moon
ATTENDEE;ROLE=Speaker:Stella Moon
DTSTART:20151002T173000
DTEND: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.

\n 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.

\n 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.

\n \n For more informati
on, see http://www.illc.uva.nl/coollogic
/ or contact coollogic.uva ~~at gmail.com~~

~~\n
URL:/NewsandEvents/Events/Upcoming-Events/newsitem
/7005/2-October-2015-Cool-Logic-Stella-Moon
END:VEVENT
END:VCALENDAR
~~