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

Искусственные языки - это вспомогательные знаковые системы, создаваемые на базе естественных языков для точной и экономной передачи научной и другой информации. Они конструируются с помощью естественного языка или ранее построенного искусственного языка. Язык, выступающий средством построения или изучения другого языка, называют метаязыком, основой - языком-объектом. Метаязык, как правило, обладает более богатым по сравнению с языком-объектом выразительными возможностями. Кириллов В. И., Старченко А. А. Логика. М., 1995. С. 11.

Всякий искусственный язык имеет три уровня организации:

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

Построение искусственного языка начинается с введения алфавита, т. е. набора символов, которыми обозначаются объект данной науки, и правил построения формул данного языка. Часть правильно построенных формул принимается за аксиомы. Таким образом, все знание, оформленное с помощью искусственного языка, приобретает аксиоматизированную форму, а вместе с нею доказательность и достоверность. Дмитриевская И. В. Логика. М., 2006. С. 20

Характерной особенностью искусственных языков является однозначная определенность их словаря, правил образования выражений и придания им значений. Во многих случаях эта особенность оказывается преимуществом таких языков в сравнении с естественными языками, аморфными как со стороны словаря, так и со стороны правил образования и значения. Ивин А. А. Логика. М., 1996. С. 17.

Искусственные языки различной степени строгости широко используются в современной науке и технике: химии, математике, теоретической физике, вычислительной технике, кибернетике, связи, стенографии.

Например, математики с самого начала стремились формулировать доказательства и теоремы на как можно более четком диалекте естественного языка. Хотя словарный запас этого диалекта постоянно расширяется, основные формы предложений, связки, союзы остаются практически теми же, что были выработаны еще в античные времена. Долгое время считалось, что "математический диалект" состоит из строго сформулированных предложений. Но уже в средние века развитие алгебры привело к тому, что формулировки теорем зачастую становились все длиннее и неудобнее. Соответственно, выкладки становились все более трудными. Даже для того чтобы просто понять фразу:

"Квадрат первого, сложенный с квадратом второго и

С удвоенным произведением первого на второе,

Есть квадрат первого, сложенного со вторым"

Требуется значительное усилие. Математическая строгость и удобство стали противоречить друг другу. Тогда заметили, что данное правило математического языка может быть сведено к нескольким условным знакам, и сейчас это записывается кратко и ясно:

X2 + 2 xy + y2 = (x + y)2

Это стало первым этапом уточнения математического языка: был создан символизм арифметических выражений, их равенств и неравенств. Язык математической логики, ставший символическим языком современной математики, возник в тот момент, когда неудобство математического языка для нужд математики было окончательно осознано. Новый символизм прояснил механическую природу многих преобразований, позволил дать простые алгоритмы их осуществления. Непейвода Н. Н. Прикладная логика. Ижевск, 1997. С.27-29.

Роль формализации естественного языка в научном познании и в логике в ососбенности:

    1. Формализация дает возможность анализировать, уточнять, определять и разъяснять понятия. Многие понятия являются не подходящими для научного познания в силу их неопределенности, неоднозначности и неточности. Например, понятия непрерывности функции, геометрической фигуры в математике, одновременности событий в физике, наследственности в биологии существенно отличаются от тех представлений, которые они имеют в обыденном сознании. Кроме того, некоторые исходные понятия обозначаются в науке теми же словами, которые употребляются в разговорном языке для выражения совершенно других вещей и процессов. Такие понятия физики, как сила, работа, энергия, отображают вполне определенные и точно указанные процессы: например, сила рассматривается в физике как причина изменения скорости движущегося тела. В разговорной речи этим понятия придается более широкий, но неопределенный смысл, вследствие чего физическое понятие силы неприменимо к характеристике, например, человека. 2. Формализация приобретает особую роль при анализе доказательств. Представление доказательства в виде последовательности формул, получаемых из исходных с помощью точно указанных правил преобразования, придает ему необходимую строгость и точность. О том, какое значение имеет строгость доказательства, свидетельствует история попыток доказательства аксиомы о параллельных в геометрии, когда вместо такого доказательства сама аксиома заменялась эквивалентным утверждением. Именно неудача подобных попыток заставила Н. И. Лобачевского признать невозможным такое доказательство. 3. Формализация, основанная на построении искусственных логических языков, служит теоретическим фундаментом для процессов алгоритмизации и программирования вычислительных устройств, а тем самым и компьютеризации не только научно-технического, но и другого знания. Рузавин Г. И. Логика и аргументация. М., 1997. С.36-38.

Искусственные языки также используются юридической и логической наукой для теоретического или практического анализа мыслительных структур.

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

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

Имена признаков - это качества, признаки или отношения предметов. Обычно это сказуемые, например, "быть красным", "прыгать", "любить" и т. д.

Предложения - это выражения языка, в котором нечто утверждается или отрицается. По своему логическому значению они выражают истину либо ложь.

Логический язык также имеет свой алфавит, включающий в себя определенный набор знаков (символов), логические связки. С помощью логического языка строится формализованная логическая система, называемая исчислением предикатов. Кириллов В. И., Старченко А. А. Логика. М., 1995. С. 11-13

Похожие статьи




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

Предыдущая | Следующая