Искусственный интеллект - [137]
Несмотря на то что логика возникла еще в IV в. до Р.Х., и её методы на протяжении столь длительного исторического периода менялись, основная задача этой науки в общем и целом существенно не претерпела изменений - она всегда исследовала и продолжает исследовать то, как из одних утверждений логически выводятся другие утверждения. Логика исходит из предположения, что логический вывод зависит только от «формы», т.е. от способа связи входящих в него утверждений и их структуры (строения), а не от конкретного содержания этих утверждений. Современная неклассическая логика не внесла в этот подход каких-либо принципиальных изменений - все её разделы и направления также игнорируют конкретное концептуальное содержание высказываний (умозаключений) и оперируют только с их логической формой, структурой. Логика, как и математика, не является опирающейся на эксперимент эмпирической наукой (наподобие физики) и в силу этого не может быть отображением каких-то «наиболее общих отношений реального мира» или «реального положения дел в физическом мире». Она также имеет непосредственное отношение лишь к нашему знаково-символическому мышлению, а точнее к его разновидности - мышлению логико-вербальному. Логика - это наука об идеальных, формальных логических структурах вербального мышления, принудительная сила которых вытекает из их тавтоло-гичносги. Формулы, представляющие любой логический закон, всегда истинны, независимо от каких-либо интерпретаций переменных. Все законы логики являются логическими тавтологиями, которые нельзя подтвердить или опровергнуть никаким опытом. Конечно, логические тавтологии «пусты» в том смысле, что они не содержат когнитивной информации о внешнем мире. Но эти формализмы содержат информацию об идеальном, «правильном» вербально репрезентируемым мышлении, о правилах этого мышления, которые обеспечивают трансляцию истинностных значений от посылок к заключениям. Благодаря этому они позволяют выявить скрытую, потенциально содержащуюся в концептуальных объектах, когнитивную информацию.
Мы начинаем пользоваться логикой как инструментом нашего знаково-символического мышления практически с того момента, как начинаем говорить. Нетрудно, однако, заметить, что многие люди способны мыслить и рассуждать логически правильно (по крайней мере в простых случаях) сугубо интуитивно, не обладая какими-либо детальными знаниями о законах логики. И это неудивительно, так как в человеческих популяциях с относительным доминированием знаково-символического мышления имеется генетически врожденная предрасположенность к использованию преимущественно аналитических стратегий переработки когнитивной информации. Такие логические правила, как modus ponens и modus tollens, по-видимому, являются алгоритмами мыслительных программ и метапрограмм, которые оказались включенными в арсенал некоторых «встроенных» в нашу когнитивную систему аналитических стратегий. Разумеется, эти мыслительные программы (также как и достаточно развитый естественный язык) не возникают в окончательном и готовом виде одновременно с появлением подвидов Homo sapiens и в этом смысле не являются нашим древнейшим филогенетическим наследием, как, например, перцептивное восприятие или пространственно-образное мышление. Они формируются вместе с соответствующими когнитивными структурами в ходе биологической, когнитивной и культурной эволюции человеческих популяций, эволюции естественного языка, символьного (вербального) сознания, памяти и т.л. в процессе постепенной смены доминирующего пространственно-образного мышления мышлением преимущественно знаково-символическим (логико-вербальным). С этой, эволюционно-когнитивной точки зрения, нет и не может быть никакой «общечеловеческой логики», также как и нет «человека вообще», независимо от той или иной стадии биологической, когнитивной и культурной эволюции отдельных человеческих популяций.
Эволюция логико-вербального мышления в особенности тесно сопряжена с эволюцией символьного (вербального) сознания, которое позволило людям управлять «встроенными» аналитическими стратегиями и соответствующими мыслительными схемами, оперировать ментальными репрезентациями (в словесном формате) независимо от содержащейся в них конкретной концептуальной информации. Благодаря этому у человечества открылись принципиально новые когнитивные возможности конструировать идеальные логические схемы рассуждений (формализмы) и использовать их для извлечения из концептуальных объектов новой информации. Характерно, что само возникновение логики как науки неразрывно связано с определенным этапом когнитивной эволюции не всех без исключения, а только некоторых человеческих популяций. Оно стало реально возможным лишь благодаря широкому распространению вербальной формы культурно-информационного контроля окружающей среды и архаической магии слова. Если с помощью «истинного» слова нельзя «овладеть» окружающим миром, то незачем тогда исследовать, при каких условиях одни высказывания «безошибочно» выводятся из других высказываний!
