О Э SOP Некоторые S не есть Р. Частноотрицательное.

Давайте используем полученные знания и определим вид нескольких суждений и дадим им характеристику.

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

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

1. Определить квантор, объект и предикат высказывания.

2. Поставить кванторные слова «Все», «ни один». «некоторые» в начале высказывания.

3. Поставить субъект высказывания после кванторного слова.

4. Поставить логическую связку «есть»(«суть») или «не есть» («не суть») после субъекта высказывания.

5. Поставить предикат высказывания после логической связки.

При выполнении последней операции необходимо иметь в виду следующее:

А) предикат может быть выражен существительным, которое может быть представлено одним словом или словосочетанием. В данном случае предикат остается без изменения. Например, К млекопитающим относят всех китов ------- Все киты есть млекопитающие

В) предикат может быть выражен прилагательным (причастием)

Например, «Не все девушки- красавицы». В этом случае к предикату добавляется родовое понятие для субъекта высказывания. Приводим к канонической форме. Некоторые девушки –красивые люди.

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

D) при приведении суждения в каноническую форму необходимо обращать внимание на положение частицы не. Она может быть элементом связки и тогда стоит отдельно от предиката, суждение будет отрицательным. Если частица «не» сливается с предикатом - то это суждение положительное с отрицательным предикатом.

Например, 1) «Иногда и мед не сладок» и 2)«Иногда и мед несладкий»

Иногда и мед не сладок. – «некоторый мед не является сладким» ЭSOP

Иногда и мед несладкий – «некоторый мед является несладким» ЭSIP

Порой довольно сложно привести высказывания в каноническую форму. Например, «Ничто не вечно под луной». S – существующее под луной, Р –вечно. Получаем высказывание «Ни одно существующее под луной (S) не является (связка) вечным (Р)» V SEP (Ни одно S не есть Р)

Еще более интересный случай. Например, «Не все коту – масленица». Можно привести к канонической форме. Иногда для кота не существует удовольствий масленицы. Иногда для кота не суть время масленицы. Форма суждения «Некоторые S не есть Р», Э SOP. Конечно, при приведении предложений естественного языка к канонической форме теряется эмоциональность речи, но это плата за попытку выяснить рациональное содержание наших мыслей.

То, что в категорических суждениях можно точно вычислить качество и количество, позволяет более точно сформулировать условия их истинности.. Точность и определенность не самоцель, а средство для установления истинности или ложности Пока мы не можем знать все условия истинности или ложности категорических суждений, но уже можем опираясь на структуру суждения и объем понятий субъекта и предиката, их соотношения установить условия истинности суждения.

Субъектом и предикатом суждения являются понятия, которые имеют объем и соотносятся друг с другом. Каждому виду суждения соответствует та или иная графическая схема отношений между его терминами, при которой суждение может быть истинным.