ПРЯМОЕ И КОСВЕННОЕ ДОКАЗАТЕЛЬСТВО
Прямым доказательством в логике называется такое доказательство, в котором истинность доказываемого тезиса прямо, точнее — непосредственно следует из истинных
аргументов. Прямое доказательство является наиболее распространенным способом доказательства. Если доказательство дедуктивно, оно соответствует аподиктическому
силлогизму (Barbara AAA). Оно не требует подробного объяснения. Косвенное доказательство утверждает истинность тезиса тем, что оно доказывает ложность противоречащего тезису суждения2. Этот способ называется в логике апаго-
2 Косвенным, апагогическим доказательством занимался -впервые Аристотель: В «Критике чистого разума» Кант придерживается точки зрения, что апагогическое доказательство оправдано только в математике. Он яростно обрушивается поэтому на тех, кто намеренно использует это доказательство- для обоснования догм.
Старая метафизика пыталась доказать бытие бога, свободу воли и т. д. тем, что представляла абсурдным антитезис (небытие бога).
гическим доказательством, или доказательством абсурдности антитезиса (deductio ad absurdum или .reductio ad absurdum). Таким путем мы опосредствованно доказываем
истинность тезиса, рассматриваемого нами как правильный. Косвенное дедуктивное доказательство представляет собой применение силлогистического умозаключения типа
modus tollens. Косвенное доказательство применяется обычно в форме разделительного умозаключения. Доказывается отдельно абсурдность всех возможных суждений, противоречащих нашему суждению. Условием правильности применения такого способа является перечисление всех членов разделительного суждения (S есть или Pn или /'2, или Р., и не может быть ничем другим).
|
|
|
Косвенное доказательство часто применяется в математике и геометрии. Его подробный анализ относится к предмету теории математического доказательства. Косвенное доказательство применяется также и в политической аргументации. Если мы доказываем абсурдность суждения, противоречащего нашему тезису, то тем самым мы доказываем наш собственный тезис. Доказательная сила прямого доказательства все-таки больше, поэтому косвенное доказательство используется скорее для того, чтобы еще раз подтвердить и подкрепить истинность доказанного прямым путем тезиса. Так, например, правильность материализма принципиально доказывается прямым способом. Но, кроме
того, доказывается, что идеализм — если логично довести мысль до конца — ведет к чисто абсурдным противоречиям.
Косвенное доказательство покоится на той предпосылке, что применяются действительно такие суждения, которые исключают друг друга как противоречащие в одном и том же отношении. Если два положения противоречат друг другу и исключают друг друга, но в различном отношении, например в различные эпохи оба они истинны, то косвенное доказательство не может быть применено. Косвенное доказательство —доказательство абсурдности какого-либо тезиса — основывается часто на ложных предположениях. Платон и Аристотель пытались свести к абсурду тезис о том, что Земля движется. Ибо, по их мнению, люди в этом случае стояли бы головой вниз, при движении все бы слетало со своего места и т. д. Идеологи буржуазного общества пытались бесчисленное количество раз доказать невозможность коммунизма, показывая якобы абсурдные следствия, вытекающие из него. Косвенное доказательство следует применять с большой осторожностью, так как люди склонны рассматривать как абсурд все, что опрокидывает их привычные представления и понятия. Когда Роберт Майер открыл факт превращения движения в теплоту и сообщил свое мнение Джолли, знаменитому физику, его современнику, то последний намеревался «доказать» абсурдность положения Майера следующим образом: «Если бы вы были правы, то вода в бутылке нагревалась бы только оттого, что мы ее встряхиваем». И это известный физик считал абсурдом! Спустя несколько месяцев снова встретились оба ученых, и Роберт Майер ответил знаменитому критику-физику на великолепном швабском диалекте: «Но это ведь так!»
|
|
|
Дата добавления: 2019-02-26; просмотров: 253; Мы поможем в написании вашей работы! |
Мы поможем в написании ваших работ!