А теперь перейдем от математика к собаке И.П. Павлова. Пусть у собаки вырабатывают условный рефлекс, в результате в памяти собаки формируется связь «за УС должен последовать БС» (УС - условный стимул, БС - безусловный стимул). И когда после выработки рефлекса собаке предъявляют УС, то она, «помня» о хранящейся в ее памяти «записи»: УС —> БС, делает элементарный «вывод» {УС, УС --> БС } => БС . И у собаки, ожидающей БС (скажем, кусок мяса), начинают течь слюнки.
Конечно, применение правила modus ponens (чисто дедуктивное) математиком и индуктивный «вывод», который делает собака, явно различаются. Но можем мы ли думать об эволюционных корнях логических правил, используемых в математике? Да, вполне можем - умозаключение математика и индуктивный «вывод» собаки качественно аналогичны.
Мы можем пойти и дальше - можем представить, что в памяти собаки есть
Можно далее представить процессы формирования разнообразных семантических сетей в процессе жизни собаки и накопления ей жизненного опыта. Такие семантические сети, формируемые в памяти собаки, по-видимому, аналогичны семантическим сетям, исследуемым разработчиками искусственного интеллекта [3].
Итак, мы можем думать над эволюционными корнями логики, мышления, интеллекта. И более того, было бы очень интересно попытаться строить модели эволюционного происхождения мышления. По-видимому, наиболее четкий путь такого исследования - построение математических и компьютерных моделей «интеллектуальных изобретений» биологической эволюции, таких как безусловный рефлекс, привыкание, классический условный рефлекс, инструментальный условный рефлекс, цепи рефлексов, ..., логика [4]. То есть, целесообразно с помощью моделей представить общую картину эволюции когнитивных способностей животных и эволюционного происхождения интеллекта человека.
Естественно, что такие исследования - это огромный фронт работы, и задачу построения теории происхождения мышления, задачу моделирования когнитивной эволюции можно рассматривать как сверхзадачу. Исследования этой проблемы могли бы обеспечить определенное обоснование применимости нашего мышления в научном познании, т. е. укрепить фундамент всего величественного здания науки. Чтобы вести эту работу серьезно, целесообразно идти именно по пути построения математических и компьютерных моделей когнитивной эволюции.
Но прежде чем строить модели, давайте посмотрим, кто еще думал над близкими вопросами. Проследим цепочку: Д. Юм -> И. Кант -> К. Лоренц.
В «Исследовании о человеческом познании» (1748) Давид Юм подверг сомнению понятие причинной связи [5]. А именно, он задался вопросом: почему когда мы видим, что за одним явлением
Фактически Юм задался вопросом: что нас заставляет делать выводы о происходящих в природе явлениях? Что лежит в основе этих выводов? Юм попытался понять, откуда мы берем основание заключать, что
Юм взглянул на наш познавательный процесс со стороны, извне. Он как бы вышел на некий мета-уровень рассмотрения наших собственных познавательных процессов и задался вопросом о том, откуда взялись эти познавательные процессы и почему они работают.
Острота сомнений Юма была в том, что он задался вопросом о принципиальной способности человека познавать мир.
Остроту сомнений Юма очень хорошо почувствовал Иммануил Кант. Но Кант также видел мощь и силу современной ему науки. Тогда уже была глубокая, серьезная и развитая математика, мощная ньютоновская физика, дающая картину мира, позволяющая объяснить множество явлений на основе немногих четких предположений, использующая многозвенные и сильные математические дедуктивные выводы. Что было делать Канту? Подвергнуть сомнению все эти познавательные процессы? И развивая сомнения Юма дальше, отвергнуть всю науку? Ведь на самом деле - драма!!!