Среди сложносокращенных силлогизмов выделяют эпихейремы и сориты. Начать следует с соритов, так как их понятие используется при рассмотрении второго вида. Так же как и сложные силлогизмы, сориты бывают прогрессивными и регрессивными. Прогрессивные сориты получаются из прогрессивных сложных силлогизмов, регрессивные — из регрессивных. Как было сказано выше, одну из посылок сложного силлогизма составляет заключение предыдущего. При сокращении сложного силлогизма в форму сорита эта посылка пропускается. Может быть пропущена также сложная посылка последующего суждения в полисиллогизме.
Прогрессивный сорит содержит предикат заключения и его субъект. Первым он начинается, а вторым заканчивается. В отличие от прогрессивного регрессивный сорит начинается не с предиката заключения, а с его субъекта. Предикатом же он заканчивается.
Все А есть В. Все С есть А. Все D есть С. Все D есть В.
Все А есть В. Все В есть С. Все С есть D. Все А есть D.
Тема 8. Логические основы аргументации: доказательство и опровержение
Аргументация и доказательство
Мы познаем мир посредством органов чувств, и такое познание чаще всего не нуждается в доказательстве, так как вполне очевидно. Например, не требует доказательства то, что огонь — горячий. Достаточно протянуть к нему руку.
Однако не все явления, предметы окружающего мира понятны настолько, что доказывать их нет необходимости. В научной деятельности и даже в повседневной жизни очень часто приходится сталкиваться с необходимостью доказывать, отстаивать свою точку зрения. Доказательность — важное качество правильного мышления.
Теории, доказательства и опровержения являются средствами в руках человека для создания новых обоснованных знаний. Доказательство необходимо в научном мире, оно определяет истинность того или иного явления, суждения, умозаключения. Без доказательства любая гипотеза навсегда останется гипотезой и не приобретет значение теории. Это хорошо, ведь цель доказательства — получение истинных знаний. Любое новое явление, догадку необходимо доказывать, будь то тайны, связанные с космическим пространством или глубинами океана, математические изыскания и т. д.
С этих позиций можно определить доказательство как совокупность логических приемов обоснования истинности какого-либо суждения с помощью других истинных и связанных с ним суждений.
В обыденном смысле доказательство часто отождествляют с убеждением, что недопустимо. Эти два понятия могут совпадать в части, но слишком во многом различны. Так, доказательство основано исключительно на научно обоснованных фактах, изысканиях, теориях и т. д. Убеждение же зачастую не зависит от того, доказано научным путем утверждаемое или нет. Убеждение возможно в отношении теорий вероятностных или вообще ложных.
Структуру доказательства составляют тезис, аргументы и демонстрация. Тезис — это положение, требующее доказательства. Аргументы — это истинные суждения, используемые в процессе доказательства. Демонстрация — это способ логической связи между тезисом и аргументами.
Существуют правила доказательного рассуждения. Нарушение этих правил ведет к ошибкам, относящимся к доказываемому тезису, аргументам или к самой форме доказательства.
Доказательство бывает прямым и непрямым. Прямое доказательство идет от рассмотрения аргументов к доказательству тезиса, т. е. истинность доказательства непосредственно обосновывается аргументами.
Можно сказать, что при прямом доказательстве из аргументов (a, b, c…) обязательно следуют истинные суждения (k, m, l…), а из последних следует доказываемый тезис q. По этому типу проводятся доказательства в судебной практике, в науке, в полемике. Широко используется прямое доказательство в статистических отчетах, в различного рода документах, в постановлениях.
При непрямом доказательстве истинность выдвинутого суждения обосновывается путем доказательства ложности исключающего его суждения. Применение такого доказательства обосновано, когда нет аргументов для прямого доказательства.
В зависимости от формы антитезиса можно выделить два вида непрямого доказательства — от противного и разделительное. Доказательство от противного (апагогическое) осуществляется путем установления ложности противоречащего тезису суждения. Этот метод часто используется в математике. Разделительное доказательство производится на основе отрицания антитезиса. При условии перечисления всех антитезисов и их последовательном отрицании (и отбрасывании) можно говорить об установлении истинности утверждаемого суждения.
