18. Свойства правильных модусов фигур силлогизма.

Виды силлогизмов:

1. Деление на фигуры

2. Деление на модусы

Деление на фигуры зависит от того, как в силлогизме расположен средний термин.

Первая фигура:

М – P (в большей посылке М – субъект)

S – M ( в меньшей посылке М – предикат)

S – P

Вторая фигура:

P – M

S – M

S – P

Третья фигура:

M – P

M – P

S – P

Четвертая фигура:

P – M

M – S

S – P

Модус – обусловлен типом посылок и заключений (общеутв., частноутв., общеотриц., частноотриц.).

1. Определить тип большей посылки.

2. Определить тип меньшей посылки.

3. Определить тип заключения.

Например, eio

64 варианта модусов х 4 фигуры = 256 типов силлогизмов. Правильные только 24 (по 6 на каждую фигуру).

Свойства правильных фигур силлогистики.

Есть свойства, присущие всем правильным модусам данной фигуры, но они присущи и некоторым неправильным модусам.

Свойства правильных модусов различных фигур силлогизма.

1 фигура

свойства: 1) Большая посылка – общее суждение

2) Меньшая посылка – утвердительная

2 фигура

свойства: 1) Большая посылка – общее суждение

2) Одна из посылок – отрицательная

3 фигура (дипломатическая)

свойства: 1) Меньшая посылка – утвердительная

2) заключение – частное отверждение

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

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

В правильных силлогизмах первой фигуры большая посылка – общая. Доказательство:

+1. Б.п. – частная

2. М (-) в б.п. (из 1, по правилу распределенности терминов)

3. М(+) в м.п. (из 2, по первому правилу терминов)

4. м. п – отриц. (из3, по правилу распред. терминов и из особенностей первой фигуры)

5. б.п. – утвердительная (из4, по 1 правилу посылок)

6. заключение – отрицательное (из 4, по 2 правилу посылок)

7. Р(-) больший термин не распред в б. п. (из 5. по правилу распред терминов, особенности 1 фигуры)

8. Р(+) больш термин распеределн в заключении (из 6, по правилу распред терминов)

9. Р(-) больш теремин не должен быть распеределен в заключении (из 7, по 2 правилу терминов)

10. Б.п. – общяя

исключаются пункты с 1 по 9.

19. Проверка силлогизма с использованием круговых диаграмм. Энтимема и метод ее проверки.

Умозаключение правильно, если есть логическое следование.

Логическое следование. На всех модельных схемах формулы А1, А2, … Аn принимают значение истина, и В тоже принимает значение истина.

Надо выделить все круговые схемы, на которых посылки истинны.

Метод удобен для демонстрации некорректности силлогизма (найти хотя бы одну модельную схему, где и и и |= л)

Другой метод проверки – перевести в язык логики предикатов и проверить:

S a P – Vx (S(x) > P(x))

S i P – Ex (S(x) & P(x))

S e P – Vx (S(x) > ┐P(x))

S o P – Ex (S(x) & ┐P(x))

Сделав перевод, надо сделать допущения о непустоте (ExS(x)) и неуниверсаньности (Ex┐S(x)), для всех терминов.

Энтимема – простой категорический силлогизм, в котором пропущена одна из посылок или заключение.

Проверка энтимем:

1. Установить, что пропущено

2. Какая посылка пропущена (меньшая или большая) или заключение.

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

Если энтимема не восстанавливается в правильный силлогизм – она логически некорректна.

4. Оценить восстановленное высказывание – истинно оно или ложно.

Если энтимема восстанавливается в правильный силлогизм – она корректна, но если восстановленное высказывание ложно, то она корректна логически, но некорректна прагматически.