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/2016/newsitem/7349/19-
 20-May-2016-International-Workshop-Language-and-me
 talanguage-logic-and-meta-logic-Revisiting-Tarskis
 -hierarchy-Louvain-la-Neuve-Belgium
DTSTAMP:20160430T000000
SUMMARY:International Workshop "Language and metal
 anguage, logic and meta-logic.\n        Revisiting
  Tarski's hierarchy", Louvain-la-Neuve, Belgium
DTSTART;VALUE=DATE:20160519
DTEND;VALUE=DATE:20160520
LOCATION:Louvain-la-Neuve, Belgium
DESCRIPTION:The goal of this workshop is to bring 
 together researchers in logic, philosophy of logic
 , philosophy of language and philosophy of mathema
 tics to investigate the problem of the separation 
 between object-language and metalanguage.   Ever s
 ince the work of Alfred Tarski we have known that 
 trivializing paradoxes arise when one designs a pr
 ecise language that is able to express at the same
  time the object theory and the metatheory of a ce
 rtain domain. As a solution, Tarski suggested a st
 rict hierarchy of languages in which every languag
 e can only talk about the language immediately bel
 ow it in the hierarchy. Although this works as a t
 echnical solution, it is rather artificial and rem
 ote from our intuitions about natural language.   
 Since Tarski's results, logic, philosophy of langu
 age and mathematics have changed quite a bit. Nowa
 days we have a multitude of non-classical logical 
 systems that can prevent the paradoxes from poppin
 g up or from destroying all meaning. There are wel
 l-established mathematical tools to carefully deal
  with the possibility of reasoning about the metat
 heory of a foundational theory ('forcing' in set t
 heory, category theory, consistency strength). Way
 s of dealing sensibly with non-stratified full com
 prehension in mathematics have been proposed. Soph
 isticated grounding and revision techniques for se
 lf-referential truth have been developed. Formal t
 ools have been devised to better understand natura
 l language. People are trying to emancipate themse
 lves from the norm that urges us to use a classica
 l metatheory. Given all these new developments, we
  think now is a good time to reopen the philosophi
 cal debate on the distinction between object-langu
 age and metalanguage.   For more information, see 
 http://perso.uclouvain.be/peter.verdee/metalang201
 6
X-ALT-DESC;FMTTYPE=text/html:\n      <p>The goal o
 f this workshop is to bring together researchers i
 n\n      logic, philosophy of logic, philosophy of
  language and\n      philosophy of mathematics to 
 investigate the problem of the\n      separation b
 etween object-language and metalanguage.\n      </
 p>\n      <p>Ever since the work of Alfred Tarski 
 we have known that\n      trivializing paradoxes a
 rise when one designs a precise language\n      th
 at is able to express at the same time the object 
 theory and\n      the metatheory of a certain doma
 in.  As a solution, Tarski\n      suggested a stri
 ct hierarchy of languages in which every\n      la
 nguage can only talk about the language immediatel
 y below it\n      in the hierarchy. Although this 
 works as a technical solution,\n      it is rather
  artificial and remote from our intuitions about\n
       natural language.\n      </p>\n      <p>Sinc
 e Tarski's results, logic, philosophy of language 
 and\n      mathematics have changed quite a bit. N
 owadays we have a\n      multitude of non-classica
 l logical systems that can prevent the\n      para
 doxes from popping up or from destroying all meani
 ng. There\n      are well-established mathematical
  tools to carefully deal with\n      the possibili
 ty of reasoning about the metatheory of a\n      f
 oundational theory ('forcing' in set theory, categ
 ory theory,\n      consistency strength). Ways of 
 dealing sensibly with\n      non-stratified full c
 omprehension in mathematics have been\n      propo
 sed. Sophisticated grounding and revision techniqu
 es for\n      self-referential truth have been dev
 eloped. Formal tools have\n      been devised to b
 etter understand natural language. People are\n   
    trying to emancipate themselves from the norm t
 hat urges us to\n      use a classical metatheory.
  Given all these new developments, we\n      think
  now is a good time to reopen the philosophical de
 bate on\n      the distinction between object-lang
 uage and metalanguage.\n      </p>\n    \n      <p
 >For more information, see\n        <a target="_bl
 ank" href="http://perso.uclouvain.be/peter.verdee/
 metalang2016">http://perso.uclouvain.be/peter.verd
 ee/metalang2016</a>\n      </p>\n    
URL:/NewsandEvents/Archives/2016/newsitem/7349/19-
 20-May-2016-International-Workshop-Language-and-me
 talanguage-logic-and-meta-logic-Revisiting-Tarskis
 -hierarchy-Louvain-la-Neuve-Belgium
END:VEVENT
END:VCALENDAR