Доказательство как особый логический способ обоснования истины имеет свое строение. Всякое доказательство включает тезис, аргументы, демонстрацию. Каждый из этих элементов в логической структуре доказательства выполняет свои особые функции, поэтому ни один из них нельзя игнорировать при построении логически правильного доказательства.
Дадим логическую характеристику каждому из указанных элементов.
Тезисом доказательства называется то положение, истинность или ложность которого требуется доказать. Если нет тезиса, то и доказывать нечего. Поэтому все доказательное рассуждение целиком подчинено тезису и служит для его подтверждения (или опровержения). Известный русский логик С.И.Поварнин сравнивал роль тезиса в доказательстве со значением фигуры «короля» в шахматной игре. Этой фигуре подчинен весь процесс игры, с ее «интересами» сообразуется каждое движение других шахматных фигур. Аналогично и в доказательстве; главная цель всех рассуждений — тезис, его подтверждение или опровержение.
Тезис может быть сформулирован как в начале доказательства, так и в любой другой его момент. Тезис часто высказывается в форме категорического суждения, например: «Положение, которое я доказываю, состоит в следующем», «Вот мой тезис», «Передо мной стоит задача доказать», «Вот мое положение», «Я глубоко убежден, что...» и т.п. Нередко тезис формулируют и в форме вопроса.
Доказательства бывают простые и сложные. Главное их различие состоит в том, что в сложном доказательстве имеется основной тезис и частные тезисы.
Основной тезис — это положение, которому подчинено обоснование ряда других положений. Частный тезис — это такое положение, которое становится тезисом лишь потому, что с его помощью доказывается основной тезис. Частный тезис, будучи доказанным, сам становится затем аргументом для обоснования основного тезиса.
Аргументами (или основаниями) доказательства называются те суждения, которые приводятся для подтверждения или опровержения тезиса. Доказать тезис — значит привести такие суждения, которые были бы достаточными для обоснования истинности или ложности выдвинутого тезиса.
В качестве аргументов при доказательстве тезиса может быть приведена любая истинная мысль, если только она связана е тезисом, обосновывает его. Основными видами аргументов являются факты, законы, аксиомы, определения, документальные свидетельства и т.п. Рассмотрим их содержание более подробно.
Факт — это явление или событие, имевшее место в действительности. Факты являются очень важным видом аргумента. Они обладают достоверностью и большой силой убедительности и поэтому широко используются в доказательствах. Поскольку факты отражают действительность, то отрицать их в то время, когда они существуют, или ссылаться на факты, которых нет, — значит не считаться с действительностью. Факты настолько авторитетны, насколько авторитетна сама действительность.
Практика показывает, что факты никогда не говорят сами за себя. Факты всегда объясняют люди. Вот почему один и тот же факт, взятый в различных связях и отношениях, может быть объяснен по-разному. Но в одном и том же отношении, в одно и то же время факт должен объясняться однозначно. Поэтому факты, прежде чем стать аргументами, должны быть правильно поняты. А для этого необходимо подходить к ним диалектически, рассматривать не изолированно, а во взаимной связи друг с другом, в единстве. Чтобы факты могли реализовать роль аргументов, нужно брать не отдельные факты, а всю совокупность относящихся к рассматриваемому вопросу фактов. Не следует произвольно ни выхватывать лишь нужные факты и забывать, не видеть других, нежелательных, ни брать у фактов лишь второстепенные стороны и не учитывать главных, существенных сторон. Всякая односторонность в отношении фактов ведет к непониманию их существа, осознанному или неосознанному их искажению.
Важным видом аргументов выступают законы науки. Ссылка на закон является веским аргументом. Авторитетность законов науки как аргументов связана с нашим пониманием того, что такое закон.
Законы науки — это истины особого порядка, которые отличаются от других знаний как своим содержанием, так и формой их открытия. Законы науки являются отражением законов объективного мира и выражают внутренние, существенные, устойчивые, повторяющиеся, необходимые связи между явлениями и процессами.
Но всякий закон имеет границы своего действия. Законы действуют в определенных условиях, с изменением которых может появиться другой закон. Поэтому при обосновании какого-либо положения с помощью закона надо знать, можно ли доказываемый тезис обосновать именно данным законом.
В качестве оснований доказательства используются также аксиомы. Аксиома — это положение, не требующее доказательства. Истинность аксиом, лежащих в основе доказательства, не удостоверяется в каждом отдельном случае потому, что проверка этой истинности многократно проводилась ранее, подтверждена практикой. Аксиомы довольно широко используются в качестве оснований в юриспруденции. Роль аксиом здесь выполняют презумпции.
Презумпция — это положение, считающееся установленным и не нуждающимся в доказательстве. Она — не очевидна и принимается за истину не потому, что ее правильность представляется бесспорной и вытекает из самого положения, составляющего содержание презумпции. Презумпция — это положение, формулирующее какое-либо наиболее обычное, наиболее часто встречающееся отношение.
При доказательстве истинности или ложности какого-либо положения в качестве аргументов часто приводятся определения понятий. Если выдвинутое положение с необходимостью вытекает из приведенного в качестве аргумента определения понятия, то оно признается доказанным. Определение является результатом глубокого познания предметов, отраженных в данном понятии. Определение раскрывает содержание понятия, включает признаки, выражающие сущность предметов. Поэтому ссылка на определение может оказаться достаточной для признания истинности положения, подпадающего под данное определение. Определение в таких случаях принимается за истину, не требующую доказательства.
Однако необходимо учитывать, что не всякое определение может быть оно должно быть истинным, правильным, общепринятым, утвердившимся в науке. Определение, которое оспаривается, требует своего уточнения, не может быть аргументом.
Демонстрацией (или формой доказательства) называется способ логической связи тезиса с аргументами. Тезис и аргументы доказательства являются по своей логической форме суждениями. Выраженные в грамматических предложениях, они воспринимаются нами непосредственно: тезис и аргументы можно увидеть, если они написаны; услышать, если, они произнесены.
Однако тезис и аргументы сами по себе, вне логической связи друг с другом еще не составляют доказательства. Аргументы начинают приобретать определенное значение лишь тогда, когда мы выводим из них тезис. Процесс выведения тезиса из аргументов и есть демонстрация. Она всегда выражается в форме умозаключения. Это может быть отдельное умозаключение, но чаще — цепочка умозаключений. Обоснование тезиса может принимать форму дедукции, индукции или аналогии, которые применяются самостоятельно или в различных сочетаниях. При этом особенность умозаключений, в форме которых протекает демонстрация, состоит в том что нуждающееся в обосновании суждение, выступающее тезисом доказательства, является заключением вывода и формулируется заранее, а суждения об аргументах, которые служат посылками вывода, остаются неизвестными и подлежат восстановлению. Таким образом, в процессе доказательства по известному заключению (тезису) восстанавливаются посылки вывода (аргументы).