Суждение - это форма мышления, представляющая собой утверждение или отрицание существования предметов и явлений, связей между предметами и их свойствами или об отношениях между предметами.

В суждении выделяют субъект суждения - S (то, о чем говорится в суждении) и предикат суждения Р (то, что говорится о S субъекте), а также связку, выражаемую словами «есть» (утвердительная связка) или «не есть» (отрицательная связка). Квантор всеобщности («все», «ни один», «каждый», «любой») и квантор частности («некоторые», «часть», «один из …», «кое-кто», «ряд», «многие», «не все»).

Выделяют простое и сложное суждение.

Простое суждение содержит одно утверждение или одно отрицание.

Типы простых суждений:

- атрибутивные (суждения о свойствах);

- релятивные (суждения об отношениях);

- экзистенциальные (суждения существования).

Виды суждений в объединенной классификации:

А Все S есть Р - общеутвердительное;

Е Ни одно S не есть Р - общеотрицательное;

I Некоторые S есть Р - частноутвердительное;

О Некоторые S не есть Р - частноотрицательное.

В связи с кванторами говорят о распределенности терминов простых суждений. Термин распределен, если в суждении он мыслится в полном объеме и не распределен, если в суждении он мыслится лишь в части своего объема. Распределенный термин обозначается знаком «+», а нераспределенный термин - знаком « - » (Таблица 1).

Таблица 1.

Таблица распределенности

	S	P
A	+	_
E	+	+
I	_	_
O	_	+

S (субъект) в данном суждении - это юридическая помощь.

Р (предикат) - оказывается бесплатно.

«Некоторые S есть Р», т.е. «Некоторая юридическая помощь - S», только в случаях предусмотренных законодательством (в некоторых случаях), «оказывается бесплатно - Р».

Данное суждение является частноутвердительным (I) и нераспределенным (согласно таблицы 1).

Также приведенное суждение относится к экзистенциальному суждению (суждению существования).

2. Произведите противопоставление субъекту в следующем суждении: Иногда и мед сладок

Ответ:

Противопоставление субъекту происходит по следующей форме:

Обращение + превращение, т.е.

SAP PIS POS

SEP PES PIS

SIP PIS POS

SOP Х (обращению не подлежит).

Данное суждение относится к частноутвердительному виду (SIP).

S - мед, не всегда Р - сладок.

Соответственно, противопоставление субъекту в данном суждении происходит следующим образом: Иногда и мед сладок (SIP)

Следовательно, сладким иногда бывает и мед (PIS) - обращение

Не сладким может быть и мед (POS) - превращение.

3. Проверьте правильность вывода и укажите возможные ошибки в силлогизме: Некоторые галстуки безвкусны. Все сделанное со вкусом приводит меня в восторг. Следовательно, я не в восторге от некоторых галстуков

Ответ:

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

М - Р - большая посылка М - средний термин (повторяется в обеих посылках);

S - M - меньшая посылка Р - больший термин (в заключении на месте предиката);

S - Р - заключение (вывод) S - меньший термин (в заключении всегда на месте субъекта).

Фигуры силлогизма:

1) М - Р

S - M

2) Р - М

S - M

3) М - Р

М - S

4) Р - М

М - S

«Некоторые галстуки безвкусны. Все сделанное со вкусом приводит меня в восторг. Следовательно, я не в восторге от некоторых галстуков».

Некоторые галстуки (Р) есть безвкусные (М). - Большая посылка.

Все сделанное со вкусом (М) приводит в восторг (S). - Меньшая посылка.

Я не в восторге (S) от некоторых галстуков (Р). - Заключение (вывод).

Согласно вышеприведенной классификации, данный силлогизм относится к четвертой фигуре

Р М

М S

Проверим данный силлогизм на соответствие специальным и общим правилам силлогизма.

Большая посылка является частноутвердительной (I), меньшая посылка - общеутвердительной (A), заключение - частноотрицательным (О).

Данный силлогизм не отвечает требованиям специальных правил по фигуре 4: если одна из посылок отрицательная, то большая посылка - общая (в данном случае - обе посылки - утвердительные). Модус IAO не является правильным по 4 фигуре.

4. Сделайте вывод из посылок, если это возможно

1. Котенок, который любит рыбу, поддается дрессировке.

2. Котенок без хвоста не станет играть с гориллой.

3. Котенок с усами всегда любит рыбу.

4. У котенка, поддающегося дрессировке, не бывает желтых глаз.

5. Котенок, у которого нет хвоста, не имеет усов.

Ответ:

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

2. Данные посылки являются отрицательными (Некоторый котенок не имеет хвоста; Бесхвостый котенок не станет играть с гориллой). Согласно правила посылок, из двух отрицательных посылок вывод невозможен.

3. Данные посылки являются частными (Некоторый котенок, имеет усы; Усатый котенок любит рыбу). Согласно правила посылок, из двух частных посылок вывод невозможен.

4. Данные посылки являются частными (Некоторый котенок есть поддающийся дрессировке; Некоторый дрессированный котенок не есть желтоглазый). Согласно правила посылок, из двух частных посылок вывод невозможен.

5. Данные посылки являются частными (Некоторый котенок не имеет хвоста; Бесхвостый котенок не есть усатый). Согласно правила посылок, из двух частных посылок вывод невозможен.

5. Установите путем построения таблицы истинности, являются ли равносильными следующие суждения:

а) Если увеличивается семья нанимателя, то это ведет к изменению условий договора найма жилого помещения, если же семья нанимателя уменьшается, это также ведет к изменению условий договора найма жилого помещения.

б) Семья нанимателя может увеличиваться и уменьшаться, что ведет к изменению условий найма жилого помещения.

Ответ:

Установить являются ли данные суждения равносильными, значит установить, с помощью таблицы истинности, являются ли данные суждения истинными или ложными.

Истинным суждением является такое суждение, которое соответствует действительности. Ложное суждение действительности не соответствует.

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

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

Согласно таблицы истинности сложных суждений,

А	В	А > В	А \\// В
И	И	И	Л

Первое суждение (А > В) - истинное, а второе (А \\// В) - ложное.

Вывод: Приведенные суждения не равносильны, т.к. первое является истинным, а второе ложным.

6. Изобразите понятия на кругах Эйлера:

Мужчина; водоплавающее животное; планета; планета Солнечной системы; спутник Земли.

Ответ:

Понятия «планета», «планета Солнечной системы», «спутник Земли» можно изобразить следующим образом:

А - планета Солнечной системы;

В - планета;

С - спутник Земли.

ССССсссс

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

Понятия «мужчина» и «водоплавающее животное» являются несовместимыми и внеположенными понятиями и изображаются следующим образом:

А - мужчина;
В - водоплавающее животное.
Список используемой литературы
1. Логика. Учебное пособие для студентов вузов. Ростов-на-Дону. Изд. "Феникс", 1996 г.
2. Никифоров А.Л. Общедоступная и увлекательная книга по логике. - М.: Гнозис, 1996 г.
3. Халин С.М., Гусакова Т.Ф., Суворова Л.Г. Логика. Учебное пособие для дистанционного обучения. Издание третье. Тюмень: Изд-во ТГУ, 2003 г.
3. Челпанов Г.И. Учебник логики. - М.: «Прогресс», 1994 г.