Логика

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

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

«Студенты РАП изучают логику»; на самом деле это утверждение справедливо не для всех учебных потоков (на которых студенты получают разные специальности).

Обязательные элементы структуры суждения:

• субъект суждения («S» от лат. subjectum) – понятие о предмете суждения, логическое подлежащее;

• предикат суждения («Р» от лат. – praedicatum) – понятие о признаке предмета или о другом предмете, с которым интересующий предмет (выраженный субъектом) сравнивается, логическое сказуемое.

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

Субъект и предикат – термины суждения.

Иногда в этом ряду называют квантор (или кванторное слово; «», «»). Он указывает на отношение суждения ко всему объему понятия, выражающего субъект, или к его части. Он выражается словами: «все», «ни один», «некоторые» и др.

Например, в суждении «Все судьи Российской Федерации имеют высшее юридическое образование» понятие «судьи Российской Федерации» – субъект (S), «высшее юридическое образование» – (P), «имеют» – связка, «Все» – кванторное слово («»).

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

1. Деление суждений по объему субъекта:

• единичное -> объем субъекта включает только один предмет, например: «Москва – столица России». Логическая схема таких суждений: «Это S есть Р» и «Это S не есть Р»;

• частное -> объем субъекта включает часть (может быть неопределенной и определенной) класса предметов, имеющих общие существенные признаки. Логическая схема неопределенных суждений: «По крайней мере некоторые S суть Р». Например,

«Некоторые люди – преступники». Определенное частное суждение имеет логическую схему: «Только некоторые S суть Р»; например: «Только некоторые юристы смогут стать судьями»;

• общее -> что-либо утверждается или отрицается обо всех предметах данного класса; общие суждения бывают регистрирующими, которые фиксируют утверждение или отрицание в отношении предметов класса, в котором этих предметов определенное (ограниченное) число, например: «Все студенты восьмой группы сдавали экзамен по логике»; в нерегистрирующих что-либо утверждается или отрицается о предметах, которых в данном классе неопределенное (неограниченное) число. Например: «Суды выполняют функции защиты прав и свобод граждан»; а также нерегистрирующие – утверждают или отрицают что-то о классе с неопределенным числом элементов.

2. Деление суждений по качеству связки:

• утвердительное («S есть Р») -> связка «есть», «существуют», «бывают». Суждение, в котором утверждается принадлежность предмету некоторого признака, например: «Добросовестный труд и ответственность – источник благосостояния и могущества общества»;

• отрицательное («S не есть Р») -> связка «не есть», «не существует», «не бывает». Суждение, в котором отрицается связь между предметом и его признаком или между предметами, например: «На свете смерти нет».

Стоит отличать отрицательное суждение от негативной формы утвердительного суждения. Например:

«Злоупотребление служебным положением не может быть оправданным» («S не есть Р») и «Использование ресурсов общества и государства в личных целях незаконно» («S есть Р»).

Наконец, бывают отрицающие суждения, например,

«Неправда, что все чиновники коррупционеры» («Неверно, что S есть Р»).

3. Деление суждений по содержанию предиката: