Искусственный интеллект - [138]

Итак, логика изучает идеальные, формальные структуры логиковербального мышления (как разновидности мышления знаково-символического), которое (в кооперации с мышлением пространственнообразным) подлежит когнитивной эволюции. Создание идеальных мыслительных схем, а затем использование для обозначения соответствующих структурных «формальных» единиц общепринятого в математике языка символов и формул, а также математических методов и т.д. - все это позволило конструировать абстрактные логические исчисления. Но отсюда ясно, что по отношению к нашему целостному мышлению, функционирование которого основано на тесной кооперации и взаимодействии правого и левого полушарий, все тавтологии любых логических исчислений с эпистемологической точки зрения могут рассматриваться только как идеальные схемы, гипотезы. Именно поэтому логические выводы, осуществляемые в соответствии с формальными схемами, далеко не всегда согласуются с нашим интуитивным пониманием и влекут за собой появление парадоксов. Непонимание того обстоятельства, что логика - это не эмпирическая «наука о мышлении», а наука об идеальных, формальных структурах нашего логико-вербального мышления, которая в силу идеального, а следовательно, и гипотетического характера своих допущений не всегда обязана следовать за нашей интуицией, за нашем интуитивным пониманием «правильного мышления» или «правильного умозаключения», нередко влечет за собой незаслуженную критику логических формализмов. В недалеком прошлом оно приводило к сугубо схоластическим попыткам разработать какие-то «логики» (типа «диалектической логики»^{112), «законами» которых были бы отрицания логических законов (например, закона противоречия или закона исключенного третьего).}

Конечно, наше мышление в целом не охватывается логикой, так как мы мыслим не только в соответствии с логическими правилами и формальными схемами, но и с помощью множества идеальных схем нелогического характера - причинно-следственные отношения, математические правила, эмпирические обобщения, извлеченные из обыденных знаний, гипотезы и допущения эмпирических наук и т.д. Кроме того, мы активно привлекаем ресурсы нашего пространственно-образного мышления, которое использует неаналитические стратегии переработки когнитивной информации, - оно обеспечивает целостное понимание (а это - важнейший аспект мышления), дарит нам творческое озарение, позволяет открыть новые знания, и т.п. Наш естественно развивающийся язык хорошо адаптирован к взаимодействию систем правого и левого полушарий, и от него было бы нелепо ожидать свойств, приемлемых только для искусственных, формализованных языков. Всё это, однако, не умаляет значения логики. Символьная формулировка логических формализмов помогает нам явным образом и с гораздо большей точностью использовать их в качестве составной части нашего интеллектуального, мыслительного арсенала. Изучение логики как теории формального мышления помогает укрепить и расширить наши врожденные аналитические способности. Хотя наши врожденные способности к аналитическому мышлению, позволяющие «интуитивно» обнаруживать верные аргументы, скорее всего не возрастают в результате изучения логики, все же нельзя отрицать, что в ходе такого изучения увеличивается возможность проверить правильность рассуждений. Люди могут сознательно (или неосознанно, по неведению) нарушать законы логики (как и правила грамматики), которые имеют силу независимо от нас. Но если в случае грамматических ошибок мы рискуем оказаться непонятыми собеседником (что, конечно, приводит к недоразумениям), то незнание законов логики может повлечь за собой ошибочные выводы и поступки, т.е. неадекватное, неадаптированное поведение.

Итак, математические и логические формализмы имеют непосредственное, прямое отношение только к нашему левополушарному знаково-символическому (логико-вербальному) мышлению. В отличие от мышления пространственно-образного это мышление людей по своей когнитивной природе является филогенетически «вторичным», оно использует «вторичное», символьное кодирование мысли и порождает идеальные понятия и концептуальные системы, оперируя своими репрезентациями с помощью аналитических стратегий. Как идеальные и формальные структуры знаково-символического мышления математические и логические теории применимы к «внемыс-лительной» реальности только косвенным образом, опосредовано -через применение к нашим эмпирическим знаниям, теоретическим допущениям, гипотезам и теориям. Математические (и логические) формализмы позволяют выявить, развернуть огромный массив скрытой, потенциально содержащейся в теоретических объектах эмпирических наук концептуальной информации, они дают возможность вычислить эмпирически проверяемые параметры и величины, получить новые следствия из научных теории и гипотез и т.д., а в абстрактных, математизированных областях естествознания выступают и как инструмент порождения новых научных понятий и концептуальных систем.

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