§ | библиотека – мастерская – | Помощь Контакты | Вход — |
Ивин А.А. Логика: Учебник для гуманитарных вузов. -- М.: "ФАИР-ПРЕСС", 1999. - 320 с.
Стр. 192 Под доказательством в логике понимается процедура установления истинности некоторого утверждения путём приведения других утверждений, истинность которых уже известна и из которых с необходимостью вытекает первое. В доказательстве различаются тезис – утверждение, которое нужно доказать, основание (аргументы) – те положения, с помощью которых доказывается тезис, и логическая связь между аргументами и тезисом. Понятие доказательства всегда предполагает, таким образом, указание посылок, на которые опирается тезис, и тех логических правил, по которым осуществляются преобразования утверждений в ходе доказательства. К примеру, нужно доказать тезис «Все металлы проводят электрический ток». Подбираем в качестве аргументов утверждения, которые являются, во-первых, истинными и из которых, во-вторых, логически вытекает тезис. В качестве таких утверждений можно принять, в частности, следующие: «Все вещества, имеющие в своей кристаллической решётке свободные электроны, проводят электрический ток» и «Все металлы имеют в своей кристаллической решётке свободные электроны». Строим умозаключение: Все вещества, имеющие в своей кристаллической решётке свободные электроны, проводят электрический ток. Все металлы имеют в своей кристаллической решётке свободные электроны. Все металлы проводят электрический ток. Данное умозаключение является правильным (оно представляет собой категорический силлогизм), посылки его истинны; значит, умозаключение является доказательством исходного тезиса. Доказательство – это правильное умозаключение с истинными посылками. Логическую основу каждого доказательства (его схему) составляет логический закон. Доказательство – это всегда в определённом смысле принуждение. Философ XVII в. Т. Гоббс до сорока лет не имел представления о геометрии. Впервые в жизни прочитав формулировку теоремы Пифагора, он воскликнул: «Боже, но это невозможно!» Но затем шаг за шагом он проследил все доказательство, убедился в его правильности и смирился. Ничего другого, собственно, и не оставалось. |
Реклама
|
||