Дедуктивное умозаключение

План

1. Простой категорический силлогизм

2. Сложные категорические силлогизмы

3. Некатегорические силлогизмы

a. Условные умозаключение

b. Разделительные умозаключение

c. Условно-разделительное умозаключение

1. Простой категорический силлогизм

		Структура силлогизма

Все люди (M) смертны(P). (Большая посылка)

Сократ (S) – человек(M). (Меньшая посылка)

__________________________________

Сократ(S) смертен(P). (Заключение)

Меньший термин –

Больший термин –

Средний термин –

Большая посылка -

Меньшая посылка -

Фигуры силлогизма – это разновидности силлогизма, различающиеся положением среднего термина

Модусы силлогизма – это разновидности каждой фигуры силлогизма, различающиеся по количеству и качеству суждений, являющихся посылками

Особые правила 1-й фигуры 1. Большая посылка - общее суждение 2. Меньшая посылка утвердительное суждение

Особые правила 2-й фигуры 1. Большая посылка - общее суждение 2. Одна из посылок должна быть отрицательным суждением

		Особые правила 3-й фигуры 1. Меньшая посылка должна быть утвердительной. 2. Заключение должно быть частным суждением.
		Особые правила 4-й фигуры 1. Если большая посылка утвердительная, то меньшая посылка должна быть общей. 2. Если одна из посы­лок отрицательная, то большая посылка должна быть общей.

Правила категорического силлогизма

Правила терминов /П Т /

П Т - 1. В каждом силлогизме должно быть только три термина. При на­рушении этого правила возникает логическая ошибка «учетверение терми­нов», состоящая в том, что один из терминов употреблен в двух значениях.

П Т - 2. Средний термин должен быть распределен хотя бы в одной из посылок. Если средний термин не распределен ни в одной из посылок, то отношение между крайними терминами в заключении остается неопреде­ленным.

П Т - 3. Термин, не распределенный в посылках, не может быть распре­делен в заключении. При нарушении этого правила возникает логическая ошибка «незаконное расширение термина».

Правила посылок /П П/

П П - 1. Хотя бы одна из посылок должна быть утвердительной; из двух отрицательных посылок заключение не следует.

П П - 2. Если одна из посылок - отрицательное суждение, то и заклю­чение должно быть отрицательным.

П П - 3. Хотя бы одна из посылок должна быть общим суждением. Из двух частных посылок заключение с необходимостью не следует.

П П — 4. Если одна из посылок — частное суждение, то и заключение должно быть частным.

2. Сложные категорические силлогизмы.

3. Некатегорические силлогизмы

a. Условные умозаключение

	Чисто условным умозаключением называется такое опосредованное умозаключение, в котором обе посылки и заключение являются условными суждениями. Если а, то в Если в, то с__ Если а, то с		Условно-категорическим называется такое умозаключение, в котором одна из посылок - условное, а другая посылка и заключение - категориче­ские суждения Если а, то в ___ а ___ в

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

Отрицающе-утверждающий модус - это разновидность разделительно-категорического умозаключения, в которой путем отрицания всех членов разделительного суждения, кроме одного, производится утверждение остав­шегося члена.   а или в, или с __не-а и не-в__ с

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

Разделительно-категорическим называется умозаключение, в котором одна из посылок - разделительное, а другая посылка и заключение - категорические     ючение - кате­горические суждения.

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

		Условно-разделительным или лемматическим (от лат. lemme - «предположение») называется умозаключение, в котором одна посылка состоит из двух или более условных суждений, а другая - разделительное суждение. По количеству следствий условной посылки (альтернатив) различают дилеммы, трилеммы и полилеммы.

Тема 4 -3