Структура доказательства. 1. Тезис — это выдвинутое пропонентом суждение, которое он обосновывает в процессе аргументации

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

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

В качестве аргументов могут выступать различные по своему содержанию суждения: (1) теоретические или эмпирические обобщения; (2) утверждения о фактах; (3) аксиомы; (4) определения и конвенции.

3. Демонстрация — это логическая связь между аргументами и тезисом. В общем виде она представляет собой одну из форм условной зависимости. Аргументы (а₁,а₂,..., a_n) являются логическими основаниями, а тезис (Т) является их логическим следствием:

(a₁ А а₂ А... А an) —> Т.

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

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