Логический анализ языка . ЛОГИЧЕСКИЙ АНАЛИЗ ЯЗЫКА (стр. 3 )

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

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

Схема 2

Обычно в логике строятся сложные конструкции двух семантических типов – имена и предложения. Далее мы специально обратим особое внимание на эти две семантические категории. Но предварительно дадим краткое описание всех представленных на схеме семантических категорий.

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

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

Под вопросом понимают мысль о желании восполнить свои знания недостающей информацией.

Под императивом понимают мысль о необходимости совершения некоторого действия или воздержания от него.

Указанные мысли выражаются в языке в форме предложений. Итак:

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

В зависимости от того, какой тип мысли выражают предложения, они делятся на повествовательные (декларативные), вопросительные (интеррогатив­ные) и побудительные.

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

Одно и тоже предложение в разных контекстах употребления может выражать мысли различных типов. Например, предложение «Перемножьте число 5 само на себя три раза» выражает команду, однако это же предложение, произнесенное в ответ на вопрос «Как возвести число 5 в куб?» выражать уже будет не императив, а суждение о том, что «53 = 5⋅5⋅5». С другой стороны, одна и та же мысль может выражаться различными предложениями. Скажем, мысль о наличии свойства белизны у снега может быть выражена и предложением «Снег бел», и предложениями «Снег относится к классу белых предметов», «Свойство белизны присуще снегу», и предложением «The snow is white», и многими другими.

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

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

Другой семантической категорией является категория терминов.

Термины – это имеющие значения определенного типа части предложений, которые сами не являются предложениями.

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

Различают три категории нелогических терминов: имена, предикаторы, предметные функторы.

Имя – это слово или словосочетание, которые внутри некоторого контекста употребления обозначает ровно один предмет.

Именовать можно все, что угодно:

1. материальные предметы – «Луна», «Сергей Есенин», «эта книга», «данное дерево», «человек, создавший теорию относительности», «вакуум»;

2. единичные события, ситуации, процессы – «падение Тунгусского метеорита», «поражение Наполеона под Ватерлоо», «окончание этого предложения», «впадение Волги в Каспийское море»;

3. агрегаты – «Измайловский лесопарк», «данная футбольная команда», «Солнечная система»;

4. различные признаки предметов – «белизна», «теплопроводность», «отношение “больше”»;

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

6. сказочные, мифологические и литературные персонажи – «Андрей Болконский», «Харон», «Баба-Яга»;

7. возможные объекты – «подводная лодка Леонардо да Винчи»;

8. научные фикции – «эфир», «флогистон», «теплород»;

9. и даже невозможные объекты – «это деревянное железо», «данный круглый квадрат».

Значения имен называются денотатами (референтами). Между именем и его денотатом существует отношение особого характера, не свойственное другим выражениям языка. Это отношение называется отношением именования.

Еще одним типом выражений языка являются предикаторы.

Предикатор – это знак свойства или отношения.

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

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

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

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

Другим типом выражений являются предметные функторы.

Предметные функторы – это знаки предметно-функциональных качественных и количественных характеристик предметов.

К числу предметных функторов относятся:

– выражения, обозначающие математические операции, например – «+», «⋅», «√» и т. д.;

– выражения, обозначающие физические величины – «масса», «скорость», «расстояние между», «давление» и многие другие,

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

Более строгое описание предметных функторов будет дана ниже.

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