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