КРИПТО-ИНДУКТИВИСТ: У меня закончились аргументы. Мой интеллект убежден. Тем не менее, я должен сознаться, что все еще чувствую нечто, что могу описать как «эмоциональное сомнение».

ДЭВИД: Возможно, вам поможет мое последнее замечание, не о тех специфических аргументах, о которых вы говорили, а о неправильном представлении, лежащем в основе многих из них. Вы знаете, что это неправильное представление, но, возможно, вы еще не включили в свое мировоззрение следствия этого. Может быть, именно это и является источником вашего «эмоционального сомнения».

КРИПТО-ИНДУКТИВИСТ: Продолжайте.

ДЭВИД: Неправильное представление о самой природе аргумента и объяснения. Кажется, что вы допускаете, что аргументы и объяс­нения, которые оправдывают действия в соответствии с конкретной теорией, имеют форму математических доказательств, направленных от допущений к выводам. Вы ищете «сырье» (аксиомы), из которого мы делаем выводы (теоремы). Логическая структура такого типа, свя­занная с каждым удачным аргументом или объяснением, действительно существует. Но процесс доказательства не начинается с «аксиом» и не заканчивается «выводом». Он скорее начинается где-то посредине с варианта, изобилующего несоответствиями, пробелами, неопределен­ностями и неуместными выкладками. Все эти недостатки подвергают критике. Делаются попытки заменить ошибочные теории. Теории, ко­торые критикуют и заменяют, обычно содержат некоторые аксиомы. Поэтому ошибочно полагать, что доказательство начинается с теорий, которые, в конечном итоге, служат его «аксиомами», или что эти теории оправдывают доказательство. Доказательство заканчивается — экспе­риментально — когда кажется, что оно показало удовлетворительность связанного с ним объяснения. Принятые «аксиомы» не являются окон­чательными и неоспоримыми убеждениями. Это просто эксперимен­тальные объяснительные теории.

КРИПТО-ИНДУКТИВИСТ: Понятно. Доказательство — это нечто, отличное от дедукции и несуществующей индукции. Оно ни на чем не основывается и ничем не оправдывается. Да этого и не нужно, потому что его цель — решать задачи, показать, что данное объяснение решает данную задачу.