EN
Манускрипт
  • Научная статья
  • 22 сентября 2026
  • Открытый доступ

Историко-философские предпосылки проблемы искусственного интеллекта: от мифов к теории вычислимости

Полный
текст RU

Аннотация

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

Материалы исследования

  1. Декарт Р. Рассуждение о методе, чтобы верно направлять свой разум и отыскивать истину в науках // Декарт Р. Сочинения: в 2 т. / сост., ред., вступ. ст. В. В. Соколова. М.: Мысль, 1989. Т. 1.
  2. Декарт Р. Размышления о первой философии // Декарт Р. Сочинения: в 2 т. / сост., ред. и примеч. В. В. Соколова; пер. с лат. С. Я. Шейнман-Топштейн. М.: Мысль, 1994. Т. 2.
  3. Лейбниц Г. В. Монадология / пер. с фр. Б. П. Боброва // Лейбниц Г. В. Сочинения: в 4 т. / ред., сост., авт. вступ. ст. и примеч. В. В. Соколова. М.: Мысль, 1982. Т. 1.
  4. Тарский А. Понятие истины в языках дедуктивных наук / пер. с польск. В. Л. Васюкова // Философия и логика Львовско-Варшавской школы / сост. В. А. Смирнов, В. Л. Васюков; отв. ред. Е. Н. Шульга. М.: Российская политическая энциклопедия (РОССПЭН), 1999.
  5. Aristotle. Prior Analytics / transl. with introd., notes, and comment. by R. Smith. Indianapolis – Cambridge: Hackett Publishing Company, 1989.
  6. Boole G. The Mathematical Analysis of Logic: Being an Essay Towards a Calculus of Deductive Reasoning. Cambridge: Macmillan, Barclay, & Macmillan, 1847.
  7. Boole G. An Investigation of the Laws of Thought, on Which Are Founded the Mathematical Theories of Logic and Probabilities. L. – Cambridge: Walton and Maberly: Macmillan and Co., 1854.
  8. Frege G. Grundgesetze der Arithmetik: Begriffsschriftlich abgeleitet. Jena: Verlag von Hermann Pohle, 1893. Bd. 1.
  9. Frege G. Begriffsschrift, a Formula Language, Modeled upon That of Arithmetic, for Pure Thought / transl. by S. Bauer-Mengelberg // From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931 / ed. by J. van Heijenoort. Cambridge: Harvard University Press, 1967.
  10. Frege G. Boole’s Logical Calculus and the Concept-Script // Frege G. Posthumous Writings / ed. by H. Hermes, F. Kambartel, F. Kaulbach; transl. by P. Long, R. White. Oxford: Basil Blackwell, 1979.
  11. Gödel K. On Formally Undecidable Propositions of Principia Mathematica and Related Systems / transl. by B. Meltzer; introd. by R. B. Braithwaite. Edinburgh – L.: Oliver and Boyd, 1962.
  12. Hobbes T. Leviathan, or The Matter, Forme and Power of a Commonwealth Ecclesiasticall and Civil. L., 1651.
  13. Turing A. M. On Computable Numbers, with an Application to the Entscheidungsproblem // Proceedings of the London Mathematical Society. 1937. Ser. 2. Vol. 42. No. 1. https://doi.org/10.1112/plms/s2-42.1.230
  14. Turing A. M.Computing Machinery and Intelligence // Mind. 1950. Vol. 59. No. 236. https://doi.org/10.1093/mind/LIX.236.433

Источники

  1. Бочаров В. А. Аристотель и традиционная логика: анализ силлогистических теорий. М.: Изд-во Московского университета, 1984.
  2. Георгиу Т. С. Решение проблемы «сознание – тело» и искусственный интеллект // Вестник Тверского государственного университета. Серия: Философия. 2022. № 4 (62). https://doi.org/10.26456/vtphilos/2022.4.032
  3. Журавлева А. С. Универсальная характеристика в метафизическом проекте Г. В. Лейбница // Вестник Пермского университета. Философия. Психология. Социология. 2012. Вып. 2 (10).
  4. Михайлова Н. В. Программа формализма Гильберта как работающее философское направление обоснования математики // Российский гуманитарный журнал. 2015. Т. 4. № 6. https://doi.org/10.15643/libartrus-2015.6.12
  5. Целищев В. В. История тезиса Черча // Гуманитарные науки в Сибири. Серия: Философия и право. 2009. № 1.
  6. Черноскутов Ю. Ю. О силлогистике Дж. Буля // Дискурс. 2021. Т. 7. № 2. https://doi.org/10.32603/2412-8562-2021-7-2-5-15
  7. Шевцов К. П. Память телесных автоматов в механической вселенной Декарта // Исторические, философские, политические и юридические науки, культурология и искусствоведение. Вопросы теории и практики. 2012. № 7-2 (21).
  8. Crossley J. N. Ramon Llull’s Contributions to Computer Science // Ramon Llull: From the Ars Magna to Artificial Intelligence / ed. by A. Fidora, C. Sierra. Barcelona: Artificial Intelligence Research Institute, IIIA-CSIC, 2011.
  9. Koetsier T. The Art of Ramon Llull (1232-1350): From Theology to Mathematics // Studies in Logic, Grammar and Rhetoric. 2016. Vol. 44. No. 1. https://doi.org/10.1515/slgr-2016-0004
  10. Lodge P. Leibniz’s Mill Argument Against Mechanical Materialism Revisited // Ergo. 2014. Vol. 1. No. 3. https://doi.org/10.3998/ergo.12405314.0001.003
  11. Mayor A. Gods and Robots: Myths, Machines, and Ancient Dreams of Technology. Princeton – Oxford: Princeton University Press, 2018. https://doi.org/10.2307/j.ctvc779xn
  12. Milkov N. A New Interpretation of Leibniz’s Project for Characteristica Universalis // Hans Poser, Einheit in der Vielheit, Proceedings of the 8th International Leibniz-Congress, 2006.
  13. Raatikainen P. Hilbert’s Program Revisited // Synthese. 2003. Vol. 137. https://doi.org/10.1023/A:1026287119565
  14. Rozemond M. Mills Can’t Think: Leibniz’s Approach to the Mind-Body Problem // Res Philosophica. 2014. Vol. 91. No. 1. https://doi.org/10.11612/resphil.2014.91.1.1
  15. Sales T. Llull as Computer Scientist, or Why Llull Was One of Us // Ramon Llull: From the Ars Magna to Artificial Intelligence / ed. by A. Fidora, C. Sierra. Barcelona: Artificial Intelligence Research Institute, IIIA-CSIC, 2011.
  16. Zach R. Hilbert’s Program Then and Now // Philosophy of Logic / ed. by D. Jacquette. Amsterdam: Elsevier, 2007. https://doi.org/10.1016/B978-044451541-4/50014-2

Информация об авторах

Мальцев Владислав Антонович

Вятский государственный университет, г. Киров

Информация о статье

История публикации

  • Поступила в редакцию: 1 сентября 2026.
  • Опубликована: 22 сентября 2026.

Ключевые слова

  • философия искусственного интеллекта
  • машина Тьюринга
  • формализация рассуждения
  • теоремы Гёделя о неполноте
  • субъект познания
  • philosophy of artificial intelligence
  • Turing machine
  • formalization of reasoning
  • Gödel’s incompleteness theorems
  • epistemic subject

Copyright

© 2026 Автор(ы)
© 2026 ООО Издательство «Грамота»

Лицензионное соглашение

Creative Commons Attribution 4.0 International (CC BY 4.0)