Распределенность терминов в ПКС

Проставляется для каждого суждения, входящего в ПКС, по отдельности согласно таблице распределенности терминов (см. тему «Суждение») в том порядке, в котором она дана по таблице.(На сами буковки над терминами – S, P и M - внимания не обращать!)

	Первый термин	Второй термин	Второй термин в выделяющих суждениях
A	+	-	+
I	-	-	+
E	+	+	+
O	-	+	+

Общие правила ПКС:

1. В ПКС может быть только три термина (ошибка – «учетверение термина», например, при использовании омонимов).

Все произведения Толстого нельзя прочитать за один день

«Хаджи-Мурат» - произведение Толстого

Повесть «Хаджи-Мурат» нельзя прочесть за один день (неправильно)

2. Средний термин должен быть распределен хотя бы в одной из посылок.

3. Термин, не распределенный в посылках, не должен быть распределен в заключении. (Если термин распределен в заключении, то он должен быть распределен в посылках)

4. Хотя бы одна из посылок должна быть общим суждением (А или Е)

5. Хотя бы одна из посылок должна быть утвердительным суждением (А или I)

6. Если одна из посылок частное суждение, то и вывод должен быть частным (I и O)

7. Если одна из посылок отрицательное суждение, то и вывод должен быть отрицательным (Е или О)

Бесконечная делимость материи непостижима

Бесконечная делимость материи не подлежит сомнению

Существуют не подлежащие сомнению истины, которые непостижимы

Дедуктивные выводы из сложных суждений

1. Чисто-условное умозаключение

a b

b c

a c

2. Условно-категорическое умозаключение

a b утверждающий модус

a______

b

a b отрицающий модус

ùb_____

ùa

НЕПРАВЕЛЬНЫЕ МОДУСЫ

a b

b______

a

a b отрицающий модус

ùa_____

ùb

3. Разделительно-категорическое умозаключение

aVb утверждающе-отрицающий модус

a_______

ùb

aVbVc отрицающе-утверждающий модус

ùaÙùb____

c

4. Условно-разделительные умозаключения (леммы): различаются по количеству членов во второй посылке. Если два члена – то дилемма, если три члена – то трилемма, а есть четыре и более – полилемма.

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

(a b)Ù(c b)

aVc______

b

Сложная конструктивная дилемма

(a b)Ù(c d)

aVc______

bVd

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

(a b)Ù(a c)

ùbVùc______

ùa

Сложная деструктивная дилемма

(a b)Ù(c d)

ùbVùd______

ùaVùc

Сокращенные, сложные и сложносокращенные силлогизмы

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

Пример: все люди - братья, поэтому должны друг другу помогать.

Восстанавливаем энтимему:

Находим заключение (если оно есть).

Все братья должны помогать друг другу

Все люди братья______________

Люди должны помогать друг другу.

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

Прогрессивный полисиллогизм (заключение становится большей посылкой)

Пример:

А есть В

С есть А

С есть В

D есть С

D есть В

Регрессивный полисиллогизм (заключение становится меньшей посылкой)

Пример:

А есть В

С есть А

В есть D

С есть В

C есть D

Сложносокращенные силлогизмы – полисиллогизмы, в которых пропущены некоторые посылки

Сорит

Прогрессивный сорит

А есть В Животные - смертны

С есть А Хищники - животные

D есть С Волк - хищник

D есть В Волк – смертен

Регрессивный сорит

А есть В Волк – хищник

В есть С Хищники - животные

С есть D Животные - смертны

А есть D Волк – смертен

Эпихейрема – сложносокращенный силлогизм, состоящий из энтимем.

Ложь заслуживает презрения, так как она безнравственна

Лесть это ложь, так как она искажает истину

Лесть заслуживает презрения

Безнравственное заслуживает презрения А есть В

Ложь безнравственна С есть А

Ложь заслуживает презрения С есть В

Искажение истины – это ложь D есть С

Лесть – искажение истины F есть D

Лесть – это ложь F есть С

Лесть заслуживает презрения F есть В

Индуктивное умозаключение – от частного к общему

Виды: полная (когда изучается каждый элемент множества)

Неполная (когда нет возможности изучить каждый элемент множества. Дает только предположительные выводы).

Неполная индукция бывает:

Популярной (через простое перечисление) – часто дает неверные результаты, так как опирается как на существенные, так и на несущественные признаки.

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

Методы научной индукции:

Метод сходств

ABC --------------------a

AFG--------------------a

A-------a

Метод различий

ABCD -----------------------a

BCD-------------------------не-а

А-------а