Учебное пособие для аспирантов сельскохозяйственных вузов Издательские решения По лицензии Ridero



Pdf көрінісі
бет45/267
Дата16.05.2024
өлшемі3 Mb.
#202350
түріУчебное пособие
1   ...   41   42   43   44   45   46   47   48   ...   267
Байланысты:
s18022022mamedov2

при определенных условиях
в любом языке существуют истинные, но недоказуемые утвер-
ждения.
Выводы, которые сделал К. Поппер:
«…вывод о невозможно-
сти универсального критерия истины является непосредствен-
ным следствием результата, полученного Тарским путем соеди-
нения теоремы Геделя о неразрешимости с его собственной
теорией истины, согласно которому универсального критерия
истины не может быть даже для относительно узкой области
теории чисел, а значит, и для любой науки, использующей
арифметику. Естественно, что этот результат применим
a priori
к понятию истины
в любой нематематической области знания, в которой ши-
роко используется арифметика» (Поппер)
Аксиоматический метод
— это способ построения научной
теории, при котором в ее основу кладутся некоторые исходные
положения — аксиомы (постулаты), из которых все остальные
утверждения этой теории выводятся из них чисто логическим
путем, посредством доказательства. Для вывода теорем из ак-
сиом (и вообще одних формул из других) формулируются спе-
циальные правила вывода. Следовательно, доказательство в ак-
сиоматическом методе — это некоторая последовательность
формул, каждая из которых есть либо аксиома, либо получает-
ся из предыдущих формул по какому — либо правилу вывода.
Этот метод имеет ограниченное применение, ибо требует вы-
сокого уровня развития аксиоматизированной содержательной
теории.
Абстрагирование и идеализация.
Абстракции возникают на
аналитической стадии
исследова-
62


ния, когда начинают рассматривать отдельные стороны, свой-
ства и элементы единого, целостного процесса. В результате об-
разуются отдельные понятия, категории и суждения, которые
служат для формулирования гипотез, законов и теорий.
На завершающей


Достарыңызбен бөлісу:
1   ...   41   42   43   44   45   46   47   48   ...   267




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

    Басты бет