Искусственный формальный язык. Реферат: Естественный язык и искусственные языки

Иску́сственные языки́ - специальные языки, которые, в отличие от естественных, сконструированы целенаправленно. Таких языков существует уже более тысячи, и постоянно создаются всё новые и новые.

Различают следующие виды искусственных языков:
* Языки программирования и компьютерные языки - языки для автоматической обработки информации с помощью ЭВМ.
* Информационные языки - языки, используемые в различных системах обработки информации.
* Формализованные языки науки - языки, предназначенные для символической записи фактов и теорий математики, логики, химии и других наук.
* Языки несуществующих народов, созданные в беллетристических или развлекательных целях. Наиболее известны: эльфийский язык, придуманный Дж. Толкином, и клингонский язык из фантастического сериала «Star Trek» (смотрите статью Вымышленные языки)
* Международные вспомогательные языки - языки, создаваемые из элементов естественных языков и предлагаемые в качестве вспомогательного средства межнационального общения.

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

Система естественного языка относится к многоуровневым системам, т.к. состоит из качественно разных элементов – фонем, морфем, слов, предложений, отношения между которыми сложны и многогранны. Что касается структурной сложности естественного языка, то язык называют самой сложной из знаковых систем. По структурному основанию различают также детерминированные и вероятностные семиотические системы. Естественный язык принадлежит к вероятностным системам, в которых порядок следования элементов не является жёстким, а носит вероятностный характер. Семиотические системы разделяют также на динамические, подвижные и статические, неподвижные. Элементы динамических систем меняют своё положение по отношению друг к другу, тогда как состояние элементов в статических системах неподвижно, устойчиво. Естественный язык относят к динамическим системам, хотя в нём присутствует и статические признаки.

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

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

Существует несколько подходов к определению семантики языков программирования.

Наиболее широко распространены разновидности следующих трёх: операционного, деривационного (аксиоматического) и денотационного (математического).

Введение.

1. Понятие языка.

1.1 Что такое язык

1.2 Язык - система кодов.

2. Естественный язык.

3. Искусственный язык.

Заключение.

Список литературы

Введение.

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

Что такое язык.

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

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

Язык представляет собой, так называемую систему кодов, знаков. (См. Схему №1.) Знак – это, ничто иное, как любой воспринимаемый чувственно предмет (Визуального , Аудиального или другого), служащий представителем другого предмета и носителем информации об этом предмете (знаки-образы: фотографии, копии различных документов, отпечатки пальцев; знаки-символы – к примеру, алфавитные буквы, музыкальные ноты, знаки Морзе).

Схема №1:

Общество людей немыслимо без знаков. Любая мысль может быть передана от одного человека до восприятия другого, при помощи звуковых знаков. Само понятие, мысль возникает в голове человека, прежде чем исходит звуковые комплекс, иначе слова. Когда мы пытаемся подобрать для какого-то понятия звуковой комплекс, само понятие уже есть в нашей голове. Для того, чтобы появился язык, человек должен сначала образовать звуковой комплекс, а затем сопоставить его с окружающим нас миром, установить знаковую соотнесенность.

По своему происхождению языки бывают естественные и искусственные .

Естественный язык.

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

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

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

Исходя из семантического статуса естественного языка отмечаем следующее:

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

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

В силу отличий в надстройке и базисе, отдельно взятый

естественный язык, показывает одно и то же абстрактное содержание неповторимым, уникальным. С другой стороны, в любом отдельно взятом языке показывается и такое абстрактное содержание, которое не показывается нам в других языках. Однако это не значит, что каждый отдельно взятый язык имеет свою особую сферу абстрактного содержания. Например, «Мужчина», «Man » объясняет нам одно абстрактное содержание, но само содержание не относится не к английскому не к русскому языку. Сфера абстрактного содержания уникальна для разных естественных языков. Именно поэтому возможен перевод с одного на другой естественный язык.

Объект логического анализа языка - абстрактное содержание, в то время как естественные языки являются лишь необходимым условием такого анализа.

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

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

К примеру, слово “спутник” - раньше использовалось только одно значение (попутчик, товарищ в пути.) , а сегодня имеет еще одно - космический спутник.

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

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

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

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

