Всегда ли доказательство необходимо?

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

Согласно одному из исходных правил тезис должен нуждаться в доказательстве. Это правило на первый взгляд может показаться странным: разве существуют такие тезисы (высказывания, утверждения), которые не нуждаются в доказательстве? Конечно же, существуют. Как известно, любое рассуждение (и научное, и повседневное) в конечном итоге базируется на аксиомах, которые и представляют собой тезисы, не требующие доказательств, заведомо принимаемые в качестве несомненных, достоверных, истинных. Обычно говорят, что аксиомы не подлежат обоснованию в силу их простоты, ясности, очевидности, безусловности и т. п. Однако почему они таковы?

Известный французский философ и ученый XVII века Рене Декарт называл аксиомы «врожденными идеями» и объяснял их необыкновенную ясность и отчетливость тем, что они заложены в сознание любого человека самим Богом, который «не может нас обманывать». Действительно, разве не безусловными и несомненными представляются нам утверждения: Кратчайшее расстояние между любыми двумя точками — это прямая; Всякое физическое тело имеет размер; Ничто в окружающем мире не происходит из ничего и другие, подобные им высказывания? Разумеется, они безоговорочно воспринимаются нами как истинные. Помимо декартовой есть и другие точки зрения на происхождение аксиом. Часто их рассматривают как обобщенный и абстрагированный (т. е. выраженный в мышлении и представленный очень широкими, общими суждениями) опыт человечества. Нередко аксиомы расценивают как вырабатываемые людьми произвольные соглашения, без которых был бы в принципе невозможен процесс мышления. Проблема аксиом является достаточно сложной: до настоящего времени не найдено исчерпывающего и общепризнанного объяснения их природы.

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

22.2. Определенность тезиса в доказательстве

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

Не совсем ясной и определенной является так же рассматривавшаяся нами раньше формулировка одного из правил пользования общественным городским транспортом: Безбилетный проезд и бесплатный провоз багажа наказывается штрафом. Если воспринимать употребляемый здесь союз и в качестве конъюнкции, то получится, что штраф должен быть наложен только на тех пассажиров, которые совершили сразу два проступка, а не какой-то один из них. В силу этого кажется, что следует заменить союз и на союз или: Безбилетный проезд или бес платный провоз багажа наказывается штрафом. Однако и в этом случае тезис не обретет полную ясность: ведь если рассматривать союз или в качестве строгой дизъюнкции, то получится, что штраф накладывается или только на тех пассажиров, которые не оплатили проезд, или же только на тех, которые бесплатно провозят багаж, — в зависимости от ситуации и на усмотрение контролера. Для придания формулировке окончательной ясности и определенности надо употребить союз-гибрид или(и), однозначно указывающий на нестрогую дизъюнкцию, которая и является действительным содержанием данного правила пользования городским транспортом.

Рассмотрим еще один пример. Не вполне ясен тезис, представленный суждением: Его характер обусловливает его жизнь. Это высказывание можно понимать двояко: то ли характер определяющим образом влияет на жизнь, то ли, наоборот, жизнь определяющим образом влияет на характер. В целях прояснения такого утверждения его следовало бы сформулировать иначе, например: Его жизнь обусловливается его характером, или Его характер обусловливается его жизнью (в зависимости от того, что имеется в виду).

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

Необычный судебный процесс состоялся в 1927 году в США. Скульптор К. Бранкузи обратился в суд с требованием признать свои работы, отправляемые в Нью-Йорк на выставку, произведениями искусства. В их числе была и скульптура «Птица», которая сейчас считается классикой абстракционизма. Она представляет собой полутораметровую колонну из полированной бронзы, не имеющую никакого внешнего сходства с птицей. Таможенники категорически отказались признать абстрактные творения Бранкузи художественными произведениями. Они провели их по графе: «Металлическая больничная утварь и предметы домашнего обихода» и наложили на них большую таможенную пошлину. Возмущенный скульптор подал в суд. Таможню поддержали художники — члены Национальной академии. Отстаивая традиционные приемы в искусстве, они выступали на процессе свидетелями защиты и категорически настаивали на том, что попытка выдать «Птицу» за произведение искусства является мошенничеством.

Можно привести немало других примеров, иллюстрирующих неясный и неопределенный тезис. Многие рассуждения представляются нам непонятными не в силу своей сложности, и не по причине нашей недостаточной образованности, и не из-за нежелания их понять; а потому что они неясно и неопределенно сформулированы. Например, в одном учебном пособии по логике есть такое высказывание: Определение неявное — определение..., где определяемый термин используется в выражении понятия, которое ему приписывается в качестве его же смысла. Неясность в формулировке этого суждения делает его непонятным и даже бессмысленным для большинства читателей.

Дата добавления: 2014-01-20