Семантические категории — это типы значений выражений естественного или искусственного языка.
Различают следующие семантические категории:
1. Имена. Среди знаков-символов выделяют знаки, называемые именами.
Имя – знак, имеющий объектное значение. Поскольку имя является знаком, оно имеет значение или смысл (или то и другое).
Значение имени – это предмет, обозначаемый этим именем.
Смысл – это информация о предметах, которую выражает имя и которая позволяет однозначно выделять предметы, являющиеся значением имени.
Имена бывают единичными и общими, а также пустыми.
Единичным называется имя, обозначающее один предмет, закрепленный за ним соглашением или традицией. Например: МГУ им. М. В. Ломоносова, столица России.
Общим называется имя, обозначающее целое множество предметов. Например: государство, академия.
Пустыми называются имена, которые не обозначают ни одного предмета, существующего в универсуме рассуждения. Например: деревянное железо, русалка, круглый квадрат.
В традиционной логике понятиям "значение" и "смысл" имени соответствуют понятия объема и содержания.
Единичные и общие имена также делятся на простые и сложные. Простые имена – имена, не дающие никакой информации об обозначаемом предмете. Например: г. Москва, вуз, человек. Сложные имена – это имена, имеющие в своем составе другие имена и сообщающие о своих значениях какую-то информацию. Их объем – весь универсум рассуждения (вся область предметов, о которых ведется рассуждение). Например: самый большой город России; человек, знающий русский язык. Эти имена имеют собственный смысл.
2. Предикаторы – слова и словосочетания, значением которых являются свойства предметов (одноместные предикаторы) и отношения между предметами (многоместные предикаторы). Например: любит; нравится; знает и т.д. – многоместные предикаторы, а зеленый и красивый – одноместные предикаторы. Местность предикатора определяется количеством предметов, которым этот предикатор может приписываться в высказывании. Например: N любит G; L нравится С; X знает Y, утверждаются отношения между предметами, а в высказываниях "стол – зеленый", "роза – красивое растение" – приписывается свойство.
3. Предметные функторы – слова и словосочетания, имеющие в качестве значения предметные функции. Например, областной центр, скорость и т.п. Предметный функтор "областной центр" имеет в качестве значения функцию, которая ставит в соответствие областям города: Брянская область – Брянск; Московская область – Москва и т.д.
4. Предложения – выражения языка, предметными значениями которых являются истина и ложь. Значения предложений, гак же как и других имен, определяются их смыслом. Значение предложения: г. Климово находится в Брянской области – истина, а значение предложения: г. Светлогорск Калининградской области – курорт Германии – ложь.
Выражения, принадлежащие к четырем перечисленным семантическим категориям, называются дескриптивными, они отражают конкретное содержание мыслей в отличие от знаков пятой категории, относящихся не к конкретному, а к логическому содержанию мысли. Они определяют саму структуру мысли, поэтому сохраняются при выделении логической формы.
5. Логические термины, имеющие в качестве значений логические операции связывания выражений языка и квантификации (указания количества) общих имен. Первые называются логическими связками,вторые – кванторами. К связкам относят союзы "и", "или", "если..., то" и др. С помощью логических связок из одних предложений или предикаторов получаются другие, более сложные. Кванторы – это слова "все", "некоторые" и подобные им показатели того, что нечто приписывается всем предметам класса, обозначенного общим именем или только части класса.