· синтаксис – уровень структуры языка, где формируются и исследуются отношения между знаками, способы образования и преобразования знаковых систем;

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

· прагматику, где исследуются способы употребления знаков в данном сообществе, использующем искусственный язык.

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

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

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

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

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

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

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

Естественные языки являются языками, на которых говорят люди, такие как английский, испанский, и французский языки. Они не были разработаны людьми (хотя люди пытаются навязать какие-то правила для них); они развивались естественным путем.

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

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

Формальные языки, как правило, имеют строгие правила синтаксиса. Например, 3+3=6 является синтаксически правильным математическим утверждением, но 3=+$6 - нет. H2O является синтаксически правильным химическим названием, но 2ZZ - нет.

Правила синтаксиса бывают двух видов: относящихся к лексемам и структуре. Лексемы являются основными элементами языка, такими как слова, цифры и химические элементы. Одна из проблем, с 3 = + 6 $ в том, что $ не является юридической лексемой в математике (по крайней мере, насколько мы знаем). Аналогичным образом, 2Zz не является законным, потому что нет ни одного элемента с аббревиатурой Zz.

Второй тип ошибок синтаксиса относится к структуре оператора, который устроен подобно лексеме. Утверждение 3 = + 6 $ структурно неверно, потому что вы не можете поместить знак плюс сразу после знака равенства. Аналогичным образом, молекулярные формулы должны иметь нижние индексы после имени элемента, а не раньше.

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

Когда вы читаете предложение на английском языке или оператор на формальном языке, вы должны выяснить, какова структура предложения присутствует (хотя на естественном языке вы делаете это подсознательно). Этот процесс называется синтаксическим анализом.

Например, когда вы слышите фразу «Второй ботинок упал», вы понимаете, что «второй ботинок» является предметом, а «упал» - предикатом. После того как вы разобрали предложение, вы можете выяснить его значение либо его семантику. Предполагая, что вы знаете, что такое «ботинок» и что это значит падать, вы будете понимать общий подтекст этого предложения.

Хотя у формальных и естественных языков есть много особенностей в общих лексемах, структуре, синтаксисе и семантике, там много различий:

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

избыточность - Для компенсации двусмысленности и уменьшения недопонимания естественные языки используют много избыточности. В результате они часто многословны. Формальные языки являются менее избыточными и более краткими.

буквальность - естественные языки полны идиом и метафор. Если я говорю: «Второй ботинок упал» там, вероятно, нет никакой обуви и нечему падать. Формальные языки означают именно то, что они говорят.

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

Поэзия

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

Проза

Буквальное значение слова является более важным, а структура способствует большему пониманию. Проза более поддается анализу, чем поэзия, но до сих пор часто неоднозначна.

Программы

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

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

Первая программа

Традиционно первая программа, которую пишут на новом языке, называется «Hello, World!», потому что всё, что она делает - это отображает слова «Hello, World!». В Python, это выглядит следующим образом:

print «Hello, World!»

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

Кавычки в программе отмечают начало и конец значения; они не появляются в результате.

Некоторые люди судят о качестве языка программирования по простоте программы «Hello, World!». По этому образцу, Python делает это настолько, насколько это возможно.

Глоссарий.

Решение проблемы - процесс разработки проблемы, нахождение решения и отражение решения.

Язык программирования высокого уровня - язык программирования, подобный Python, который задуман быть легким для людей, чтобы читать и писать.

Низкоуровневый язык - язык программирования, который разработан, чтобы быть естественным для выполнения компьютером; также называемый «машинным языком» или «языком ассемблера».

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

Компиляция - одноразовый перевод программы, написанной на языке высокого уровня, на язык низкого уровня в рамках подготовки для последующего выполнения.

Исходный код - программа на языке высокого уровня перед ее компиляцией. объектный код - вывод компилятора после того, как он перевел программу. выполняемый код - другое имя для «объектного кода», который готов к выполнению. сценарий - программа, хранимая в файле (как правило та, которая будет интерпретироваться).

Программа - набор инструкций, который определяет вычисления. алгоритм - общий процесс решения класса проблем.

