'Meta''-and ''object language''. We now know(?) that Frege
considered ''ordinary language'' as not suitable for science
and try to ''invent'' an scientific language which is called
''new logic''. Less known is Tarski's attempt to avoid paradoxes
which origin when we speak in the same language about our
language. To avoid this ''difficulty'' he invented the separation
between ''object language'' and ''meta language'' the later
as being ''about'' object language. The problem is that we get,
say, many , or even worst, too many meta languages.
This is, uh, my introduction to ''meta theory'' as mentioned in
my previous post.