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

Выражения делятся на классы исходя из их значения. Эти классы называются семантическими категориями. Семантические категории подразделяются на: Предложения и Части предложений (используются те, которые связаны логическим смыслом). Предложения делятся на: Выражающие суждения (высказывание), Выражающее вопросы, Выражающее нормы и др. Части предложений делятся на: А) Логические термины - это словосочетания: «есть» («суть»), «и», «или», «если…то..», «не», «неверно, что…», «всякий» (каждый), «все», «некоторые», «следовательно» (союза «а» - нет). Б) Дескриптивные (нелогические) термины. Нелогические термины делятся на:

1) Единичные и общие имена (единичные имена обозначают 1 предмет (напр Луна, столица России); имя является общим для предметов некоторого класса, это общие имена (напр. Преступление против собственности).

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

3) Знаки признаков. Признак (какого-либо предмета) - наличие или отсутствие у него того или иного свойства или отношения к другим предметам. Признак пары тройки предметов – наличие или отсутствие каких-либо отношений между этими предметами.

Предложение – « Этот стол желтый». Словосочетание «является желтым» – знак признака, а слово «желтый» - знак свойства. ПРЕДИКАТОРЫ.

4) Знаки предметных функций (функциональные знаки/предметные ФУНКТОРЫ) - выражают предметные функции. Функция – соответствие, в силу которого объекты (предмет, пара тройка предметов) из некоторого множества, называемого областью определения функции, соотносятся с объектами из другого или того же самого множества, называемыми значениями функции. Предметной называется функция, значениями которой являются предметы. Пример: трудовой стаж, срок лишения свободы, размер среднемесячного дохода.

«Если ни один член семьи Ивановых не является честным человеком и Степан – член семьи Ивановых, то Степан не является честным человеком». Определим к каким семантическим категориям относятся выражения, составляющиеся его частями. 1) если то – логический термин; 2) ни один (все) – логический термин; 3) член семьи Ивановых – общее имя; 4) не – логический термин; 5) является (есть) – логический термин; 6) честный человек – общее имя; 7) и – логический термин 8) Степан – единичное имя.

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

Суждение – мысль, в которой утверждается наличие каких-либо ситуаций или связей между ситуациями. Они бывают истинные и ложные.

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

Атрибутивные суждения - в них выражается принадлежность предметам свойств или отсутствие у предметов каких-либо свойств. Пример: все студенты – учащиеся. Каждое атрибутивное суждение имеет: субъект (логическое подлежащее) = обозначается буквой S; предикат (логическое сказуемое) = обозначается буквой P; связка (может быть кванторным словом – все, некоторые; иногда лишь подразумевается (суть/не суть). Субъект и предикат являются терминами суждения. Пример: «Некоторая наука не является гуманитарной». S – наука; P –гуманитарная; не является – связка; некоторая – кванторное слово. Атрибутивные суждения делятся на виды:

1.По качеству: А) Утвердительные – выражается полное или частичное включение класса предметов или же принадлежность некоторого класса предмета к классу предметов. Пример: Обезьяна является живым существом. Б) Отрицательные – невключение класса (части класса) в некоторый класс предметов, непринадлежность предмета классу предметов. Пример: Мертвая обезьяна не является живым существом.

2. По количеству: А) Единичные пример: Москва – столица России. Б) Общие Пример: «Все сделки, не соответствующие требованию закона, являются недействительнымии». В) Частные – выражается частичное включение или невключение в класса предметов в класс предметов. Пример: «Некоторые юристы являются ораторами».

Общеутвердительным – S a P. Частноутвердительное - S i P. Общеотрицательным – S e P. Частноотрицательное – S o P. (Afirmo –утверждаю; Nego – отрицаю). Структура единичных суждений: s есть P (единичноутвердительные), s не есть P (единичноотрицательные).

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

Суждения об отношениях – суждения, в которых говорится о том, что определенное отношение имеет место (или не имеет места) между элементами пар, троек и тд предметов. Единичные, двуместные, трехместные, четырехместные и т.д. отношения. Пример: « Москва больше Рязани». 2 субъекта. Утвердительное. Москва – единичное, Рязань – единичное, следовательно суждение единично-ежинично-утвердительное.

Каждый студент знает некоторых преподавателей – обще-частно-утвердительное. Каждый студен знает некоторых преподавателей лучше, чем некоторых работников деканата. Обще-частно-частно-утвердительное.

Каждый студент юрфака изучает логику. Обще-единично-утвердительное.