ЛОГИКА: читать книгу онлайн полностью и бесплатно

§ 6. Все доказательства могут быть разделены на две большие группы — в зависимости от того, исследуется ли в них истинность содержания и правильность логической связи между основаниями и тезисом или же исследуется происхождение суждений, входящих в доказательство, источник, из которого эти суждения почерпнуты, условия, при которых они дошли до нас или переданы нам, и т. д.

Те доказательства, в которых исследуется содержание оснований, а также логическая связь между основаниями и тезисом, называются доказательствами по существу. В этих доказательствах для удостоверения в истинности (или ложности) тезиса не требуется ничего, кроме рассмотрения оснований по существу их содержания и кроме рассмотрения логической связи между основаниями и тезисом. В доказательствах по существу для характеристики тезиса в качестве истинного или ложного достаточно удостовериться в том, имеется ли необходимая логическая связь между содержанием истинных суждений, которые играют роль оснований, и содержанием тезиса.

Те доказательства, в которых исследуется происхождение суждений, входящих в доказательство, а также условия, при которых эти суждения дошли до нас, называются доказательствами по источнику происхождения суждений, или генетическими (от греческого слова «генезис», означающего происхождение).

§ 7. Если бы каждое суждение, которое мы усваиваем в качестве истинного, принималось нами только на основе доказательства по существу, то объём и разнообразие наших знаний были бы гораздо меньшими, чем каковы они в действительности.

Существует ряд знаний, в которых убеждение в их истинности возникает в результате нашей уверенности в том, что источники, из которых почерпнуты эти знания, не могут ввести нас в заблуждение. Таковы в подавляющем большинстве случаев все усваиваемые нами в школе знания, относящиеся к области геологии, географии, астрономии и т. д. Не только ученик, но и учитель, опирающийся на учебник, по которому идёт преподавание предмета, не могут доказать каждое своё утверждение по существу, т. е. путём рассмотрения одного лишь содержания суждений и логической связи между этими содержаниями.

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

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

Имеется ряд наук и отраслей знания, в которых, по самому характеру этих наук и этих отраслей знания, многие доказательства всегда вынуждены остаться всего лишь генетическими, т. е. доказательствами по источнику происхождения суждений. Во всех исторических науках для доказательства огромного множества установленных в них истин нет других путей, кроме удостоверения в том, что источники, из которых мы почерпнули эти истины, заслуживают доверия, не могут нас обманывать или вводить в заблуждение. Никто из нас не был свидетелем, например, Бородинской битвы, но мы знаем с совершенной достоверностью, что битва эта произошла 26 августа 1812 г., что русской армией командовал Кутузов, а французской — Наполеон, что русские войска отразили все атаки французов и нанесли армии вторжения смертельный для неё удар и т. д. и т. д. Все эти и бесчисленное множество подобных истин оправдываются путём доказательства по источнику происхождения наших суждений — посредством изучения, сопоставления, критической проверки и сравнительной оценки дошедших до нас официальных документов, сообщений, докладов, приказов, донесений, дипломатической переписки, дневников и записей очевидцев, воспоминаний участников этих событий, публицистической литературы и т. д.

Поэтому генетические доказательства составляют особую группу доказательств, не сводимую нацело к доказательствам по существу. Больше того: генетические доказательства по своему значению для знания не только не уступают доказательствам по существу, но часто превосходят их. Что может быть важнее для нашего знания и для формирования нашего мировоззрения, чем те истины, которые мы усваиваем, изучая, например, вопросы истории общества? Но истины исторических наук оправдываются только путём анализа и исследования источников, из которых они могут быть почерпнуты, т. е. посредством доказательств генетических.

Доказательства по существу

§ 8. Доказательства по существу представляют, как мы уже знаем, исследование содержания оснований и логической связи между основаниями и тезисом. В этих доказательствах решается вопрос: имеется ли необходимая логическая связь между содержанием данных оснований и содержанием тезиса, который из них выводится.

Доказательства по существу делятся на четыре главные группы: 1) доказательства, в которых все случаи доказываемого тезиса исчерпываются при помощи полной индукции; 2) разделительные доказательства, в которых последовательно исключаются все предположения, кроме одного, а именно кроме доказываемого тезиса; 3) опровергающие доказательства, или опровержения, в которых от истинности известного суждения заключают в ложности другого суждения, несовместимого с первым; 4) обусловливающие доказательства, в которых от наличия всех необходимых условий истинности (или ложности) суждения заключают к его действительной истинности (или ложности).

§ 9. Доказательства, исчерпывающие все возможные случаи доказываемого тезиса. В этих доказательствах рассматривается прежде всего доказываемый тезис. Рассмотрение это имеет целью полностью исчерпать все возможные случаи доказываемого тезиса. Далее доказывается, что тезис истинен для каждого из этих случаев в отдельности. Отсюда, по методу полной индукции, делается заключение, что тезис истинен вообще, т. е. безотносительно к тому или иному частному случаю.

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

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

