Доказательство: общее понятие, сущность и значение
Информация - Философия
Другие материалы по предмету Философия
му утверждению, то говорят, что оно формально доказано. Формальным такое доказательство называется потому, что на время оно отвлекается от конкретного значения участвующих в доказательстве положений, то есть от того, что в них утверждается. Это дает возможность широко применять специальные символы - искусственный язык, - которыми заменяют отдельные положения доказательства. Оно становится проще, четче проявляется его логическая структура, оно легче поддается контролю.
В настоящее время формальное доказательство широко применяется в различных разделах современной логики и математики. Они являются необходимым методом анализа в тех случаях, когда требуется выявить структуру умозаключений там, где были использованы неформальные доказательства.
2. Логическая структура доказательства
В структуре формального и неформального доказательства выделяют следующие элементы: тезис, аргументы и форму (демонстрацию).
Тезисом доказательства называют то утверждение, которое подлежит доказательству. В формальных доказательствах, а также в некоторых науках, использующих дедуктивные процедуры, доказываемое утверждение именуют теоремой. Тезис является логически центральным элементом в доказательстве. Аргументы - это положения, которые используются для доказательства данного тезиса. Поскольку аргументы суть не истинные утверждения, которые определяют истинность тезиса, их называют иногда основаниями доказательства. В формальных доказательствах они именуются посылками.
В качестве аргументов могут быть: утверждения, истинность которых доказана ранее, - таковыми являются теоремы, законы и другие научные положения; аксиомы; определения и утверждения, содержащие высказывания о фактах. При доказательстве данного тезиса может быть использовано произвольное, но конечное число аргументов. Они могут принадлежать к утверждениям любого типа. Так, например, доказательства в геометрии основываются на аксиомах, определениях и вспомогательных утверждениях, доказанных ранее.
Аргументы доказательства всегда находятся в определенной связи между собой, а также с тезисом. Способ этой связи называется формой доказательства или демонстрацией. Аргументы соединяются в умозаключения различного вида, последние соединяются в цепочку таким образом, что ее конечным звеном является тезис данного доказательства. Следовательно, форма доказательства показывает логическую последовательность перехода от основания к тезису.
Рассмотрим пример доказательства тезиса: Полученный в лаборатории металл не является натрием. Для этого доказательства мы располагаем рядом аргументов: (1) Все щелочные металлы разлагают воду при комнатной температуре, (2) Натрий - щелочной металл, (3) Полученный в лаборатории металл не разлагает воду при комнатной температуре. Все эти утверждения (здесь они выступают в качестве аргументов) являются истинными, при чем способ установления истинности для каждого из аргументов различный. Аргумент (3) истинен на основе непосредственного доказательства путем наблюдения; аргумент (1) может являться итогом индуктивного обобщения результатов некоторого опыта, и только аргумент (2) может быть результатом некоторого силлогистического умозаключения. Процедура доказательства будет состоять в построении двух силлогистических умозаключений; одно из них даст следствие, которое будет использовано как посылка (то есть явится аргументом доказательства) во втором силлогистическом умозаключении:
1) Все щелочные металлы разлагают воду при комнатной температуре.2) Натрий - щелочной металл.4) Следовательно, натрий разлагает воду при комнатной температуре.4) Натрий разлагает воду при комнатной температуре.3) Полученный в лаборатории металл не разлагает воду при комнатной температуре.Следовательно, полученный в лаборатории металл не является натрием.
Из нашего примера видно, что тезис доказывается с помощью четырех аргументов. Они соединяются в два силлогизма таким образом, что следствие одного является посылкой другого. Тезис получается как следствие из этих силлогизмов по свойственным им правилам.
3. Виды доказательства. Опровержение
Доказательства различаются прежде всего по их цели, по отношению доказывающего к выдвинутому тезису. Можно подтвердить истинность тезиса и доказать его ложность. Подтверждение тезиса часто называют доказательством, а опровержение синонима не имеет. Следовательно, существуют два рода доказательства: подтверждение и опровержение тезиса.
Целенаправленность доказательства является исходным основанием деления всех доказательств. Оно предопределяет все построение и характер дальнейшего рассуждения. Цель его определяется не произвольно, а в зависимости от содержания обосновываемого положения. Не соответствующий действительности тезис невозможно подтвердить, как нельзя опровергнуть истинный тезис.
Выбор способа доказательства тоже в значительной мере зависит от содержания тезиса, однако связь эта неоднозначна: любое положение можно аргументировать различным способом в зависимости от характера оснований или соображений доходчивости, ясности и убедительности.
По способу аргументации все доказательства делятся на два вида - прямые и косвенные. Прямое доказательство заключается в выведении из основания по определенным правилам умозаключения истинности или ложности данного тезиса. При косвенном доказательстве обо?/p>