О лингвистической природе математического мышления, редукции символов и когнитивном умвельте

Всякий, кто дерзнул заглянуть за кулисы формального символизма, рано или поздно наталкивается на досадное, но неумолимое обстоятельство: современная математическая запись, при всей своей элегантности и вычислительной мощи, есть не более чем стенографический компромисс, продиктованный экономией бумаги и удобством типографского набора, а отнюдь не онтологической необходимостью. Я утверждаю, что символьная редукция, возведённая в ранг методологического идеала в XX веке, затемнила подлинную природу математического мышления, которое по своей сути остаётся глубоко лингвистическим, и это лингвистическое измерение не только не уступает символьному в строгости, но и превосходит его в способности порождать новые концептуальные горизонты.

Историческая ретроспектива не оставляет сомнений, математика как осознанная деятельность возникла и долгое время существовала исключительно в словесной форме. Древнеегипетские папирусы, вавилонские клинописные таблички, пифагорейские числовые мистики - все они оперировали риторическими конструкциями, в которых отношения, действия и количества были неразрывно спаяны с естественно-языковыми оборотами. Аксиоматика Евклида, ставшая образцом дедуктивного метода на два тысячелетия, есть не что иное, как тщательно выстроенный нарратив, где каждая геометрическая сущность вводится через словесное определение, а каждое доказательство разворачивается как последовательность утверждений, подчиняющихся грамматике греческого языка. Символы появляются лишь в эпоху Возрождения и достигают расцвета в трудах Декарта, Лейбница и Ньютона, но даже тогда они воспринимаются как вспомогательные мнемонические средства, а не как самодостаточный язык истины.

Современная математическая лингвистика и когнитивная семантика предоставляют нам строгий инструментарий для экспликации этой лингвистической подосновы. Теория формальных грамматик, восходящая к Хомскому, и категориальная грамматика, развитая Ламбеком и Барвайзом, показывают, что синтаксические структуры естественного языка изоморфны определённым логическим исчислениям; сочинительные и подчинительные союзы соответствуют булевым операциям, падежная система кодирует аргументные позиции предикатов, а временные и модальные глаголы вводят операторы, аналогичные модальной логике. Ещё более фундаментально то, что квантификация естественного языка - «все», «некоторые» и «существует», задаёт ту же семантику, что и логические квантификаторы, но с тем существенным отличием, что в языке они погружены в богатый контекст, допускающий неоднозначность и анафору, что, как ни парадоксально, делает их более гибкими, чем их формальные двойники.

Самые базовые математические понятия "число", "пространство", "функция", "множество", имеют явные лингвистические корреляты. Категория числа отражается в грамматическом числе(единственное/множественное) и в квантитативных конструкциях; пространство - в дейктических системах(здесь/там), предлогах места и системах ориентации, которые, как показали исследования Лакоффа и Нуньеса, опираются на телесный опыт, но именно через язык обретают абстрактную силу; понятие функции в его исходном интуитивном виде это не что иное, как грамматическая зависимость между подлежащим и сказуемым, где один член определяет другой; множество же прорастает из способности языка образовывать классы и виды, что в лингвистике обозначается как гиперонимия. Таким образом, утверждение о том, что математика есть язык чисел, оказывается не просто тривиальным, но и глубоко ошибочным: математика есть язык, извлечённый из самого языка, его собственная первооснова, достигнутая посредством рефлексивного акта, в котором мы выделяем инварианты наших грамматических операций и придаём им статус автономных объектов.

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

Математическая лингвистика в её современном состоянии, особенно в ответвлениях, опирающихся на теорию категорий и типологическую семантику, способна формализовать значительную часть этого лингвистического математического пласта. Например, семантика Монтегю предоставляет прямой перевод предложений естественного языка в интенсиональную логику, где кванторы, модальности и композициональность выражаются с точностью, сопоставимой с математической строгостью. Категориальная грамматика Ламбека, в свою очередь, устанавливает изоморфизм между синтаксическими типами и объектами замкнутой моноидальной категории, что позволяет трактовать грамматические комбинации как морфизмы, а сами лингвистические выражения - как объекты, порождающие естественные преобразования. Это не просто метафора; это рабочая конструкция, которая уже сейчас применяется в компьютерной лингвистике и автоматическом доказательстве теорем.

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

