Преобразование суждения

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

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

Загальностверджувальне суждения.

А(8Р) -> Е(8 - Г): "Все 8 есть Р, следовательно, ни 8 не есть не Р".

Основой образования умозаключения здесь выступает закономерность отношение объемов двух противоречивых понятий, которые являются предикатами одного и

того самого субъекта. Известно, что два противоречивых понятия (Р и ~Р) всегда исчерпывают объем своего родового понятия. Если известно, что данный предмет входит в объем Р, то это является основанием для вывода, что он не входит в объем ~Г, и наоборот. Двойное отрицание (не есть не Р), что используется в суждении-вывода означает равнозначность этих двух суждений.

Например:

А Все адвокаты - юристы.

Е ни Один адвокат не является юристом.

Загальнозаперечне суждения.

E(SP) -> A(S ~Г): "ни Одно S не есть Р, следовательно, все S есть не Р".

Например:

Ни одна кошка не является собакой. Все кошки являются не собаками.

Частковостверджувальне суждения.

1(SP) -"0(S ~Г): "Некоторые S есть Р, следовательно, некоторые S не есть не Р".

Например:

Некоторые студенты являются отличниками. Некоторые студенты не есть не отличниками.

Частковозаперечне суждения.

О(БР) -> 1(5 ~Г): "Некоторые Бы не есть Р, следовательно, некоторые Бы не Г".

Например:

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

Противопоставление предикату

Противопоставление предикату - это логическая операция, которая состоит из двух предыдущих, то есть: 1) суждения меняет качество на противоположную, а в некоторых случаях меняется и количество суждения; 2) Б и Г суждения-вывода меняются местами; 3) Р выводу является понятием, отрицательным (~Г) к Г зародыше.

В зависимости от четырех типов простых категорических суждений существуют такие правила противопоставление предикату.

Загальностверджувальне суждения.

А(8Р) -" Е(~ СБ): "Все 8 есть Р, следовательно, ни одно не Р не есть 5".

Например:

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

Загальнозаперечне суждения.

E(SP) -> I(~PS): "ни Одно S не есть Р некоторые не Р есть S".

Например:

ни Один кит не является рыбой. Некоторые рыбы не являются китами.

Так, в понятие "рыбы" включается много видов животных (кроме китов), то мы говорим "некоторые", но не "все". Частковозаперечне суждения. 0(8Г) -"И(~Р8): "Некоторые 8 не есть Р, следовательно, некоторые не Р есть 8 ".

Например:

Некоторые преступники не являются совершеннолетними. Некоторые несовершеннолетние являются преступниками.

Частковостверджувальне суждения не всегда дает необходимые выводы при противопоставлении предикату, то есть выводы из противопоставления предикату суждения И(8Р) не всегда являются истинными (а часто даже лишены здравого смысла). Например: "Некоторые люди являются вегетарианцами, следовательно, некоторые невегетаріанці не являются людьми (?!)". Исходя из этого, частично-утвердительное суждение противопоставлению предикату не подлежит.

Выводы по логическим квадратом

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

Напомним, что по логическим квадратом существуют такие типы отношений между категорическими суждениями:

1) Отношение противоположности (А - Е) - эти суждения не могут быть одновременно истинными.

2) Отношение частичной совместимости (И - О) - они не могут быть одновременно ложными.

3) Отношение подчинения (А - I, Е - О) - если общее суждение истинно (А, Е), то частичное (И, О) не может быть ложным. Иначе это отношение называют отношением логического следования.

4) Отношение противоречия (А - О, Е -1) - если одно из них истинно, то другое (противоречивое) необходимо ложно, и наоборот.

Для того, чтобы сделать умозаключения по логическим квадратом, необходимо:

1) Определить тип суждения-зародыше и значение его истинности.

2) Сформулировать три другие типы суждений с теми же 8 и Г и определить значение истинности полученных суждений-умозаключений.

3) Проверить соответствие их значений истинности при установке четырех типов отношений между суждениями.

Например:

1) Суждение-цель: "Все студенты-юристы изучают логику" -А(8Р), истинное.

2) Е(8Р) - "ни Один студент-юрист не изучает логику" - ложное; И(8Р) - "Некоторые студенты-юристы изучают логику" - истинное; 0(8Г) - "Некоторые студенты-юристы изучают логику" - ложное.

Посмотрим на отношение:

a) противоположность - А (истина) - Е (ложь);

b) частичная совместимость - И (истина) - О (ложь);

c) подчинение - А (истина) - И (истина), Е (ошибка) - О (ложь); си) противоречие - А (истина) - О (ложь), Е (ошибка) -1 (истина). Поскольку значение истинности этих пар суждений соответствует определению логических связей между ними, то выводы сделаны правильно.

Литература для углубленного изучения раздела

A. Основная.

1. Гетманова А.Д. Логика. - М.: Новая школа, 1995.-С. 121-136.

2. ЖеребкінВ.Є.Логіка.-X.:Основа;К.:Знания, 1999.-С. 108-134.

3. Кириллов В.И., Старченко А.А. Логика. - М.: Высшая школа, 1995. -С. 120-143.

4. Конверский А.Е. Логика. - К.: Четвертая волна, 1998. - С. 228-239.

5. Иванов Е.А. Логика. - М.: Издательство БЕК, 1996. - С. 173-200.

6. Свинцов В.И.Логика.-М.: Скорина; Весь мир, 1998.-С. 203-231.

7. Тофтул М.Г. Логика: Учеб. посібн. для студентов высших учебных заведений. - К.: Академия, 2003. - С. 162-169.

8. Хоменко И.В.,АлексюкІ.А. Основы логики.-К.: Золотые ворота, 1996. -С. 96-145.

9. Хоменко И.В. Логика: Учебник для студентов высших учебных заведений. - К.: Абрис, 2004. - С. 143-148.

B. Дополнительная.

1. Ивин А.А. Искусство правильно мыслить. - М.: Просвещение, 1990. - С. 6-57.

2. Кондаков Н.И. Логический словарь-справочник. - М: Наука, 1975. -Статьи: выведение, дедукция, непосредственное умозаключение, обращение, превращение, противопоставление предикату, умозаключение, энтимема, эпихейрема и другие статьи в данной теме.

3. Логические методы и формы научного познания. - К.: Наукова думка, 1984.-200 с.

4. Мельников В.Н. Логические задачи. -К.; Одесса: Высшая школа, 1989. -С. 292-314.

5. Шейко А.Н. Сокращенный силлогизм. - К.: Высшая школа, 1962. - 28 с.

 
< Пред   СОДЕРЖАНИЕ   След >