Под доказательством понимается логическая операция, в процессе которой истинность какого-либо суждения обосновывается с помощью других истинных и связанных с ним суждений.
Структура любого доказательства включает в себя следующие элементы: тезис (символ. Т), аргументы (символ. А1 А2…, Аn) и демонстрацию (символ, знаком импликации —). Схема:
Т – тезис,
↑ – демонстрация,
A1, А2…. Аn – аргументы.
Тезис – это суждение, истинность которого надо доказывать. В процессе рассуждения он обычно выделяется словами «мой тезис…», «я считаю…», «я полагаю…», «речь идет о…» и т. д. Тезис отвечает на вопрос: «Что надо доказать?».
Аргументы – это истинные суждения, с помощью которых доказывается тезис. Они отвечают на вопрос: «Чем доказывается тезис?» и должны удовлетворять основным требованиям: быть истинными и связанными с тезисом.
В качестве аргумента могут выступать факты, определения, аксиомы и ранее доказанные положения и законы науки.
Факты – это знания о фрагменте объективной действительности, выявленные непосредственно восприятием или экспериментом.
Определения как аргумент доказательства рассматриваются потому, что они раскрывают содержание исходных понятий, существенные признаки этих понятий.
Для того чтобы спорить, необходимо всегда определиться в исходных понятиях, например, установление порядка любой ценой или установление порядка в рамках закона. Какой смысл вкладывают люди в понимание понятия «порядок».
Аргументом доказательства является и аксиома – положение, которое принимается без доказательства, так как истинность его очевидна.
Истинность любой аксиомы может быть доказана, поэтому ее следует рассматривать не только как исходную посылку познания, но и как определенный итог процесса познания. Именно этим можно объяснить то, что на определенном этапе развития военного дела аксиомы устаревают и прекращают свое существование.
Ранее доказанные положения и законы тоже можно рассматривать как аргументы доказательства. Применение такого рода аргументов позволяет экономить время и силы в процессе рассуждения, избавляет от необходимости отвлекаться на доказательство уже доказанного. В математике – это доказанные теоремы; в общественных науках – это проверенные на практике концепции. Особенно авторитетную группу аргументов доказательства составляют законы науки, так как любой закон связан с отражением существенной, необходимой, устойчивой, повторяющейся связи. Вне законов нет науки, вне законов нет и научного доказательства. В то же время следует учитывать специфику того или иного закона. Не следует законы одной конкретной науки распространять на область явлений, которые она не изучает, не следует искать «удобный закон» для доказательства.
Демонстрация – третий элемент структуры доказательства, основное назначение которого состоит в том, чтобы обеспечить процесс выведения истинности или ложности тезиса из аргумента. Демонстрация отвечает на вопрос: «Как связать аргументы с тезисом?».
Доказывающий по своему усмотрению избирает демонстрацию, но при этом должен соблюдать все правила умозаключения, избранного им для связи аргументов с тезисом.
Способы доказательства
Прямое
В прямом доказательстве истинность тезиса непосредственно обосновывается аргументами. Прямое доказательство всегда направлено на уяснение истинности или ложности тезиса, а не антитезиса. Например, генерал Карбышев тезис о том, что «авторитет офицера в русской армии держится на трех китах: доверии, уважении и любви», непосредственно обосновывал с помощью следующих аргументов: «Доверие завоевывается профессиональными качествами, знаниями, распорядительностью, находчивостью, осторожностью. Уважение достигается честностью и высокой добросовестностью. А любовь – заботами о подчиненных и защитой их интересов».
Однако зачастую трудно или даже невозможно найти аргументы, из которых бы непосредственно вытекал тезис. Тогда применяют косвенное доказательство . В нем истинность тезиса обосновывается с помощью опровержения истинности антитезиса. Косвенные доказательства подразделяются на апагогические и разделительные .
Апагогическое доказательство часто встречалось нам в школьном курсе математики под названием «докажем от противного» (правильнее было бы говорить от противоречащего), суть его заключается в следующем. На основе тезиса формируется противоречащее ему суждение – антитезис. Затем показывается ложность антитезиса, что в соответствии с требованием закона исключенного третьего доказывает косвенно истинность тезиса.
Например, требуется доказать тезис о том, что Российское государство с XIV в. и до начала XIX в. находилось в напряженной борьбе и войнах с врагами. Для доказательства этого тезиса формулируем антитезис: «Российское государство с XIV в. и до начала XIX в. не находилось в напряженной борьбе и войнах с врагами». Но это противоречит фактам. Рассмотрим хронологические и статистические данные. В течение 525 лет (1368–1893) Россия провела в войнах 353 г., т. е. две трети этого отрезка времени, в том числе во внешней войне 305 лет (считая войну на Кавказе – 329 лет, учитывая годы междоусобных войн – 353 г.).
Особенно сильное напряжение Россия испытывала в борьбе с Западом: в состоянии войны 180 лет из 525, почти треть существования государства. Борьба на Востоке в общей сложности составляла 156 лет, это преимущественно с монголо-татарами.
Таким образом, антитезис противоречит фактам истории, не соответствует им. На этом основании делается вывод о ложности антитезиса и соответственно об истинности тезиса.
Разделительное доказательство заключается в следующем: во-первых, определяют все возможные альтернативы, среди которых есть и интересующий нас тезис; во-вторых, доказательство истинности интересующего нас тезиса осуществляется через доказательство ложности всех остальных альтернатив.
Разделительное доказательство часто применяется в судебно-следственной практике при проверке версий относительно лиц, виновных в совершении того или иного преступления, при объяснении причин возникновения конкретных явлений, при выборе одной из конкурирующих статей в процессе квалификации правонарушений и во многих других случаях.
Опровержение
Опровержение – это логическая операция, направленная на разрушение доказательства путем установления ложности или необоснованности ранее выдвинутого тезиса.
Структура опровержения состоит из следующих элементов: тезиса опровержения – суждения, которое надо опровергнуть; аргумента опровержения – суждений, с помощью которых опровергается тезис; демонстрация – логической формы построение опровержения.
Существует три способа опровержения: а) критика тезиса; б) критика аргументов; в) критика демонстрации.
1. Критика тезиса направлена на показ ложности или сомнительности ранее выдвинутого исходного положения. Она осуществляется следующими методами: опровержением фактов, «сведением к абсурду», опровержением тезиса через доказательство антитезиса.
Опровержение фактами . Как известно, факты – это события или явления, имевшие место в действительности, поэтому отрицать их существование неразумно. Опровержение опирается на факты. С их помощью проверяется истинность всякого рассуждения. Опровержение фактами, наиболее распространенный способ опровержения тезиса, но не единственный.
«Сведение к абсурду» , или установление ложности (противоречивости) следствий, вытекающих из тезиса. Последовательность рассуждений этого способа опровержения следующая: во-первых, временно признается истинность ложного тезиса («допустим, что данное положение истинно»); во-вторых, выводятся следствия из признанного тезиса («тогда следует сделать следующие выводы»); в-третьих, обнаруживается ложность следствия («но это абсурд, так как данные выводы противоречат фактам»); в-четвертых, на этом основании ложный тезис опровергается. Опровержение состоялось.
Опровержение тезиса через доказательство антитезиса
2. Критика аргументов. Поскольку операция доказательства – это обоснование тезиса с помощью ранее установленных положений, следует пользоваться доводами, истинность которых не вызывает сомнений. Если оппоненту удается показать сомнительность или ложность аргументов, то существенно ослабляется позиция пропонента, ибо такая критика показывает необоснованность его тезиса.
Критика аргументов может выражаться в том, что оппонент указывает на неточное изложение фактов, двусмысленность процедуры обобщения статистических данных, выражает сомнения в авторитетности эксперта, на заключение которого ссылается пропонент и т. д.
С такого рода критическими замечаниями пропонент не может не считаться. Он должен либо подтверждать свои аргументы, либо отказаться от них.
Обоснованные сомнения в правильности доводов с необходимостью переносятся и на тезис, который вытекает из аргументов и тоже расценивается как сомнительный. В случае установления ложности аргументов тезис безоговорочно считается необоснованным и нуждается в новом, самостоятельном подтверждении.
3. Критика демонстрации как способ опровержения показывает ошибки в форме доказательства, отмечает отсутствие необходимой логической связи между доказываемым тезисом и аргументами. Так как опровержение всегда протекает в форме умозаключения – дедукции, индукции, аналогии, с помощью которых обосновывается тезис, то необходимо проверять, не нарушены ли их правила.
Следует иметь в виде, что для создания видимости логической связи между аргументами и тезисом искушенные полемисты с целью воздействия на слушателей в публичной дискуссии могут прибегать к языковым уловкам вроде следующих: «Со всей определенностью можно сказать, что из приведенных фактов вытекает…», «Всем ясно, что в данной ситуации можно сделать лишь один вывод…», «Факты убедительно подтверждают идею о том, что…», «таким образом…», «итак…», «не вызывает сомнения то, что…» и т. п.
Правила и ошибки в доказательстве
Правила, относящиеся к тезису
1. Тезис должен быть логически определенным, ясным и точным. Это основное условие всякого спора. Необходимо точно определиться, о чем идет речь, чтобы не допускать путаницы, расплывчатости, неопределенности формулировок. Если тезисом является сложное суждение, то необходимо выделить узловые моменты, вокруг которых ведется дискуссия, и затем перейти к их поэтапному обсуждению.
2. Тезис должен оставаться тождественным, т. е. Одним и тем же на протяжении всего доказательства или опровержения. Данное правило запрещает негласное изменение тезиса, переход к новому тезису, к новому понятию, новому содержанию. Необходимо строго фиксировать, обращать внимание собеседника на это, так как если в ходе спора тезис изменился, уточнился, то предметом спора должен стать уже новый, а не старый тезис. Нарушение этого правила ведет к логическим ошибкам, совершаемым относительно доказываемого тезиса.
Первая ошибка — «подмена тезиса» – заключается в том, что начинают доказывать один тезис, а через некоторое время незаметно переходят к доказательству совсем другого тезиса. Логическая ошибка «подмена тезиса» может быть вызвана различными причинами: непониманием сути рассматриваемого вопроса, волнением человека, когда он не замечает, что отклоняется от первоначального тезиса: сознательным нежеланием сохранить один и тот же тезис во время доказательства.
Вторая ошибка – «переход в другой род» – имеет две разновидности:
а) «кто слишком много доказывает, тот ничего не доказывает»;
б) «кто слишком мало доказывает, тот ничего не доказывает».
В первом случае ошибка возникает тогда, когда вместо одного истинного тезиса пытаются доказать другой, более сильный тезис, и при этом второй тезис может оказаться ложным. Например, если вместо тезиса «передовая российская молодежь нравственна» начну доказывать тезис о том, что «вся российская молодежь высоконравственна», то ничего не смогут доказать, так как среди молодежи встречаются хулиганы, наркоманы и т. д.
Ошибка «кто слишком мало доказывает, тот ничего не доказывает» возникает тогда, когда тезис сужается или смягчается, если он «слишком общий» или «излишне резкий». Например, если, пытаясь доказать, что золото – металл, мы доказываем, что оно электропроводно, то ничего этим не докажем, так как вода тоже электропроводна.
Правила, относящиеся к аргументам
1. Аргументы, приводимые в подтверждение тезиса, должны быть истинными и не противоречить друг другу.
2. Аргументы должны быть достаточным основанием для подтверждения тезиса.
3. Аргументы должны быть суждениями, истинность которых показана самостоятельно, независимо от тезиса.
При их нарушении возникают следующие ошибки в основаниях (аргументах) доказательства.
1. Ложность оснований («основное заблуждение»), т. е. в качестве аргументов берутся не истинные, а ложные суждения, которые выдают или пытаются выдать за истинные.
2. Ошибка «порочный круг» («круг в доказательстве») состоит в том, что тезис обосновывается аргументами, а аргументы обосновываются этим же тезисом.
3. Ошибка «предвосхищение оснований» совершается тогда, когда в качестве аргументов, подтверждающих тезис, приводится такое положение, которое хотя и не является заведомо ложным, но само нуждается в доказательстве.
Правила, относящееся к демонстрации
Демонстрация имеет форму умозаключения, и по отношению к ней должны соблюдаться правила умозаключений, которые использовались при построении доказательства (опровержения). Несоблюдение этих правил неизбежно приводит к логическим ошибкам в форме доказательства. Наиболее яркими являются:
а) мнимое следование («не следует…»). Эта ошибка возникает тогда, когда тезис не следует из приводимых в его подтверждение аргументов;
б) логическая ошибка «От сказанного с условием к сказанному безусловно» возникает тогда, когда аргумент, истинный только с учетом определенного времени, отношения, меры, приводится в качестве безусловного, верного во всех случаях;
в) «Поспешное обобщение». Оно вызывается тем, что в посылках индукции не учтены все обязательства, которые являются причиной исследуемого явления. В результате либо поспешно обобщаются первые полученные результаты без достаточной проверки, либо обобщение делается по случайным типичным признакам.