Искусственные и естественные языки

Такое бурное и успешное развитие дедуктивной логики привело к формулировке понятия формальной дедуктивной (аксиоматической) системы, к рассмотрению структуры которой мы ниже вкратце и обратимся. Дедуктивная система – это область мышления и языка, в высокой степени обработанная средствами дедуктивной логики и получающая в связи с этим некоторый законченный и организованный вид.

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

Очень часто учащихся и неспециалистов вводит в заблуждение термин «формальный» в применении к логическим языкам дедуктивной логики. Сегодня логика, как и математика вообще, во многом строится с применением множества специальных символов («значков»), которые кажутся бессмысленной абракадаброй несведущему человеку. Но в этом случае с равным успехом формальным можно называть, например, и язык нотной записи музыкальных произведений, который не менее понятен для непосвященного. Поэтому само по себе использование специального языка еще не означает чего-то обязательно «формального». Необходимо специально оговориться, в каком смысле искусственные языки логики и математики считаются формальными.

Под формальным можно понимать, по крайней мере, две вещи: во-первых, степень выражения в языковых средствах предмета языка (того, о чем говорит язык), во-вторых, степень общего, универсального, выражаемого языком. С первой точки зрения, обычные языки, например, русский, английский могут быть названы более формальными, чем язык математики. В самом деле, математический язык специально строится так, чтобы в структуре символов этого языка уже выражался предмет языка. Поэтому в математических языках форма и содержание языка гораздо более подобны друг другу, чем в языках обычных, и в этом смысле математические языки гораздо более содержательны. Вот почему можно порой работать с математическими знаками, не понимая их смысла (как это делается в компьютерах). Ведь уже в самой структуре математического знака заложен до некоторой степени закон его содержания. В разговорных языках на форму знаков (например, слов, букв) гораздо больше влияет природа пользователя этого языка, например, устройство гортани человека, позволяющей издавать фиксированный набор звуков. Поэтому в ненаучных языках больше разрыв между формой и содержанием знака, и в этом смысле они более формальны.

Во втором смысле, при понимании формальности как универсальности, конечно, более формальны математические языки. Они создаются для выражения очень общих и универсальных понятий и законов, в то время как обычный язык во многом порожден жизнью человека в близком ему опыте.

Искусственные языки науки и естественный язык взаимно дополняют друг друга. Искусственные языки более универсальны в своей области и обладают формой, более подобной своему содержанию. Однако искусственные языки практически ничего не могут сказать вне сферы своей компетенции, в то время как естественный язык способен сказать понемногу обо всем. Не надо думать, что можно было бы обойтись без искусственных языков, и их использование – результат лишь некоторого удобства. Есть много вещей, о которых либо вообще нельзя сказать, либо удается сказать очень приблизительно и неадекватно средствами естественного языка. В этом смысле овладение тем или иным искусственным языком – языком физики, математики, логики - оказывается во многом процессом приобретения нового органа понимания и выражения, этот момент нельзя недооценивать особенно в современном научном познании, насыщенном сложнейшими искусственными языковыми системами. Если различные естественные языки можно было бы называть синтаксическими (синтаксис – правила построения знаков языка), т.к. они различаются не столько смыслами, сколько звуковыми и письменными оболочками этих смыслов, в связи с чем давно возможен достаточно хороший перевод между такими языками; то разнообразие искусственных языков математики и других наук представляет из себя пример семейства семантических языков (семантика – наука об отношении знаков и их содержания), существенно различающихся системами выражаемых ими смыслов. Для перевода таких языков между собой необходим некоторый семантический гиперязык, способный объединить в себе смысловые пространства и подобные им знаковые формы различных искусственных языков. В наибольшей мере такой язык присутствует в современной математике, но, по-видимому, и его ресурсов пока существенно не хватает для переводов с языка одной частной науки на язык другой. Создание такого гиперязыка – это во многом проблема создания более универсального смысла, который еще отсутствует в современной науке. Другим возможным источником синтетического гиперязыка является философия, но до сих пор она слишком мало взаимодействовала с искусственными языками других наук, пытаясь максимально обходиться средствами естественного языка.

Одним из наиболее типичных примеров семантических языков как раз является искусственный язык современной дедуктивной логики.