Реферат: Умозаключение

Имеется два логически правильных и два логически неправильных модуса условно-категорических силлогизмов.

Первым логически правильным модусом является модус поненс (лат. modus ponens - «модус утверждающий»), указывающий на возможность перехода от утверждения основания к утверждению следствия того или иного импликативного высказывания. В традиционной аристотелевской логике модус поненс (МР) обычно записывается так:

Если А, то Б

А (6)

____________________

Б.

где А, Б - произвольные высказывания, являющиеся соответственно основанием и следствием импликативного высказывания вида Если А, то Б.

Условно-категорическим силлогизмом, соответствующим модусу поненсу, является, например, силлогизм С10:

1.Если, перемещаясь из Европы на запад, можно вернуться в нее с востока, то Земля круглая

2. Перемещаясь из Европы на запад, можно вернуться в нее с востока

___________________________________________________________ С10

3. Земля круглая

В настоящее время данный силлогизм представляет чисто иллюстративный интерес. Однако во времена, например, Колумба этот силлогизм имел определенное научное значение, так как указывал на возможность доказательства сферообразности Земли путем эмпирической проверки посылки (2).

Вторым логически правильным модусом условно-категорических силлогизмов является модус толленс (лат. modus tollens - модус отрицающий), указывающий на возможность перехода от отрицания следствия к отрицанию основания:

Если А, то Б

Не Б 7.

Не А

Модусу толленсу (МТ) соответствует, например, силлогизм С11:

Если болезнь Х неизлечима, то заболевший этой болезнью Петр никогда не выздоровеет

(2) Петр выздоровел

___________________________________________________

(3) Болезнь Х излечима

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

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

(1) Если Бог существует, то всякое зло наказуемо С12

Не всякое зло наказуемо

_______________________________

(3) Бог не существует

на первый взгляд представляется вполне очевидной истинность как посылки (2), так и посылки (1). А поскольку С12-логически правильный силлогизм, представляется несомненной и истинность заключения (3). На самом же деле с помощью силлогизма С12 нельзя доказать истинность высказывания «Бог не существует», поскольку проблематична истинность импликативной посылки (1). Между понятием Бога (в его универсальном логико-теологическом понимании) и понятием наказуемости зла (в его традиционном социально-бытовом понимании) нет прямой импликативной связи, и, следовательно, посылка (1) ложна. В конечной счете логически доказать или опровергнуть высказывание «Бог не существует» можно лишь при условии точного определения терминов «импликативная связь», «Бог», «зло», «наказуемость», что выходит далеко за пределы как силлогизма С12, так и традиционной силлогистики в целом.