"Джон Лилли. Программирование и метапрограммирование человеческого биокомпьютера" - читать интересную книгу автора

области. Мое единственное стремление - быть свободным - "исследовать, а не
использовать". Я делюсь тем, что испытал, поскольку моя профессия - искать,
найти, рассмотреть, написать, оставаясь в пределах науки. Пусть другие
используют в своей профессии, бизнесе, занятиях то, что мне посчастливилось
найти. Я обнаружил, что как только становлюсь заинтересованным коммерчески,
политически или как-нибудь еще, я теряю то, что более всего ценю -
объективность, беспристрастность, непредвзятость, возможность свободно
исследовать ум как естественный объект. Делать деньги, лечить кого-то,
руководить, быть избранным, быть специалистом в своей науке - все это
необходимо и нуждается в личностях высокоинтеллектуальных, зрелых и
преданных делу. Так уж оказалось, что я не стал одним из них - возможно, я
и делал попытки, но все-таки не выбрал этого.
В Соединенных Штатах Америки 1966 года настаивать на роли исследователя
глубин человеческого ума значило бросать вызов интеллектуальным традициям,
социальным шаблонам и выбирать область приложения исследовательских усилий,
которые мало кто поддержит. В этой стране имеется тенденция субсидировать
научные исследования одних специалистов по рекомендациям других
специалистов - я знаю, что так обстоит дело в медицине, но это есть и в
других областях науки. В этом смысле данная работа зависит от поддержки
слишком большого числа специалистов. Я надеюсь, что когда-нибудь такие
работы, как эта, будут опираться на свои собственные достоинства.

Я склоняю голову перед Неведомым. И разве непонятно, что науке,
посвятившей себя Самому Таинственному и Самому Глубокому из Неведомого,
нужна поддержка.



Метатеоретический подход

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

1. Первый подход основан на метатеоретическом допущении, что любая
система мышления покоится на несводимых друг к другу постулатах,
принимаемых на веру. Тогда все следствия из манипуляций думающей машины с
данными, извлеченными из внешней реальности или из собственной памяти,
являются лишь разработкой, комбинированием и вариациями на темы исходных
постулатов. Такой подход можно назвать формалистическим. Из такого подхода
следует, что при использовании достаточно тонких методов, можно добраться
до исходных постулатов, которые мотивируют, направляют и определяют работу
ума. Можно ввести еще одно метатеоретическое допущение, состоящее в том,
что если выявлен набор всех базовых постулатов, то это дает возможность
объяснить поведение, порождаемое соответствующим умом. (Уайтхед и Рассел,
1927; Карнап, 1942; Тарский, 1946).

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