в действительности модус BARBARA лишь отчасти носит дедуктивный характер, в известной мере он основан на здравом смысле, практическом опыте и т. п., что имеет совсем иную внелогическую природу.
Эту последнюю трудность попытался преодолеть пробабилизм, с позиций которого в начале ХХ в. выступила группа кембриджских философов. Согласно представленной концепции, «хотя научные теории равно необоснованны, они все же обладают разными степенями вероятности <…> по отношению к имеющемуся эмпирическому подтверждению»7. Однако подлинным и универсальным решением пробабилистский подход признать трудно. В частности, применительно к вышеприведенному примеру с аристотелевским силлогизмом есть основания утверждать, конечно, что вероятность истинности высказывания «Все люди смертны» неограниченно стремится к единице, но это мало что меняет с логической точки зрения.
Если обобщить подходы к определению науки и научной истины, предлагаемые современными философами науки, методологами (такими, как К. Поппер, И. Лакатос и др.), то общая картина будет выглядеть следующим образом8. Классическая наука основывалась на верификационизме: она требовала доказательного и однозначного обоснования для научно-теоретических положений, отвергая все, что такого обоснования лишено. Когда развитие науки (особенно связанное с появлением квантовой механики и других разделов современной физики) показало, что для определенных ситуаций объективно невозможен однозначный ответ, например о точных координатах элементарных частиц (а сам этот вопрос, по сути, лишен смысла), требования были смягчены для научных теорий в целом: было признано допустимым вместо двоичного ответа на вопрос об истинности/ложности теории, научного положения («данная теория либо истинна, либо ложна, и третьего не дано») отвечать: «Данная теория истинна с вероятностью Р».
Следующим шагом был отход от верификационизма и замена его фаллибилизмом (фальсификационизмом)9. Эта радикальная замена состояла в том, что если верификационизм ищет способы доказательства (научных) положений (из конкурирующих теорий и частных утверждений предпочтение отдается тем, что обладают наиболее весомыми доказательствами), то фаллибилизм исходит из возможности опровержения (фальсификации): избираются те положения, которые наилучшим образом сопротивляются дисквалификации. Иначе говоря, научные положения, удерживающиеся в науке в качестве истинных, являются при таком подходе не доказанными, а не опровергнутыми. Утверждения, для которых условия фальсификации установить невозможно, вообще выводятся за рамки науки (не всегда делаемая оговорка должна исключать аксиомы из сферы действия этого принципа). Можно сказать, что обе традиции – верификационизм и фальсификационизм – восходят к Готфриду Вильгельму Лейбницу (1646–1716), который говорил и о предпочтительности теории, соответствующей наиболее широкому кругу данных, и о постоянном