Язык - это система знаков, предназначенная для фиксации, хранения, переработки и передачи информации.
Знак - это объект, используемый интерпретатором в процессе познания или общения в качестве представителя какого-либо другого объекта.
Роль знаков в познании исследовал еще Аристотель. Этой проблемой занимались Лейбниц и другие ученые. В XIX веке, в связи с запросами логики и лингвистики возникает специальная наука о знаках - семиотика, основы которой заложил Ч.С. Пирс (1839-1914). Предметом этой науки является знаковая ситуация (семиозис), состоящая из трех элементов:
В качестве знаков могут выступать произнесенные вслух или написанные слова и словосочетания, графические символы, жесты, сигналы и т.п. Например, словосочетание «основатель логики» служит знаком Аристотеля, символ «+» в языке арифметики - знаком операции сложения, красный сигнал светофора - знаком того, что движение запрещено.
Репрезентируемые знаками предметы могут иметь различную природу. «Предметом» в логике называют все, что мы можем мыслить, все, что может стать объектом нашего рассмотрения - конкретные материальные индивиды, абстрактные объекты, свойства, отношения, функции, множества, процессы, явления, события, состояния и т.п.
В качестве интерпретатора может выступать отдельное лицо, группа людей или человеческое сообщество. Иногда этот термин трактуют расширительно, допуская, что интерпретацию могут осуществлять не только человеческие существа, но также животные, электронные машины и т.п.
Язык как знаковую систему можно рассматривать в трех аспектах, каждый из которых исследуется в специальном разделе семиотики.
- Синтаксис изучает отношения между самими знаками (правила построения и преобразования выражений языка и т.д.)
- Семантика исследует отношения знаков к представляемым ими объектам (правила придания смысла и значения правильно построенным выражениям языка).
- Прагматика изучает отношение интерпретатора к знакам, а также отношения между интерпретаторами в процессе языкового общения (правила и приемы практического использования знаков людьми).
Смысл и значение знака. Виды знаков
Значением знака называется предмет, репрезентируемый данным знаком. Множество всех предметов, которые знак репрезентирует, называется его экстенсионалом.
Смыслом знака (интенсионалом) называют информацию о репрезентируемом предмете, которая позволяет интерпретатору распознать этот предмет среди остальных.
Например, значением знака «автор «Евгения Онегина» является А.С. Пушкин, именно он обозначается этим словосочетанием. Смысл же этого знака - та информация об А.С. Пушкине, которую он содержит, а именно признак «быть (единственным) человеком, написавшим «Евгения Онегина».
Принято считать, что все знаки имеют смысл. Смысл может уже содержаться в самом знаке (тогда знак называют описательным) или придаваться ему как бы внешним образом, с помощью определения (тогда знак называют неописательным). «Наименьшее натуральное число», «первый российский космонавт», «высочайшая вершина мира» -знаки описательные, а «0», «Гагарин», «Эверест» - неописательные.
Однако не все знаки обязательно имеют значение в той предметной области, о которой говорится в контекстах, содержащих эти знаки. Например, словосочетание «нынешний король Франции» не имеет значения на множестве людей, живущих в настоящее время; знак «наибольшее натуральное число» не имеет значение на множестве натуральных чисел. Такие знаки называют пустыми или мнимыми. Если же знак репрезентирует предметы, имеющиеся в соответствующей предметной области, то его называют непустым. Например, очевидно непуст знак «человек, читающий в данный момент это предложение».
Произведем логический анализ выражения «учащийся высшего или среднего специального учебного заведения».
- Значение: (любой) студент. Экстенсионал: множество всех студентов.
- Смысл (интенсионал): сложный признак «обучаться в высшем или среднем специальном учебном заведении».
- Вид знака: знак непустой, описательный.
Естественные и искусственные языки
Различают естественные и искусственные языки. Естественные языки возникли прежде всего как средство общения между людьми, их формирование и развитие представляют собой длительный исторический процесс и происходят в основном стихийно. В качестве знаков здесь используются произнесенные вслух или написанные слова и словосочетания. К числу естественных относятся такие разговорные языки как русский, английский, греческий и т. п.
Искусственные языки сознательно создаются человеком для решения определенных задач. Здесь в качестве знаков используются специальные символы. Примерами искусственных языков являются язык шахматной нотации, язык химических формул, языки программирования и т.д. Логические теории также используют искусственные языки для выражения внутренней структуры суждений и умозаключений.
Естественный язык, прекрасно приспособленный для общения людей, с формальной точки зрения обладает рядом негативных свойств.
- Многозначность: значение отдельных терминов можно понять только из контекста («ключ», «коса» и т.п.).
- Некомпозициональность: в естественном языке отсутствуют четкие правила, позволяющие определять значение сложного выражения, когда известны значения всех входящих в него слов («Он встретил ее на поляне с цветами»).
- Самоприменимость: выражения языка могут говорить о самих себе («Данное предложение состоит из шести слов»).
На использовании указанных особенностей разговорного языка строятся многочисленные софизмы. Возьмем, например, такое рассуждение:
Двоечник Вася опять не сделал домашнее задание.
Человека нельзя наказывать за то, что он не сделал.
Васю нельзя наказывать за то, что он не сделал домашнее задание.
Данный софизм основан на двусмысленности слова «что», которое может выступать и как местоимение, и как союзное слово. В результате словосочетание «то, что он не сделал» имеет два значения: 1) то конкретное действие, которого он не сделал, и 2) само отсутствие действия.
Важной особенностью искусственных языков является то, что они позволяют не просто фиксировать информацию о мире, но фиксировать ее в максимально четкой и эффективной форме. Французский философ Э. Кондильяк отмечал: «Науки малоточные - это науки, язык которых плохо построен». Поэтому все современные научные теории либо создают свои формализованные языки, либо, как минимум, стремятся соблюдать простейшие семантические принципы, позволяющие избежать языковых «ловушек» и парадоксов.