Категориальный анализ языка (стр. 1 )

Категориальный анализ языка

1. Основные типы выражений языка

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

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

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

Схема 2

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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