математической индукции, таким, как трансфинитная индукция, встречающаяся в некоторых математических дисциплинах.
В результате возникают весьма любопытные ситуации, когда мы можем, при достаточном времени и достаточных вычислительных средствах, доказать каждый отдельный случай теоремы
Доказательство есть логический процесс, который должен привести к определенному заключению через конечное число шагов. Напротив, логическая машина, действующая по определенным правилам, не обязательно должна прийти когда-либо к заключению. Она может продолжать свою работу шаг за шагом, никогда не останавливаясь; при этом она будет либо совершать последовательность действий все увеличивающейся сложности, либо повторять один и тот же процесс, подобно вечному шаху в шахматах. Это действительно происходит в случае некоторых парадоксов Кантора и Рассела. Рассмотрим, например, класс всех классов, не являющихся членами самих себя. Будет ли этот класс членом самого себя? Если да, то он определенно не является членом самого себя; а если нет, он столь же определенно обязан быть членом самого себя. Машина для решения этого вопроса будет попеременно давать ответы «да», «нет», «да», «нет» и т. д. и никогда не придет к равновесию.
Решение, некогда предложенное Бертраном Расселом для его парадоксов, состоит в том, что каждому утверждению приписывается особая величина, так называемый «тип», позволяющая нам различать утверждения, на первый взгляд формально одинаковые сообразно природе предметов, к которым они относятся: являются [c.199] ли эти предметы «вещами» в простейшем смысле, классами «вещей», классами классов «вещей» и т. д. Наш метод решения парадоксов также состоит в присвоении некоторого параметра каждому утверждению: этим параметром служит момент времени, в который оно высказано. В обоих случаях мы вводим параметр, который можно назвать параметром униформизации, и с его помощью устраняем двусмысленность, которая была обусловлена лишь пренебрежением этим параметром.
Мы видим, таким образом, что логика машины похожа на человеческую логику и, следуя Тьюрингу, можем использовать логику машины для освещения человеческой логики. Имеет ли машина другое, еще более яркое человеческое свойство — способность к обучению? Чтобы убедиться, что она может иметь даже и это свойство, рассмотрим два тесно связанных понятия: ассоциацию идей и условный рефлекс.
В английской эмпирической философской школе, от Локка до Юма, считалось, что содержание ума состоит из определенных элементов, которые Локк называл идеями, а позднейшие авторы — представлениями и впечатлениями. Предполагалось, что простые представления или впечатления находятся в чисто пассивном уме, не влияющем на содержащиеся в нем идеи, так же как чистая грифельная доска не влияет на символы, которые могут быть на ней начертаны. Предполагалось, что благодаря некоторой внутренней деятельности, не заслуживающей, впрочем, названия силы, эти идеи соединяются в группы по принципам сходства, смежности и причинной связи. Из этих принципов наиболее важным признавался принцип смежности. Предполагалось, что представления и впечатления, часто появлявшиеся вместе во времени или в пространстве, приобретают способность вызывать друг друга, так что появление одного вызывает появление всей группы.
Во всем этом налицо признание некоторой динамики, но идея динамики еще не проникла тогда из физики в биологические и психологические науки. Типичным биологом XVIII столетия был Линней, собиратель и классификатор, точка зрения которого прямо противоположна точке зрения современных эволюционистов, физиологов, генетиков и представителей экспериментальной [c.200] эмбриологии. По существу, при таком обилии материала, подлежащего исследованию, образ мыслей биологов того времени вряд ли мог быть иным. Точно так же в психологии понятие психического содержания преобладало над понятием психического процесса. Это вполне могло быть пережитком схоластического упора на различные субстанции в мире, где существительное было гипостазировано, а на глагол обращалось мало внимания. Тем не менее переход от этого статического образа мыслей к более динамической точке зрения современности, примером которой явилась работа Павлова, совершенно ясен.
Павлов работал гораздо больше с животными, чем с людьми, и занимался больше видимыми действиями, чем интроспективными состояниями ума. Он открыл, что наличие пищи вызывает у собак увеличенное выделение слюны и желудочного сока. Если собаке показывать какой-нибудь предмет вместе с пищей и только вместе с пищей, то вид этого предмета приобретает способность вызывать выделение слюны или желудочного сока даже в отсутствие пищи. Соединение по смежности, которое Локк интроспективно наблюдал для идей, здесь соответствует аналогичному соединению типов поведения.
Однако есть существенное различие между точками зрения Павлова и Локка, обусловленное тем, что Локк рассматривает представления, а Павлов — типы поведения. Реакции, которые наблюдал Павлов, направлены к тому, чтобы довести процесс до успешного завершения или предотвратить катастрофу. Выделение слюны важно для глотания и переваривания пищи, а избегание болезненного раздражения предохраняет животное от телесного повреждения. Таким образом, в условном рефлексе участвует элемент, который можно назвать
С биологической точки зрения, высокий аффективный тонус, естественно, должен иметь место в ситуациях, благоприятных для продолжения рода, хотя, быть может, и не для сохранения индивидуума, а низкий аффективный тонус — в ситуациях, неблагоприятных для продолжения рода, хотя, быть может, и не губительных для индивидуума. Всякая раса, не сообразующаяся с этим требованием, разделит участь Сдобной Бабки[162] Льюиса Кэрролла и неизбежно вымрет. Тем не менее даже у обреченной расы может функционировать действенный механизм, пока раса еще продолжается. Другими словами, даже самое самоубийственное распределение аффективного тонуса будет вызывать определенный тип поведения.
Заметим, что механизм аффективного тонуса сам является механизмом обратной связи. Его можно даже изобразить схемой, как показано на рис. 7.
Рис. 7
Здесь сумматор аффективного тонуса комбинирует аффективные тонусы от отдельных механизмов аффективного тонуса за короткий промежуток прошлого, действуя по определенным правилам, которые мы не будем указывать. Обратные провода от сумматора к отдельным механизмам аффективного тонуса служат для изменения внутреннего аффективного тонуса каждого процесса сообразно выходному сигналу сумматора, и эти изменения сохраняются до тех пор, пока они не будут изменены последующими сообщениями от сумматора. Обратные провода от сумматора к механизмам процессов служат для понижения порогов при повышении общего аффективного тонуса и для повышения их [c.202] при понижении общего аффективного тонуса. Они опять-таки производят долговременное воздействие, которое продолжается до тех пор, пока не будет изменено другим импульсом от сумматора. Однако это продолжающееся воздействие ограничено теми процессами, которые имеют место в момент прихода обратного сообщения, и точно так же ограничены воздействия на отдельные механизмы аффективного тонуса.
Этим, подчеркиваю, я не хочу сказать, что условно-рефлекторный процесс осуществляется согласно указанному здесь механизму; я лишь говорю, что он