Виды языков естественные искусственные. Естественные и искусственные языки

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

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

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

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

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

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

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

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

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

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

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

Сущность

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

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

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

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

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

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

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

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

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

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

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

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

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

Формальные

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

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

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

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

Примеры

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

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

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

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

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

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

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

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

Функции естественного языка

Естественный язык как система знаков

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

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

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

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

Что касается структурной сложности естественного языка, то язык называют самой сложной из знаковых систем .

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

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

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

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

Согласно В. В. Налимову, естественный язык занимает срединное положение между «мягкими» и «жёсткими» системами. К мягким системам относятся неоднозначно кодирующие и неоднозначно интерпретируемые знаковые системы, например, язык музыки, к жёстким – язык научных символов.

Основная функция языка - конструирование суждений , возможность определения смысла деятельных реакций, организации понятий, которые представляют собой некоторые симметрические формы, организующие пространство отношений «коммуникаторов»: [источник не указан 1041 день]

коммуникативная :

констатирующая (для нейтрального сообщения о факте),

вопросительная (для запроса о факте),

апеллятивная (для побуждения к действию),

экспрессивная (для выражения настроения и эмоций говорящего),

контактоустанавливающая (для создания и поддержания контакта между собеседниками);

метаязыковая (для толкования языковых фактов);

эстетическая (для эстетического воздействия);

функция индикатора принадлежности к определённой группе людей (нации, народности, профессии);

информационная;

познавательная;

эмоциональная.

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

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

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

Языки программирования и компьютерные языки - языки для автоматической обработки информации с помощью ЭВМ.

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

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

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

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

Идея создания нового языка международного общения зародилась в XVII-XVIII веках в результате постепенного уменьшения международной роли латыни. Первоначально это были преимущественно проекты рационального языка, освобождённого от логических ошибок живых языков и основанного на логической классификации понятий. Позднее появляются проекты по образцу и материалам живых языков. Первым таким проектом был универсалглот, опубликованный в 1868 году в Париже Жаном Пирро. Проект Пирро, предвосхитивший многие детали позднейших проектов, остался незамеченным общественностью.

Следующим проектом международного языка стал волапюк, созданный в 1880 немецким языковедом И. Шлейером. Он вызвал весьма большой резонанс в обществе.

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

Из искусственных языков наиболее известны:

бейсик-инглиш

эсперанто

интерлингва

латино-сине-флексионе

окциденталь

сольресоль

клингонский язык

эльфийские языки

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

По цели создания искусственные языки можно разделить на следующие группы :

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

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

Артистические или эстетические языки - создаются для творческого и эстетического удовольствия: квенья.

Также язык создается для постановки эксперимента, например для проверки гипотезы Сепира-Уорфа (о том, что язык, на котором говорит человек, ограничивает сознание, загоняет его в определённые рамки).

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

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

Апостериорные языки - языки, построенные преимущественно на основе интернациональной лексики: интерлингва, окциденталь

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

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

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

Иерархия коммуникативных целей

Функции языка

Базовые функции:

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

Коммуникативная функция состоит в обеспечении взаимодействия отправителя вербального сообщения и его получателя.

Частные языковые функции

Контактоустанавливающая (фатическая)

Воздействия (волюнтативная)

Референтная - функция, связанная с предметом мысли, с которой соотнесено данное языковое выражение.

Оценочная

Эмотивная (эмоционально-экспрессивная)

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

Метаязыковая

Эстетическая - Способность языка быть средством исследования и описания в терминах самого языка.

Ритуальная и др.

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

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

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

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

Язык - это не только средство общения, но и важнейшая составная часть культуры всякого народа.

На базе естественных языков возникли искусственные языки науки. К ним принадлежат языки математики, символической логики, химии, физики, а также алгоритмические языки программирования для ЭВМ, которые получили широкое применение в современных вычислительных машинах и системах. Языками программирования называются знаковые системы, применяемые для описания процессов решения задач на ЭВМ. В настоящее время усиливается тенденция разработки принципов «общения» человека с ЭВМ на естественном языке, чтобы можно было пользоваться компьютерами без посредников--программистов.

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

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

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

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

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

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

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

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

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

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

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

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

4. Принципы построения формализованных языков логики.

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

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

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

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

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

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

ФОРМА И ЯЗЫК ПРЕДСТАВЛЕНИЯ ИНФОРМАЦИИ

Форма представления одной и той же информации может быть различной

Таким образом, информацию можно представить в различной форме:

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

в виде жестов или сигналов (например, сигналы регулировщика
дорожного движения);
устной словесной (например, разговор).

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

Естественные и формальные языки.

В процессе развития человеческого общества люди выработали большое число языков. Примеры языков:

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

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

Язык характеризуется:

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

Все языки можно разделить на естественные и искусственные.

Естественными называются “обычные”, “разговорные” языки, которые складываются стихийно и в течение долгого времени. Естественный язык, предназначенный, прежде всего, для повседневного общения, имеет целый ряд своеобразных черт:

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

Основными функциями естественного языка являются:

· коммуникативная (функция общения);
· когнитивная (познавательная функция);
· эмоциональная (функция формирования личности);
· директивная (функция воздействия).

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

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

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

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

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

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

Возникновение языков программирования приходится на начало 50-х годов XX века.