Аксиомы вводятся формально, как описание некоторой системы отношений: термины, фигурирующие в аксиомах, первоначально определяются только через их отношение друг к другу. Тем самым аксиомы в формальной системе рассматриваются как своеобразные определения исходных понятий (терминов). Другого, независимого определения указанные понятия первоначально не имеют.
Дальнейшее развитие аксиоматического метода привело к третьей стадии – построению формализованных аксиоматических систем.
Формальное рассмотрение аксиом дополняется на этой стадии использованием математической логики как средства, обеспечивающего строгое выведение из них следствий. В результате аксиоматическая система начинает строиться как особый формализованный язык (исчисление). Вводятся исходные знаки – термины, затем указываются правила их соединения в формулы, задается перечень исходных принимаемых без доказательства формул и, наконец, правила вывода из основных формул производных. Так создается абстрактная знаковая модель, которая затем интерпретируется на самых различных системах объектов.
Построение формализованных аксиоматических систем привело к большим успехам прежде всего в математике и даже породило представление о возможности ее развития чисто формальными средствами. Однако вскоре обнаружилась ограниченность таких представлений. В частности, К. Гёделем в 1931 г. были доказаны теоремы о принципиальной неполноте достаточно развитых формальных систем. Гёдель показал, что невозможно построить такую формальную систему, множество выводимых (доказуемых) формул которой охватило бы множество всех содержательно истинных утверждений теории, для формализации которой строится эта формальная система. Другое важное следствие теорем Гёделя состоит в том, что невозможно решить вопрос о непротиворечивости таких систем их же собственными средствами. Теоремы Гёделя, а также ряд других исследований по обоснованию математики показали, что аксиоматический метод имеет границы своей применимости. Нельзя, например, всю математику представить как единую аксиоматически построенную систему, хотя это не исключает, конечно, успешной аксиоматизации ее отдельных разделов.
В отличие от математики и логики в эмпирических науках теория должна быть не только непротиворечивой, но и обоснованной опытным путем. Отсюда возникают особенности построения теоретических знаний в эмпирических науках. Специфическим приемом такого построения и является гипотетико-дедуктивный метод, сущность которого заключается в создании системы дедуктивно связанных между собой гипотез, из которых в конечном счете выводятся утверждения об эмпирических фактах.
Этот метод в точном естествознании использовался уже в XVII в., но объектом методологического анализа он стал сравнительно недавно, когда начала выясняться специфика теоретического знания по сравнению с эмпирическим исследованием.
Развитое теоретическое знание строится не «снизу» за счет индуктивных обобщений научных фактов, а развертывается как бы «сверху» по отношению к эмпирическим данным. Метод построения такого знания состоит в том, что сначала создается гипотетическая конструкция, которая дедуктивно развертывается, образуя целую систему гипотез, а затем эта система подвергается опытной проверке, в ходе которой она уточняется и конкретизируется. В этом и заключается сущность гипотетико-дедуктивного развертывания теории.
Дедуктивная система гипотез имеет иерархическое строение. Прежде всего в ней имеются гипотеза (или гипотезы) верхнего яруса и гипотезы нижних ярусов, которые являются следствиями первых гипотез.
Теория, создаваемая гипотетико-дедуктивным методом, может шаг за шагом пополняться гипотезами, но до определенных пределов, пока не возникают затруднения в ее дальнейшем развитии. В такие периоды становится необходимой перестройка самого ядра теоретической конструкции, выдвижение новой гипотетико-дедуктивной системы, которая смогла бы объяснить изучаемые факты без введения дополнительных гипотез и, кроме того, предсказать новые факты. Чаще всего в такие периоды выдвигается не одна, а сразу несколько конкурирующих гипотетико-дедуктивных систем. Например, в период перестройки электродинамики X. А. Лоренца конкурировали между собой системы самого Лоренца, Эйнштейна и близкая к системе А. Эйнштейна гипотеза Ж. А. Пуанкаре. В период построения квантовой механики конкурировали волновая механика Л. де Бройля – Э. Шрёдингера и матричная волновая механика В. Гейзенберга.
Каждая гипотетико-дедуктивная система реализует особую программу исследования, суть которой выражает гипотеза верхнего яруса. Поэтому конкуренция гипотетико-дедуктивных систем выступает как борьба различных исследовательских программ. Например, постулаты Лоренца формулировали программу построения теории электромагнитных процессов на основе представлений о взаимодействии электронов и электромагнитных полей в абсолютном пространстве-времени. Ядро гипотетико-дедуктивной системы, предложенной Эйнштейном для описания тех же процессов, содержало программу, связанную с релятивистскими представлениями о пространстве-времени.
В борьбе конкурирующих исследовательских программ побеждает та, которая наилучшим образом вбирает в себя опытные данные и дает предсказания, являющиеся неожиданными с точки зрения других программ.
Задача теоретического познания состоит в том, чтобы дать целостный образ исследуемого явления. Любое явление действительности можно представить как конкретное переплетение самых различных связей. Теоретическое исследование выделяет эти связи и отражает их с помощью определенных научных абстракций. Но простой набор таких абстракций не дает еще представления о природе явления, о процессах его функционирования и развития. Для того чтобы получить такое представление, необходимо мысленно воспроизвести объект во всей полноте и сложности его связей и отношений.
Такой прием исследования называется методом восхождения от абстрактного к конкретному. Применяя его, исследователь вначале находит главную связь (отношение) изучаемого объекта, а затем, шаг за шагом прослеживая, как она видоизменяется в различных условиях, открывает новые связи, устанавливает их взаимодействия и таким путем отображает во всей полноте сущность изучаемого объекта.
Метод восхождения от абстрактного к конкретному применяется при построении различных научных теорий. Классическим образцом применения этого метода является «Капитал» К. Маркса. Но данный метод может использоваться не только в общественных, но и в естественных науках. Например, в теории газов, выделив основные законы идеального газа – уравнения Клапейрона, закон Авогадро и т. д., исследователь идет к конкретным взаимодействиям и свойствам реальных газов, характеризуя их существенные стороны и свойства. По мере углубления в конкретное вводятся все новые абстракции, которые дают более глубокое отображение сущности объекта. Так, в процессе развития теории газов было выяснено, что законы идеального газа характеризуют поведение реальных газов только при небольших давлениях. Это было вызвано тем, что абстракция идеального газа пренебрегает силами протяжений молекул.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276
Дальнейшее развитие аксиоматического метода привело к третьей стадии – построению формализованных аксиоматических систем.
Формальное рассмотрение аксиом дополняется на этой стадии использованием математической логики как средства, обеспечивающего строгое выведение из них следствий. В результате аксиоматическая система начинает строиться как особый формализованный язык (исчисление). Вводятся исходные знаки – термины, затем указываются правила их соединения в формулы, задается перечень исходных принимаемых без доказательства формул и, наконец, правила вывода из основных формул производных. Так создается абстрактная знаковая модель, которая затем интерпретируется на самых различных системах объектов.
Построение формализованных аксиоматических систем привело к большим успехам прежде всего в математике и даже породило представление о возможности ее развития чисто формальными средствами. Однако вскоре обнаружилась ограниченность таких представлений. В частности, К. Гёделем в 1931 г. были доказаны теоремы о принципиальной неполноте достаточно развитых формальных систем. Гёдель показал, что невозможно построить такую формальную систему, множество выводимых (доказуемых) формул которой охватило бы множество всех содержательно истинных утверждений теории, для формализации которой строится эта формальная система. Другое важное следствие теорем Гёделя состоит в том, что невозможно решить вопрос о непротиворечивости таких систем их же собственными средствами. Теоремы Гёделя, а также ряд других исследований по обоснованию математики показали, что аксиоматический метод имеет границы своей применимости. Нельзя, например, всю математику представить как единую аксиоматически построенную систему, хотя это не исключает, конечно, успешной аксиоматизации ее отдельных разделов.
В отличие от математики и логики в эмпирических науках теория должна быть не только непротиворечивой, но и обоснованной опытным путем. Отсюда возникают особенности построения теоретических знаний в эмпирических науках. Специфическим приемом такого построения и является гипотетико-дедуктивный метод, сущность которого заключается в создании системы дедуктивно связанных между собой гипотез, из которых в конечном счете выводятся утверждения об эмпирических фактах.
Этот метод в точном естествознании использовался уже в XVII в., но объектом методологического анализа он стал сравнительно недавно, когда начала выясняться специфика теоретического знания по сравнению с эмпирическим исследованием.
Развитое теоретическое знание строится не «снизу» за счет индуктивных обобщений научных фактов, а развертывается как бы «сверху» по отношению к эмпирическим данным. Метод построения такого знания состоит в том, что сначала создается гипотетическая конструкция, которая дедуктивно развертывается, образуя целую систему гипотез, а затем эта система подвергается опытной проверке, в ходе которой она уточняется и конкретизируется. В этом и заключается сущность гипотетико-дедуктивного развертывания теории.
Дедуктивная система гипотез имеет иерархическое строение. Прежде всего в ней имеются гипотеза (или гипотезы) верхнего яруса и гипотезы нижних ярусов, которые являются следствиями первых гипотез.
Теория, создаваемая гипотетико-дедуктивным методом, может шаг за шагом пополняться гипотезами, но до определенных пределов, пока не возникают затруднения в ее дальнейшем развитии. В такие периоды становится необходимой перестройка самого ядра теоретической конструкции, выдвижение новой гипотетико-дедуктивной системы, которая смогла бы объяснить изучаемые факты без введения дополнительных гипотез и, кроме того, предсказать новые факты. Чаще всего в такие периоды выдвигается не одна, а сразу несколько конкурирующих гипотетико-дедуктивных систем. Например, в период перестройки электродинамики X. А. Лоренца конкурировали между собой системы самого Лоренца, Эйнштейна и близкая к системе А. Эйнштейна гипотеза Ж. А. Пуанкаре. В период построения квантовой механики конкурировали волновая механика Л. де Бройля – Э. Шрёдингера и матричная волновая механика В. Гейзенберга.
Каждая гипотетико-дедуктивная система реализует особую программу исследования, суть которой выражает гипотеза верхнего яруса. Поэтому конкуренция гипотетико-дедуктивных систем выступает как борьба различных исследовательских программ. Например, постулаты Лоренца формулировали программу построения теории электромагнитных процессов на основе представлений о взаимодействии электронов и электромагнитных полей в абсолютном пространстве-времени. Ядро гипотетико-дедуктивной системы, предложенной Эйнштейном для описания тех же процессов, содержало программу, связанную с релятивистскими представлениями о пространстве-времени.
В борьбе конкурирующих исследовательских программ побеждает та, которая наилучшим образом вбирает в себя опытные данные и дает предсказания, являющиеся неожиданными с точки зрения других программ.
Задача теоретического познания состоит в том, чтобы дать целостный образ исследуемого явления. Любое явление действительности можно представить как конкретное переплетение самых различных связей. Теоретическое исследование выделяет эти связи и отражает их с помощью определенных научных абстракций. Но простой набор таких абстракций не дает еще представления о природе явления, о процессах его функционирования и развития. Для того чтобы получить такое представление, необходимо мысленно воспроизвести объект во всей полноте и сложности его связей и отношений.
Такой прием исследования называется методом восхождения от абстрактного к конкретному. Применяя его, исследователь вначале находит главную связь (отношение) изучаемого объекта, а затем, шаг за шагом прослеживая, как она видоизменяется в различных условиях, открывает новые связи, устанавливает их взаимодействия и таким путем отображает во всей полноте сущность изучаемого объекта.
Метод восхождения от абстрактного к конкретному применяется при построении различных научных теорий. Классическим образцом применения этого метода является «Капитал» К. Маркса. Но данный метод может использоваться не только в общественных, но и в естественных науках. Например, в теории газов, выделив основные законы идеального газа – уравнения Клапейрона, закон Авогадро и т. д., исследователь идет к конкретным взаимодействиям и свойствам реальных газов, характеризуя их существенные стороны и свойства. По мере углубления в конкретное вводятся все новые абстракции, которые дают более глубокое отображение сущности объекта. Так, в процессе развития теории газов было выяснено, что законы идеального газа характеризуют поведение реальных газов только при небольших давлениях. Это было вызвано тем, что абстракция идеального газа пренебрегает силами протяжений молекул.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276