GreatPhilosophy

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

Структура доказательства:

Что доказывается

Чем доказывается выдвинутое положение

Как оно доказывается

Ответы на эти вопросы раскрывают: Тезис, Аргументы, Демонстрация.

Тезис – это выдвинутое пропонентом суждение, которое он обосновывает в процессе аргументации. Тезис является главным структурным элементом аргументации и отвечает на вопрос: что обосновывают.

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

Они выполняют роль основания, или логического фундамента аргументации, и отвечают на вопрос: чем, с помощью чего ведется, обоснования тезиса?

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

Существует два вида доказательств:

Прямые – тезис логически следует из аргументов.

Непрямые (косвенные) – это такие доказательства, в которых истинность выдвигаемого тезиса обосновывается путём доказательства ложности антитезиса, они делятся на два вида:

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

Разделительные доказательства, метод исключения. Устанавливается ложность всех членов дизъюнкции, кроме одного, который является обоснованным тезисом.

Как было сказано выше в любом доказательстве имеется три компонента: тезис, аргументы и демонстрация. В принципе строение доказательства повторяет структуру умозаключения. Там тоже имеется тезис, получаемый в виде вывода из посылок-аргументов, а само умозаключение в целом есть аналог демонстрации. Только в доказательстве демонстрация может представлять собой длинную цепь умозаключений, из которых слагается более или менее пространное рассуждение или, может быть, большая теорема. Кроме того, и это еще важнее, доказательство, как на это верно указал когда-то В.Ф. Асмус в своем учебнике логики, есть, по сути дела, умозаключение об умозаключении, о том, что оно построено в соответствии с правилами логики, его посылки верны и, следовательно, сделанные в нем выводы надо признать истинными суждениями. Дело в том, что само умозаключение этого еще не обеспечивает. Допустим, перед нами такое рассуждение: струнные музыкальные инструменты подразделяются на щипковые и смычковые; рояль - не смычковый инструмент; значит рояль относится к щипковым инструментам. Можно ли считать обоснованным вывод, полученный с помощью этого разделительно-категорического силлогизма? Очевидно, нет. Потому что для этого надо еще и знать, являются ли посылки верными и соблюдены ли правила таких силлогизмов, в частности, требование указывать все возможные альтернативы; в данном случае оно, кстати, не выполнено, так как существуют еще и ударно-клавишные струнные инструменты, к числу которых относится и рояль.