В области дедуктивных наук, и в первую очередь в символиче¬
с к о й л о г и к е , з н а м е н и т ы й н е м е ц к и й математик и ф и л о с о ф Л е й б н и ц
мечтал о с о з д а н и и всеобщего метода, к о т о р ы й п о з в о л и л бы свести
л ю б о е рассуждение к в ы ч и с л е н и ю . С его п о м о щ ь ю он н а д е я л с я ре¬
шать л ю б ы е споры не только в науке, н о и в политике и ф и л о с о ф и и .
«В случае в о з н и к н о в е н и я споров, — писал о н , — двум филосо¬
ф а м н е придется больше прибегать к спору, к а к не прибегают к нему
счетчики. Вместо спора о н и возьмут перья в р у к и , сядут за д о с к и
1
и
скажут друг другу: «будем вычислять»»
2
.
Эта идея о п о л н о м сведении дедуктивного рассуждения к вычис¬
л е н и ю , т.е. к алгоритму, хотя и способствовала в о з н и к н о в е н и ю ма¬
тематической л о г и к и , тем н е менее оказалась с л и ш к о м амбициозной,
поскольку даже в рамках математики существуют алгоритмически
неразрешимые проблемы, о которых м ы у п о м и н а л и выше. Тем более
это относится к недедуктивным наукам, где приходится учитывать
непрерывное взаимодействие теории и опыта, л о г и к и и интуиции.
В с л о ж н о м процессе научного и с с л е д о в а н и я творчество и ин¬
т у и ц и я , л о г и к а и опыт, д и с к у р с и я и в о о б р а ж е н и е , з н а н и я и талант
в з а и м н о д о п о л н я ю т и обусловливают друг друга. И п о с к о л ь к у о н и
не поддаются ф о р м а л и з а ц и и и а л г о р и т м и з а ц и и , постольку создание
л о г и к и о т к р ы т и я н и в и н д у к т и в н о й , н и в д е д у к т и в н о й ф о р м е не¬
в о з м о ж н о . Т а к и м образом, и э м п и р и ч е с к а я модель научного откры¬
т и я , п о с т р о е н н а я Б э к о н о м , и р а ц и о н а л ь н о - д е д у к т и в н а я модель
Л е й б н и ц а оказались о д и н а к о в о н е с о с т о я т е л ь н ы м и и з - з а с л и ш к о м
у п р о щ е н н о г о п о н и м а н и я процесса научного и с с л е д о в а н и я вообще
и о т к р ы т и я нового в науке в особенности. П о э т о м у уже в п е р в о й
половине X I X в. некоторые л о г и к и и ф и л о с о ф ы науки я с н о осознали
бесперспективность п о п ы т о к п о с т р о е н и я л о г и к открытия. Исходя
из этого о н и стали призывать к исследованию логических следствий
и з гипотез и их э м п и р и ч е с к о й п р о в е р к и с п о м о щ ь ю н а б л ю д е н и й и
э к с п е р и м е н т о в .
«Научное открытие, — писал известный историк науки Уэвелл, —
д о л ж н о зависеть от счастливой м ы с л и , проследить п р о и с х о ж д е н и е
к о т о р о й м ы н е м о ж е м . П о э т о м у н е к о т о р ы е благоприятные поворо¬
т ы м ы с л и в ы ш е всяких правил и, следовательно, нельзя дать ника¬
ких п р а в и л , которые бы н е и з б е ж н о п р и в о д и л и к о т к р ы т и ю »
3
.
Т а к и м образом, даже в э м п и р и ч е с к и х науках вместо
индуктив
Do'stlaringiz bilan baham: