Общая характеристика логического доказательства

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

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

Тезисом доказательства называется то положение, истинность или лож­ность которого требуется доказать.

Тезис может быть сформулирован как в начале доказательства, так и в любой другой его момент. Тезис часто высказывается в форме категоричес­кого суждения, например: «Положение, которое я доказываю, состоит в следующем», «Вот мой тезис», «Передо мной стоит задача доказать», «Вот мое положение», «Я глубоко убежден, что...» и т.п. Нередко тезис формулируют и в форме вопроса, например: «Есть ли причинная связь между действиями обвиняемого и наступившими последствиями?».

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

Основной тезис - это положение, которому подчинено обоснование ря­да других положений.Частный тезис - это такое положение, которое стано­вится тезисом лишь потому, что при его помощи доказывается основной те­зис. Частный тезис, будучи доказанным, сам становится затем аргументом для обоснования основного тезиса.

Аргументами (или основаниями) доказательства называются те сужде­ния, которые приводятся для подтверждения или опровержения тезиса. До­казать тезис - значит привести такие суждения, которые были бы достаточ­ными для обоснования истинности или ложности выдвинутого тезиса.

В качестве аргументов при доказательстве тезиса может быть приведена любая истинная мысль, если только она связана с тезисом, обосновывает его. Основными видами аргументов являются: факты, законы, аксиомы, оп­ределения, документальные свидетельства и т. п.

Демонстрацией (или формой доказательства) называется способ логичес­кой связи тезиса с аргументами. Тезис и аргументы доказательства являются по своей логической форме суждениями. Выраженные в грамматических предложениях, они воспринимаются нами непосредственно: тезис и аргумен­ты можно увидеть, если они написаны, услышать, если они произнесены.

Однако тезис и аргументы сами по себе, вне логической связи друг с дру­гом, еще не составляют доказательства. Аргументы начинают приобретать определенное значение лишь тогда, когда мы выводим из них тезис. Процесс выведения тезиса из аргументов и есть демонстрация. Она всегда выражает­ся в форме умозаключения. Это может быть отдельное умозаключение, но чаще - цепочка умозаключений.