>А Вам известен более хороший способ получения аксиом? :)
Тут ведь речь не просто про "получение аксиом", а про комплекс действий:
1) Сначала закон выводим индуктивно из эксперимента 2) Затем "подгоняем" аксиомы так, чтобы закон получался дедуктивно из аксиом
Сомнительно, что дело всегда происходит именно так. Допустим, закон Всемирного тяготения Ньютона - тут нет ни индукции, ни последующего вывода, cразу появляется аксиома.
Аксиома "проверяется" дедуктивным методом, через извлечение проверяемых следствий.
О чем и пишут классики типа Поппера и Фейнмана - придумываем аксиому (без индуктивного обоснования), далее ее проверяем.
Comments 8
Reply
А Вам известен более хороший способ получения аксиом? :)
Reply
Тут ведь речь не просто про "получение аксиом", а про комплекс действий:
1) Сначала закон выводим индуктивно из эксперимента
2) Затем "подгоняем" аксиомы так, чтобы закон получался дедуктивно из аксиом
Сомнительно, что дело всегда происходит именно так. Допустим, закон Всемирного тяготения Ньютона - тут нет ни индукции, ни последующего вывода, cразу появляется аксиома.
Аксиома "проверяется" дедуктивным методом, через извлечение проверяемых следствий.
О чем и пишут классики типа Поппера и Фейнмана - придумываем аксиому (без индуктивного обоснования), далее ее проверяем.
Reply
Reply
Leave a comment