Здесь я неизбежно должен коснуться знаменитой загадки Вигнера о непостижимой эффективности математики в естественных науках. Принято удивляться тому, что формализмы, изобретённые из внутренних соображений красоты, вдруг описывают физическую реальность с высокой точностью. Но этот вопрос, как мне представляется, теряет свою остроту, если мы перестаём видеть в символьной математике автономную сущность и рассматриваем её как производную от того же лингвистического умвельта, в котором коренится и наше восприятие физического мира. Эксперименты Дональда Хоффмана по эволюционному моделированию восприятия убедительно демонстрируют, что естественный отбор отбирает не объективные карты реальности, а интерфейсы, оптимизированные для выживания; но эти интерфейсы, будучи построены на языке, неизбежно несут в себе те же грамматические категории, "причинность", "субстанциальность", "локальность", и которые затем переходят в физические теории. Математика не навязывает миру чуждые схемы; она эксплицирует схемы, уже имплицитно содержащиеся в нашем речевом опыте, и потому её «эффективность» есть тавтология самоосознания языка, а не чудо.

Особого внимания заслуживает тот факт, что даже самые абстрактные разделы современной математики т.к. теория высших категорий, гомотопическая теория типов, теория топосов, все они оперируют понятиями, имеющими прямые лингвистические аналоги. Равенство, в интерпретации аксиомы унивалентности, есть не статическое отношение, а пространство путей, что напоминает о лингвистической множественности способов сказать «то же самое» - "тождество дескрипций", "референциальное тождество", "тождество по смыслу", каждое из которых несёт свою градуировку. Сопряжение функторов, составляющее сердце категориальной теории, есть не что иное, как математическая тень грамматической оппозиции активного и пассивного залога, субъекта и объекта, вопроса и ответа, где один уровень определяет другой через универсальное свойство. Даже теория типов Мартина-Лёфа, которая сегодня служит фондом для интуиционистской математики, строится на отношениях вывода, которые суть не что иное, как импликации, унаследованные от естественного условного наклонения.

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

Не следует, однако, понимать мою позицию как призыв к отказу от символьной нотации или к возврату к риторической алгебре XVI века. Символы полезны, более того, они необходимы для коммуникации в современном математическом сообществе и для эффективного счёта. Но я настаиваю на переопределении их онтологического статуса: они суть инструменты, а не субстанции; они суть тени, отбрасываемые словесными сущностями, а не сами эти сущности. Математик, который пишет формулу, должен помнить, что за каждым ? стоит бесконечный процесс суммирования, описанный словами; за каждым ? стоит универсальное утверждение, которое в языке начинается с «для любого», а это «для любого» несёт в себе целую теорию квантификации, восходящую к Аристотелю; за каждым символом производной скрывается история исчисления бесконечно малых, рассказанная Ньютоном и Лейбницем на их родных языках.

В этом контексте концепция Гёделевой неполноты получает неожиданную интерпретацию. Теоремы о неполноте касаются формальных систем, то есть систем, записанных на символьном языке с конечным алфавитом и рекурсивным множеством аксиом. Ничто не мешает нам построить теорию, которая включает в себя мета-лингвистическое измерение, например, позволяя цитировать сами предложения и манипулировать их семантическими значениями, и тогда граница неполноты сдвигается, как это показано в работах Фефермана по теориям явной математики и схематизму. Но даже эти расширения остаются в рамках формализуемого; то, что я называю лингвистической полнотой, никогда не будет схвачено никакой аксиоматикой, ибо оно есть само условие порождения аксиом, а не их следствие.

Завершая, я предлагаю математическому сообществу пересмотреть своё отношение к слову. В эпоху, когда нейросети и большие языковые модели демонстрируют способность генерировать новые математические гипотезы, мы не можем более игнорировать тот факт, что именно язык, а не символ, остаётся первичным агентом мышления. Программа обратной математики уже дала нам карту аксиоматических сил; наша задача теперь - составить аналогичную карту лингвистических сил, выделив те грамматические структуры, которые порождают наиболее содержательные математические теории. Это не возврат к донаучному мистицизму; это продвижение вперёд, к более глубокой рефлексии о природе нашего собственного познания. Математика есть не что иное, как учение о не-тождественности тождества в потоке языка, где числа, функции и пространства суть лишь неподвижные метки на берегах реки, по которой плывут смыслы, а метаязык - это сама река, формирующая своё русло как временные петли, замыкающиеся лишь в той мере, в какой мы соглашаемся забыть о её течении. Тот, кто понял это, перестанет искать непостижимую эффективность во внешнем мире и обретёт её в недрах собственной речи, где каждое слово уже содержит в себе весь потенциал будущих теорем.

Телеграм: t.me/ainewsline

Источник: vk.com

Комментарии: