|
Второй тип теорий — математизированные научные теории, использующие аппарат и модели математики (на-пример, физические теории). При математическом моде-лировании конструируется особый идеальный объект, за-мещающий некоторый реальный объект. Ценность мате-матизированных теорий повышается в связи с тем, что нередко используемые в них математические модели до-пускают не одну, а несколько интерпретаций, в том числе на объекты разной природы, лишь бы они удовлетворяли построенной теории. Но в математизированных теориях широкое использование математических средств выдвига- ет сложную проблему интерпретации (т.е. содержательно- го объяснения) формальных результатов. Задача обоснования математики и других формальных наук привела к построению теорий третьего типа — их можно назвать дедуктивными теоретическими система- ми. Первой такой системой явились «Начала» Эвклида — классическая геометрия, построенная на основе аксиома-тического метода. Исходная теоретическая основа таких теорий формулируется в их начале и затем в теорию вклю-чаются лишь те утверждения, которые могут быть получе- ны логически из этой основы. Все логические средства, ис-пользуемые в этих теориях, строго фиксируются, и дока-зательства теории строятся в соответствии с этими средствами. Дедуктивные теории строятся обычно в особых фор-мальных языках, знаковых системах. Обладая большой об-щностью, такие теории вместе с тем остро ставят проблему интерпретации результатов, которая является условием превращения формального языка в научное знание в соб-ственном смысле этого слова. Для дальнейшего изложения отметим следующие суще-ственные моменты. Во-первых, любая научная теория со- стоит из взаимосвязанных структурных элементов (зако- нов, принципов, моделей, условий и т.д.). Во-вторых, лю- бая теория, независимо от того, к какому типу она относится, имеет в своем исходном базисе центральный системообразующий элемент (или некоторое звено эле-ментов). Так, в геометрии Эвклида этим звеном являются пять исходных аксиом (постулатов). В классической меха- нике — это законы Ньютона; в квантовой механике — уравнение Шредингера и т.д. — 53 —
|