Лекция № 3. Логические языки.
Функции языка. Имена и их типология. Знаки и знаковые системы. Высказывание и их разновидности.
Язык — необходимое условие существования абстрактного мышления. Не случайно такое мышление, являющееся отличительной особенностью человека, принято называть «мышлением в понятиях».
Язык возникает одновременно с сознанием и мышлением. Являясь чувственно воспринимаемой оболочкой мышления, язык обеспечивает мыслям человека реальное, предметное существование в форме колебаний воздуха (звуков) или следов краски на бумаге (письма). Вне такой оболочки мысль недоступна для других.
Как и мышление, язык диалогичен: он существует для отдельного человека лишь постольку, поскольку существует для других.
Логический анализ мышления всегда есть исследование языка, в котором оно протекает и без которого оно не является возможным. В этом плане логика — наука о мышлении — есть в равной мере и наука о языке.
Мышление и использование языка — две предполагающие друг друга
стороны как процесса познания, так и процесса общения. Язык участвует не только в выражении мысли, но и в самом ее формировании. Нельзя противопоставлять «чистое», внеязыковое мышление и его последующее выражение в языке.
Язык — знаковая система, служащая для целей коммуникации и познания.
Системность языка выражается в наличии в каждом языке словаря, синтаксиса, семантики и прагматики.
Синтаксические правила языка устанавливают способы образования сложных выражений из простых и способы преобразования выражений языка.
Семантические правила определяют способы придания значения, или смысла, выражениям языка. Это достигается указанием тех обстоятельств, в которых должны приниматься предложения определенного вида.
Правила значения обычно подразделяются на три группы: аксиоматические, выводные и эмпирические. Аксиоматические правила требуют принятия предложений определенного вида во всех обстоятельствах. Например, правила русского языка предписывают всем говорящим на этом языке всегда принимать предложения: «Каждый холостяк не женат», «Сантиметр равен одной сотой метра», «Красное не есть черное» и т. п. Выводные правила требуют принятия следствий, вытекающих из некоторых посылок, если приняты сами посылки. Например, таково правило, согласно которому, приняв предложения: «Если Иван Ильич человек, то он смертен» и «Иван Ильич человек», следует принять также предложение «Иван Ильич смертен». Ситуация принятия предложений, указываемая эмпирическими правилами значения, предполагает выход за пределы языка и внеязыковое наблюдение. К таким правилам относятся, например, правила, требующие принятия предложения «Больно» в случае ощущения боли, предложения «Этот предмет — красный» — при восприятии красного предмета и т. п.
Языки, включающие эмпирические правила значения, принято называть «эмпирическими». Языки всех наук, за исключением логики и математики, являются эмпирическими.
Все языки могут быть разделены на естественные, искусственные и частично искусственные. Естественные языки, называемые также повседневными, разговорными, обычными и т. п., складываются стихийно и постепенно. История каждого такого языка неотделима от истории народа, владеющего им. Искусственные языки сознательно создаются людьми для каких либо специальных целей: языки математики, логики, алгоритмические языки, шифры и т. п.
В логике долгое время неявно предполагалось, что главная или даже единственная функция языка, выражающая саму его сущность, — это описание действительности. Описательные выражения выделялись в качестве привилегированной канонической формы, к которой должно сводиться все наблюдаемое разнообразие утверждений, или «употреблений языка».
Язык может использоваться для того, чтобы: приказывать и использовать приказы; описывать внешний вид предмета или его размеры; изготовлять предмет в соответствии с его описанием (рисунком); докладывать о ходе событий; строить предположения о ходе событий; выдвигать и доказывать гипотезу; представлять результаты опыта в виде таблиц и диаграмм; сочинять рассказ и читать его; притворяться; петь хороводные песни; отгадывать загадки; шутить, рассказывать
анекдоты; решать арифметические задачи; переводить с одного языка на другой; просить, благодарить, проклинать, приветствовать, молиться. Описание, несмотря на всю его важность, — не единственная задача, решаемая с помощью языка. Оно не является даже главной его задачей. Перед языком стоят многие задачи, не сводимые к описанию.
Имеется, таким образом, большое число разных употреблений языка: сообщение о положении дел (описание), выражение чувств (экспрессив), изменение мира словом (декларация), попытка заставить что-либо сделать (норма), принятие обязательства что то сделать (обещание), выражение позитивного или негативного отношения к чему то (оценка) и др.
Традиционная логика пользуется для описания мышления обычным языком.
Для целей логики необходим искусственный язык, строящийся по строго сформулированным правилам. Этот язык не предназначен для общения. Он должен служить только одной задаче – выявлению логических связей наших мыслей, но решаться она должна с предельной эффективностью.
Принципы построения искусственного логического языка разработаны в современной логике. Создание его имело примерно такое же значение в области мышления для техники логического вывода, какие в области производства имел переход от ручного труда к труду механизированному. Специально созданный для целей логики язык получил название формализованного. Слова обычного языка заменяются в нем отдельными буквами и различными специальными символами. Формализованный язык – это «насквозь символический» язык.
Логическая грамматика
Из грамматики хорошо известно деление предложений на части речи – существительное, прилагательное, глагол и т.д. Деление языковых выражений на семантические категории, широко используемое в логике, напоминает это грамматическое подразделение и в принципе произошло из него. На этом основании теорию семантических категорий иногда называют «логической грамматикой». Её задача – предотвращать смешение языковых выражений разных типов, которое ведёт к образованию бессмысленных выражений, подобных «Квадратичность пьёт воображение» или «Если дует ветер, то звезда».
Подразделение речевых оборотов на семантические категории производится в зависимости от того, что эти обороты означают. Два выражения считаются относящимися к одной и той же семантической категории рассматриваемого языка, если замена одного из них другим в произвольном осмысленном предложении не превращает это предложение в бессмысленное. Наоборот, два выражения всегда относятся к разным категориям, если подстановка одного из них вместо другого ведёт к утрате осмысленности.
Например, имена Сократ и Платон относятся к одной и той же семантической категории: замена одного из них другим в любом осмысленном предложении даёт опять-таки осмысленное предложение. Скажем, предложение «Платон был учителем Аристотеля» является осмысленным и истинным. Получаемое из него путём замены предложение «Сократ был учителем Аристотеля» будет ложным, но осмысленным.
Выражения же «Сократ» и «стоит» принадлежат разным семантическим категориям, поскольку из предложения «Сократ стоит» при замене слова «стоит» словом «Сократ» образуется выражение «Сократ Сократ», не являющееся вообще предложением.
Ещё несколько примеров. Выражения «либо …, либо …» и «если …, то …» относятся к одной и той же категории, так как при преобразовании, допустим, предложения «Либо идёт дождь, либо дует ветер» в предложение «Если идёт дождь, то дует ветер» осмысленность сохраняется. Слова «больше» и «старше» также принадлежат одной и той же семантической категории, поскольку всякое предложение, осмысленное с одним из этих слов, будет осмысленным и с другим.
Выражения же «больший» и «либо» относятся к разным категориям: замена первого выражения вторым в осмысленном, хотя и ложном, предложении «Мадрид больше Парижа» даёт бессмысленное целое «Мадрид либо Парижа». Сходным образом, замена «либо» на «каждый» ведёт к превращению осмысленного предложения в бессмысленное, и поэтому «либо» и «каждый» принадлежат разным семантическим категориям.