Архив Август, 2009

Ло­гическое исчисление

Изучение и оправдание гипотетико-дедуктивного метода как само­стоятельного методологического образования начинается еще в XVIII в. (Д. Гартли, Дж. Лесаж и др.), но его признание приходит лишь к концу XIX в. Обоснование этого метода принято связывать с именами ученых XIX в., Г. Гершеля и У. Уэвелла. Теоретики гипотетико-дедуктивного метода первыми осознали, что прогресс в науке существенно связан […]

Читать далее »

Комментарии к записи Ло­гическое исчисление отключены

holdfast 05.08.2009 в рубриках: Принцип историзма

Формы научного познания

Итак, мы рассмотрели проблему структуры и содержания методологи­ческого арсенала научного познания. Для упорядочения изложенного ма­териала можно представить методы различных уровней в виде следую­щей обобщающей схемы. В этой главе будут рассмотрены те формы научного познания, кото­рые могут выступать единицами логико-методологического анализа. Не­которые критерии для выделения подобных единиц были введены нами в конце § 0.4. Важнейшим из […]

Читать далее »

Комментарии к записи Формы научного познания отключены

holdfast 03.08.2009 в рубриках: Структурный анализ

Исчисление натураль­ных выводов

Это означает, что если мы зада­ли начальное множество аксиом и правила вывода, то мы потенциально уже имеем и множество всех логических следствий из этих аксиом. Что же касается гипотетико-дедуктивной теории, то ее логическая структура несколько иная. Одним из первых логиков, осознавших, что реальное на­учное рассуждение отлично от на процесса «порождения» теорем из не­скольких аксиом, был […]

Читать далее »

Комментарии к записи Исчисление натураль­ных выводов отключены

holdfast 01.08.2009 в рубриках: Принцип историзма