Избранные работы



Pdf көрінісі
бет41/273
Дата15.12.2023
өлшемі3,46 Mb.
#138813
1   ...   37   38   39   40   41   42   43   44   ...   273
Байланысты:
logic of scientific discovery


часть ее, которая и считается фальсифицированной в
этом случае. Хотя теории физики в общем не полностью
аксиоматизируемы, установление связей между их раз-
личными частями помогает нам решить, какая из этих
частей затрагивается некоторым отдельным фальсифи-
цирующим наблюдением.
17
В связи с этими четырьмя условиями и содержанием следую-
щего раздела см. несколько другое понимание рассматриваемых
проблем в [10, с. 70].
98
17. Возможные интерпретации системы аксиом
Тезис классического рационализма, согласно кото-
рому «аксиомы» некоторой системы, например аксио-
мы евклидовой геометрии, должны рассматриваться как
непосредственно или интуитивно несомненные, как са-
моочевидные, здесь обсуждаться не будет. Упомяну
лишь о том, что сам я не разделяю этого мнения. Я счи-
таю допустимыми две различные интерпретации любой
системы аксиом. Аксиомы можно рассматривать либо
(1) как
 конвенции,
либо (2) как эмпирические, или
научные,
 гипотезы.
(1) Если аксиомы рассматриваются как конвенции,
то они ограничивают использование или значение вво-
димых аксиомами фундаментальных идей (исходных
терминов или понятий) ; они устанавливают, что мож-
но, а чего нельзя говорить относительно этих фунда-
ментальных идей. Иногда аксиомы рассматриваются
как
 «неявные определения»
тех объектов, которые они
вводят. Такое понимание аксиом можно разъяснить с
помощью аналогии между аксиоматической системой и
(непротиворечивой и разрешимой) системой уравнений.
Действительно, допустимые значения «неизвестных»
(или переменных), входящих в систему уравнений, так
или иначе детерминируются ею. Даже если системы
уравнений недостаточно для задания единственного ре-
шения, она не позволяет подставлять на место «неиз-
вестных» (переменных) любую мыслимую комбинацию
значений. Одни комбинации значений система уравне-
ний характеризует как допустимые, другие — как недо-
пустимые; она проводит различие между классом допу-
стимых значений системы и классом недопустимых зна-
чений. Аналогичным образом системы понятий можно

Достарыңызбен бөлісу:
1   ...   37   38   39   40   41   42   43   44   ...   273




©emirsaba.org 2024
әкімшілігінің қараңыз

    Басты бет