рая посылка в «математических» ситуациях находится на уровне чистой формальной логики, но в «физических» ситуациях на значительно более смутном уровне. Эго отличие мне кажется существенным; дополнительные трудности физических ситуаций могут им объясняться. Попытаемся обозреть эти четыре ситуации «путем последовательного и непрерывного движения мысли», как предпочитает говорить Декарт (см. эпиграф в начале этой главы). Представим себе, что наша уверенность в В постепенно изменяется, «непрерывно» уменьшаясь или увеличиваясь. Мы представляем, что В становится менее правдоподобным, затем еще менее правдоподобным, затем в него вряд ли можно поверить, и, наконец, оно становится ложным. С другой стороны, мы представляем, что В становится более правдоподобным, затем еще более правдоподобным, практически несомненным и, наконец, истинным. Если сила нашего заключения непрерывно изменяется в том же самом направлении, что и сила нашей уверенности в В, то мало сомнений в том, каким должно быть наше заключение, с тех пор как ясны крайние случаи (В ложно, В истинно). Таким образом, мы приходим к следующим схемам:
Из А следует В - Из Л следует В
В менее правдоподобно В более правдоподобно
А менее правдоподобно А несколько более правдоподобно
Слово «несколько» во второй схеме вставлено для того, чтобы напомнить нам, что заключение, конечно, является более слабым, чем в фундаментальной индуктивной схеме. Наша уверенность в предположении зависит от нашей уверенности в одном из его следствий и изменяется в том же направлении.
Мы будем называть эти схемы «затушеванными»: первая — затушеванная доказательная схема, вторая — затушеванный вариант фундаментальной индуктивной схемы. Термин «затушеванная» должен указывать ослабление второй посылки: «менее правдоподобно» вместо «ложно», «более правдоподобно» вместо «истинно». Мы уже пользовались этим термином в этом смысле в § 12. 6.
Мы получили только что введенные затушеванные схемы из их крайних случаев, «modus tollens» и фундаментальной индуктивной схемы, рассмотренных в § 1, ослабляя вторую посылку. Таким же образом мы можем получить другие затушеванные схемы из схем, сформулированных в §§ 2 и 3. ' Мы приведем здесь лишь одну (все они выписаны в следующем параграфе). Эвристическая схема § 3 дает следующую затушеванную схему:
А несовместно с В В менее правдоподобно
А несколько более правдоподобно
.
Комментарий:
Автор :
Автор :
Автор Jemmanuil:
Ищите Бога в своем собственном сердце, вы не найдете его больше нигде.