Философия, математика, лингвистика:
аспекты взаимодействия (PhML)

Виктор Толстых (ГУАП, Россия, Санкт-Петербург)

Искусственный сверхинтеллект между мифами и реальностью

Тезисы доклада: Понятие искусственного интеллекта возникло из во многом наивного представления о том, что неживое способно мыслить. Это представление перекочевало и в наши дни, получив подкрепление в виде теста Тьюринга, который генеративные трансформеры научились довольно успешно проходить. Среди разработчиков технологии возникло представление о том, что «слабый» искусственный интеллект, основанный на архитектурно-физическом сходстве сети искусственных нейронов с нейронной сетью человеческого мозга, может дорасти до «сильного» искусственного интеллекта, способного «думать» и принимать решения самостоятельно без оглядки на создателей. В обозримом будущем также прогнозируется появление «сверхинтеллекта», одновременно превосходящего человеческий интеллект по всем направлениям. При этом, прогнозы его свойств во многом алармистские и они больше напоминают прогнозы фантастов, которые редко сбываются. Разносторонние исследования автора показывают, что такие прогнозы скорее несбыточны: сверхинтеллект в принципе возможен, но только как дополнение к человеческому интеллекту. В докладе обсуждаются вопросы:
 - Как может выглядеть искусственный сверхинтеллект? Враг он нам или друг?
 - Плюсы и минусы четвёртой промышленной революции
 - Новая формулировка «сильного» интеллекта и сверхинтеллекта
Основные результаты исследований автора опубликованы в философско-культурологическом альманахе ПАРАДИГМА, выпуски 37 (2022 г.) и 38 (2023 г.).

Информация о докладчике: Виктор Толстых - доцент Санкт-Петербургского государственного университета аэрокосмического приборостроения (ГУАП), математик, специализировавшийся в области геометрии и топологии. Имеет опыт работы в ИТ компаниях, России, Европы и США. Научная деятельность связана с вопросами прогнозирования временных рядов, методов искусственных нейронных сетей, компьютерного зрения, а также искусственного интеллекта.

---

Джузеппе Лонго (Centre Cavaillès, CNRS, Collège de France и ENS, Париж)

Различие между понятиями обобщение и концептуальный перенос, основанное на размышлениях Георга Крейзеля о вычислимости

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

Литература::

• A. Asperti, G. Longo. Categories, Types and Structures. Category Theory for the working computer scientist. M.I.T. Press, 1991;
   - Тираж распродан, но доступен для скачивания полный текст книги в формате PDF, стр. 1-300.
  
  
• F. Bailly, G. Longo, Mathematics and the Natural Sciences. The Physical Singularity of Life, Imperial College Press, London, 2011;
   - Введение на английском языке и Рецензия на английском языке;
   -  Предварительная версия на французском языке., Hermann, Paris, 2006;
   - Предисловие, оглавление на французском языке.
  
  
• G. Longo, M. Montévil, Perspectives on Organisms: Biological Time, Symmetries and Singularities, Springer, 2014;
   - Предисловие, написанное D. Noble; Вступительное слово авторов; Содержание; Ведение в главе 1;  - Тираж распродан, но доступен для скачивания полный текст книги в формате PDF, стр. 1-315.

Информация о докладчике: Джузеппе Лонго - Заслуженный научный директор Национального центра научных исследований (CNRS), математик, специализирующийся на логике и вычислимости, а также эпистемолог. Последние двадцать лет его работа была сосредоточена на исследовании взаимосвязи математики и естественных наук, в частности, на эволюционной биологии организмов. Его текущий проект посвящен эпистемологии новых интерфейсов, фокусирующейся на исторических корреляциях и альтернативах новому альянсу вычислительных формализмов с управлением человеком и природой посредством алгоритмов и предположительно объективных методов «оптимальности». Более подробная информация представлена на его личной веб странице, где есть ссылки на загружаемые публикации и, в частности, на выдержки из последних опубликованных книг:
 - J. Lassègue, G. Longo, L'empire numérique. De l'alphabet à l'IA. PUF, Paris, 19 mars 2025.
 - G. Longo, Le cauchemar de Prométhée. Les sciences et leurs limites. Préface de Jean Lassègue, postface d’Alain Supiot. PUF, Paris, 2023.
   Джузеппе Лонго является со-президентом ассоцоации Épokhé (ex-AAGT); он сотрудничает с международной некоммерческой организацией учёных, выступающих за социальную и экологическую ответственность, European Network of Scientists for Social and Environmental Responsibility (ENSSER); он участвует в работе группы математиков, объединённых в Ассоциацию Groupe Cardano.

---

Франсуа Растье (CNRS и INaLCO, Париж)

