<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.3 20210610//EN" "JATS-journalpublishing1-3.dtd">
<article article-type="research-article" dtd-version="1.3" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xml:lang="ru"><front><journal-meta><journal-id journal-id-type="publisher-id">cyberspace</journal-id><journal-title-group><journal-title xml:lang="ru">Философские проблемы информационных технологий и киберпространства</journal-title><trans-title-group xml:lang="en"><trans-title>Philosophical Problems of IT &amp; Cyberspace (PhilIT&amp;C)</trans-title></trans-title-group></journal-title-group><issn pub-type="epub">2305-3763</issn><publisher><publisher-name>Пятигорский государственный университет</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.17726/philIT.2019.1.16.4</article-id><article-id custom-type="elpub" pub-id-type="custom">cyberspace-19</article-id><article-categories><subj-group subj-group-type="heading"><subject>Research Article</subject></subj-group><subj-group subj-group-type="section-heading" xml:lang="ru"><subject>Статьи</subject></subj-group></article-categories><title-group><article-title>Как одолеть машину? Стратегия и тактика на «игровом поле» ментализма и механицизма</article-title><trans-title-group xml:lang="en"><trans-title>How to overpower a machine? Strategy and tactics on the «playing field» of mentalism and mechanicism</trans-title></trans-title-group></title-group><contrib-group><contrib contrib-type="author" corresp="yes"><name-alternatives><name name-style="eastern" xml:lang="ru"><surname>Барышников</surname><given-names>П. Н.</given-names></name><name name-style="western" xml:lang="en"><surname>Baryshnikov</surname><given-names>P. N.</given-names></name></name-alternatives><email xlink:type="simple">pnbaryshnikov@pglu.ru</email><xref ref-type="aff" rid="aff-1"/></contrib></contrib-group><aff-alternatives id="aff-1"><aff xml:lang="ru"><institution>ФГБОУ ВО «Пятигорский государственный университет»</institution><country>Россия</country></aff><aff xml:lang="en"><institution>Pyatigorsk State University</institution><country>Russian Federation</country></aff></aff-alternatives><pub-date pub-type="collection"><year>2019</year></pub-date><pub-date pub-type="epub"><day>30</day><month>06</month><year>2021</year></pub-date><volume>0</volume><issue>1</issue><fpage>58</fpage><lpage>67</lpage><permissions><copyright-statement>Copyright &amp;#x00A9; Барышников П.Н., 2021</copyright-statement><copyright-year>2021</copyright-year><copyright-holder xml:lang="ru">Барышников П.Н.</copyright-holder><copyright-holder xml:lang="en">Baryshnikov P.N.</copyright-holder><license xml:lang="ru" license-type="creative-commons-attribution" xlink:href="https://creativecommons.org/licenses/by/4.0/" xlink:type="simple"><license-p>Данная работа распространяется под лицензией Creative Commons Attribution 4.0.</license-p></license><license xml:lang="en" license-type="creative-commons-attribution" xlink:href="https://creativecommons.org/licenses/by/4.0/" xlink:type="simple"><license-p>This work is licensed under a Creative Commons Attribution 4.0 License.</license-p></license></permissions><self-uri xlink:href="https://cyberspace.pgu.ru/jour/article/view/19">https://cyberspace.pgu.ru/jour/article/view/19</self-uri><abstract><p>В данной статье речь пойдет об известной полемике между представителями ментализма и механицизма в контексте некоторых положений вычислительной философии сознания. Статья структурирована в виде перечня сильных и слабых аргументов как со стороны сторонников, так и скептиков вычислительных моделей сознания. Классические аргументы против машинного функционализма оказываются ослабленными непроясненной природой вычисления и нерезким объёмом этого понятия. Формулируется вопрос, являются ли формальные ограничения арифметических процедур достаточным условием для отказа от компьютерной реализации человеческих интеллектуальных функций. Для вычислительной философии сознания крайне значима обусловленность объяснительных свойств компьютерных моделей сущностными свойствами машинного и человеческого типов вычисления. В работе обосновывается тезис о контекстуальной зависимости вычислительных моделей от философских или инженерных критериев эффективности.</p></abstract><trans-abstract xml:lang="en"><p>This article deals with well-known debate between representatives of mentalism and mechanicism in the context of certain statements of the computational philosophy of mind. The article is structured in the form of a list of strong and weak arguments from both supporters and skeptics of computational models of mind. Classical arguments against machine functionalism prove to be weakened by the unclear nature of computation and the fuzzy volume of this notion. The question is formulated as to whether formal limitations of arithmetic procedures are sufficient condition for rejection of computer realization of human intellectual functions. For the computational philosophy of mind, the conditionality of the explanatory properties of computer models with the essential properties of machine and human types of computation is extremely important. The work justifies the thesis of contextual dependence of computational models on philosophical or engineering efficiency criteria.</p></trans-abstract><kwd-group xml:lang="ru"><kwd>вычислительная философия сознания</kwd><kwd>ментализм</kwd><kwd>механицизм</kwd><kwd>гёделево предложение</kwd><kwd>вычислимость</kwd></kwd-group><kwd-group xml:lang="en"><kwd>computational philosophy of mind</kwd><kwd>mentalism</kwd><kwd>mechanicism</kwd><kwd>gödel sentence</kwd><kwd>computability</kwd></kwd-group></article-meta></front><back><ref-list><title>References</title><ref id="cit1"><label>1</label><citation-alternatives><mixed-citation xml:lang="ru">Нагель Т., Ньюмен Д. Р. Теорема Гёделя. М.: Красанд, 2010. 120 c.</mixed-citation><mixed-citation xml:lang="en">Нагель Т., Ньюмен Д. Р. Теорема Гёделя. М.: Красанд, 2010. 120 c.</mixed-citation></citation-alternatives></ref><ref id="cit2"><label>2</label><citation-alternatives><mixed-citation xml:lang="ru">Пенроуз Р. Тени разума: в поисках науки о сознании. Москва- Ижевск: Институт компьютерных исследований, 2005. 688 c.</mixed-citation><mixed-citation xml:lang="en">Пенроуз Р. Тени разума: в поисках науки о сознании. Москва- Ижевск: Институт компьютерных исследований, 2005. 688 c.</mixed-citation></citation-alternatives></ref><ref id="cit3"><label>3</label><citation-alternatives><mixed-citation xml:lang="ru">Church A. An Unsolvable Problem of Elementary Number Theory // American Journal of Mathematics. 1936. Т. 58. № 2. P. 345.</mixed-citation><mixed-citation xml:lang="en">Church A. An Unsolvable Problem of Elementary Number Theory // American Journal of Mathematics. 1936. Т. 58. № 2. P. 345.</mixed-citation></citation-alternatives></ref><ref id="cit4"><label>4</label><citation-alternatives><mixed-citation xml:lang="ru">Copeland B. J., Bowen J. P., Sprevak M., Wilson R. J. The Turing guide. Oxford University Press, 2017. 546 c.</mixed-citation><mixed-citation xml:lang="en">Copeland B. J., Bowen J. P., Sprevak M., Wilson R. J. The Turing guide. Oxford University Press, 2017. 546 c.</mixed-citation></citation-alternatives></ref><ref id="cit5"><label>5</label><citation-alternatives><mixed-citation xml:lang="ru">Ершов Ю. Л., Целищев В. В. Алгоритмы и вычислимость в человеческом познании. Новосибирск: Изд-во СО РАН, 2012. 504 c.</mixed-citation><mixed-citation xml:lang="en">Ершов Ю. Л., Целищев В. В. Алгоритмы и вычислимость в человеческом познании. Новосибирск: Изд-во СО РАН, 2012. 504 c.</mixed-citation></citation-alternatives></ref><ref id="cit6"><label>6</label><citation-alternatives><mixed-citation xml:lang="ru">Sieg W. Step by Recursive Step: Church’s Analysis of Effective Calculability // Bulletin of Symbolic Logic, 1997. Vol. 3. P. 154-180.</mixed-citation><mixed-citation xml:lang="en">Sieg W. Step by Recursive Step: Church’s Analysis of Effective Calculability // Bulletin of Symbolic Logic, 1997. Vol. 3. P. 154-180.</mixed-citation></citation-alternatives></ref><ref id="cit7"><label>7</label><citation-alternatives><mixed-citation xml:lang="ru">Целищев В. В., Ершoв Ю. Л. Алгоритмизация знания и ее пределы (исследование представления мышления в логико-математических языках первого и второго порядков, вычислимости в свете тезиса Черча и сферы действия ограничительных теорем Геделя и Тарского). Проект № 125, 2005 (Основные научные результаты СО РАН) [Электронный ресурс]. URL: http://www.sbras.ru/win/sbras/rep/rep2005/ tom2/pdf/125.pdf.</mixed-citation><mixed-citation xml:lang="en">Целищев В. В., Ершoв Ю. Л. Алгоритмизация знания и ее пределы (исследование представления мышления в логико-математических языках первого и второго порядков, вычислимости в свете тезиса Черча и сферы действия ограничительных теорем Геделя и Тарского). Проект № 125, 2005 (Основные научные результаты СО РАН) [Электронный ресурс]. URL: http://www.sbras.ru/win/sbras/rep/rep2005/ tom2/pdf/125.pdf.</mixed-citation></citation-alternatives></ref><ref id="cit8"><label>8</label><citation-alternatives><mixed-citation xml:lang="ru">Целищев В. В. Рационалистический оптимизм и философия Курта Геделя // Вопросы философии. 2013. № 8. C. 12-23.</mixed-citation><mixed-citation xml:lang="en">Целищев В. В. Рационалистический оптимизм и философия Курта Геделя // Вопросы философии. 2013. № 8. C. 12-23.</mixed-citation></citation-alternatives></ref><ref id="cit9"><label>9</label><citation-alternatives><mixed-citation xml:lang="ru">Copeland B. J., Shagrir O. Physical Computation: How General are Gandy’s Principles for Mechanisms? // Minds and Machines. 2007. Т. 17. № 2. P. 217-231.</mixed-citation><mixed-citation xml:lang="en">Copeland B. J., Shagrir O. Physical Computation: How General are Gandy’s Principles for Mechanisms? // Minds and Machines. 2007. Т. 17. № 2. P. 217-231.</mixed-citation></citation-alternatives></ref><ref id="cit10"><label>10</label><citation-alternatives><mixed-citation xml:lang="ru">Юлина Н. С. Роджер Пенроуз: Поиски локуса ментальности в квантовом микромире // Вопросы философии. 2012. № 6. C. 116-130.</mixed-citation><mixed-citation xml:lang="en">Юлина Н. С. Роджер Пенроуз: Поиски локуса ментальности в квантовом микромире // Вопросы философии. 2012. № 6. C. 116-130.</mixed-citation></citation-alternatives></ref><ref id="cit11"><label>11</label><citation-alternatives><mixed-citation xml:lang="ru">Schmidhuber J. Gödel Machines: Towards a Technical Justification of Consciousness // Adaptive agents and multi-agent systems III (ed. D. Kudenko, D. Каzakov, E. Alonso). Berlin, New York: Springer, 2008. P. 1-23.</mixed-citation><mixed-citation xml:lang="en">Schmidhuber J. Gödel Machines: Towards a Technical Justification of Consciousness // Adaptive agents and multi-agent systems III (ed. D. Kudenko, D. Каzakov, E. Alonso). Berlin, New York: Springer, 2008. P. 1-23.</mixed-citation></citation-alternatives></ref></ref-list><fn-group><fn fn-type="conflict"><p>The authors declare that there are no conflicts of interest present.</p></fn></fn-group></back></article>
