бытию, которое верифицирует высказывание «существует χ такой, что /Х>У, происходит это потому, что ex hypothesi1не существует такого имени, как а. Когда «/а» выражает суждение восприятия, можно различать два шага: первый, ведущий от объекта восприятия к предложению «/а»; второй, ведущий от предложения «/а» к предложению «существует χ такой, что^х». Однако этих двух шагов нет в предполагаемом случае. Может случиться так, что суждение «существует χ такой, что fie» окажется базисным; может случиться так, что оно окажется суждением, которое истинно, но не может быть известным. Эти случаи следует истолковывать по отдельности.
Рассмотрим первый случай, в котором суждение «существует χ такой, что jx» является базисным. Есть ли причины, по которым данное суждение не выражало бы такой опытный факт, каким может быть «/а»? Слово «опыт» в известной степени расплывчатое; возможно, что оно определимо только в терминах базисных суждений. Суд, рассматривающий дела об убийстве, может решить, что А был убит В или же что он был убит неизвестным или неизвестными. Последнее заключение базируется на количестве суждений, либо доказанных в суде, либо вообще допустимых; логически необходимо, чтобы среди них имелось хотя бы одно суждение существования. На практике процесс выглядит примерно так: мы располагаем суждениями восприятия «Это — пуля», «она в голове» и общим суждением «Пули в головах оказываются в результате выстрелов из оружия». Последнее суждение — не базисное, а индуктивное обобщение. Индуктивное обобщение имеет следующую форму: «для всякого х, из Jx следует, что существует у такой, что ду». Наблюдаемые посылки этого обобщения имеют форму: fa -ga',fb - gb',fc · /с' и т. д., где а, а', Ъ, V, с, с' являются попарно одновременными событиями. В очередном случае мы обнаруживаем/d, но не находим никакого а' такого, что t/d'; мы, однако, заключаем, что «существует у, одновременный с d, такой, что ду».
Здесь проявляется различие между индуктивным умозаключением в логике и индуктивным выводом как животной привычкой.