Abstract

Современная методология даёт нам два образа структуры развития научного исследования. Эти образы частично конкурируют между собой а частично взаимно дополняются. Согласно с первым образом, развитие науки состоит в расширении множества эмпрических предложений. Напротив, согласно со вторым образом, развитие науки состоит в сужении множества допустимых научных гипотез. С каждым из этих образов связан некоторый особенный вид ассерции, который можно определить при помоши индукции. С первым связано определение отношения ассерции, выраженное в следуюшем предложении: “состояние α научного исследованияВ требует от нас принятия предложения Ф”. Со вторым —связано отношение ассерции, выраженное в следуюшем предложении: “состояние α научного исследованияВ допускает принятие предложения Ф”. Для принятых определений требования оказывается, что интуиционистская логика есть множеством тех и только тех формул, принятия которых требует от нас каждое состояние каждого научного исследования. Понятие допустимости при некотором определении также ведёт к интуиционистской логике, но при другом, гораздо более натуральном определении, приводит к оправданию определённой системы строгой импликации, более сильой, чем система S4.Полученная таким образом система при довольно натуральном определении допустимости содержит такие и только такие формулы, принятие которых допустимо при каждом состоянии каждого научного исследования