Доказательство и опровержение

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

Определение доказательства и опровержения.
Прямое и косвенное доказательство.
Основные правила и ошибки в доказательстве и опровержении.
Метод формализации доказательства.
Теория К. Геделя о неполноте.
Ограниченность процедуры формализации в науке.