|
В связи с важностью вопроса стоит сделать еще два замечания о понятии интуиции. Этот термин в литературе используется очень широко, но, к сожалению, часто не только без четкого определения, но даже без всякого пояснения того, что именно под ним подразумевается. Он считается, видимо, самоочевидным. Это неверно. Во-первых, различие между двумя видами интуиции - философской интуицией-суждением, не допускающей сведения к логическому доказательству, с одной стороны, и интуицией-догадкой (психоэвристической интуицией, как ее иногда называют), с другой - маскируется тем, что одно и то же содержательное утверждение может в одних случаях быть выражением доказываемой догадки, а в других - следствием интуитивного, логически не доказуемого усмотрения "истины" - объективной связи вещей. В самом деле, в научной системе, основанной на некотором наборе аксиом и определений (математика, теоретическая физика), констатируя правильность этого набора (т.е. его соответствие истинным свойствам мира вещей - объектов науки), мы используем философскую интуицию, интуицию-суждение. Затем мы применяем этот набор для вывода следствий, например, некоторой теоремы. В процессе вывода мы предугадываем возможность такой теоремы и правильность того или иного пути доказательства. Это акт психоэвристической интуиции, и она, как уже говорилось, играет временную, вспомогательную роль. Она сводима к дискурсии. Однако во многих случаях можно поступить иначе. Можно выбрать за основу иной набор определений и аксиом, среди которых не будет какой-либо из прежних аксиом, но ее место займет утверждение, бывшее в первом случае содержанием доказанной теоремы. Это утверждение теперь будет недоказуемым, подлинно интуитивным утверждением. Наоборот, устраненная из набора прежняя аксиома станет доказуемой теоремой, а предвосхищение ее правильности - следствием интуиции-догадки, сводимой к дискурсии. Примером этого в школьной геометрии могут быть два утверждения: о равенстве соответственных углов, образуемых при пересечении двух параллельных прямых третьей прямой, и об единственности параллельной прямой, проведенной через точку, лежащую вне данной прямой. Каждое из них можно принять за аксиому. Тогда другое станет доказуемой теоремой. Однако подобная возможность связывать одно и то же утверждение как с интуицией-суждением, так и с интуицией-догадкой не устраняет самого принципиального различия между этими двумя понятиями. Все же "аксиома" и "теорема" не перестают быть принципиально разными понятиями от того, что равенство соответственных углов в приведенном примере в одной логической системе есть аксиома, а в другой - теорема. — 39 —
|