Логика. Учебное пособие

Помимо декартовой есть и другие точки зрения на происхождение аксиом. Часто их рассматривают как обобщенный и абстрагированный (т. е. выраженный в мышлении и представленный очень широкими, общими суждениями) опыт человечества. Нередко аксиомы расценивают как вырабатываемые людьми произвольные соглашения, без которых был бы в принципе невозможен процесс мышления. Проблема аксиом является достаточно сложной: до настоящего времени не найдено исчерпывающего и общепризнанного объяснения их природы. Итак, аксиомы – это высказывания, не нуждающиеся в обосновании. Кстати, доказательство, в конечном итоге, потому и возможно, что существуют положения, которые не надо доказывать (как то ни парадоксально на первый взгляд). Вспомним, доказательство представляет собой выведение истинности или ложности какого-либо суждения – тезиса, – из ранее установленной истинности других суждений – аргументов, которые когда-то сами были тезисами и выводились из иных аргументов, а те, в свою очередь – из каких-то еще и т. д. Эта цепочка тезисов и аргументов, сколько бы она ни продолжалась, рано или поздно упирается в некую аксиому и на этом останавливается. В противном случае она развертывалась бы без конца, что приводило бы к невозможности любого доказательства. Эту особенность мышления заметили еще древние философы, которые называли рассуждение, лишенное аксиом, удалением в бесконечность (лат. regressus in infnitum).

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

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

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

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

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

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

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

Необычный судебный процесс состоялся в 1927 г. в США. Скульптор К. Бранкузи обратился в суд с требованием признать свои работы, отправляемые в Нью-Йорк на выставку, произведениями искусства. В их числе была и скульптура