В-31 Полисиллогизм.Сорит

Сорит - это умозаключение из нескольких посылок, в котором каждая последующая посылка является заключением для двух предыдущих. В классической силлогистике для сорита выводится лишь одно заключение. Посылки в сорите являются общеутвердительными или общеотрицательными суждениями. На самом деле реально посылки могут быть как общего, так и частного характера. Полисиллогизм - это умозаключение с произвольным соотношением посылок и терминов. Таким образом сорит - частный и наиболее примитивный вид полисиллогизма. Заключений в сорите, как и в полисиллогизме, может быть огромное количество. Для двухаргументных(двуместных) заключений оно определяется как число сочетаний из числа посылок по 2, т.е. Сорит – это полисиллогизм в сокращенной форме. Прогрессивный (гоклениевский) сорит получается из

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

посылок последующих. Регрессивный (аристотелевский) сорит получается из регрессивного полисиллогизма

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

K = С(n,2) = n(n-1)/2,

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

В – 32 разделительно-категорический силлогизм

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

Простые суждения, из которых состоит разделительное (ди­зъюнктивное) суждение, называются членами дизъюнкции, или ди­зъюнктами.

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

Заключение по этому модусу всегда достоверно, если соблюдает­ся правило: большая посылка должна быть исключающе-раздели-тельным суждением, или суждением строгой дизъюнкции. Если это правило не соблюдается, достоверного заключения получить нельзя.

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

Заключение по этому модусу всегда достоверно, если соблюдает­ся правило: в большей посылке должны быть перечислены все воз­можные суждения -— дизъюнкты, иначе говоря, большая посылка должна быть полным (закрытым) дизъюнктивным высказывани­ем. Применяя неполное (открытое) дизъюнктивное высказывание, достоверного заключения получить нельзя.

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

Заключение будет истинным, если в условной посылке учтены все возможные случаи.

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