5. Основные семантические категории выражения языка

Семантические категории – классы, на кот. делятся выражения языка в зависимости от типов:

1. Выражаемых ими смыслов

2. Объектов, кот. они обозначают/представляют

Прежде всего выделяют:

1. Предложения

2. Части предложений, играющие самост. роль в составе предложений

Высказывание – предложение, выражающее суждение

Выражения, входящие в предложения и играющие самостоятельную роль:

1. Дескриптивные (нелог.) термины:

• Единичные имена

• Общие имена

• Знаки св-в и отношений

• Знаки признаков

• Знаки предметных ф-ций

2. Лог. термины:

• Есть (суть)

• И

• Или

• Если…, то…

• Не

• Неверно, что…

• Всякий (каждый)

• Все (ни один)

• Некоторые

• Тот…, который…

• Следовательно

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

Отношение - для получения ист./лож. предложения его (отношение) следует отнести в мыслях к предметам упорядоченной пары, тройки и т.д. (напр., «больший, чем» (2-местное), «расположенный между» (3-местное) и т.п.).

Признак – наличие/отсутствие у предмета того или иного св-ва или отношения к др. предметам. Признак пары, тройки, … n-ки предметов – наличие/отсутствие к/л отношения между её элементами (напр., в предложении «этот стол жёлтый»: «является жёлтым» - 1-местный предикат, знак признака, а слово «желтый» - знак св-ва).

Знаки предметных ф-ций (функциональные знаки/предметные функторы) выражают предметные ф-ции.

Ф-ция – соответствие, в силу кот. объекты (предмет, n-ки предметов) из нек. множества, называемого областью определения ф-ции, соотносятся с объектами из др./того же самого множества, называемыми значениями ф-ции.

Предметная ф-ция – ф-ция, значениями которой являются предметы (напр., sin, log, +, масса (Земли)).

6. Суждение. Простые суждения: атрибутивные и суждения об отношениях

Суждение – мысль, в которой утверждается наличие к/л ситуаций или связей между ситуациями. В языке суждение выражено предложением и может оцениваться в качестве истинного/ложного.

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

1. Атрибутивные суждения – суждения, в кот. выражается принадлежность предметам или отсутствие у предметов к/л св-в;

• По качеству:

  • Утвердительные – полное/частичное включение класса предметов в класс предметов или принадлежность нек. предмета классу предметов

  • Отрицательные – полное/частичное невключение класса предметов в класс предметов или непринадлежность нек. предмета классу предметов

• По кол-ву:

  • Единичные – принадлежность/непринадлежность предмета классу предметов (Австрия – европейская страна)

  • Общие – включение/невключение класса предметов в класс предметов (Все звёзды не являются обитаемыми)

• Частные – частичное включение/невключение класса предметов в класс предметов (Нек. преступления совершаются с косвенным умыслом)

В кажд. атрибутивном суждении есть:

• Термины суждения:

  • Субъект (S, s) – лог. подлежащее

  • Предикат (P) – лог. сказуемое

• Связка

• *Кванторные (кол-венные) слова – нек., все и др.

При решении вопроса о правильности/неправильности рассуждения используется деление атрибутивных суждений по качеству и кол-ву на:

• Общеутвердительные (SaP)

• Общеотрицательные (SiP)

• Частноутвердительные (SeP)

• Частноотрицательные (SoP)

• *Единичноутвердительные (s есть/суть P)

• *Единичноотрицательные (s не есть/не суть P)

S и P суждения могут распределены (взяты в полном объёме)/не распределены (взяты не в полном объёме).

В общих и единичных суждениях распределены субъекты, а в отрицательных – предикаты. Остальные термины не распределены.

2. Суждения об отношениях – определённое отношение имеет место (или не имеет места) между n-ками предметов (напр., «Москва больше Рязани» - отношение «больший» имеет место между Москвой и Рязанью)

• По качеству:

• Утвердительные – предметы находятся в определённом отношении

• Отрицательные – предметы не находятся в определённом отношении

• По кол-ву (в зависимости от n-местных):

• Единично-

  • единичные (Иванов выше Петрова)

  • общие (Иванов знает всех преподов юрфака)

  • частные (Иванов знает нек. чемпионов мира)

• Обще-

  • единичные (Все студенты юрфака знают Иванова)

  • общие (Все студенты юрфака знают всех преподов юрфака)

  • частные (Все студенты юрфака знают нек. чемпионов мира)

• Частно-

  • единичные (Нек. студенты юрфака знают Иванова)

  • общие (Нек. студенты юрфака знают всех преподов юрфака)

  • частные (Нек. студенты юрфака знают нек. чемпионов мира