Конечно, в современной математике наблюдается тенденция к построению систем, из которых устраняется структурная осмысленность. Некоторые считают, что следует игнорировать такую осмысленность. Сходная тенденция наблюдается и в развитии логики — логика сводится 64 к игре, управляемой суммой произвольно комбинируемых отдельных правил. Как разделение труда такая специализация заслуживает одобрения, особенно когда дело касается критериев строгой логической валидности. Но если к этому сводится все назначение логики, то тем самым мышление лишается тех признаков, которые играют важную роль в действительно продуктивных процессах. Однако, каково бы ни было отношение структурных проблем к формальной логике и теории познания (независимо от решения вопроса о том, следует или не следует логике заниматься структурными проблемами), они являются решающим моментом подлинно разумных, продуктивных процессов. Развитие современной математики происходило в направлении полного освобождения от всяких следов геометрической интуиции. Это имело свои основания, поскольку анализировались вопросы валидности идеальных, аксиоматических систем, в которых конкретные теоремы выводятся только путем применения к аксиомам силлогистических и сходных формальных операций. Но это вполне обоснованное стремление не следует смешивать с проблемами понимания и подлинно продуктивных процессов. Я не встречал ни одного действительно продуктивного математика, который не чувствовал бы этого различия. Некоторые говорили: «Это не логический и не математический вопрос. Это психологический вопрос, или, если угодно, вопрос эстетической стороны дела». Мне кажется, что такие утверждения связаны со слишком узким пониманием логики. К тем шагам и операциям, которые образуют дикие процедуры, приходят не логическим путем. Прямая процедура кажется также и более логичной. Различие между произвольными, слепыми и осмысленными действиями составляет самую суть логики. 22. Приведенные примеры и в самом деле были дикими и бессмысленными, и читатель вправе спросить, зачем их нужно было приводить. Их искусственность и бессмысленность вполне очевидны; достаточно здравого смысла, чтобы понять их отличие от действительно осмысленных действий. Но в целях научной ясности необходимо сосредоточить внимание на очевидных вещах. Некоторые теоретические построения в логике, теории познания, психологин игнорируют эту фундаментальную проблематику или даже пытаются оправдать слепоту к ней. — 46 —
|