А. Г. Кислов Уральский федеральный университет
СОВРЕМЕННАЯ ЛОГИКА И КОГНИТИВНЫЕ ИССЛЕДОВАНИЯ Логика является одной из самых древних наук, а междисциплинарные исследования познавательных процессов когнитивной наукой характерны для наших дней, и взаимоотношения между этими областями знания настолько не просты, что в их характеристике обычными становятся слова «разочарование логикой». Традиционно человеческая способность к познанию, а точнее – к научному познанию, рассматривалась в качестве образца зрелой, сформированной интеллектуальности, изучалась в рамках гуманитарного знания (прежде всего, в рамках философии – эпистемологией), а каноном научного познания считалась традиционная формальная (классическая) логика, вполне сложившаяся уже в IV в. до н. э. Когнитивные исследования существенно сместили акцент рассмотрения в сторону интеллекта зарождающегося, его становящейся способности к познанию (что особенно характерно для когнитивной психологии, напр., [3]). Традиционная логика оказалась слишком абстрактным построением с излишне ригористичными семантическими обязательствами, а значит и слабо применимой к областям изучения и моделирования реальной (естественной) интеллектуальной деятельности.
Однако на IX Международном конгрессе по логике, методологии и философии науки (Упсала, Швеция), прошлый век был назван «золотым веком Логики» [1, С. 80]. Употребление столь лестного эпитета может быть объяснено целым рядом причин, но две из них, пожалуй, самые главные: во-первых, математизация логики, и кажется, что «такого предательства» никак не могут простить в широкой гуманитарной среде; во-вторых, деуниверсализация классической логики и появление множества неклассических логических систем, актуальное научное событие, культурно-философское осмысление которого пока не сложилось. И если математизация логики решающим образом повлияла на появление информационных технологий и, как следствие, такой когнитивной проблематики как ИИ, то деуниверсализация логики все еще остается terra incognita для многих специалистов по изучению интеллекта.
Логический плюрализм составляют следующие направления логических исследований:
- неклассические логики (среди них – многозначные, нечеткие, интуиционистские, паранепротворечивые и др.), причем неклассические в собственном смысле слова, т. к. они или вовсе отказываются от классических логических законов, или существенно ослабляют их;
- интенсиональные логики (среди них – временные, нормативные, эпистемические, эротетические и др.), объектные языки которых включают имена содержательных сущностей;
- логики модифицируемых рассуждений (среди них – релевантные, немонотонные и др.), которые учитывают критерии естественности рассуждений.
Все эти логические теории связаны с исследованием границ применения наших познавательных способностей, и в рамках обсуждаемой проблемы соответствуют пониманию построения каждой локальной (неуниверсальной) логики как стремления «сконструировать схему для рассуждений, скорее подходящих для простых смертных, чем для ангелов» [2]. Однако за оправданным интересом к ослабленным версиям логического следования и принципиально не элиминирующей субъекта (интеллектуально несовершенного, например, терпимого к противоречиям, без способностей к «логическому всеведению» и пр.) семантикой логических языков стоит отнюдь не попытка реабилитировать «торжество» неформальных рассуждений исключительно тех субъектов, что не являются искушенными в вопросах научного познания.
Часто, имея в виду специальную научную дисциплину, к термину «логика» применяют эпитет «формальная» (впервые это, по всей видимости, было сделано И. Кантом). Ставшее некогда привычным, сейчас это уточнение оказывается излишним: во-первых, все философско-интеллектуальные системы, известные под термином «логика», не исключая содержательных аспектов обоснования, искали принципы именно оформления мышления; во-вторых, несмотря на свободный поиск научного инструментария, именно формальные (в частности, математические) методы оказались по-настоящему стабильными и действенными. Конечно, для традиционного, пропедевтического понимания логики характерно определение ее как науки о формах и законах правильного мышления, однако именно дискурс, как «речь, погруженная в жизнь» (Н. Д. Арутюнова), то есть языковая практика, в широком понимании языка как семиотической системы, задает формы мысли и потому являет собой пространство логических исследований. Таким образом, для современного понимания логики приемлема довольно таки широкая формулировка, которую использовал Г. Х. фон Вригт: «логика изучает … артикуляцию мысли в языке» [1, С. 83].
Хорошо известна полисемия слова «логика», причем множественность значений исходного «όо» усложняется непростой философской судьбой большинства из них. Важно помнить, что наряду со специально-научным значением термина «логика», которое опирается на трактовку рассуждений как особого рода дискурсивных актов, имеют место и онтологическое, и гносеологическое значения этого термина. И вряд ли будет состоятельным спор о наиболее верном или наиболее удачном употреблении, поскольку нельзя выделить «самое главное» из его значений, более того – весьма затруднительно вообще провести жесткие границы между ними. Так что проще говорить о различных аспектах значения, каждый из которых сыграл определенную роль при выборе и закреплении термина «логика» в качестве имени рассматриваемой научной дисциплины, где, кроме собственно логических проблем, неизбежно встают вопросы философского характера об онтологических и гносеологических предпосылках семантики формальных языков различных систем логики. Поэтому философские системы оказываются интересными с точки зрения организации представлений о познании и формирования соответствующей концептуальной базы, в соответствии с исследовательской позицией ведущих специалистов, что «центральный путь развития логической науки не в ориентации на обыденные рассуждения, а в ее ориентации на более глубинные теоретические, философские основания науки и мышления в целом» [4, С. 55]. Вопрос о познании мира был и остается одним из центральных вопросов философии, здесь накоплен весьма богатый опыт раскрытия сущности познания и когнитивных способностей в целом. Современная логика с ее многообразием систем и философской обоснованностью формальных семантик их языков составляет самостоятельный, привлекательный в теоретическом и перспективный в практическом планах, но еще не проработанный должным образом подход к когнитивным исследованиям.
Литература
Вригт Г. Х. фон. Логика и философия в XX веке // Вопросы философии. № 8. 1992. С. 80–91.
Да Коста Н., Френч С. Непротиворечивость, всеведение и истина (или попытка сконструировать схему для рассуждений, скорее подходящих для простых смертных, чем для ангелов) // Философские науки. 1991. № 8. С. 51–68.
Крайг Г., Бокум Д. Психология развития. СПб., 2006.
Смирнов В. А. Иммануил Кант и современная логика // Кантовский сборник. Калининград. Вып. 14. 1989. С. 51–58.
|