Искусственный интеллект

Мы начинаем пользоваться логикой как инструментом нашего знаково-символического мышления практически с того момента, как начинаем говорить. Нетрудно, однако, заметить, что многие люди способны мыслить и рассуждать логически правильно (по крайней мере в простых случаях) сугубо интуитивно, не обладая какими-либо детальными знаниями о законах логики. И это неудивительно, так как в человеческих популяциях с относительным доминированием знаково-символического мышления имеется генетически врожденная предрасположенность к использованию преимущественно аналитических стратегий переработки когнитивной информации. Такие логические правила, как modus ponens и modus tollens, по-видимому, являются алгоритмами мыслительных программ и метапрограмм, которые оказались включенными в арсенал некоторых «встроенных» в нашу когнитивную систему аналитических стратегий. Разумеется, эти мыслительные программы (также как и достаточно развитый естественный язык) не возникают в окончательном и готовом виде одновременно с появлением подвидов Homo sapiens и в этом смысле не являются нашим древнейшим филогенетическим наследием, как, например, перцептивное восприятие или пространственно-образное мышление. Они формируются вместе с соответствующими когнитивными структурами в ходе биологической, когнитивной и культурной эволюции человеческих популяций, эволюции естественного языка, символьного (вербального) сознания, памяти и т.л. в процессе постепенной смены доминирующего пространственно-образного мышления мышлением преимущественно знаково-символическим (логико-вербальным). С этой, эволюционно-когнитивной точки зрения, нет и не может быть никакой «общечеловеческой логики», также как и нет «человека вообще», независимо от той или иной стадии биологической, когнитивной и культурной эволюции отдельных человеческих популяций.

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

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

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