по чисто логическим основаниям, т.е. оно непротиворечиво. Теперь Юм показывает следующее: если
В есть непротиворечивое утверждение наблюдения о возможном будущем событии, а
К – класс истинных утверждений наблюдения о прошлых событиях, то
В всегда можно присоединить к
K без противоречия, иными словами, если утверждение
В о возможном будущем событии мы добавляем к классу
К, то мы
никогда не придем к логическому противоречию. Это утверждение Юма можно сформулировать иначе:
логически невозможно, чтобы будущее наблюдение противоречило классу прошлых наблюдений.Теперь к тезису Юма добавим теорему чистой логики, а именно: если утверждение В можно без противоречия присоединить к классу утверждений К, то его также без противоречия можно присоединить к любому классу, состоящему из утверждений К и любого утверждения, выводимого из К.
Итак, мы доказали: если теория Ньютона выводима из класса К истинных утверждений наблюдения, то никакое будущее наблюдение В не может противоречить теории Ньютона и наблюдениям К.
Известно, с другой стороны, что из теории Ньютона и прошлых наблюдений можно логически вывести утверждение о том, произойдет завтра или не произойдет солнечное затмение. Если это утверждение говорит, что завтра не будет солнечного затмения, то наше В очевидно несовместимо с теорией Ньютона и классом К. Из этого и наших предыдущих рассуждений логически следует невозможность предположения о том, что теория Ньютона выводима из наблюдений.
Мы доказали наше третье утверждение. Теперь мы можем осознать всю несостоятельность опыта – парадокс эмпирической науки, открытый Кантом: динамика Ньютона существенно превосходит все наблюдения. Она универсальна, точна и абстрактна; исторически она возникла из мифов и чисто логическими средствами можно показать, что ее нельзя вывести из утверждений наблюдения.
Кант показал также, что все это справедливо и для повседневного опыта, хотя, быть может, и не в такой степени: повседневный опыт тоже превосходит все наблюдения. Повседневный опыт интерпретирует наблюдения, ибо без теоретической интерпретации наблюдения остаются слепыми – неинформативными. Повседневный опыт постоянно оперирует абстрактными идеями, например, понятиями причины и следствия, поэтому его также нельзя вывести из наблюдений.
Для того чтобы разрешить загадку опыта и объяснить, как вообще возможны естествознание и опыт, Кант построил теорию опыта и естествознания. Эта теория восхищает меня как поистине героическая попытка решить парадокс опыта, однако я считаю, что предложенный им ответ был ложен, следовательно,
