Глава II. Логика и язык

§1. Язык как знаковая система

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

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

Роль знаков в познании исследовал еще Аристотель. Этой проблемой занимались Лейбниц и другие ученые. В XIX веке, в связи с запросами логики и лингвистики возникает специальная наука о знаках – семиотика, основы которой заложил Чарльз Сандерс Пирс (1839-1914). Предметом этой науки является знаковая ситуация (семиозис), состоящая из трех элементов: знак, обозначаемое, интерпретатор.

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

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

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

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

1) Синтаксис изучает отношения между самими знаками (правила построения и преобразования выражений языка и т.д.)

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

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

§2. Смысл и значение знака. Виды знаков

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

Смыслом знака (интенсионалом) называют информацию о репрезентируемом предмете, которая позволяет интерпретатору распознать этот предмет среди остальных.

Например, значением знака «автором произведения «Война и мир» является Л.Н. Толстой, именно он обозначается этим словосочетанием. Смысл же этого знака – та информация о Л.Н. Толстом, которую он содержит, а именно признак «быть (единственным) человеком, написавшим «Войну и мир».

Принято считать, что все знаки имеют смысл. Смысл может уже содержаться в самом знаке (тогда знак называют описательным) или придаваться ему как бы внешним образом, с помощью определения (тогда знак называют не описательным). «Наименьшее натуральное число», «первый российский космонавт», «высочайшая вершина мира» – знаки описательные, а «0», «Гагарин», «Эверест» – не описательные.

Однако не все знаки обязательно имеют значение в той предметной области, о которой говорится в контекстах, содержащих эти знаки. Например, словосочетание «нынешний король Испании» не имеет значения на множестве людей, живущих в настоящее время; знак «наибольшее натуральное число» не имеет значение на множестве натуральных чисел. Такие знаки называют пустыми или мнимыми. Если же знак репрезентирует предметы, имеющиеся в соответствующей предметной области, то его называют непустым. Например, очевидно непустой знак «студент, читающий учебник по «Логике».

Произведем логический анализ выражения «учащийся высшего или среднего специального учебного заведения».

Значение: (любой) студент. Экстенсионал: множество всех студентов.

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

Вид знака: знак непустой, описательный.

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

Базисными семантическими категориями являются имя (n) и предложение (s). Под именем имеется в виду выражение, обозначающее какой-либо предмет или множество предметов; под предложением – выражение, обозначающее истину или ложь. Все остальные семантические категории представляют собой функции, преобразующие некоторое количество выражений одной базисной категории в выражение другой (либо той же самой) базисной категории. Например, союз «и» соединяет два предложения в одно, более сложное. Значит, он имеет сематическую категорию ss/s (преобразует два разных выражения типа s в одно выражение типа s).

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

Семантическая категория	Сим-вол	Тип значения	Пример
Предложение (пропозиция)	s	Истинностные значения (истина или ложь)	«Лондон–столица Англии» «Лондон – большой город»
имя	n	предметы	«Лондон», «город», «Англия» (в выражениях типа «Лондон – большой город» и «Лондон – столица Англии»)
функтор	n/n, nn/n	предметно-предметные функции	«столица» (в выражениях типа «Столица Англии – большой город»)
предикатор	n/s, nn/s	предметно-истинностные функции	«большой» (в выражениях типа «Этот город – большой»)
пропози-циональная связка	s/s, ss/s	истинностно-истинностные функции	«и», «или», «если то», «не», «хотя»