Баг - ошибка в программе. отладка - процесс поиска и удаления любой из трех типов ошибок программирования.

Синтаксис - структуры программы. синтаксическая ошибка - ошибка в программе, которая делает невозможным анализ (и, следовательно, невозможность интерпретации).

Ошибка выполнения - ошибка, которая не встречается, пока программа не начнет выполняться, но которая предотвращает продолжение программы.

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

Семантика - смысл программы. естественный язык - любой из языков, на котором говорят люди и которые развивались естественным образом.

Этот вопрос можно задать разным людям и получить совершенно неожиданные ответы. Но вряд ли кто-то сразу скажет про языки естественные и формальные. Определение и примеры подобных систем редко приходят в голову при таком вопросе. И все же - что это за классификация? И что тогда считать языком?

Об истории языков и их изучении

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

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

Примерно такие же споры идут о том, почему на сегодняшний день имеется так много языков. Кто-то считает, что они все произошли от одной системы, а кто-то настаивает на развитии из нескольких независимых очагов. Но речь в данном случае идет только про естественные языки, примеры которых знакомы каждому. Именно они используются для человеческого общения. Но есть и другие, непохожие на них. И тогда возникает вопрос "что считать языком".

Сущность

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

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

Задачи и функции

Для чего же нужны языки? Лингвисты выделяют ряд базовых функций:

Номинативная, то есть назывная. Язык используется для наименования различных объектов, событий, явлений и т. д.
Коммуникативная, то есть функция общения. Под этим понимают выполнение цели передачи информации.
Экспрессивная. То есть язык служит также для выражения эмоционального состояния говорящего.

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

Классификация

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

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

Естественные

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

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

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

Формальные

Языки, которые требуют четкости в записи и не могут быть восприняты субъективно, появились тоже очень давно. Они отличаются безупречной логичностью и однозначностью. И они тоже бывают разными. Но всем им присущи два основных принципа: абстрагирование и строгость суждений.

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

Какие же могут быть включают в себя "королеву наук" математику, а вслед за ней химию, физику и частично биологию. Какой бы национальности ни были ученые, но формулы и записи реакций они всегда поймут. И для математики абсолютно не важно, что обозначает то или иное число: количество яблок на дереве или молекул в грамме вещества. Так же как и при расчете силы трения физики не принимают во внимание цвет объекта или еще какие-то несущественные в данный момент свойства. Так и проявляется абстрагирование.

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

Примеры

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

Пожалуй, самый простой пример - нотная запись. Есть алфавит, правила пунктуации и т. д. Это действительно язык, хоть и с некоторых точек зрения может быть приравнена лишь к знаковым системам.

Разумеется, сюда же относится уже упомянутая математика, правила записи в которой крайне строги. Все тоже можно условно причислить к данной категории. Наконец, это языки программирования. И о них, вероятно, стоит поговорить подробнее.

Использование

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

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

По происхождению языки бывают естественные и искусственные.

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

Естественные языки не всегда удается использовать в процессе научного познания в силу таких их особенностей, как:

1) многозначность – многие слова и языковые выражения естественного языка в зависимости от контекста принимают различные значения, что связано с омонимией, например слова "мир", "коса", "рукав" и др.;
2) некомпозиционность, т.е. отсутствие в естественном языке правил, при помощи которых вне контекста можно было бы определить точное значение сложного выражения, хотя значения всех входящих в него слов известны. Например, фраза "Он долго садился на лошадь со сломанной ногой" может быть истолкована двояко: а) нога была сломана у всадника; б) нога была сломана у лошади;
3) самоприменимость, т.е. когда выражения могут говорить сами о себе. Например, "Я лгу".

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

Научные языки подчиняются нормативным принципам: однозначности, предметности и взаимозаменимосги.

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

Принцип однозначности исключает омонимию, т.е. обозначение одним словом разных объектов, что часто встречается в естественных языках (например, слово "коса" может означать и вид прически, и сельскохозяйственное орудие труда, и песчаную отмель).