Если, например, установлено, что некоторое преступление могли совершить только лица А, В, С и D, и если, кроме того, установлено, что ни В, ни С, ни D не совершили его, то отсюда следует, что заключение, признающее виновником преступления А, истинно.

При этом, однако, как это постоянно бывает в случае оправдания доказываемого тезиса, доказываемое положение ограничивается одним тезисом, характеристика же самого тезиса в качестве истинного обычно опускается.

Особенность этой формы доказательства — в том, что истинность доказываемого тезиса удостоверяется не прямо, а косвенным образом. И действительно, оправдание доказываемого тезиса достигается в этом случае не посредством прямого исследования или обоснования этого тезиса, но лишь косвенно — путём опровержения всех возможных предположений, кроме того, которое совпадает с тезисом.

§ 11. Опровергающие доказательства. Доказательства этой формы имеют задачей не оправдание тезиса, а его опровержение. Достигается опровержение посредством сопоставления тезиса с другим суждением, стоящим к тезису в отношении логической несовместимости. Основанием для заключения о ложности тезиса является удостоверение в том, что несовместимое с тезисом суждение истинно.

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

Опровергающие доказательства имеют огромное распространение в практической жизни и в науке. Доказательство невиновности обвиняемого в непосредственном совершении приписываемого ему преступления достигается посредством опровержения предположения, будто обвиняемый мог совершить его. Установив, например, alibi обвиняемого, т. е. отсутствие обвиняемого в момент, когда было совершено преступление, в том месте, где оно было совершено, суд тем самым удостоверяет истинность положения, логически несовместимого с предположением о виновности обвиняемого в непосредственном совершении преступления. Тем самым опровергается предположение, будто обвинённый в преступлении действительно есть непосредственный исполнитель преступления.

§ 12. Обусловливающие доказательства. В этих доказательствах исследование начинается с установления всех необходимых условий истинности тезиса. Далее удостоверяется, что все условия эти имеются налицо. Отсюда заключают к истинности тезиса.

Пример обусловливающего доказательства был уже рассмотрен при объяснении отличия доказательства от простого умозаключения. Другой пример обусловливающего доказательства: требуется доказать тезис, что некоторые членистоногие не являются насекомыми. Самый тезис этот может быть выведен из следующего умозаключения: «Все пауки — членистоногие, ни один паук не есть насекомое, следовательно, некоторые членистоногие — не насекомые». Но наша задача — не в том только, чтобы усмотреть необходимую логическую связь между найденными посылками и тезисом. Наша задача — в том, чтобы доказать, что тезис «некоторые членистоногие — не насекомые» истинен.

Для удостоверения его истинности развиваем следующее обусловливающее доказательство: «Если посылки «все пауки — членистоногие» и «ни один паук — не насекомое» истинны и если умозаключение правильно, то положение «некоторые членистоногие — не насекомые» истинно». Но обе посылки действительно истинны, также правильно и умозаключение. Поэтому тезис «некоторые членистоногие — не насекомые» истинен.

§ 13. Как видно из обоих примеров, обусловливающее доказательство есть умозаключение об умозаключении. В обоих случаях сначала было найдено умозаключение, обосновывающее тезис. Затем было найдено умозаключение, доказывающее, что тезис этот истинен.

То умозаключение, посредством которого устанавливается логическая связь между основаниями и тезисом, называется основным умозаключением обусловливающего доказательства. В нашем последнем примере основным умозаключением является первое умозаключение: «Все пауки — членистоногие, ни один паук — не насекомое, следовательно, некоторые членистоногие — не насекомые».

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

Далеко не всегда обусловливающее доказательство заключает в своём составе оба эти умозаключения: основное и условное. Обычно условное умозаключение не выражается в тексте самого доказательства и лишь подразумевается. Полностью формулируется только основное умозаключение. Но так как в основном умозаключении раскрывается только необходимая логическая связь между основаниями и тезисом, истинность же тезиса удостоверяется только условным умозаключением, то это последнее есть главная составная часть обусловливающего доказательства.

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

§ 14. Так как обусловливающее доказательство состоит из двух умозаключений и так как одно из них, а именно условное, обычно лишь подразумевается, то в случае обусловливающего доказательства часто бывает трудно определить, какие суждения являются основаниями доказательства. И действительно, так как в обусловливающем доказательстве обычно полностью выражается лишь основное умозаключение, то легко возникает представление, будто его посылки и составляют основания всего доказательства. Но так как характеристика тезиса как истинного (или ложного) содержится только в условном умозаключении (независимо от того, высказано оно или только подразумевается), то, строго говоря, основаниями обусловливающего доказательства являются посылки условного умозаключения: посылка, указывающая необходимые условия истинности тезиса, и посылка, удостоверяющая, что в данном случае все условия эти имеются налицо.