Институт Философии
Российской Академии Наук




  Родин Андрей Вячеславович
Главная страница » » Cектор философии естественных наук » Сотрудники » Родин Андрей Вячеславович

Родин Андрей Вячеславович

 


Researcher ID:  N-1546-2013

 

Scopus Author ID8333462300

 

РИНЦ SPIN: 5492-1003Author ID: 421311

Персональный сайт сотрудника

 

Профессиональная деятельность

  • старший научный сотрудник, кандидат философских наук

Избранные публикации

(2019-2018гг.)

  • Родин А. (Rodin A). Truth and Justification in Knowledge Representation // CEUR Workshop Proceeding. 2019. Vol. 2529. P. 45‒56. URL: http://ceur-ws.org/Vol-2529/ (with Kovalyov S.)*.
  • Родин А. (Rodin А.). Models of HoTT and Constructive View of Theories // Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts / Eds.: Stefania Centrone, Deborah Kant and Deniz Sarikaya. Springer, Synthese Library. 2019. Vol. 407. P. 191‒219.*
  • Родин А.В. Знание и его представление в компьютерную эпоху // Человек. 2019. Т. 30. № 4. С. 94‒112. DOI: 10.31857/S023620070005953‒5 (соавт.: С.П. Ковалев)*.
  • Родин А.В. «Начала» Ньютона и их марксистский анализ у Гессена // Революция, эволюция и диалог культур: Докл. к 100-летию русской революции на Всемир. дне философии в Ин-те философии РАН 14 и 16 нояб. 2017 г. / Отв. ред. А.В. Черняев. М.: Гнозис, 2018. С. 474-482.
  • Родин А.В. On Constructive Axiomatic Method // Logique et Analyse. Vol. 61. No. 242. P. 201-231. DOI: 10.2143/LEA.242.0.328475. *
  • Родин А.В. Rules versus Axioms: a Constructive View of Theories, Beziau, J.-Y. et al., Handbook of 6th World Congress and School on Universal Logic (Vichy, Franc, June 16-26, 2018). Universite Clermont Auvergne. Р. 541-542. *
  •  Родин А.В. Univalent Foundations and the Constructive View of Theories // Логико-филос. штудии. Т. 16. Вып. 1. С. 119. *
  • Родин А.В. Проблема обоснования в формальном представлении знаний // Вестн. Томск. гос. ун-та. Философия. Социология. Политология. 2018. № 46. C. 22-29. DOI: 10.17223/1998863Х/46/3. (в соавт. с С.П. Ковалёвым). *
  • Родин А.В. Теория типов Мартина-Лёфа как мультиагентная эпистемическая система // Epistemology & Philosophy of Science / Эпистемология и философия науки. 2018. Т. 55. № 4. С. 44-47. DOI: 10.5840/eps201855464. *
  • Больше на персональном сайте сотрудника >>