Эвристические принципы и логические исчисления, О. Ф. Серебрянников

Изучение принципов творческой деятельности, закономерностей эвристических процессов мышления составляет одно из важных требований, выдвинутых современной наукой. Осуществление этого требования трудно представить без совместных усилий ученых, работающих в области методологии и логики научного познания, в кибернетике, психологии, педагогике и многих других отраслях науки. Современные достижения формальной логики также открывают интересные перспективы применения точных методов в изучении определенных аспектов эвристической деятельности. Тем не менее нередко можно встретить противопоставление строгих методов построения доказательств эвристическим принципам, которые используются в отыскании формулировок будущих теорем, в выработке идеи доказательства и т. п. Основу этого противопоставления составляет следующий ошибочный, по-нашему мнению, взгляд: строгие методы надежны, неоспоримы, а эвристические принципы ненадежны, спорны; первые не дают существенно новых знаний, в то время как...