V.2. Разновидности семантических категорий

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

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

1)      предложения, выражающие суждения;

2)      предложения, выражающие вопросы;

3)      предложения, выражающие нормы;

4)      предложения, выражающие приказы и т.д.

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

К дескриптивным (описательным) терминам относят:

1. Имена предметов – слова или словосочетания, обозначающие какие-либо предметы. Поскольку имя является знаком, оно имеет значение или смысл (или то и другое). Значение имени – предмет, обозначаемый эти именем. Другие названия значения имени – денотат, десигнат, номинат. Смысл (или концепт) – это информация о предметах, которую выражает имя и которая позволяет однозначно выделять предметы, являющиеся значениями имени.

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

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

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

Есть имена, объемом которых является пустое множество, то есть обозначаемые ими предметы не существуют в универсуме рассуждения. Такие имена называют мнимыми. Примеры: «человек, который знает все иностранные языки», «секрет физического бессмертия человека». Эти имена являются мнимыми, если универсум рассуждения составляют предметы, существующие в объективной реальности. Имена, значениями которых являются предметы, входящие в универсум рассуждения, называют действительными.

Не все имена имеют смысл. Для обоснования этого утверждения можно подразделить имена на два вида: на имена, имеющие собственный смысл, и имена, не имеющие собственного смысла. Имена, имеющие собственный смысл, – это описательные имена типа «самый большой город России». Смысл таких имен определяется их структурой, а также смыслами и значениями имен, составляющих эти описательные имена. Неописательные имена типа «Россия» не имеют собственного смысла. Если они и имеют смысл, то лишь приданный. Неописательным именам придается смысл посредством описательных имен, которые ставятся им в соответствие. В описательные имена в свою очередь входят имена неописательные. Им тоже придается смысл через описательные. Очевидно, что такой процесс не может быть бесконечным, то есть некоторые неописательные имена имеют значение, но не имеют смысла. Эти имена обозначают предметы, но не несут о них выраженной в языке информации, позволяющей выделять эти предметы среди других предметов. Значения этих имен выделяются посредством чувственных образов, например представлений.

В естественном языке некоторые выражения в зависимости от контекста обозначают различные предметы, а также встречаются случаи, когда значениями выражений могут быть сами эти выражения, и т.д. Чтобы такие ситуации не возникали в научных языках, в них должны соблюдаться следующие методологические принципы: принцип предметности; принцип однозначности; принцип взаимозаменимости.

Принцип предметности: в высказываниях должно что-либо утверждаться или отрицаться не об именах, а о значениях имен, входящих в эти высказывания. Значениями некоторых имен являются имена. Такие случаи не противоречат принципу предметности. Например, в предложении «“Материя” – философская категория» слово “материя”, взятое в кавычки, – это имя имени, имя категории. Такие имена называются кавычковыми именами. Иногда в естественном языке встречаются случаи, когда именем имени является само исходное имя. Например, в предложении «Слово стол состоит из четырех букв» слово “стол” является именем самого этого слова. Такое употребление имен называется автонимным. Автонимное употребление имен недопустимо в научных языках.

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

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

2. Предикаторы (знаки предметно-пропозициональных функций) – слова и словосочетания, обозначающие свойства предметов или отношения между предметами (например, «порядочный», «синий», «есть город», «меньше», «есть планета» и т.д.). Предикаторы бывают одноместные и многоместные. Одноместные предикаторы обозначают свойства (например, «талантливый», «горький», «большой»). Многоместные предикаторы обозначают (выражают) отношения. Двухместными предикаторами являются: «равен», «больше», «мать», «помнит» и др. Например: «Площадь земельного участка А равна площади земельного участка B», «Мария Васильевна – мать Сережи». Пример трехместного предикатора – «между» (например: «Город Москва расположен между городами Санкт-Петербург и Ростов-на-Дону»).

3. Функциональные знаки (знаки именных функций) – выражения, обозначающие предметные функции, операции («ctg a», «+», «Ö» и др.).

Кроме того, в языке встречаются так называемые логические термины (логические постоянные, или логические константы):

1.                 Конъюнкция соответствует союзу «и». Конъюнктивное высказывание обозначается: aÙb, или a×b, или a&b (например, «закончились лекции (a), и студенты пошли домой (b)»).

2.                 Дизъюнкция соответствует союзу «или». Дизъюнктивное суждение обозначается: aÚb (нестрогая дизъюнкция) и a⊽b (строгая дизъюнкция); отличие их в том, что при строгой дизъюнкции сложное суждение истинно только в том случае, когда истинно одно из составляющих суждений, но не оба, а при нестрогой дизъюнкции истинными могут быть одновременно оба суждения. «Он шахматист или футболист» обозначается как aÚb. «Сейчас Петров находится дома или в институте» обозначается как a⊽b.

3.                 Импликация соответствует союзу «если…то». Условное суждение обозначается: a®b, или a Éb (например: «Если будет хорошая погода. То мы пойдем в лес»).

4.                 Эквиваленция соответствует словам «если и только если», «тогда и только тогда, когда», «эквивалентно». Эквивалентное высказывание обозначается: aºb, или a«b, или a⇄b.

5.                 Отрицание соответствует словам «не», «неверно, что». Отрицание высказывания обозначается: ā, ùa, ~a. Например: «Падает снег (a); «Неверно, что падает снег» (ā).

6.                 Квантор общности обозначается и соответствует кванторным словам «все» («всякий», «каждый», «ни один»). "хР(х) – запись в математической логике. Например, в суждении «Все красные мухоморы ядовиты» кванторное слово «все».

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

От значения логических терминов зависит логическая структура (форма) мысли, а тем самым и ее логическое содержание. Значения дескриптивных терминов в совокупности с логическими терминами определяют конкретное содержание мысли.