Математическая логика

Нужно выбрать три задачи из предлагаемого вам списка

1. Номер задачи (по Кэрроллу).

2. Условие (два суждения).

3. Если нужно - инверсия строк.

4. Если нужно - допущения относительно тождества понятий.

5. Если имели место пп 3 или 4 - новая формулировка

условия.

6. Фигура (1, 2, 3, 4).

7. Модус.

8. Круги Эйлера.

9. Вывод (словами).

Если вывода нет:

1. Номер задачи (по Кэрроллу).

2. Условие (два суждения).

3. Вердикт: вывода нет - и объяснение, почему (от 4 до 400

слов). Возможные причины: обе посылки отрицательны, обе посылки – частные суждения,

средний термин не распределён ни в одной из посылок, меньший термин – единичное

по объёму суждение, нет среднего термина (понятий не три, а четыре)… возможно,

что-то ещё – проконсультируйтесь со мной, если не уверены, что правильно поняли

разбираемый пример.

Несколько предупреждений-предостережений. Во-первых,

избегайте отрицательных понятий. Допустим, "все мои друзья

неразговорчивы" - думаете, общеутвердительное суждение, "а"?

Вовсе нет! Это значит, "ни один мой друг не разговорчив",

общеотрицательное, "е", и предикат в нём - не "неразговорчив",

а "разговорчив". Правда, если при этом в другой посылке есть понятие

"молчалив", тогда вы вводите допущение

"неразговорчив=молчалив" и спокойно переписываете другое суждение:

"Все мои друзья молчаливы", общеутвердительное ("а).

Во-вторых, помните, что вывод в простом категорическом

силлогизме - это простое категорическое суждение. Никаких "Или так, или

так" быть не может. У вас могут возникать альтернативные варианты, когда

вы рисуете круги Эйлера, но если вывод есть, то во всех этих альтернативных

вариантах отношение между S и P окажется одним и тем же. В крайнем случае, в

одном варианте будет общее суждение (например, S a P), а в другом - частное (S

i P). Тогда вы выбираете более слабое утверждение - то есть частное (в данном

случае - частноутвердительное S i P).