Логика (полный курс)

Страница 4

8. Только некоторые люди, и только люди – врачи.

9. Все студенты 971 группы, за исключением Иванова, сдали зачет по логике.

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

Объединенная классификация суждений:

1. Общеутвердительные суждения – А

«Все S суть Р» – Все поэты впечатлительные люди.

2. Общеотрицательные суждения – Е

« Ни одно S не есть Р» – Ни один человек не всеведущ.

3. Частноутвердительное суждение – I

« Некоторые S суть Р» - суть Р» - Некоторые люди имеют курчавые волосы.

4. Частноотрицательное суждение – О

« Некоторые S не есть Р» – Некоторые люди не умеют слушать.

Распределенность терминов в суждениях.

Термины

Виды суждений

А

Е

I

О

S

+

+

-

-

Р

-

+

-

+

Термин является распределенным, если его объем полностью входит в объем другого термина или полностью исключается из него, распределенность термина обозначается знаком «+». Термин является нераспределенным, если его объем составляет только часть объема другого термина, нераспределенность термина обозначается знаком «-». На кругах Эйлера это можно изобразить следующим образом:

S

I. А – Все рыбы позвоночные.

Р-

S+

Р

S

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

Р

S

II. Е – ни одно насекомое не есть позвоночное.

Р

S

III. I – Некоторые книги полезны.

Р

Р-

S-

S

Не которые животные суть позвоночные.

S-

P-

P

S

IV. – Некоторые книги не суть полезны.

Р

Р+

S -

S

Некоторые змеи не имеют ядовитых зубов.

S-

Р

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

Противоположность

А ( контрарность) Е

п п

о о

д д

ч ч

и и

н н

е е

н н

и и

е е

I Частичная совместимость О

(субконтрарность)

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

После изучения данного блока учебного курса рекомендуется составить таблицу истинности и таблицу ложности суждений А, Е, О, I, обозначив истинность символом «1» и ложность символом «0». Эти таблицы не нужно знать наизусть, но должно уметь их выводить.

Если А 1, то Е 0, О 0, I 1;

Если Е 1, то О 1; I 0, А 0;