Поскольку всякое доказательство есть вывод истинности доказываемой мысли из других суждений, признанных за истинные, то очень важно решить следующие две задачи: 1. Какой должна быть по содержанию истинная мысль, которую нужно взять в качестве посылки доказательства истинности тезиса, логика, конечно, указать не может. В каждом конкретном случае это определяется специальными науками. В самом деле, как бы хорошо ни знал логику, например, физик, но для того, чтобы доказать истинность тезиса о том, что волновая функция есть статистическая характеристика квантового ансамбля, а не единичной элементарной частицы, надо знать другие истинные мысли из области квантовой механики. Но вот какую взять мысль по форме — общие, частные или единичные суждения, какие использовать формы связи и отношения между известными истинными мыслями, взятыми в качестве посылок доказательства, и доказываемым тезисом, — это дело логики. Из этого вытекает первая задача: точно определить и правильно классифицировать формы отношений между мыслью доказываемой и мыслями, с помощью которых обосновывается истинность доказываемой мысли. 2. Мысли доказывающие, или, как их называют, аргументы, сами нуждаются в доказательстве и, следовательно, должны выводиться из других истинных доказанных мыслей; эти последние также в свою очередь, если имеется какое-либо сомнение в их истинности, должны обосновываться истинными мыслями и т.д. Но такой процесс обоснования аргументов не может продолжаться бесконечно, иначе невозможно было бы доказательство ни одного тезиса. Отсюда следует, что самая возможность доказывать истину неизбежно предполагает существование таких истин, которые в данном доказательстве не нуждаются в особом обосновании их истинности. Из этого вытекает вторая задача: установить, какого рода мысли являются уже не нуждающимися в доказательстве. Доказывать тезисы приходится в разных коммуникативных ситуациях. При этом содержание мыслей, истинность которых требуется обосновать, в каждом случае различное. Логика же находит нечто общее, что характерно для всех доказательств, независимо от того или иного содержания доказательства. На основании знания того общего, что лежит в основе связи и сочетания мыслей в процессе доказательства, имеется возможность вывести некоторые правила, которые имеют силу во всех случаях доказательства. Общим для всех доказательств являются структура и способы доказательства, общие требования к доказываемой мысли, а также к мыслям, с помощью которых обосновывается доказываемое положение. Структура и способы доказательств отличаются устойчивостью, так как они являются результатом длительной абстрагирующей работы человеческого мышления, продуктом ряда эпох, многих поколений людей. — 83 —
|