Logic, Relativity and Beyond, Fried Castle Resort (Hungary – Simontornya) 17 June – 21 June 2020DELAYED
abstract (pdf)
March 29, 2020
Axiomatic and Genetic Methods of Concept- and Theory-Building: an Attempt of Synthesis
Comments Off on Axiomatic and Genetic Methods of Concept- and Theory-Building: an Attempt of Synthesis
March 5, 2020
TBA
upcoming invited talk at the PhilMath InterSem
Where: Paris, SPHERE
When: Friday, June 12 DELAYED UNTIL JUNE 2021
Comments Off on TBA
Computer-Assisted Proofs and Mathematical Understanding: the Case of Univalent Foundations
extended abstract (pdf)
Where: Boston University
When: Friday, March 27 CANCELED
also accepted for presentation at Logical Perspectives 2020 DELAYED until June 2021
Comments Off on Computer-Assisted Proofs and Mathematical Understanding: the Case of Univalent Foundations
February 10, 2020
Scientific Progress and Its Vulnerability
upcoming talk.
Were: the University of Turku, Philosophers’ Club (Spring 2020 Program)
When: Friday, April 24, 2020DELAYED
Comments Off on Scientific Progress and Its Vulnerability
August 23, 2019
Knowledge Representation with HoTT
Contributed talk at the Studia Logica Conference Trends in Logic 19, Moscow, HSE, October 2-4, 2019 (abstract) (slides)
Comments Off on Knowledge Representation with HoTT
Knowledge, Truth and Technological Change
invited lecture in the Innopolis University, 19 August 2019 (abstract)(slides)
Comments Off on Knowledge, Truth and Technological Change
Formal Proof-Verification and Mathematical Intuition.
Contributed talk at the INTERNATIONAL CONGRESS OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE AND TECHNOLOGY (CLMPST2019) PRAGUE, 5–10 August 2019 (program) (abstract) (full slides)(light slides)I
Comments Off on Formal Proof-Verification and Mathematical Intuition.
June 5, 2019
Knowledge Representation with HoTT
Contributed talk at the 25th International Conference on Types for Proofs and Programs, June 11-14, 2019, Oslo, Norway
Comments Off on Knowledge Representation with HoTT
June 3, 2019
Truth and Justification in Knowledge Representation
Invited talk at the 3d International Workshop “Formal Concept Analysis for Knowledge Discovery” (jww Serge Kovalyov)
When: Friday June 7, 2019
Where: Department of Computer Science, Higher School of Economics (Moscow, 3 Kochnovsky Proezd)
Comments Off on Truth and Justification in Knowledge Representation
May 17, 2019
А.С. Есенин-Вольпин о верховенстве закона в логике, математике и общественной жизни”
14 мая 2019 года в Институте философии РАН в рамках проекта «Философская мастерская» состоялся круглый стол
“А.С. Есенин-Вольпин о верховенстве закона в логике, математике и общественной жизни” .
Участники: Р.Г. Апресян, д.ф.н., главный научный сотрудник, руководитель сектора этики Института философии РАН; В.А. Лекторский, академик РАН, д.ф.н., главный научный сотрудник сектора теории познания Института философии РАН; Г.Б. Шабат, д.физ.-мат.н., профессор кафедры математики, логики и интеллектуальных систем в гуманитарной сфере РГГУ.
Модератор к.ф.н. А.В. Родин, со-модератор проф. РАН, д.ф.н. Ю.В. Синеокая.
Comments Off on А.С. Есенин-Вольпин о верховенстве закона в логике, математике и общественной жизни”