На выезде мы проезжаем городской парк: я заметил его прошлой ночью, и он пробудил во мне память. Просто видение: какой-то взгляд вверх, в кроны деревьев. Однажды он спал на скамейке в этом парке на пути в Бозмен. Вот почему я не узнал вчера этого леса. Он ехал ночью, ехал в бозменский колледж.
9
Теперь мы пересекаем Монтану по Йеллоустоунской Долине. Среднезападные кукурузные поля сменяют западную полынь и наоборот — в зависимости от речного орошения. Иногда мы поднимаемся на кручи, уводящие из орошаемого района, но обычно стараемся держаться у реки. Проезжаем знак, где написано что-то про Льюиса и Кларка.[8] Кто-то из них поднимался сюда в одну из своих вылазок во время Северо-Западного Перехода.
Приятный звук. Как раз для Шатокуа. У нас сейчас тоже что-то вроде Северо-Западного Перехода. Снова проезжаем поля и пустыню, а день тем временем продолжается.
Теперь я хочу пойти дальше за тем самым призраком, которого преследовал Федр, — за самй рациональностью, за этим скучным, сложным, классическим призраком формы, лежащей в основе.
Сегодня утром я говорил об иерархиях мысли — о системе. Сейчас хочу поговорить о методах поисков пути через эти иерархии — о логике.
Используются два вида логики: индуктивная и дедуктивная. Индуктивные умозаключения начинаются с наблюдений за машиной и приходят к общим заключениям. Например, если мотоцикл подскакивает на ухабе, и двигатель пропускает зажигание, потом мотоцикл подскакивает еще на одном ухабе, и двигатель пропускает зажигание, потом опять подскакивает на ухабе, и двигатель опять пропускает зажигание, потом мотоцикл едет по длинному гладкому отрезку пути, и перебоя зажигания нет, а потом подскакивает еще на одном ухабе, и двигатель пропускает зажигание снова, то можно логически заключить, что причиной перебоя зажигания служат ухабы. Это — индукция: рассуждение от конкретного опыта к общей истине.
Дедуктивные умозаключения производят прямо противоположное. Они начинают с общих знаний и предсказывают частное наблюдение. Например, если из чтения иерархии фактов о машине механик знает, что клаксон мотоцикла питается исключительно электричеством от аккумулятора, то может логически заключить, что если аккумулятор сел, клаксон работать не будет. Это — дедукция.
Решение проблем, слишком сложных для разрешения здравым смыслом, достигается длинными цепочками смешанных индуктивных и дедуктивных умозаключений, которые вьются туда и обратно между наблюдаемой машиной и мысленной иерархией машины, которую можно найти в инструкциях. Правильная программа этого переплетения формализуется в виде научного метода.
На самом деле, я никогда не видел проблемы из области ухода за мотоциклом, достаточно сложной для того, чтобы требовалось применение полноценного формального научного метода. Проблемы ремонта не столь сложны. Когда я думаю о формальном научном методе, на ум иногда приходит образ огромного Джаггернаута, громадного бульдозера — медленного, нудного, неуклюжего, прилежного, но неуязвимого. Ему требуется вдвое, впятеро, может быть, вдесятеро больше времени, чем потребует умение неформального механика, но с ним знаешь, что в конце результат все-таки получишь. В уходе за мотоциклом не существует проблемы определения неисправности, которая устояла бы против него. Когда натыкаешься на действительно трудную загвоздку, пробуешь все, ломаешь голову, и ничего не срабатывает, и понимаешь, что на этот раз Природа решила быть по-настоящему непослушной, то говоришь: «О'кей, Природа, милый парень был, да весь вышел,» — и собираешь силы для формального научного метода.
Для этого существует лабораторная записная книжка. Всё записывается формальным образом с тем, чтобы постоянно знать, где находишься, где был, куда идешь и куда хочешь попасть. В научной работе и электронной технологии это необходимо, поскольку иначе проблемы станут такими сложными, что в них потеряешься, запутаешься, забудешь то, что знаешь и чего не знаешь, и придется все бросить. В уходе за мотоциклом это не так сложно, но когда начинается путаница, то неплохо немного сдержать ее, сделав все формальным и точным. Иногда простое действие — запись проблем — направляет мозги на то, что эти проблемы реально собой представляют.
Логические утверждения, вносимые в записную книжку, делятся на шесть категорий: (1) постановка проблемы, (2) гипотеза, касающаяся причины проблемы, (З) эксперименты, предназначенные для испытания каждой гипотезы, (4) предсказанные результаты экспериментов, (5) наблюдаемые результаты экспериментов, и (6) заключения из результатов экспериментов. Это ничем не отличается от формальной организации лабораторных тетрадей в коллеждах и высших школах, но цель здесь — не простая трата времени, а точное руководство мыслями, которое окажется неудачным, если записи не будут точными.