Полисиллогизм полисиллогизм

Организмы разрушаются. Растения - организмы.

Растения разрушаются. Деревья - растения.

Деревья разрушаются. Пальмы - деревья.

Пальмы разрушаются.

Пальмы - деревья.

Деревья - растения.

Пальмы - растения.

Растения - организмы.

Пальмы - организмы.

Организмы разрушаются.

Пальмы разрушаются.

Сорит - сложносокращенный силлогизм, представляю­щий собой полисиллогизм с пропущенными промежуточны­ми выводами. Греческое слово «sorit» означает «куча». Отсю­да и название сорита, который как бы представляет собой кучу посылок, из которых следует соответствующее заключение.

Существуют два вида соритов: прогрессивный и регрессив­ный.

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

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

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

Эпихейрема - такой полисиллогизм, в котором каждая посылка является энтимемой. Например:

Ложь вызывает недоверие, поскольку она не соответствует исти­не.

Лесть есть ложь, поскольку она не соответствует истине.

Следовательно, лесть вызывает недоверие.

Для анализа корректности эпихейремы ее нужно развер­нуть в полный полисиллогизм и анализировать по правилам полисиллогизма.

Чисто условным умозаключением называется такое опосред­ствованное умозаключение, в котором обе посылки являются условными суждениями. Условным называется суждение, име­ющее структуру: «Если а, то b». Структура его такая:

Если а, то b

Если b, то с

Если а, то с

В чисто условном умозаключении, существуют его разновид­ности (модусы). К ним относится, например, такой:

Если а, то b

Если не-а, то b

b

Примером такого умозаключения является следующее рас­суждение:

Если будет хорошая погода, проведем семинар по логике. Если не будет хорошей погоды, проведем семинар по логике.

Проведем семинар по логике.

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

Оно имеет два. правильных модуса, дающих заключение, с не­обходимостью следующее из посылок.

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

Структура его:

Если а, то Ь.

a

b

Если этот металл натрий, то он легче воды.

Данный металл — натрий.

Данный металл легче воды.

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

Структура:

Если а, то b

Не-Ь

Не-а

Можно строить достоверные умозаключения от отрицания следствия к отрицанию основания.

Приведем пример.

Если река выходит из берегов, то вода заливает

прилегающие территории.

Вода реки не залила прилегающие территории.

Река не вышла из берегов.

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

Первый модус, не дающий достоверное заключение.

Структура:

Если а, то b

b

Вероятно, а

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

Если бухта замерзла, то суда не могут входить в бухту.

Суда не могут входить в бухту.

Вероятно, бухта замерзла.

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

Второй модус, не дающий достоверное заключение.

Структура:

Если а, то Ь

Не-а

Вероятно, не-b

Нельзя получить достоверное заключение, идя от отрицания основания к отрицанию следствия. Например

Если человек имеет повышенную температуру, то он болен. Этот человек не имеет повышенной температуры.

Вероятно, этот человек не болен.

Но заключение здесь только вероятное, а не достоверное, ибо тело могло нагреться по какой-либо другой причине (от солнца, в печи и т. д.).

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

В чисто разделительном умозаключении обе (или все) посыл­ки являются разделительными суждениями.

В традиционной логике принята следующая его структура:

S есть А, или В, или С.

А есть или A1, или A2

S есть или A_h или А₂, или В, или С.

В первом разделительном суждении каждое из трех простых суждений: S есть A, S есть В, S есть С — называется _альтернативой. Из суждения «S есть А » образуются еще две альтер­нативы, которые составляют два члена новой дизъюнкции.

Например:

Всякая философская система есть или идеализм, или материализм. Идеалистическая система является или объективным, или субъективным идеализмом.

Всякая философская система есть или объективный идеализм, или субъектив­ный идеализм, или материализм.

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

I модус — утверждающе-отрицающий (modus ponendo tollens).