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

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

Тезис – утверждение, истинность которого обосновывается в процессе доказательства.

Аргументы (или основания) – утверждения, с помощью которых обосновывается истинность тезиса.

Демонстрация (или форма) доказательства – логическая связь аргументов с тезисом.

Рассмотрим в качестве примера диалог из романа ф. Сологуба «Мелкий бес»:

«Раздосадованный Рутилов сказал:

– Ты, Арнольд Борисыч, и не будешь никогда быком, потому что ты – форменная свинья.

– Врешь, – угрюмо сказал Передонов.

– Нет, не вру, и могу доказать, – злорадно сказал Рутилов.

– Докажи, – потребовал Передонов.

– Погоди, докажу, – с тем же злорадством в голосе ответил Рутилов.

Оба замолчали… Вдруг Рутилов сказал:

– Арнольд Борисыч, а у тебя есть пятачок?

– Есть, да тебе не дам, – злобно ответил Передонов. Рутилов захохотал.

– Как есть у тебя пятачок, так как же ты не свинья! – крикнул он радостно».

В этом доказательстве (подобные которым так часто встречаются в нашей жизни) тезисом служит утверждение «Арнольд Борисыч – свинья». Оно обосновывается с помощью аргумента «Арнольд Борисыч имеет пятачок». К нему добавляется еще один – невысказанный, но подразумеваемый собеседниками – аргумент: «Всякая свинья имеет пятачок». Таким образом, доказательство имеет вид:

Всякая свинья имеет пятачок.

Арнольд Борисыч имеет пятачок.

Следовательно, Арнольд Борисыч – свинья.

Логическая связь аргументов с тезисом обеспечивается простым категорическим силлогизмом.

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

1) Некий человек устроил себе тайный погребок: пробил в стене квадратное отверстие, разделил его на 9 отделений и в каждое поместил бутылки дорогого анжуйского вина, до которого он был большой охотник: в угловые отделения поместил по 6 бутылок, в средние – по 9, а центральное отделение оставил пустым.

[FIXME]

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

У этого человека был слуга, тоже любитель анжуйского вина. Заметив, что хозяин следит только за тем, чтобы на каждой стороне было по 21 бутылке, он украл 4 бутылки, а остальные расставил так, что на каждой стороне опять оказалось по 21 бутылке. Хозяин ничего не заметил. Через некоторое время слуга украл еще 4 бутылки, и опять хозяин ничего не заметил. Спрашивается: как слуга расставлял бутылки после очередной кражи и сколько всего бутылок он смог украсть незаметно для хозяина?