Моррис Коэн - Введение в логику и научный метод

3. Гипотезы могут рассматриваться как предположения возможных связей между реальными или воображаемыми фактами. Поэтому вопрос об истинности гипотез может не ставиться. Согласно данному подходу, необходимое свойство гипотезы заключается в том, чтобы ее можно было сформулировать в детерминированной форме, так чтобы с помощью логических средств можно было установить ее импликации.

4. Число гипотез, которые может формулировать исследователь, не ограничено и зависит от его воображения. Таким образом, существует потребность в методе выбора нужной гипотезы среди нескольких альтернатив и в методе установления того, что рассматриваемые альтернативы, на самом деле, являются различными гипотезами, а не только кажутся таковыми. Пожалуй, наиболее важной и лучше всего исследованной частью такого метода является формальное умозаключение. Именно поэтому нами подробно исследовалась структура формальной логики. Цель этого исследования заключалась в том, чтобы донести до читателя адекватный смысл того, что значит обоснованность, а также в том, чтобы у него сложилось общее представление относительно возможностей и сферы применения формальной логики.

5. Всегда удобно иметь в запасе несколько разных гипотез, следствия которых были тщательно изучены. В предложении и разработке альтернативных гипотез состоит задача математики. Математика получает импульс от естественных наук относительно того, какие именно гипотезы следует изучать; а естественные науки обязаны математике тем типом упорядоченности, который олицетворяет их предметная область.

6. Дедуктивная разработка гипотезы – не единственная задача научного метода. Поскольку возможных гипотез много, задача исследования заключается в определении того, какое из возможных объяснений или решений проблемы наилучшим образом согласуется с фактами. Таким образом, формальные соображения никогда не достаточны для установления материальной истинности какой-либо теории.

7. Абсолютная истинность не может быть доказана ни для одной гипотезы, в которой утверждается общее суждение. Мы видели, что в каждом исследовании, имеющем дело с фактами, применяется вероятностный вывод. Задача подобных исследований заключается в отборе именно той гипотезы, которая является наиболее вероятной в свете имеющихся оснований; задача же дальнейшего исследования сводится к отысканию других фактических оснований, которые увеличат или уменьшат правдоподобие такой теории.

Научному методу всегда свойственно систематическое сомнение. Оно не распространяется на все вещи, поскольку очевидно, что это невозможно. Оно скорее направлено на случаи, где недостает адекватных оснований.

1. Наука не удовлетворяется психологической уверенностью, ибо сама по себе интенсивность того или иного верования не является гарантией его истинности. Наука требует и ищет адекватные в логическом смысле основания для утверждаемых в ней суждений.

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

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

4. Верификация теорий является лишь приблизительной. Она просто показывает, что в рамках экспериментальной погрешности эксперимент совместим с верифицируемой гипотезой.

Идеалом науки является получение систематической взаимосвязи фактов. Изолированные суждения не конституируют науку. Такие суждения служат лишь поводом для отыскания логических связей между ними и другими суждениями.

1. Здравый смысл удовлетворяется смешанным набором информации. Вследствие этого утверждаемые им суждения зачастую оказываются неясными, область их применения – неизвестной, а их совместимость в целом остается под вопросом. Таким образом, оказывается очевидным преимущество отыскания системы среди фактов. Условием достижения системы является привнесение точности в утверждаемые суждения. Это позволяет ясно определить ту меру, в которой суждения являются истинными. Более того, противоречия между утверждаемыми суждениями постепенно элиминируются, поскольку суждения, являющиеся частью системы, должны поддерживать и исправлять друг друга. Таким образом, расширяются границы имеющейся у нас информации и увеличивается ее точность. Научный метод, на самом деле, отличается от других методов именно своей точностью и числом исследуемых фактов.

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

3. Для идеальной системы требуется, чтобы суждения, истинность которых в ней утверждается, были связаны без введения дополнительных суждений, основания для которых являются слабыми или вообще не существуют. Число присутствующих в системе несвязанных суждений или суждений, не имеющих оснований, минимально. Следовательно, внутри системы требование простоты, выраженное принципом бритвы Оккама, выполняется с высокой степенью эффективности. Принцип бритвы Оккама гласит, что количество сущностей не должно увеличиваться без надобности. Этот принцип можно интерпретировать как требование доказывать то, что является доказуемым. Идеал системы требует только этого.

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