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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

 

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

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

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

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

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

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

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