я говорил об иерархиях мысли – о системе. Сейчас хочу поговорить о том, как искать пути через эти иерархии, – о логике.
Пользуются двумя видами логики: индуктивной и дедуктивной. Индуктивные умозаключения начинаются с наблюдений за машиной и ведут к общим выводам. Например, мотоцикл подскакивает на ухабе и двигатель дает сбой зажигания, потом мотоцикл подскакивает на другом ухабе, и двигатель дает сбой, потом опять подскакивает на ухабе, и опять сбой, потом мотоцикл едет по длинному гладкому отрезку пути, и сбоев нет, а потом снова подскакивает на ухабе, и двигатель пропускает зажигание снова. Тут можно логически заключить: причиной сбоев зажигания служат ухабы. Это индукция – рассуждение от конкретного опыта к общей истине.
Дедуктивные умозаключения – наоборот. Начинают с общих знаний и предсказывают частный случай. Например, если из чтения иерархии фактов о машине механик знает, что клаксон мотоцикла питается исключительно электричеством от аккумулятора, он может логически заключить, что, если аккумулятор сел, клаксон работать не будет. Это дедукция.
Проблемы, слишком сложные для здравого смысла, решаются длинными цепочками смешанных индуктивных и дедуктивных умозаключений: они вьются туда-обратно между наблюдаемой машиной и мысленной иерархией машины, которая есть в инструкциях. Верная программа этого плетения формализуется в виде научного метода.
Вообще-то в уходе за мотоциклом я никогда не встречал проблемы, которая требовала бы применять полноценный формальный научный метод. Ремонт не очень сложен. При мысли о формальном научном методе на ум иногда приходит образ гигантского джаггернаута, громадного бульдозера – медленного, нудного, неуклюжего, прилежного, но неуязвимого. Ему требуется вдвое, впятеро, может, даже вдесятеро больше времени, чем умениям неформального механика, но с ним знаешь, что в конце все-таки получишь результат. Ни одна проблема определения неисправности в уходе за мотоциклом против него не устоит. Натыкаешься на загвоздку, пробуешь все, ломаешь голову и ничего не получается – тогда понимаешь, что на сей раз Природа решила капризничать, и говоришь: «Ладно, Природа, не хочешь по-хорошему – будем по-плохому». И включаешь формальный научный метод.
Для этого заводишь лабораторный журнал. И туда все записываешь – формально, чтобы постоянно знать, где находишься, где был, куда идешь и куда хочешь попасть. В научной работе и электронике это необходимо, поскольку иначе проблемы так запутаются, что в них потеряешься, заплутаешь, забудешь, что знал и чего не знал, и придется все бросить. В уходе за мотоциклом все не так сложно, но когда начинается путаница, неплохо как-то ее придержать – формальность и точность помогают. Иногда простое действие – запись проблем – направляет мозги в нужную сторону, и понимаешь, в чем, собственно, проблема.
Логические утверждения, вносимые в журнал, делятся на шесть категорий: (1) постановка проблемы, (2) гипотезы о причине проблемы, (3) эксперименты для проверки каждой
