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
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
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
\nSinc 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
\n \nFor more information, see\n http://perso.uclouvain.be/peter.verd ee/metalang2016\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