Умозаключение
Информация - Философия
Другие материалы по предмету Философия
?тся дополнительные доводы и силлогизмы.
Из энтимем строятся более сложные силлогизмы - эпихейремы, а из полисиллогизмов строятся сориты.
Эпихейрема есть силлогизм, каждая из посылок которого является энтимемой; сорит - сокращенный полисиллогизм, в котором опущены, но подразумеваются некоторые посылки или промежуточные заключения.
Импликативный силлогизм есть силлогизм, в котором одна или обе посылки являются импликативными высказываниями. Широко используемая разновидность импликативных силлогизмов - условно-категорические силлогизмы, в которых одна из посылок является импликативным высказыванием, а другая посылка есть обычное категорическое (утвердительное) высказывание. При этом в утвердительной посылке или в заключении в явном виде используется операция логического отрицания.
Так же как и простые категорические силлогизмы, условно-категорические играют важную роль в логике, поэтому для скромного учащегося целесообразно детально показать строгому экзаменатору их основные разновидности.
Модусы условно-категорических силлогизмов .
Имеется два логически правильных и два логически неправильных модуса условно-категорических силлогизмов.
Первым логически правильным модусом является модус поненс (лат. modus ponens - модус утверждающий), указывающий на возможность перехода от утверждения основания к утверждению следствия того или иного импликативного высказывания. В традиционной аристотелевской логике модус поненс (МР) обычно записывается так:
Если А, то Б
А (6)
____________________
Б.
где А, Б - произвольные высказывания, являющиеся соответственно основанием и следствием импликативного высказывания вида Если А, то Б.
Условно-категорическим силлогизмом, соответствующим модусу поненсу, является, например, силлогизм С10:
1.Если, перемещаясь из Европы на запад, можно вернуться в нее с востока, то Земля круглая
2. Перемещаясь из Европы на запад, можно вернуться в нее с востока
___________________________________________________________ С10
3. Земля круглая
В настоящее время данный силлогизм представляет чисто иллюстративный интерес. Однако во времена, например, Колумба этот силлогизм имел определенное научное значение, так как указывал на возможность доказательства сферообразности Земли путем эмпирической проверки посылки (2).
Вторым логически правильным модусом условно-категорических силлогизмов является модус толленс (лат. modus tollens - модус отрицающий), указывающий на возможность перехода от отрицания следствия к отрицанию основания:
Если А, то Б
Не Б 7.
Не А
Модусу толленсу (МТ) соответствует, например, силлогизм С11:
Если болезнь Х неизлечима, то заболевший этой болезнью Петр никогда не выздоровеет
(2) Петр выздоровел
___________________________________________________
(3) Болезнь Х излечима
Силлогизмы, соответствующие модусу толленсу, широко используются в прикладных научных исследованиях iелью опровержения различных гипотез путем опровержений следствий, вытекающих из этих гипотез .
При использовании силлогизмов, соответствующих модусу поненсу и модусу толленсу, важно помнить, что такие силлогизмы гарантируют истинность заключения лишь при условии истинности посылок. При этом нужно особенно тщательно проверять истинность импликативной посылки силлогизма, поскольку многие ложные импликативные посылки интуитивно представляются истинными высказываниями. Например, в силлогизме С 12
(1) Если Бог существует, то всякое зло наказуемо С12
Не всякое зло наказуемо
_______________________________
(3) Бог не существует
на первый взгляд представляется вполне очевидной истинность как посылки (2), так и посылки (1). А поскольку С12-логически правильный силлогизм, представляется несомненной и истинность заключения (3). На самом же деле с помощью силлогизма С12 нельзя доказать истинность высказывания Бог не существует, поскольку проблематична истинность импликативной посылки (1). Между понятием Бога (в его универсальном логико-теологическом понимании) и понятием наказуемости зла (в его традиционном социально-бытовом понимании) нет прямой импликативной связи, и, следовательно, посылка (1) ложна. В конечной iете логически доказать или опровергнуть высказывание Бог не существует можно лишь при условии точного определения терминов импликативная связь, Бог, зло, наказуемость, что выходит далеко за пределы как силлогизма С12, так и традиционной силлогистики в целом.
Кроме двух логически правильных модусов условно-категорических силлогизмов ,а именно - модуса поненса и модуса-толленса, имеются два логически неправильных модуса, а именно модус
Если А, то Б
Не А
____________ 8.
Не Б
Модус 8. формализует переход от отрицания основания к отрицанию следствия, а другой модус - переход от утверждения следствия к утверждению основания того или иного импликативного высказывания. Модус 8. не гарантируют истинность заключения при условии истинности посылок. Так, силлогизм
(1) Если Петр не сдаст экзамен по логике, то он запьет
Петр сдал экзамен по логике С13
__________________________
(3) Петр не запьет
соответствует, как легко видеть, модусу 8. Даже при условии истинности посылок (1), (2) нет никакой логической гарантии в том, что заключение (3) истинно. В самом деле, Петр может запить не только в том случае, если он не сдаст экзамен по логике, но и по какой-либо другой причине, независимо от результатов сдачи экзамена по логике. Таким образом, вполне может имет