Открытая семантика и проблема полноты языков третьей искусственной природы

В статье проведен философско-методологический анализ языков технической кибернетики в контексте становления третьей искусственной природы как среды кибертехнических систем, способных к саморефлексии и саморазвитию. Рассмотрены три уровня порядковых кибернетик: кибернетика первого порядка (Н. Винер), кибернетика наблюдающих систем второго порядка (Х. Ферстер) и постнеклассическая кибернетика саморазвивающихся полисубъектных сред третьего порядка (В.Е. Лепский). Для каждого уровня установлено соответствие между типом кибертехнических систем и характеристиками языка их описания. Показано, что вычислительные системы второй искусственной природы, реализующие полные по Тьюрингу формализмы, исчерпывают возможности машин по переработке информации, однако оказываются принципиально недостаточными для описания систем, способных автономно изменять собственные семантические правила. Переход к саморазвивающимся техническим системам обусловлен применением процессуального подхода к семантике (В.А. Лекторский, А.В. Смирнов), в рамках которого значение понимается не как статически заданное соответствие, а как динамический процесс интерпретации, разворачивающийся во времени и генерирующий новые смысловые связи. Введено и обосновано понятие «открытая семантика» как ключевая характеристика языков третьей искусственной природы. Открытость семантики определена как допустимость рекурсивно-индуктивных расширений семантической области языка в процессе технического семиозиса, при котором рекурсия выступает механизмом изменения семантической области собственных синтактико-семантических правил. Предложено понятие «полнота по Геделю» в качестве характеристики экстенсиональной полноты языков с открытой семантикой. Осуществлена переоценка негативного контекста теорем К. Геделя о неполноте: семантическая неполнота формальных языков, допускающих самореферентные расширения, рассмотрена как позитивная характеристика, обеспечивающая эволюционный потенциал языковой модели. Языки третьей искусственной природы – языки рекурсивных процессов, полные по Геделю – представлены как необходимое основание для построения моделей сознания искусственных субъектов, в том числе при построении модели мира и субъекта в нем (В.А. Лефевр), а также для преодоления ключевых ограничений современных больших языковых моделей, связанных со статической и вероятностной природой их семантики.

1. Аршинов, Свирский 2015 – Аршинов В.И., Свирский Я.И. Сложностный мир и его наблюдатель. Часть первая // Философия науки и техники. 2015. Т. 20. № 2. С. 70–84.

2. Гильберт, Аккерман 2000 – Гильберт Д., Аккерман В. Основы теоретической логики / пер. с нем. А.А. Ерофеева; под ред. С.А. Яновской. – Биробиджан: Тривиум, 2000.

3. Клини 2009 – Клини С.К. Введение в метаматематику / пер. с англ. А.С. Есенина-Вольпина, под ред. В.А. Успенского. – 2-е изд., испр. – М.: Либроком, 2009.

4. Лекторский 2019 – Лекторский В.А. Комментарий к статье А.В. Смирнова «Процессуальная логика и ее обоснование» // Вопросы философии. 2019. № 2. С. 18–21.

5. Лепский 2018 – Лепский В.Е. Философско-методологические основания становления кибернетики третьего порядка // Философские науки. 2018. № 10. С. 7–36.

6. Лефевр 1973 – Лефевр В.А. Конфликтующие структуры. – 2-е изд., перераб. и доп. – М.: Советское радио, 1973.

7. Моррис 1983 – Моррис Ч.У. Основания теории знаков / пер. с англ. В.П. Мурат // Семиотика: сб. ст. / сост., ред. Ю.С. Степанов. – М.: Радуга, 1983. С. 37–89.

8. Нестеров 2017 – Нестеров А.Ю. Семиотические основания техники и технического сознания. – Самара: Издательство Самарской гуманитарной академии, 2017.

9. Нестеров и др. 2022 – Нестеров А.Ю., Дорошин А.В., Никоноров А.В., Сойфер В.А. Эволюция общества в свете философии техники // Философские науки. 2022. Т. 65. № 2. С. 7–32.

10. Пригожин 2003 – Пригожин А.И. Методы развития организаций. – М.: МЦФЭР, 2003.

11. Рубинштейн 1957 – Рубинштейн С.Л. Бытие и сознание. О месте психического во всеобщей взаимосвязи явлений материального мира. – М.: Изд-во АН СССР, 1957.

12. Соссюр 2016 – Соссюр Ф. де. Курс общей лингвистики / пер. с фр. А.М. Сухотина; под ред. и с примеч. Р.О. Шор. – 7-е изд. – М.: URSS, Либроком, 2016.

13. Турчин 2000 – Турчин В.Ф. Феномен науки. Кибернетический подход к эволюции. – 2-е изд. – М.: ЭТС, 2000.

14. Уайтхед, Рассел 2005–2006 – Уайтхед А., Рассел Б. Основания математики: в 3 т. / пер. с англ. Ю.Н. Радаева, И.С. Фролова; под ред. Г.П. Ярового, Ю.Н. Радаева. – Самара: Самарский университет, 2005–2006.

15. Целищев 2021 – Целищев В.В. Алгоритмизация мышления. Геделевский аргумент. – 2-е изд., испр. – М.: ЛЕНАНД, 2021.

16. Хуэй 2020 – Хуэй Ю. Рекурсивность и контингентность / пер. с англ. Д. Кралечкин. – М.: V-A-C Press, 2020.

17. Biosemiotics… 1992 – Biosemiotics: The Semiotic Web 1991 / ed. by T.A. Sebeok, J. Umiker-Sebeok. – Berlin; New York: Mouton de Gruyter, 1992.

18. Church 1936 – Church A. An Unsolvable Problem of Elementary Number Theory // American Journal of Mathematics. 1936. Vol. 58. No. 2. P. 345–363.

19. Gödel 1931 – Gödel K. Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I // Monatshefte für Mathematik und Physik. 1931. Bd. 38. S. 173–198.

20. Lepskiy 2018 – Lepskiy V. Evolution of Cybernetics: Philosophical and Methodological Analysis // Kybernetes. 2018. Vol. 47. No. 2. P. 249–261.

21. Foerster 1974 – Foerster H. Cybernetics of Cybernetics. – Urbana, IL: University of Illinois, 1974.

22. Peirce 1934 – Peirce C.S. Collected Papers of Charles Sanders Peirce. Vol. 5: Pragmatism and Pragmaticism. Vol. 6: Scientific Metaphysics. – Cambridge, MA: Belknap Press of Harvard University Press, 1934.

23. Rorty 1992 – Rorty R. Twenty-Five Years After // The Linguistic Turn: Essays in Philosophical Method / ed. by R. Rorty. – Chicago: University of Chicago Press, 1992. P. 371–373.

24. Smullyan, Fitting 1996 – Smullyan R., Fitting M. Set Theory and the Continuum Problem. – Oxford: Clarendon Press, 1996.

25. Tarski 1983 – Tarski A. The Concept of Truth in Formalized Languages // Tarski A. Logic, Semantics, Metamathematics: Papers from 1923 to 1938 / ed. by J. Corcoran. – 2nd ed. – Indianapolis: Hackett Publishing, 1983. P. 152–278.

26. Wiener 1948 – Wiener N. Cybernetics or Control and Communication in the Animal and the Machine. – Cambridge, MA: The Technology Press, 1948.