В соответствии с принципом предметности в высказываниях должно утверждаться или отрицаться нечто о значениях имен, входящих в предложения, а не о самих именах. Следует, конечно, иметь в виду, что значениями некоторых имен являются сами имена. Такие случаи не противоречат принципу предметности. Например, в предложении "Материя первична, а сознание вторично" слово "материя" – это имя объективной реальности, а в предложении "“Материя” – это философская категория" слово "материя", взятое в кавычки, – это имя имени, имя категории. Такие имена называются кавычковыми именами. Иногда в естественном языке встречаются случаи, когда именем имени является само исходное имя. Например, в предложении "Слово “стол” состоит из четырех букв" слово "стол" является именем самого этого слова. Такое употребление имен, когда слова обозначают сами себя, называется автонимным. Автонимное употребление выражений недопустимо в научных языках, поскольку оно приводит к недоразумениям.

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

Принцип взаимозаменимости : если в сложном имени заменить часть, в свою очередь являющуюся именем, другим именем с тем же значением, то значение, полученное в результате такой замены сложного имени, должно быть тем же, что и значение исходного сложного имени. Например, в предложении "Аристотель обучал Александра Македонского философии", слово "Аристотель" можно заменить словами "создатель силлогистики".

Экстенсиональным называется контекст относительно тех знаков, равнозначная замена которых не приводит к изменению значения контекста. Употребление этих знаков называется экстенсиональным.

Чтобы сохранить принцип взаимозаменимости и избежать антиномий, следует различать два способа употребления имен. Первый – имя просто выделяет предмет (предметы). Второй – предметы, обозначаемые именем, рассматриваются в определенном аспекте.

Например: если два выражения имеют одно и то же значение, то одно из них можно заменить другим, причем предложение, в котором производится замена, сохраняет свое истинное значение. Так, два выражения – "Михаил Юрьевич Лермонтов" и "автор повести “Тамань”" – обозначают одного и того же человека, поэтому в предложении "Михаил Юрьевич Лермонтов родился в 1814 году" – первое выражение ("Михаил Юрьевич Лермонтов") можно заменить вторым ("автор повести “Тамань”") без всякого ущерба для истинности всего высказывания: "Автор повести “Тамань” родился в 1814 году".

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

Контекст (сложный знак), в котором нарушается принцип взаимозаменимости хотя бы одного из входящих в него знаков, называется интенсиональным относительно этого знака, т.е. зависящим от интенсионала (смысла) данного знака.

Контекст (сложный знак), в котором равнозначная замена знаков не приводит к изменению значения контекста, называется экстенсиональным, зависящим только от экстенсионала (значения) знака.

Для экстенсиональных контекстов важно только предметное значение выражений (их "объем"), поэтому выражения с одним и тем же значением отождествляются. В интенсиональных контекстах учитывается также смысл выражения, поэтому замена выражений с одним значением может сделать истинное предложение ложным, если эти выражения имеют разный смысл. Если в истинном предложении "Студент не знал, что Михаил Юрьевич Лермонтов – автор повести “Тамань”" выражение "автор повести “Тамань”" заменить выражением "Михаил Юрьевич Лермонтов", которое имеет то же самое значение, то в результате получится очевидно ложное предложение: "Студент не знал, что Михаил Юрьевич Лермонтов – Михаил Юрьевич Лермонтов".

Например, в выражении "Париж – столица Франции" имена "Париж" и "столица Франции" употребляются экстенсионально, так как утверждается только тождество их значений и никакая замена любого имени на равнозначное ему не приведет к изменению значения контекста. В предложении "Париж – столица Франции, в силу чего в ней находится правительство Франции" имя "Париж" употребляется интенсионально, так как именно свойство этого города быть столицей Франции дает обоснование тому факту, что в нем находится правительство. Если же заменить имя "столица Франции" на равнозначное ему "город, в котором находится Эйфелева башня", то произойдет превращение истинного высказывания в ложное, так как нахождение в Париже Эйфелевой башни не является причиной того, что в нем находится правительство Франции, т.е. относительно имени "Париж" контекст экстенсионален, так как подразумевается просто определенный город со всеми его характеристиками, и любая замена этого имени на равнозначные ему не приведет к изменению значения высказывания.

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