Методология научного познания | страница 7



В последние десятилетия значительные результаты были достигнуты в области логики науки. Применяя принципы и методы современной формальной логики, которую теперь называют символической, или математической, логикой, методология тщательно исследовала структуру научного знания, методы его формализации, способы логического вывода в разных типах рассуждений и т. д. Нетрудно, однако, заметить, что логика науки ограничивается лишь анализом существующего, наличного знания и не затрагивает вопроса о генезисе, происхождении и получении нового знания. Как справедливо заметил видный финский логик Г. Х. Вригт, «формальная логика традиционно имела дело с концептуальными построениями статического мира»[4].

Для анализа научного знания логика науки первоначально использовала средства традиционной формальной логики, а в дальнейшем — исключительно методы математической логики. Поскольку знание выражается с помощью языка, то в современной логике науки непосредственно рассматривается не знание в целом, а только форма его выражения, т. е. язык науки.

Научные языки строятся на базе обычного, естественного языка, но отличаются от него значительно большей точностью и строгостью. Так как естественный язык развивался прежде всего в целях коммуникации, то его совершенствование происходило по линии достижения легкости общения. Поэтому в нем отсутствуют жесткие правила построения языковых выражений, многие правила специально не формулируются, хотя и подразумеваются, из-за чего могут возникнуть недоразумения. Чтобы исключить подобные случаи, логика науки для построения и анализа научных языков использует формальные дедуктивные методы математики, в частности аксиоматический способ построения теорий, который использовал еще Евклид для построения элементарной геометрии.

При современном аксиоматическом построении математики и математизированного естествознания исключается обращение к наглядным образам, чертежам и интуитивным соображениям, которые не указаны в аксиомах. Поэтому все доказательства теорем опираются только на логический вывод теорем из аксиом. Необходимость такого подхода иллюстрируется историей развития геометрии, когда некоторые математики верили, что им удалось доказать 5-й постулат, или аксиому о параллельных линиях Евклида. При дальнейшей проверке оказалось, однако, что они заменили этот постулат эквивалентным предположением. Чтобы исключить подобные ошибки в дальнейшем, были введены специальные правила. Они определяют, как образуются одни термины с помощью исходных, и как выводятся одни высказывания из других, в том числе из аксиом.