Именно это неточное понятие имеется в виду, когда говорят о том, что все наше знание подвержено сомнению. Вопрос о том, какая степень сомнения является «обоснованной», зависит от ваших целей. Там, где нет обоснованного сомнения с точки зрения юриста, оно может существовать с точки зрения философа или логика. С точки зрения логика, важно принять решение относительно степени вероятности различных утверждений. В результате становится возможным установить некоторое измерение соглашений. Большинство людей отдаст одно из первых мест таким утверждениям, как «дважды два четыре»; сомневаться в их истинности – почти патология. Утверждения о том, что мы испытываем в данный момент времени, такие как «Мне жарко» или «Я слышу большой шум», будучи правильно интерпретированными, также будут обладать очень высокой степенью надежности. Гораздо меньше можно доверять отголоскам памяти, но они становятся практически несомненными, будучи подтвержденными некоторым количеством других людей. Некоторые события в истории и географии не подвергаются сомнению любым разумным человеком, например существование Наполеона в прошлом и существование в настоящем горы Эверест. Несколько менее вероятно, что Земля круглая и что планеты движутся вокруг Солнца по орбитам, которые имеют приблизительно эллиптическую форму. Говоря все это, я выступаю не как философ, а как интерпретатор точки зрения просвещенного здравого смысла.
Если вы теперь, как логик, зададите самому себе вопрос о том, какова природа ваших верных убеждений, которые действительно обоснованы, но не обоснованы теоретически, по поводу Наполеона и горы Эверест, то вы обнаружите, что в каждом случае основания являются достаточными только в том случае, если принят принцип индукции. Почему мы верим в существование Наполеона? Потому что существуют свидетельства. Почему мы верим в свидетельства? Потому что мы считаем невозможным, чтобы некоторое количество людей независимо друг от друга придумали одну и ту же историю. Почему? Потому что по опыту мы знаем, что лжецы обычно говорят разные вещи, если только они не сговорились заранее. В конце концов, мы должны придти к тому, что мы используем известный опыт в качестве основания для построения выводов относительно неизвестного, и такого рода выводы справедливы только в том случае, если справедлива индукция.
Лаплас полагал, что вероятность, присущая индуктивному выводу, является определенной и допускает числовое измерение. Он выработал принцип, согласно которому если вы пришли в уэлльскую деревню и спросили первого попавшегося мужчину, как его зовут, а он ответил: «Уильям», то шансы 2:1, что следующего мужчину, которого вы встретите, будут тоже звать Уильям. Если и второго звали Уильям, то шансы для следующего мужчины будут 3:1 и т. д.; если первые 100 мужчин имели имя «Уильям», шансы для 101-го равны 101:1. Если бы этот принцип был справедлив, то индуктивные выводы в науке, особенно собранные с помощью законов в один большой индуктивный вывод, имели бы такие огромные шансы в свою пользу, что ни один человек даже и не подумал бы доказывать их ложность.
Однако, к сожалению, рассуждение Лапласа было сопряжено с ошибками и в целом было отвергнуто. Мы не можем так легко, если это вообще возможно, получить количественную оценку вероятности индуктивных выводов.
Юм, позволивший себе скепсис в отношении ко всему, бросил тень сомнения и на индуктивный принцип. С тех пор логики много писали о самой проблеме, но так и не предложили ее решения. Для этого, в целом, есть три возможности. Во-первых, принцип может быть демонстративным. Во-вторых, он может быть принят, если не как демонстративный, то как самоочевидный. В-третьих, его можно отвергнуть как просто привычку животных, неспособных к рациональному оправданию. Для всех трех возможностей существуют возражения.
Попытки доказать принцип, подобный принципу Лапласа, потерпели неудачу. И для любого человека, привыкшего делать дедуктивные выводы из определенных посылок, должно казаться невозможным, что доказательство может быть получено иным способом, кроме как предположением какого-либо другого принципа, например закона, который как раз и существует для нужд доказательства. Хотя мы не можем догматически заявить, что доказательство никогда не будет найдено, возможность этого нахождения чрезвычайно мала.