Логичность доказательства

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

Конечная цель доказательного рассуждения — получение истинных утверждений, умозаключений.

Логическая операция доказательства складывается из пяти взаимосвязанных элементов.

Первый из них — отстаиваемый тезис ( тезис доказательства), т. е. положение, истинность которого пыта­ются обосновать. Тезис отвечает на вопрос: что доказывают?

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

Третий элемент — аргументы (доводы, основания) доказа­тельства. Это исходные фактические или теоретические поло­жения, с помощью которых обосновывается тезис. Они отве­чают на вопрос: с помощью чего ведется обоснование тезиса?

Четвертый элемент — демонстрация, или логическая связь, уста­навливающая зависимость между аргументами и тезисом. Она отвечает на вопрос: как ведется аргументированное обоснование тезиса?

Пятый элемент – повтор доказываемого тезиса как вывода из всей системы доказательств.

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

Согласно з аконам логики:

1) основное требование к тезису - он должен быть чётко определён;