Учение логики о доказательстве и опровержении | страница 48

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

Кроме ошибки подмены доказываемого тезиса и ошибок в основаниях, в доказательстве возможен ещё третий вид ошибок. Это — ошибки в демонстрации, т. е. в способе, посредством которого совершается логический переход от принятых оснований к доказываемому тезису. Сами по себе ни тезис, ни основания (хотя бы они были истинны) ещё не составляют доказательства. Доказательство имеет место только там, где истинный тезис выводится из принятых истинных оснований, другими словами, где показывается, что нельзя, признав основания истинными, не признать истинным и тезис.

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

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

Всякая ошибка в демонстрации так или иначе сводится к отсутствию действительной логической связи между основаниями и доказываемым тезисом. При этом возможны два случая.

Первый случай, или первый вид, ошибки в демонстрации состоит в том, что демонстрация, сама по себе логически правильная, не имеет, однако, никакого отношения к доказываемому тезису. Это значит, что тезис просто механически присоединяется к демонстрации, но не является её логическим результатом. В таких случаях говорят, что тезис не следует из оснований, а сама ошибка такого доказательства обозначается латинским термином поп sequitur (т. е. «не следует»).