Семиотический статус языка, симулируемого генеративным ИИ

Тезисы доклада: Искусственный Интеллект (ИИ) переживает бум и глобальный всплеск популярности с ноября 2022 года благодаря своей новой способности генерировать тексты, изображения и звуки. После краткого исторического обзора мы рассмотрим семиотический статус симулированного языка. Основные вопросы для обсуждения:
 - В чём различия между системой символов и кодом сигналов?
 - Каковы его лингвистические особенности (дискурс, жанры, стиль)?
 - Как интерпретировать тексты, сгенерированные ИИ?
 - Какую концепцию культуры отражают чат-боты?
 - Как и почему ошибки, известные как галлюцинации, могут иметь систематический статус?
 - Каковы задокументированные последствия широкого использования генеративного ИИ, особенно в образовании?

Примечание: Доклад был сделан на французском (без перевода на русский по техническим причинам).

Информация о докладчике: Франсуа Растье - семантик, Заслуженный научный директор Национального центра научных исследований (CNRS), работающий в Лаборатории текстов, информатики и многоязычия Национального института восточных языков (INaLCO) в Париже. Десять лет он проработал в лаборатории искусственного интеллекта и специализировался на семантике цифровых корпусов текстов. Его интеллектуальный проект находится в рамках семиотики культур. Его недавно опубликованная книга: F. Rastier, L'I.A. m'a tué.Comprendre un monde post-humain. Paris, Editions Intervalles, 2025. Другие ссылки:
 -  Подборка онлайн-статей;
 -  Групповой семинар.

Елена Чеботарёва (Санкт-Петербургский университет, Санкт-Петербург)

Математика и естествознание: через призму эволюционной парадигмы

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

Информация о докладчике: В настоящее время Елена Чеботарёва работает на кафедре философии науки и техники Санкт-Петербургского государственного университета. Она занимается исследованиями в области социальной и исторической эпистемологии, философии техники. Тема её текущего проекта: Революционные преобразования в науке как фактор инновационных процессов: концептуальный и исторический анализ.

---

Сергей Соловьёв (IRIT, Тулуза, и ЛЭТИ, Санкт-Петербург)

Семантические игры с ограничениями на вычислительную сложность стратегий

Тезисы доклада: Традиционная теоретико-игровая семантика разрабатывалась с целью подтверждения (иным способом) уже известной семантики логических систем. Обычно устанавливалось, что Верификатор имеет выигрышную стратегию в игре, связанной с формулой А тогда и только тогда, когда А доказуема в определённой логической системе или истинна в определённой модели. Хорошо известно, что ограничения на классы допустимых стратегий Верификатора и Фальсификатора могут разрушить эту взаимосвязь: например, активно изучался вопрос, что происходит, если ограничиться только эффективно вычислимыми стратегиями. Мы изучаем вопрос с другой точки зрения: как семантика может «извратиться» при наличии асимметрии между игроками. Некоторые виды асимметрии рассматрвиались в литературе, например, когда один из игроков имеет право «брать ход назад». В данной работе принимается во внимание также другой вид асимметрии – неравнество вычислительных возможностей. Оказывается, что при некоторых условиях Верификатор может выиграть, даже если формула является ложной (и наоборот, Фальчификатор если формула является истинной).

Информация о докладчике: Сергей Соловьёв работает в области категорной логики и её аспектов, связанных с теорией доказательств (теоремы когерентности). Он изучал изоморфизм объектов в категориях с дополнительной структурой (например декартово замкнутых и симметрических моноидальных замкнутых категориях). В сотрудничестве с Джузеппе Лонго он исследовал «систему F» (непредикативную логику второго порядка с некоторыми дополнительными правилами для равенства выводов/лямбда-термов). В частности, они охарактеризовали равенство термов в этой системе с так называемой «аксиомой C» (genericity theorem), а затем исследовали свойства отношения "подтиповости", основанного на "функциональном погружении" (coercive subtyping). Ему также удалось доказать так называемую "гипотезу Маклейна" (о полноте категории векторных пространств в качестве модели теории симметрических моноидальных замкнутых категорий). В Даремском университете он участвовал в исследовательском проекте по "разработке выразительной теории типов для формального анализа". В сотрудничестве с Чжаоуи Луо он работал над общей теорией coercive subtyping для зависимых типов. Одним из последних его результатов было доказательство представимости любых конечных групп в качестве групп автоморфизмов типов в системе F, а также зависимых типов. Профессор Исследовательского Института Информатики в Тулузе (IRIT) и Университета Тулузы, он преподает логику и теорию лямбда-исчисления, дискретную математику, модальную и временную логику, а также линейную алгебру и теорию вероятностей для студентов, изучающих информатику.