Искусственные и естественные языки. Различие между естественными и формальными языками
1. Логика и язык .Предметом изучения логики являются формы и законы правильного мышления. Мышление есть функция человеческого мозга. Труд способствовал выделению человека из среды животных, явился фундаментом в возникновении у людей сознания (в том числе мышления) и языка. Мышление неразрывно связано с языком. Язык , по выражению К. Маркса, есть непосредственная действительность мысли . В ходе коллективной трудовой деятельности у людей возникла потребность в общении и передаче своих мыслей друг другу, без чего была невозможна сама организация коллективных трудовых процессов.
Функции естественного языка многочисленны и многогранны. Язык -- средство повседневного общения людей, средство общения в научной и практической деятельности . Язык позволяет передавать и получать накопленные знания, практические умения и жизненный опыт от одного поколения к другому, осуществлять процесс обучения и воспитания подрастающего поколения. Языку свойственны и такие функции: хранить информацию, быть средством выражения эмоций, быть средством познания.
Язык является знаковой информационной системой, продуктом духовной деятельности человека. Накопленная информация передается с помощью знаков (слов) языка.
Речь может быть устной или письменной, звуковой или незвуковой (как, например, у глухонемых), речью внешней (для других) или внутренней, речью, выраженной с помощью естественного или искусственного языка. С помощью научного языка, в основе которого лежит естественный язык, сформулированы положения философии, истории, географии, археологии, геологии, медицины (использующей наряду с «живыми» национальными языками и ныне «мертвый» латинский язык) и многих других наук.
Язык - это не только средство общения, но и важнейшая составная часть культуры всякого народа.
На базе естественных языков возникли искусственные языки науки. К ним принадлежат языки математики, символической логики, химии, физики, а также алгоритмические языки программирования для ЭВМ, которые получили широкое применение в современных вычислительных машинах и системах. Языками программирования называются знаковые системы, применяемые для описания процессов решения задач на ЭВМ. В настоящее время усиливается тенденция разработки принципов «общения» человека с ЭВМ на естественном языке, чтобы можно было пользоваться компьютерами без посредников--программистов.
Знак -- это материальный предмет (явление, событие), выступающий в качестве представителя некоторого другого предмета, свойства или отношения и используемый для приобретения, хранения, переработки и передачи сообщений (информации, знаний).
Знаки подразделяются на языковые и неязыковые. К неязыковым знакам относятся знаки-копии (например, фотографии, отпечатки пальцев, репродукции и др.), знаки-признаки, или знаки-показатели (например, дым -- признак огня, повышенная температура тела -- признак болезни), знаки-сигналы (например, звонок -- знак начала или окончания занятия), знаки-символы (например, дорожные знаки) и другие виды знаков. Существует особая наука -- семиотика, которая является общей теорией знаков. Разновидностями знаков являются языковые знаки. Одна из важнейших функции языковых знаков состоит в обозначении ими предметов. Для обозначения предметов служат имена.
Имя -- это слово или словосочетание, обозначающее какой-либо определенный предмет. (Слова «обозначение», «именование», «название» рассматриваются как синонимы.) Предмет здесь понимается в весьма широком смысле: это вещи, свойства, отношения, процессы, явления и т. п. как природы, так и общественной жизни, психической деятельности людей, продуктов их воображения и результатов абстрактного мышления. Итак, имя всегда есть имя некоторого предмета. Хотя предметы изменчивы, текучи, в них сохраняется качественная определенность, которую и обозначает имя данного предмета.
2. Язык логики и язык права. Необходимая связь мышления и языка, при которой язык выступает материальной оболочкой мыслей, означает, что выявление логических структур возможно лишь путем анализа языковых выражений. Подобно тому, как к ядру ореха можно добраться лишь вскрыв его скорлупу, так и логические формы могут быть выявлены лишь путем анализа языка.
В целях овладения логико-языковым анализом рассмотрим кратко структуру и функции языка, соотношение логических и грамматических категорий, а также принципы построения особого языка логики.
Язык – это знаковая информационная система, выполняющая функцию формирования, хранения и передачи информации в процессе познания действительности и общения между людьми.
Основным строительным материалом при конструировании языка выступают используемые в нем знаки. Знак – это любой чувственно воспринимаемый (зрительно, на слух или иным способом) предмет, выступающий представителем другого предмета. Среди различных знаков выделим два вида: знаки-образы и знаки-символы.
Знаки-образы имеют определенное сходство с обозначаемыми предметами. Примеры таких знаков: копии документов; дактилоскопические отпечатки пальцев; фотоснимки; некоторые дорожные знаки с изображением детей, пешеходов и других объектов. Знаки-символы не имеют сходства с обозначаемыми предметами. Например: нотные знаки; знаки азбуки Морзе; буквы в алфавитах национальных языков.
3. Естественные и искусственные языки. По происхождению языки бывают естественные и искусственные.
Естественные языки – это исторически сложившиеся в обществе звуковые (речь), а затем и графические (письмо) информационные знаковые системы. Они возникли для закрепления и передачи накопленной информации в процессе общения между людьми. Естественные языки выступают носителями многовековой культуры народов. Они отличаются богатыми выразительными возможностями и универсальным охватом самых различных областей жизни.
Искусственные языки – это вспомогательные знаковые системы, создаваемые на базе естественных языков для точной и экономной передачи научной и другой информации. Они конструируются с помощью естественного языка или ранее построенного искусственного языка. Язык, выступающий средством построения или изучения другого языка, называют метаязыком, основной – языком-объектом. Метаязык, как правило, обладает более богатыми по сравнению с языком-объектом выразительными возможностями.
Искусственные языки различной степени строгости широко используются в современной науке и технике: химии, математике, теоретической физике, вычислительной технике, кибернетике, связи, стенографии.
4. Принципы построения формализованных языков логики.
Формализованный язык – искусственный язык логики, предназначенный для воспроизведения логических формконтекстов естественного языка, а также выражения логических законов и способов правильных рассуждений в логических теориях, строящихся в данном языке.
Построение формализованного языка начинается с задания его алфавита – совокупности исходных, примитивных символов. В алфавит включаются логические символы (знаки логических операций и отношений, напр., пропозициональные связки и кванторы), нелогические символы (параметры дескриптивных составляющих естественного языка) и технические символы (напр., скобки). Затем формулируются так называемые правила образования сложных знаков языка из простых – задаются различные типы правильно построенных выражений. Наиболее важным их видом являются формулы – аналоги высказываний естественного языка.
Отличительной особенностью формализованного языка является эффективность определений всех его синтаксических категорий: вопрос о принадлежности произвольного символа или последовательности символов алфавита к тому или иному классу языковых выражений решается алгоритмически, в конечное число шагов.
Иногда в состав формализованных языков наряду с алфавитом и правилами образования включают так называемые правила преобразования – процедуры дедукции, точные правила переходов от одних последовательностей символов к другим. В этом случае формализованный язык, по существу, отождествляется с логическим исчислением. Другая трактовка формализованного языка предполагает принятие правил интерпретации его выражений, позволяющих каждой синтаксической категории знаков сопоставить семантическую, что существенно для выявления логических форм.
Формализованные языки могут обладать различными выразительными возможностями. Так, пропозициональные языки позволяют исследовать логическую форму лишь на уровне сложных высказываний, без учета внутренней структуры простых высказываний. Языки силлогистики позволяют фиксировать логические формы атрибутивных высказываний. Первопорядковые языки воспроизводят структуру как простых (и атрибутивных, и реляционных), так и сложных высказываний, но в них разрешается квантификация только по индивидам. В более богатых языках – языках высших порядков – допускается квантификация также по свойствам, отношениям и функциям.
Принципы построения формализованных языков могут быть использованы и при задании языков нелогических, прикладных теорий. В этом случае в алфавит языка вместо абстрактных нелогических символов (параметров) вводятся имена конкретных объектов предметной области теории, знаки определенных функций, свойств, отношений и т.п.
Введение.
1. Понятие языка.
1.1 Что такое язык
1.2 Язык - система кодов.
2. Естественный язык.
3. Искусственный язык.
Заключение.
Список литературы
Введение.
Работа специалиста в области управления заключается в постоянном контакте и взаимоотношении, как с обычными людьми, так и с людьми профессиональной направленности - постоянное общение, донесение правильно изложенных мыслей. Самым важным механизмом в контакте с обществом и отдельно взятым индивидом является язык, как естественный, так и искусственный.
Что такое язык.
Язык выступает системой знаков, служащей способом общения, передачи информации и выражения личности. Так же можно охарактеризовать язык, как условие существования абстрактного мышления. Поэтому мышление – отличительная черта людей.
Язык слов – социально-психологическое явление, позволяющее передавать и хранить, как свою информацию, так и накопленную нашими предками. Вследствие этого, язык людям необходим и исторически определен.
Язык представляет собой, так называемую систему кодов, знаков. (См. Схему №1.) Знак – это, ничто иное, как любой воспринимаемый чувственно предмет (Визуального , Аудиального или другого), служащий представителем другого предмета и носителем информации об этом предмете (знаки-образы: фотографии, копии различных документов, отпечатки пальцев; знаки-символы – к примеру, алфавитные буквы, музыкальные ноты, знаки Морзе).
Схема №1:
Общество людей немыслимо без знаков. Любая мысль может быть передана от одного человека до восприятия другого, при помощи звуковых знаков. Само понятие, мысль возникает в голове человека, прежде чем исходит звуковые комплекс, иначе слова. Когда мы пытаемся подобрать для какого-то понятия звуковой комплекс, само понятие уже есть в нашей голове. Для того, чтобы появился язык, человек должен сначала образовать звуковой комплекс, а затем сопоставить его с окружающим нас миром, установить знаковую соотнесенность.
По своему происхождению языки бывают естественные и искусственные .
Естественный язык.
Естественные языки – это исторически сложившиеся в обществе звуковые (речь), а затем и графические (письмо) информационные знаковые системы. Они возникли для закрепления и передачи накопленной информации в процессе общения между людьми. Естественные языки выступают носителями многовековой культуры и неотделимы от истории народа, владеющего им.
Человеческие каждодневные рассуждения ведутся именно на естественном языке. Этот язык развивался с целью упрощения процесса общения, обмена мыслями в убыток ясности и точности. Естественные языки обладают огромными возможностями выражения - можно выразить любые чувства, переживания, знания, эмоции.
Естественный язык исполняет главные функции – репрезентативную и коммуникативную . Репрезентативная функция выводится из того, что язык это средство выражения с помощью символов или представления абстрактного характера, (к примеру: знания, понятия, мысли) доступного благодаря мышлению конкретным интеллектуальным субъектам. Коммуникативная функция проявляется в том, что язык это возможность передачи абстрактного характера от одного интеллектуального лица к другому. Сами символы, буквы, слова, предложения основывают материальный базис. В нем реализуется материальная надстройка языка, то есть это общность правил построения слов, букв и других языковых символов, и только с этой надстройкой тот или иной материальный базис образует конкретный естественный язык.
Исходя из семантического статуса естественного языка отмечаем следующее:
Исходя из того что, язык представляет собой совокупность правил, следовательно, существует огромное количество естественных языков. Материальный базис любого языка, естественного происхождения, является многомерным, это означает, что он разделяется на зрительные, вербальные, осязательные разновидности знаков. Все эти разновидности не зависят друг от друга, но в большом количестве существующих сегодня языков они неразрывно связаны, причем главные - вербальные символы.
Материальный базис языка, естественного происхождения, изучается лишь в двух измерениях – вербальном и зрительном, иначе письме.
В силу отличий в надстройке и базисе, отдельно взятый
естественный язык, показывает одно и то же абстрактное содержание неповторимым, уникальным. С другой стороны, в любом отдельно взятом языке показывается и такое абстрактное содержание, которое не показывается нам в других языках. Однако это не значит, что каждый отдельно взятый язык имеет свою особую сферу абстрактного содержания. Например, «Мужчина», «Man » объясняет нам одно абстрактное содержание, но само содержание не относится не к английскому не к русскому языку. Сфера абстрактного содержания уникальна для разных естественных языков. Именно поэтому возможен перевод с одного на другой естественный язык.
Объект логического анализа языка - абстрактное содержание, в то время как естественные языки являются лишь необходимым условием такого анализа.
Сфера абстрактного содержания является структурной областью различных объектов. Объекты основывают некую уникальную абстрактную структуру. Естественные языки показывают элементы этой структуры, а так е некоторые фрагменты. Любой естественный язык в некотором смысле отражает строение объективной реальности. Однако это описание показывает поверхностный и противоречивый характер.
Во время становления, естественный язык изменялся - это связано с взаимодействием культур разных народов и техническим прогрессом. В результате этого некоторые слова теряют со временем свои значения, а другие напротив приобретают новые.
К примеру, слово “спутник” - раньше использовалось только одно значение (попутчик, товарищ в пути.) , а сегодня имеет еще одно - космический спутник.
Естественный язык живет собственной жизнью. В нем заключено много особенностей и нюансов, которые мешает изложить мысль в словах. Не помогает этому и наличие огромного количества гипербол , образных выражений, архаизмов , идиом , метафор . Кроме того, естественный язык полон восклицаний , междометий , смысл которых трудно передать.
Искусственные языки.
Искусственные языки – это вспомогательные знаковые системы, создаваемые на базе естественных языков для точной и экономной передачи научной и другой информации. Они конструируются с помощью естественного языка или ранее построенного искусственного языка. Язык, выступающий средством построения или изучения другого языка, называют метаязыком, основой – языком-объектом. Метаязык, как правило, обладает более богатым по сравнению с языком-объектом выразительными возможностями.
Всякий искусственный язык имеет три уровня организации:
· синтаксис – уровень структуры языка, где формируются и исследуются отношения между знаками, способы образования и преобразования знаковых систем;
· синематику, где исследуются отношения знака к его смыслу (значению, под которым понимается либо мысль, выражаемая знаком, либо объект, обозначаемый им);
· прагматику, где исследуются способы употребления знаков в данном сообществе, использующем искусственный язык.
Построение искусственного языка начинается с введения алфавита, т.е. набора символов, которыми обозначаются объект данной науки, и правил построения формул данного языка. Часть правильно построенных формул принимается за аксиомы. Таким образом, все знание, оформленное с помощью искусственного языка, приобретает аксиоматизированную форму, а вместе с нею доказательность и достоверность.
Характерной особенностью искусственных языков является однозначная определенность их словаря, правил образования выражений и придания им значений. Во многих случаях эта особенность оказывается преимуществом таких языков в сравнении с естественными языками, аморфными как со стороны словаря, так и со стороны правил образования и значения.
Искусственные языки различной степени строгости широко используются в современной науке и технике: химии, математике, теоретической физике, вычислительной технике, кибернетике, связи, стенографии.
Например, математики с самого начала стремились формулировать доказательства и теоремы на как можно более четком диалекте естественного языка. Хотя словарный запас этого диалекта постоянно расширяется, основные формы предложений, связки, союзы остаются практически теми же, что были выработаны еще в античные времена. Долгое время считалось, что «математический диалект» состоит из строго сформулированных предложений. Но уже в средние века развитие алгебры привело к тому, что формулировки теорем зачастую становились все длиннее и неудобнее. Соответственно, выкладки становились все более трудными. Даже для того чтобы просто понять фразу:
«Квадрат первого, сложенный с квадратом второго и
с удвоенным произведением первого на второе,
есть квадрат первого, сложенного со вторым»
Этот вопрос можно задать разным людям и получить совершенно неожиданные ответы. Но вряд ли кто-то сразу скажет про языки естественные и формальные. Определение и примеры подобных систем редко приходят в голову при таком вопросе. И все же - что это за классификация? И что тогда считать языком?
Об истории языков и их изучении
Главной наукой, занимающейся исследованием систем общения, является лингвистика. Есть и смежная специальность, изучающая знаки, - семиотика. Обе науки зародились несколько тысячелетий назад, так что история происхождения языков, очевидно, заинтересовала людей очень давно.
К сожалению, в связи с тем, что с зарождения первых систем прошло много времени, теперь затруднительно сказать, как все произошло. Есть масса гипотез, говорящих как о развитии языка из более примитивных систем общения, так и о его почти случайном возникновении в качестве уникального явления. Разумеется, первый вариант имеет гораздо больше приверженцев и является практически общепринятым.
Примерно такие же споры идут о том, почему на сегодняшний день имеется так много языков. Кто-то считает, что они все произошли от одной системы, а кто-то настаивает на развитии из нескольких независимых очагов. Но речь в данном случае идет только про естественные языки, примеры которых знакомы каждому. Именно они используются для человеческого общения. Но есть и другие, непохожие на них. И тогда возникает вопрос "что считать языком".
Сущность
Общаясь друг с другом, не многие задумываются о том, что такое язык, что можно причислять к этой категории, а что нет. Дело в том, что еще существуют знаковые системы, частично выполняющие те же функции, и различия весьма условны. Поэтому и возникает вопрос о том, какова сущность языка.
Есть несколько концепций на эту тему. Некоторые лингвисты рассматривают язык как биологическое явление, другие - как психическое. Согласно еще одному популярному мнению, он принадлежит к сфере интересов социологов. Наконец, есть и исследователи, воспринимающие его лишь как особую систему знаков. Как бы то ни было, очевидно, что в данном случае имеются в виду лишь естественные языки. Примеры концепций, которые включали бы еще и формальную категорию, пока не существуют, лингвистика фактически их игнорирует.
Задачи и функции
Для чего же нужны языки? Лингвисты выделяют ряд базовых функций:
- Номинативная, то есть назывная. Язык используется для наименования различных объектов, событий, явлений и т. д.
- Коммуникативная, то есть функция общения. Под этим понимают выполнение цели передачи информации.
- Экспрессивная. То есть язык служит также для выражения эмоционального состояния говорящего.
Очевидно, что в данном случае опять же не учитываются обе категории: естественные и формальные языки - речь идет только о первой. Однако две функции сохраняет и вторая, выпадает только экспрессивная. И это понятно, если знать, что такое формальный язык.
Классификация
В общем и целом лингвистика различает две категории: формальные и естественные языки. Дальнейшее деление происходит по ряду других признаков. Иногда выделяют и третью категорию - языки животных, поскольку под естественными обычно понимают только системы, с помощью которых общаются люди. Есть и дальнейшее разделение на более мелкие группы и подвиды, но настолько углубляться в лингвистику, чтобы понять различие между этими двумя крупными категориями, нет необходимости.
Итак, нужно выяснить, чем отличаются языки естественные и формальные. Определение и примеры можно будет понять при их более подробном рассмотрении.
Естественные
Системы, которые позволяют людям понимать друг друга при общении, то есть выполняющие коммуникативную функцию, относятся именно к этой категории. Теперь уже сложно представить, как можно было бы без них обойтись.
- естественные языки, примеры которых включают все наречия, возникшие и развившиеся самым обычным путем (английский, немецкий, русский, китайский, урду и др.);
- искусственные (эсперанто, интерлингва, эльфийский, клингонский и т. д.);
- жестовые (язык глухих).
Все они имеют свои особенности и сферы применения. Но есть и другая крупная категория, для которой большинству людей сложно подобрать примеры.
Формальные
Языки, которые требуют четкости в записи и не могут быть восприняты субъективно, появились тоже очень давно. Они отличаются безупречной логичностью и однозначностью. И они тоже бывают разными. Но всем им присущи два основных принципа: абстрагирование и строгость суждений.
Естественные и формальные языки прежде всего различаются своей сложностью. Большинство систем из первой категории - это многокомпонентный и многоуровневый комплекс. Примеры вторых могут быть как сложными, так и довольно простыми. Здесь есть своя грамматика, пунктуация и даже словообразование. Серьезное отличие лишь в том, что существуют эти системы, как правило, только в письменном виде.
Какие же могут быть включают в себя "королеву наук" математику, а вслед за ней химию, физику и частично биологию. Какой бы национальности ни были ученые, но формулы и записи реакций они всегда поймут. И для математики абсолютно не важно, что обозначает то или иное число: количество яблок на дереве или молекул в грамме вещества. Так же как и при расчете силы трения физики не принимают во внимание цвет объекта или еще какие-то несущественные в данный момент свойства. Так и проявляется абстрагирование.
С появлением электроники крайне актуальным стал и вопрос общения между человеком и машиной, которая понимает лишь нули и единицы. Поскольку принятие этой системы человеком было бы слишком неудобным и сделало бы работу чересчур сложной, было решено создать промежуточные системы общения. Так и появились языки программирования. Разумеется, их тоже нужно учить, но они сильно облегчили понимание между людьми и электроникой. К сожалению, для осуществления этой функции совсем не годятся многозначные, хоть и более привычные естественные языки.
Примеры
Снова говорить о естественных языках просто нет смысла, лингвистика изучает их очень давно и продвинулась в этом достаточно. В то же время исследователи обходят стороной категорию формальных. Только недавно, когда они стали очень актуальными, начали появляться первые научные работы по ним, теории и понятные примеры. Формальные языки создаются искусственно и обычно носят международный характер. Они могут быть как узкоспециализированными, так и понятными всем или хотя бы большинству.
Пожалуй, самый простой пример - нотная запись. Есть алфавит, правила пунктуации и т. д. Это действительно язык, хоть и с некоторых точек зрения может быть приравнена лишь к знаковым системам.
Разумеется, сюда же относится уже упомянутая математика, правила записи в которой крайне строги. Все тоже можно условно причислить к данной категории. Наконец, это языки программирования. И о них, вероятно, стоит поговорить подробнее.
Использование
То, что толкает вперед развитие и изучение формальных языков - это, безусловно, технический прогресс. Вычислительные системы, электронные приборы - сегодня почти каждая вещь является компьютером в миниатюре. И если они понимают лишь то люди обычно воспринимают лишь естественные языки. Примеры различных способов и попыток найти какой-то компромисс закончились идеей создания промежуточной системы общения. Со временем их появилось довольно много. Так что сегодня программирование - это фактически с компьютерного на человеческий и наоборот.
Но люди продолжают использовать естественные и примеры которых позволяют убедиться в том, что слишком свободные правила грамматики и синтаксиса серьезно затрудняют для компьютеров интерпретацию высказываний. Вряд ли лингвистическая эволюция дойдет до серьезного ужесточения. Так что одно из самых перспективных направлений - системы понимания естественного языка. Они позволят машинам обрабатывать запросы, которые написаны без специальных правил. Первым шагом к этой технологии, наверное, стали поисковые системы. Они развиваются и сейчас, так что, возможно, будущее уже близко.
Естественные языки - это исторически сложившиеся в обществе звуковые (речь), а затем и графические (письмо) информационные знаковые системы. Они возникли для закрепления и передачи накопленной информации в процессе общения между людьми. Естественные языки выступают носителями многовековой культуры и неотделимы от истории народа, владеющего им.
Повседневные рассуждения обычно ведутся на естественном языке. Но такой язык развивался в интересах легкости общения, обмена мыслями в ущерб точности и ясности. Естественные языки обладают богатыми выразительными возможностями: с их помощью можно выразить любые знания (как обыденные, так и научные), эмоции, чувства.
Естественный язык выполняет две основные функции - репрезентативную и коммуникативную. Репрезентативная функция заключается в том, что язык является средством символического выражения или представления абстрактного содержания (знаний, понятий, мыслей и т. д.), доступного посредством мышления конкретным интеллектуальным субъектам. Коммуникативная функция выражается в том, что язык есть средство передачи или сообщения этого абстрактного содержании от одного интеллектуального субъекта к другому. Сами по себе буквы, слова, предложения (или иные символы, например иероглифы) и их совокупности образуют материальный базис, в котором реализуется материальная надстройка языка - совокупность правил построения букв, слов, предложений и других языковых символов, и лишь вместе с соответствующей надстройкой тот или иной материальный базис образует конкретный естественный язык.
Исходя из семантического статуса естественного языка можно отметить следующее:
1. Поскольку язык представляет собой совокупность определенных правил, реализующихся на тех или иных символах, ясно, что существует не один язык, а множество естественных языков. Материальный базис любого естественного языка является многомерным, т.е. разделяется на вербальные, зрительные, осязательные и другие разновидности символов. Все эти разновидности независимы друг от друга, однако в большинстве реально существующих языков они тесно связаны между собой, причем доминирующими являются вербальные символы. Обычно материальный базис естественного языка исследуется лишь в двух его измерениях - вербальном и зрительном (письменном). При этом зрительные символы рассматриваются как некий эквивалент соответствующих вербальных символов (исключение составляют лишь языки с иероглифической письменностью). С этой точки зрения допустимо говорить об одном и том же естественном языке, имеющем различные разновидности зрительных символов.
2. В силу различий в базисе и надстройке всякий конкретный естественный язык репрезентирует одно и то же абстрактное содержание уникальным, неповторимым образом. С другой стороны, в любом конкретном языке репрезентируется и такое абстрактное содержание, которое не репрезентируется в других языках (в тот или иной конкретный период их развития). Однако это не означает, что каждый конкретный язык имеет свою собственную, особую сферу абстрактного содержания и что эта сфера является частью самого языка. Сфера абстрактного содержания едина и универсальна для любых естественных языков. Именно поэтому возможен перевод с одного естественного языка на любой другой естественный язык, несмотря на то, что все языки обладают различными выразительными возможностями и находятся на разных стадиях своего развития. Для логики естественные языки представляют интерес не сами по себе, а лишь как средство репрезентации единой для всех языков сферы абстрактного содержания, как средство, позволяющее «увидеть» это содержание и его структуру. Т.е. объектом логического анализа является само абстрактное содержание как таковое, в то время как естественные языки являются лишь необходимым условием такого анализа.
Сфера абстрактного содержания представляет собой структурированную область четко различимых между собой объектов особого рода. Эти объекты образуют некую жесткую универсальную абстрактную структуру. Естественные языки репрезентируют не только те или иные элементы этой структуры, но и определенные целостные фрагменты ее. Любой естественный язык в какой-то степени действительно отражает структуру объективной реальности. Но это отображение носит поверхностный, неточный и противоречивый характер. Естественный язык формируется в процессе стихийного социального опыта. Его надстройка соответствует требованиям не чисто теоретической, а практической (преимущественно обыденной) деятельности человека и потому представляет собой конгломерат ограниченных и часто противоречивых правил.
Иску́сственные языки́ - специальные языки, которые, в отличие от естественных, сконструированы целенаправленно. Таких языков существует уже более тысячи, и постоянно создаются всё новые и новые.
Различают следующие виды искусственных языков:
* Языки программирования и компьютерные языки - языки для автоматической обработки информации с помощью ЭВМ.
* Информационные языки - языки, используемые в различных системах обработки информации.
* Формализованные языки науки - языки, предназначенные для символической записи фактов и теорий математики, логики, химии и других наук.
* Языки несуществующих народов, созданные в беллетристических или развлекательных целях. Наиболее известны: эльфийский язык, придуманный Дж. Толкином, и клингонский язык из фантастического сериала «Star Trek» (смотрите статью Вымышленные языки)
* Международные вспомогательные языки - языки, создаваемые из элементов естественных языков и предлагаемые в качестве вспомогательного средства межнационального общения.
Есте́ственный язы́к - в лингвистике и философии языка язык, используемый для общения людей (в отличие от формальных языков и других типов знаковых систем, также называемых языками в семиотике) и не созданный искусственно (в отличие отискусственных языков). Словарь и грамматические правила естественного языка определяются практикой применения и не всегда бывают формально зафиксированы.
Система естественного языка относится к многоуровневым системам, т.к. состоит из качественно разных элементов – фонем, морфем, слов, предложений, отношения между которыми сложны и многогранны. Что касается структурной сложности естественного языка, то язык называют самой сложной из знаковых систем. По структурному основанию различают также детерминированные и вероятностные семиотические системы. Естественный язык принадлежит к вероятностным системам, в которых порядок следования элементов не является жёстким, а носит вероятностный характер. Семиотические системы разделяют также на динамические, подвижные и статические, неподвижные. Элементы динамических систем меняют своё положение по отношению друг к другу, тогда как состояние элементов в статических системах неподвижно, устойчиво. Естественный язык относят к динамическим системам, хотя в нём присутствует и статические признаки.
Язы́к программи́рования - формальная знаковая система, предназначенная для записи компьютерных программ. Язык программирования определяет набор лексических,синтаксических и семантических правил, задающих внешний вид программы и действия, которые выполнит исполнитель (компьютер) под её управлением.
Со времени создания первых программируемых машин человечество придумало более двух с половиной тысяч языков программирования. Каждый год их число увеличивается. Некоторыми языками умеет пользоваться только небольшое число их собственных разработчиков, другие становятся известны миллионам людей. Профессиональные программисты иногда применяют в своей работе более десятка разнообразных языков программирования.
Существует несколько подходов к определению семантики языков программирования.
Наиболее широко распространены разновидности следующих трёх: операционного, деривационного (аксиоматического) и денотационного (математического).
