Единство и многообразие языков. Метаязык. Формализованный язык. Машинные языки. Знаковая форма языка. Философия как язык

Из Библии известно, что разгневанный дерзостью людей, вознамерившихся после всемирного потопа построить в Вавилоне башню до небес. Бог "смешал их языки" так, что люди перестали понимать друг друга. Действительно, многообразие языков осложняет взаимопонимание людей. Однако, и это отчасти даже удивительно, многообразие языков — обязательная черта жизни людей. Если бы даже все люди согласились говорить на международных языках воляпюк (создан немцем Шлейером) и эсперанто (создан поляком Заменгофом), то тем не менее многообразие языков не было бы ликвидировано. Осталось бы различие между естественными и искусственными, формализованными и машинными языками.

Метаязык — это язык, на основе которого производится исследование другого языка, последний при этом называется объектным. языком. С точки зрения человека, говорящего на русском языке и изучающего английский, русский язык является метаязыком, а английский выступает в качестве объектного языка. В нашем изложении мы постоянно пользуемся метафилософским языком, то есть категориями метафилософии. Так, в предыдущем параграфе природа естественного языка рассматривалась на базе таких категорий, как возможность, символ. Раздел математической логики, посвященный основаниям математики, называется метаматематикой, она функционирует как метаматематический язык. Соотношение между метаязыком и объектным языком реализуется в

157