(греч. axioma — принятое положение) — исходное утверждение (предложение) к.-л. научной теории, к-рое берется в качестве недоказуемого в данной теории и из к-рого (или совокупности к-рых) выводятся все остальные предложения теории по принятым в ней правилам вывода (ср. Постулат). Начиная с античности и вплоть до средины 19 в. А. рассматривались как интуитивно очевидные или априорно истинные предложения. При этом упускалась из виду их обусловленность человеческой практически-познавательной деятельностью. Ленин писал, что практическая деятельность человека, миллиарды раз повторяясь, закрепляется в его сознании фигурами логики, к-рые в силу этого многократного повторения получают значение аксиом. Совр. понимание аксиоматического метода требует от А. выполнения лишь одного условия: быть исходными положениями для вывода с помощью принятых логических правил всех остальных предложений (теорем) данной теории. Вопрос об истинности А. решается или в рамках др. научных теорий, или при нахождении интерпретации (Интерпретация и модель) данной системы: реализация нек-рой формализованной аксиоматической системы в той или иной предметной области свидетельствует об истинности принятых в ней А.
|
