Заключающие модусы пкс

Фигуры Модусы	1.	2.	3.	4.
1.	Barbara	Cesare	Darapti	Bramantip
2.	Celarent	Camestres	Disamis	Camenes
3.	Darii	Festino	Datisi	Dimaris
4.	Ferioque	Baroco	Felapton	Fesapo
5.			Bocardo	Fresison
6.			Ferison

Дедуктивные умозаключения, образованные на основе ПКС

Энтимема. Силлогизм, образованный на основе ПКС, у которого опущена одна из посылок или заключение. Из модусов четвертой фигуры ПКС энтимемы не образуют. В случае если посылки энтимемы сливаются в одно выражение, образуется энтимематическое изречение. Пример – смертный, не питай бессмертной ненависти.

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

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

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

В прогрессивном и регрессивном полисиллогизмах субъект и предикат вывода – соответственно, субъект меньшей посылки и предикат большей посылки последнего силлогизма.

Сорит. Сорит представляет собой сокращенную форму прогрессивных и регрессивных полисиллогизмов.

Прогрессивный (гоклениевский) сорит образуется исключением из прогрессивного полисиллогизма выводов предшествующих и больших посылок последующих силллогизмов. Субъект заключения гоклениевского сорита – это субъект последней меньшей посылки, а предикат заключения – это предикат первой большей посылки. Схема: A–B, C–A, D–C, E–D/ E–B.

Регрессивный (аристотелевский) сорит образуется из регрессивного полисиллогизма исключением выводов предшествующих силлогизмов и меньших посылок последующих силлогизмов. Субъект заключения – это субъект 1-й посылки, а предикат заключения – это предикат большей посылки последнего силлогизма. Схема: A–B, B–D, D–E/ A–E.

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

Дедуктивные умозаключения из сложных суждений.

Чисто условный силлогизм (ЧУС). ЧУС – это умозаключение, посылки и вывод в котором условные суждения. ЧУС имеет два модуса.

Схема первого модуса:

Схема второго модуса:

Условно категорический силлогизм (УКС). УКС – это силлогизм, посылки которого условное и категорическое суждения, а заключение категорическое суждение. УКС имеет четыре модуса из них два правильных или заключающих.

Схемы заключающих модусов:

modus ponens (утверждающий модус) ;

modus tollens (отрицающий модус) .

Схемы незаключающих модусов: , .

Категорические разделительные умозаключения (КРУ). КРУ - это силлогизмы, посылки которых суждения строгой или нестрогой дизъюнкции и категорическое суждение, а заключение категорическое суждение. КРУ имеет два правильных модуса modus ponendo tollens (утверждающе отрицающий модус) modus tollendo ponens (отрицающе утверждающий модус).

Схемы КРУ:

, – modus ponendo tollens;

, – modus tollendo ponens.

Лемматические умозаключения. Лемматическими умозаключениями или леммами называют силлогизмы, включающие условные, разделительные и категорические посылки. Число условных посылок определяет будет ли это дилемма, трилемма, тетралемма, полилемма.

Дилеммы. Чаще всего мы встречаемся с дилеммами четырех видов: простая конструктивная дилемма (1), сложная конструктивная дилемма (2), простая деструктивная дилемма (3), сложная деструктивная дилемма (4).

Схемы дилемм: простая конструктивная дилемма,

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

–простая деструктивная дилемма,

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

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

Правило введения конъюнкции .

Правило удаления конъюнкции .

Правило введения дизъюнкции .

Правило удаления дизъюнкции .

Правило введения материальной импликации – последняя посылка.

Правило удаления материальной импликации .

Правило введения отрицания .

Правило исключения отрицания .

К числу важных тождественно-истинных формул (т.е. тех, которые при любых значениях переменных принимают значение истина) относятся следующие:

1. a  a.

2. (ab) (b  a).

3. (a  b) a.

4. a  (b  (a  b)).

5. ((a  b)  (b  c))  (a  c).

6. (a  b)  (b  a).

7. (a  b)  (a  b).

8. a  (a  b).

9. ((a  b)  a) b.

10. ((a  b)  a) b.

ИНДУКТИВНЫЕ УМОЗАКЛЮЧЕНИЯ

Индуктивные умозаключения, полученные методами установления причинных связей Дж.Ст.Милля.

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

При условиях А В С D возникает событие а

При условиях Е G A R возникает событие а

При условиях F K A T возникает событие а

Вероятно, фактор А есть причина события a

Метод различия:

При условиях А В С D возникает событие а

При условиях В С D не возникает событие а

Вероятно, фактор А есть причина события a

Объединенный метод сходства и различия:

При условиях ABC возникает событие а

При условиях MFA возникает событие а

При условиях MBA возникает событие а

При условиях BC не возникает событие а

При условиях MF не возникает событие а

При условиях MB не возникает событие а

Вероятно, фактор А есть причина события a

Метод сопутствующих изменений:

При условиях А’ В С D возникает событие а’

При условиях А’’ В С D возникает событие а’’

При условиях А’’’ В С D возникает событие а’’’

Вероятно, фактор А есть причина события a

Метод остатков:

При условиях А В С возникают события аbc

В вызывает событие b

C вызывает событие c

Вероятно, фактор А есть причина события a