Логика

К примеру, нужно доказать тезис "Все металлы проводят электрический ток". Подбираем в качестве аргументов утверждения, которые являются, во-первых, истинными и из которых, во-вторых, логически вытекает тезис. В качестве таких утверждений можно принять, в частности, следующие: "Все вещества, имеющие в своей кристаллической решетке свободные электроны, проводят электрический ток" и "Все металлы имеют в своей кристаллической решетке свободные электроны". Строим умозаключение:

Все вещества, имеющие в своей кристаллической решетке свободные электроны, проводят электрический ток.

Все металлы имеют в своей кристаллической решетке свободные электроны.

-------------------

Все металлы проводят электрический ток.

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

Доказательство — это правильное умозаключение с истинными посылками. Логическую основу каждого доказательства (его схему) составляет логический закон.

Доказательство — это всегда в определенном смысле принуждение.

Философ XVII в. Т. Гоббс до сорока лет не имел представления о геометрии. Впервые в жизни прочитав формулировку теоремы Пифагора, он воскликнул: "Боже, но это невозможно!" Но затем шаг за шагом он проследил все доказательство, убедился в его правильности и смирился. Ничего другого, собственно, и не оставалось.

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

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

Задача доказательства — исчерпывающе утвердить обоснованность доказываемого тезиса.

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

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