BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Conferences/newsitem/734
9/19-20-May-2016-International-Workshop-Language-a
nd-metalanguage-logic-and-meta-logic-Revisiting-Ta
rskis-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 \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

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

\n \n For more information, see\n http://perso.uclouvain.be/peter.verd
ee/metalang2016\n

\n
URL:/NewsandEvents/Events/Conferences/newsitem/734
9/19-20-May-2016-International-Workshop-Language-a
nd-metalanguage-logic-and-meta-logic-Revisiting-Ta
rskis-hierarchy-Louvain-la-Neuve-Belgium
END:VEVENT
END:VCALENDAR