Во всех этих случаях принцип один и тот же: если дано какое-то количество явлений, то всякое предложение о них, за исключением их первоначального пространственно-временного положения, вытекает тавтологически из небольшого количества общих принципов, которые в силу этого мы должны принимать за истинные.
Сейчас нас интересует не истинность оснований этих общих принципов, а характер того, что они утверждаю, то есть - утверждают ли они отношения по содержанию или только объемные отношения включения в класс. Я думаю, что мы должны решить этот вопрос в пользу первого толкования (то есть в пользу утверждения отношений по содержанию). Когда индукция кажется правдоподобной, то это происходит потому, что отношение между заключающимися в предложении содержаниями представляется нам не неправдоподобным. Предложение: "Логики, фамилии которых начинаются с буквы Q, живут в Соединенных Штатах" может быть доказано полным перечислением, но в него нельзя верить на основании индукции, потому что мы не видим основания, почему француз по фамилии, скажем, Quetelet должен покинуть свою родину только потому, что стал интересоваться логикой. С другой стороны, предложение: "Собаки лают" легко принимается по индуктивным основаниям, потому что на вопрос: "Какие звуки издают собаки?" мы ожидаем именно такого ответа. Задача индукции заключается в том, чтобы отношение содержаний предложения в подходящих случаях сделать вероятным. Она может сделать это даже в тех случаях, где предполагаемый индукцией общий принцип оказывается тавтологией. Вы можете заметить, что 1+3=22, 1+3+5=32, 1+3+5+7=42, и прийти к предположению, что сумма n количества первых нечетных чисел всегда равна, п2; когда вы сделали это предположение, легко доказать его дедуктивно. Насколько обычные научные индукции типа: "Медь проводит электричество" могут быть сведены к тавтологиям - это очень трудный и неясный вопрос. Существуют различные возможные определения "меди", и ответ на этот вопрос может зависеть от того, какое из этих определений мы принимаем. Я не думаю, однако, что отношения между содержаниями, оправдывающие утверждения формы "все А суть В", могут всегда быть сведены к тавтологиям. Я склонен думать, что существуют такие отношения содержаний, которые могут раскрываться только эмпирически и не могут быть ни практически, ни теоретически доказаны логическим путем.
Прежде чем покончить с этим вопросом, необходимо сказать кое-что о высказываниях со словом "некоторые", или об экзистенциальных высказываниях, как они называются в логике. Утверждение: "Некоторые A суть B является отрицанием предложения: "Ни одно A не есть B", и утверждение: "Все A суть B" есть отрицание предложения: "Некоторые A не суть B". Таким образом, истинность предложений со словом "некоторые" эквивалентна ложности соответствующих предложений со словом "все", и наоборот. Мы рассмотрели истинность предложений со словом "все", и все, что мы о них сказали, относится к ложности предложений со словом "некоторые". Теперь я хочу рассмотреть истинность предложений со словом "некоторые", которые предполагают ложность коррелятивных предложений со словом "все".
Допустим, что я встретил Джоунза и говорю вам: "Я встретил человека". Это-предложение со словом "некоторые";
оно утверждает, что для некоторого значения х предложение: "Я встретил x, и x есть человек" истинно. Я знаю, что в данном случае х есть Джоунз, но вы этого не знаете. Это мое знание позволяет мне сделать вывод об истинности предложения: "Я встретил человека". Здесь имеется довольно важное различие. Если я знаю, что предложения: "Я встретил Джоунза" и "Джоунз - человек" истинны, то это - существенное основание того, что предложение: "Я встретил человека" является истинным. Но если я знаю, что встретил Джоунза, а также, что Джоунз - человек, тогда я уже знаю, что встретил человека. Знать, что предложение: "Я встретил Джоунза" истинно, не то же самое, что знать, что я встретил Джоунза. Я могу знать последнее и не знать первого, если я не знаю языка, на котором говорят; я могу знать первое (то есть предложение) и не знать последнего, если слышу, как это предложение произносит весьма уважаемый мной человек, кому я безусловно доверяю, притом, что я не знаю того языка, на котором он говорит.
Допустим, что вы слышите дверной звонок и делаете вывод, что к вам кто-то пришел. Пока вы не знаете, кто именно пришел, вы находитесь в определенном состоянии сознания, в котором соединяются вера и неуверенность. Когда вы узнаете, кто пришел, неуверенность исчезает, а вера остается, причем к ней присоединяется новая вера, что "это Джоунз".
Таким образом, переход от предложения "о обладает свойством P" к предложению: "Что-то обладает свойством P" представляет собой просто изоляцию и обращение внимания к части, полной веры, выраженной в утверждении: "a обладает свойством p". Я думаю, что нечто подобное можно сказать и о всем дедуктивном выводе и что трудность такого вывода, когда он делается, происходит из-за того, что мы верим скорее в истинность предложения, чем в то, что предложение утверждает.
Переход от предложений, выражающих суждения восприятия, к "суждениям со словом "некоторые" - например, от предложения: "Здесь находится Джоунз" к предложению:
"Здесь находится кто-то", - не представляет, таким образом, никакого затруднения. Но имеется много предложений со словом "некоторые", в которые все мы верим, но к которым приходим не таким простым путем. Мы часто знаем, что нечто обладает свойством p, хотя и нет определенного предмета a, о котором мы можем сказать: "а обладает свойством p". Мы, например, знаем, что некто был отцом Джоунза, но не можем сказать, кто именно. Никто не знает, кто был отцом Наполеона 3, но все мы верим, что кто-то был им. Если пуля просвистит мимо вас, когда никого кругом не видно, вы скажете: "Кто-то в меня стрелял". В таких случаях, как правило, вы делаете вывод из общего предложения. Каждый человек имеет отца; следовательно, Джоунз тоже имеет отца. Если вы верите, что все имеет причину, то многое вы будете знать только как "нечто, являющееся причиной этого". Являются ли такие обобщения единственным источником предложений со словом "некоторые", не непосредственно получаемых из восприятия, или, наоборот, предложения со словом "некоторые" должны быть среди предпосылок нашего знания - это вопрос, который я пока оставляю открытым.
Существует школа, основателем которой является Брауэр, утверждающий, что высказывания с словом "некоторые" могут быть и не истинными и не ложными. Его основным примером служит следующий: "имеются три последовательные семерки в выражении числа Пи в виде десятичной дроби". Поскольку это было установлено, никакие три последовательные семерки не встречаются. Если они где-нибудь позже встречаются, то это может быть вскрыто, но если они никогда не встречаются, это вообще не может быть выявлено. Я уже обсуждал этот вопрос в "Исследовании о смысле и истине", в котором я пришел к заключению, что подобные предложения всегда либо ложны, ибо истинны, если они синтаксически значимы. Не видя оснований изменять этот взгляд, я отсылаю читателя к указанной книге для ознакомления с моей аргументацией и утверждаю без дальнейших доказательств, что все синтаксически правильные предложения либо истинны, либо ложны.
ГЛАВА 11.
ФАКТ, ВЕРА, ИСТИНА И ПОЗНАНИЕ.
Целью этой главы является установление в догматической форме определенных заключений, которые вытекают из предыдущего рассмотрения, а также из более полного обсуждения этих вопросов, имеющегося в моей книге "Исследование о смысле и истине". B. Russell, An Inquiry into Meaning and Truth. Особенно я хочу, насколько возможно определеннее, установить значения четырех слов, упомянутых в названии этой главы. Я не собираюсь отрицать, что эти слова принимают и другие столь же полноправные значения, но хочу только отметить, что значения, которые я буду им приписывать, представляют собой важные понятия, которые, будучи поняты и выяснены, оказываются полезными для многих философских проблем, а будучи смешаны, являются источником неразрешимой путаницы.
А. Факт.
"Факт", в моем понимании этого термина, может быть определен только наглядно. Все, что имеется во вселенной, я называю "фактом". Солнце - факт; переход Цезаря через Рубикон был фактом; если у меня болит зуб, то моя зубная боль есть факт. Если я что-нибудь утверждаю, то акт моего утверждения есть факт, и если это утверждение истинно, то имеется факт, в силу которого оно является истинным, однако этого факта нет, если оно ложно. Допустим, что хозяин мясной лавки говорит: "Я все распродал, это факт", - и непосредственно после этого в лавку входит знакомый хозяину покупатель и получает из-под прилавка отличный кусок молодого барашка. В этом случае хозяин мясной лавки солгал дважды: один раз, когда он сказал, что все распродал, и другой - когда сказал, что эта распродажа является фактом. Факты есть то, что делает утверждения истинными или ложными. Я хотел бы ограничить слово "факт" минимумом того, что должно быть известно для того, чтобы истинность или ложность всякого утверждения могла вытекать аналитически у тех, кто утверждает этот минимум. Например, если предложения: "Брут был римлянин" и "Кассий был римлянин" каждое утверждает факт, то нельзя сказать, что предложение: "Брут и Кассий были римляне" утверждает новый факт. Мы уже видели, что вопрос о том, существуют ли отрицательные и общие факты, связан с трудностями. Эти тонкости, однако, в своем большинстве - лингвистического характера.