При любом разумном определении мышления я полагаю, что компьютеры действительно мыслят. Но если так, тогда мышление – это не исключительная компетенция человеческих существ. Есть ли в людях что‑то еще, что делает их исключительными?

Кто‑то скажет: людей исключительными делает то обстоятельство, что в них есть часть некой божественной сущности. Может, и так, но это не очень содержательная мысль. Если мы встретим разумного пришельца, то как нам определить, что у него тоже есть это je ne sais quoi[1], делающее его личностью? Можем ли мы сказать нечто более глубокое об исключительных качествах личности?

Что отделяет людей от нынешнего поколения мыслящих машин, так это то, что люди могут думать про мышление и могут отбросить определенный образ мышления, если он оказывается для них непригоден.

Наиболее ярким примером того, как люди думают о собственном мышлении, было открытие логики стоиками и Аристотелем. Эти греческие философы поставили вопрос: «Каким законам нам нужно следовать, чтобы правильно мыслить?» Неслучайно, что прогресс символической логики в XX веке привел к изобретению умных машин, то есть компьютеров. Когда мы узнали о правилах мышления, разобраться в том, как заставить неживую материю их придерживаться, было лишь вопросом времени.

Сумеем ли мы сделать так, чтобы эти достижения перешли на новый уровень? Сумеем ли мы сконструировать машины, которые не только мыслят, но также занимаются метамышлением, то есть осмыслением мышления? Одна интригующая возможность состоит в том, что для осмысления мышления машине будет нужно что‑то вроде свободы воли. Другая – в том, что мы близки к созданию машин со свободной волей, а именно квантовых компьютеров.

Что конкретно входит в метамышление? Проиллюстрирую эту идею с точки зрения символической логики. В символической логике теория состоит из языка L и некоторых правил R – они обусловливают, какие предложения выводятся из других предложений. Следовательно, есть два варианта действий. Вы можете размышлять в рамках системы – писать доказательства на языке L, используя правила R (существующие сейчас компьютеры именно это и делают: мыслят в рамках системы). Вы также можете размышлять о системе , спрашивая, например, достаточно ли у вас правил для того, чтобы вывести все логические следствия теории. Последнее действие обычно называется металогикой и является образцовым примером метамышления. Это мышление о системе , в отличие от мышления в рамках системы .

Но меня интересует еще один пример метамышления: если вы приняли определенную теорию, тогда вы также приняли определенный язык и правила. Но вы можете отказаться от этого языка или от этих правил, если думаете, что другая теория будет лучше отвечать стоящим перед вами задачам. Мы пока не построили машины, которая умели бы делать нечто подобное, то есть оценивать разные системы и выбирать из них. Почему? Возможно, для выбора определенной системы из их множества нужна свободна воли, эмоции, цели и другие вещи, не присущие интеллекту как таковому. Возможно, эти способности у нас пока не получается передать неживой материи.

[1] Не знаю что (фр.) – Прим. пер.