Бесконечный регресс и основания математики

В XVII в. индуктивный канал не выглядел очевидно невозможным, как он выглядит теперь: ведь тогда дедукция базировалась на картезианской интуиции, а аристотелевская формальная логика принижалась. Если существует дедуктивная интуиция, почему бы не составить ей пару в виде индуктивной интуиции? Однако история логики (или теории каналов истинностных значений) от Декарта до наших дней была в сущности историей критики и совершенствования дедуктивных каналов и разрушения индуктивных каналов. Как то, так и другое осуществлялось путем превращения логики в "формальную".

Если индуктивизм снизу, исходя из обычного эмпирического базиса, желает доказать сомнительные оккультные теоретические высказывания, он должен также тщательно прояснить значения теоретических терминов. Без зрелых понятий нет зрелых истин. Таким образом, индуктивисту приходится определять теоретические термины в "наблюдаемых". Это не может быть сделано формулированием явных определений, и индуктивист пытается выйти из положения, формулируя неявные контекстуальные определения, формулируя "логические конструкты".*[10] Когда в математике хотят доказать что-либо сверху, приходится переопределять, реконструировать все, пользуясь общеизвестными терминами, расположенными вверху теории. Когда в естественной науке хотят доказать что-либо снизу, приходится переопределять, реконструировать все, пользуясь общеизвестными терминами, расположенными внизу теории ("строгий индуктивист", в частности, стремится к тому, чтобы не только истина текла снизу, но и значение двигалось таким же образом, ибо истина не может втекать в неосмысленные высказывания). Проблема индуктивного доказательства и проблема определения теоретических терминов в наблюдаемых ― она может быть названа проблемой индуктивного определения ― являются, таким образом, проблемами-близнецами, а их разрешимости ― иллюзиями-близнецами.*[11]

Первоначальная версия индуктивистской программы была разрушена скептической критикой. Но большинство еще не может принять эмпирицистскую революцию, они еще рассматривают ее как оскорбление достоинства Разума. Некоторые новейшие идеологи индуктивизма ― я теперь обращаюсь к характерному воззрению логического позитивизма ― создали обширную литературу в защиту новой, ослабленной, версии старой программы в защиту вероятностного индуктивизма. Кроме того, они не могут допустить (и в этом они правы), чтобы научная дедуктивная система была бы неосмысленной. Более того, они утверждают, что теория осмысленна, если ее днище достигает уровня наблюдаемых положений. Однако в то время как их "принцип верификации" допускает, что теоретические положения являются осмысленными, мы остаемся в потемках относительно того, каково же их действительное значение. Строгие эмпирицисты не могут допустить иного введения смысла, чем снизу теории. Они не правы в этом. Но являются ли тогда теоретические положения осмысленными, не обладая каким-либо особым смыслом? Они разрешают эту дилемму, радикально расширяя понятие определения ― понятие передачи значения ― настолько, чтобы охватить "редукцию", логическую манипуляцию, призванную передавать вверх от наблюдаемых к теоретическим терминам если не полные, то по крайней мере некоторые частичные эрзацевые значения.

Затем, так как они знают и принимают формальную логику, они вынуждены рассматривать индукцию как неполноценный вывод. Но теперь, расширив понятие передачи значения, они расширяют понятие передачи истинности таким образом, что допускают ретротрансляцию вверх от положений наблюдения к теоретическим положениям если не полноценной истины, то, по крайней мере, частичной вероятностной истины, некоторой "степени подтверждения".*[12]

Теория, построенная на вероятностной индукции, вероятно непротиворечива. В любой момент может появиться вероятностная теория вероятностной непротиворечивости.