в р е м е н н о й ф о р м а л ь н о й л о г и к и , которую теперь н а з ы в а ю т символи¬
ч е с к о й , и л и математической, л о г и к о й , методология тщательно ис¬
следовала структуру научного з н а н и я , методы его ф о р м а л и з а ц и и ,
способы логического вывода в р а з н ы х типах рассуждений и т.д. Не¬
трудно, о д н а к о , заметить, что л о г и к а н а у к и ограничивается л и ш ь
а н а л и з о м существующего, н а л и ч н о г о з н а н и я и не затрагивает во¬
п р о с а о генезисе, п р о и с х о ж д е н и и и п о л у ч е н и и нового з н а н и я . К а к
справедливо заметил в и д н ы й ф и н с к и й л о г и к Г.Х. Вригт, «формаль¬
н а я л о г и к а т р а д и ц и о н н о и м е л а дело с к о н ц е п т у а л ь н ы м и построе¬
н и я м и статического м и р а »
1
.
Д л я анализа научного з н а н и я л о г и к а н а у к и п е р в о н а ч а л ь н о ис¬
пользовала средства т р а д и ц и о н н о й ф о р м а л ь н о й л о г и к и , а в даль¬
н е й ш е м — и с к л ю ч и т е л ь н о методы математической л о г и к и . По¬
скольку з н а н и е выражается с п о м о щ ь ю я з ы к а , то в с о в р е м е н н о й
л о г и к е н а у к и н е п о с р е д с т в е н н о рассматривается н е з н а н и е в ц е л о м ,
а только ф о р м а его в ы р а ж е н и я , т.е. я з ы к науки.
Н а у ч н ы е я з ы к и строятся н а базе о б ы ч н о г о , естественного язы¬
ка, н о отличаются от него значительно б о л ь ш е й точностью и стро¬
гостью. Т а к к а к естественный я з ы к развивался прежде всего в целях
к о м м у н и к а ц и и , то его совершенствование происходило п о л и н и и
д о с т и ж е н и я легкости о б щ е н и я . П о э т о м у в н е м отсутствуют ж е с т к и е
п р а в и л а п о с т р о е н и я я з ы к о в ы х в ы р а ж е н и й , многие п р а в и л а специ¬
ально не формулируются, хотя и подразумеваются, и з - з а чего могут
в о з н и к н у т ь недоразумения. Ч т о б ы и с к л ю ч и т ь п о д о б н ы е случаи, ло¬
г и к а н а у к и д л я п о с т р о е н и я и анализа научных я з ы к о в использует
ф о р м а л ь н ы е дедуктивные методы м а т е м а т и к и , в частности аксио¬
м а т и ч е с к и й способ п о с т р о е н и я т е о р и й , к о т о р ы й использовал еще
Е в к л и д д л я п о с т р о е н и я э л е м е н т а р н о й геометрии.
П р и с о в р е м е н н о м а к с и о м а т и ч е с к о м п о с т р о е н и и м а т е м а т и к и и
м а т е м а т и з и р о в а н н о г о естествознания исключается о б р а щ е н и е к на¬
г л я д н ы м образам, чертежам и и н т у и т и в н ы м с о о б р а ж е н и я м , к о т о р ы е
не у к а з а н ы в аксиомах. П о э т о м у все доказательства теорем опира¬
ются только н а л о г и ч е с к и й вывод теорем и з а к с и о м . Необходимость
такого подхода иллюстрируется и с т о р и е й р а з в и т и я геометрии, когда
н е к о т о р ы е м а т е м а т и к и верили, что и м удалось доказать 5-й посту¬
лат, и л и аксиому о параллельных л и н и я х Евклида. П р и д а л ь н е й ш е й
проверке оказалось, о д н а к о , что о н и з а м е н и л и этот постулат экви¬
в а л е н т н ы м п р е д п о л о ж е н и е м . Ч т о б ы и с к л ю ч и т ь п о д о б н ы е о ш и б к и в
д а л ь н е й ш е м , б ы л и введены с п е ц и а л ь н ы е правила. О н и определяют,
к а к образуются о д н и т е р м и н ы с п о м о щ ь ю исходных, и к а к выво¬
д я т с я о д н и в ы с к а з ы в а н и я и з других, в т о м числе из аксиом.
Т а к и м образом, н е п о с р е д с т в е н н ы м предметом л о г и к и н а у к и яв¬
л я е т с я я з ы к н а у к и — определенное м н о ж е с т в о п р а в и л п о с т р о е н и я и
Do'stlaringiz bilan baham: