2024
Achieving Mathematical Understanding via Natural Language, Symbols and Diagrams (jww George Shabat), talk at the workshop Diagrams in Mathematical Practice (September 30, 2024, Münster, Germany) making part of Diagrams 2024 (14th International Conference on the Theory and Application of Diagrams)(abstract)(slides)
The Philosophy of HoTT: examining its foundational implications for mathematics and logic, Invited online talk at the conference Logic, Methodology of Science & its Applications at Emily Harvey Foundation. New York, New York, Sat August 17, 2024 (program)(slides)(video : all talks)(video : Q&A)
Logic of Irreversible Reasoning: Directed Type Theory and Its Philosophical Significance, talk at the workshop on HoTT, SPHERE (Paris), June 25 juin, 2024. (programme)(slides)(video)
Political propaganda in science and mathematics education : some historical examples and recent practices, Invited talk at the conference “Historical Past and Contemporary Propaganda in the Global Context “(Berlin, Humboldt Universität, June 7-8, 2024) organised jointly by Gagarin Center, Smolny Beyond Borders and Bard College Berlin (abstract)(programme)(slides)
Vladimir Voevodsky on the role of different kinds of mathematical knowledge in social practices, contributed talk at the workshop Bridging the Gap: The Importance of Communicating Mathematical Research to laypeople and in Education (May 21-23, 2024, University of the Balearic Islands, Palma de Mallorca, Spain) (programme)(abstract)(slides)(announcement on Smolny.org)
Euclid Forever, invited talk at the Kolmogorov Seminar on Complexity, April 1, 2024, 16h30 by Paris (slides)(video)
Does Identity Have a Sense?, Jan. 30, 2024, invited talk and the regular seminar “Logique, Mathématiques, Informatique, Raisonnement” at the department of philosophy of the university Lyon-III (Jean Moulin), (abstract)(slides)(video)
Negation in Kolmogorov’s Calculus of Problems, January 15, 2024, invited talk at the World Logic Day 2024 (an alternative site here) workshop organized by the Universidade Federal de Minas Gerais (UFMG), Brazil (program)(video, see 1h02min – 1h58min)(slides)
Why is the Hilbert-style Axiomatic Method Not Suitable for Constructing Scientific Theories?, January 14, 2024, invited talk at the World Logic Day 2024 (an alternative site here) workshop ”Formal Methods and Their Applications” organised by the Ural Federal University (Ekaterinburg, Russia) on January 14, 2024. In Russian. (slides)(video)
2023
Digital Echos: The Future Integrity of Archival Stores, October 27, 2023, invited talk at Bard College Berlin (announcement 1) (announcement 2 with Zoom link)(slides)(youtubevideo, starts with min. 7, at the Gagarin Center channel) The talk has been supported by the DDS project.
Структурализм и Унивалентные основания математики, доклад на круглом столе в рамках конференции Актуальные проблемы аналитической философии, Томский гос. университет, 13-14 октября 2023 (по зуму) (слайды)(программа)
Proofs and Solutions, according to Kolmogorov, talk at the workshop Proofs and styles of reasoning across history and cultures, a part of CLMPST2023, Buenos-Aires, July 28, 2023 (slides)
Réécriture des textes et le progrès scientifique, exposé au séminaire ‘Aspects ontologiques et épistémiques des sources et des ressources textuelles’ dans le cadre du projet DDS, le 11 juillet 2023 à Nancy (abstract)(slides)(video)
Исчисление задач Колмогорова и его наследие, доклад и обсуждение на кружке аналитической философии uAnalytiCon (Екатеринбург), 2 июля 2023 (ютуб видео на канале кружка)
Le calcul des problèmes de Kolmogorov et sa postérité, Conférence aux Journées Scientifiques 2023 organisées par les Archives Henri Poincaré, Couvent Saint-Jean-de-Bassel, 15-16 mai, 2023 (résumé)(slides)(program)
Kolmogorov and Voevodsky on the Scope of Logic, invited talk at the workshop ‘Logic in Question‘, Sorbonne, Paris, April 24-25, 2023 (slides)(audio)
A.N. Kolmogorov’s Way to the International Mathematical Scene, invited talk at CHORUS colloquium (Colloquium for the History of Russian and Soviet Sciencе, moderator Slava Gerovitch), April 20, 2023 (abstract)(slides)(video)
Universal Values and the East-West dispute in the Russian War against Ukraine, a talk at the workshop
‘Life in the Face of War: Political Challenges, Social Responses, Cultural Shifts‘ Columbia University (NYC), April 13-14, 2023, (abstract)(programme)(slides)
Introduction à colloque d’ouverture du projet DDS, April 13, 2023 (slides)(see also DDS videos)
Interview with Andrew Culp on ‘Being and Event’ by Alain Badiou : Episode 8 of a series of podcasts realized by Andrew Culp and Alexander R. Galloway : on Spotify and on Apple Podcasts
2022
Univalent Foundations and Applied Mathematics, a talk at the Topos Institute Colloquium; December 15, 2022 (abstract) (slides)(youtube video)
La “relance continue” de la philosophie des mathématiques selon Jean-Jacques Szczeciniarz, une conférence invitée au colloque en l’honneur de Jean-Jacques Szczeciniarz, Paris, 24-25 novembre 2022 (abstract)(slides)(programme)
Kolmogorov’s Calculus of Problems and Homotopy Type Theory, Talk at the NYC Category theory seminar, CUNY (online) November 9, 2022 (abstract)(slides)(video)(paper)
Отрицание проблем по Колмогорову, доклад на семинаре Конструктивное знание – 15 онлайн 4 июля 2022 (extended abstract)(slides)(video: 1h30 – 2h18)
Решения и доказательства: к 90-летию статьи А.Н. Колмогорова “Об истолковании интуиционистской логики”. uAnalytiCon 2022, Екатеринбург 13-14 мая 2020, приглашенный доклад на круглом столе “Математические объекты, структуры и доказательства” (13 мая). (slides)(video 1:34 – 2:03).
Проблема доверия к искусственному интеллекту и унивалентные основания математики. Приглашенный доклад на конференции Искусственный Интеллект: проблема доверия (Президиум РАН, 27-28 апреля 2022). (program)(board)(video)(all videos)
Трансцендентальный подход в компьютерных науках: оптика математических понятий и ее применения в Искусственном Интеллекте, приглашенный доклад на конференции Эпистемология, Когнитивистика и Искусственный Интеллект. Международная конференция, Москва, 21-23 апреля 2022. (программа)(слайды) Примечание: доклад не состоялся, но слайды остались.
Computer-Assisted Proofs, Univalent Foundations, and Axiomatic Method, invited talk at the Workshop on Axiomatic Method making part of UNILOG 2022, Orthodox Academy of Crete, April 11, 2022 (slides)
Виталий Валентинович Целищев об эпистемологии математических доказательств. Приглашенный доклад на конференции «Аналитическая философия: траектории истории и векторы развития» к 80-летию со дня рождения научного руководителя ИФПР СО РАН, д.филос.н., профессора Виталия Валентиновича Целищева, Новосибирск 25-26 февраля 2022 г. (extended abstract)(slides)
2021
Эпистемология топологического анализа данных, приглашенный доклад на Международном научном форуме по применению информационных технологий и компьютерного моделирования в научных исследованиях и инженерно-промышленном бизнесе FIT-M 2021, секция Вычислительная философия и Искусственный Интеллект, 16-18 декабря 2021. (abstract)(program)(invite)(slides)
Унивалентные основания и прикладная математика, приглашенный доклад на международном семинаре “Алгебраическая биология и теория систем” 15 декабря 2021 (abstract)(announcment)(slides)(video)
Была ли у Лобачевского модель его « воображаемой » геометрии?, пленарный приглашенный доклад на конференции « Лобачевские чтения 2021 », Казанский гос. Университет, 1-2 декабря 2021 (slides)(interview)
Компьютерные доказательства и их понимание человеком: случай унивалентных оснований, доклад на конференции Интеллектуальные системы и компьютерные науки, МГУ, 29 ноября – 3 декабря 2021 (slides)(paper)(full program)
О понятии “кибернетической машины” у Лукаса, приглашенный доклад на однодневной конференции “Искусственный Интеллект: парадоксы и противоречия” посвященной 90-летия первой теоремы Гёделя о неполноте и 60-летию аргументу Лукаса, 13 октября 2021, Новосибирск (удаленно). (программа)(слайды)(Lucas1961)
Как на самом деле Эйлер решал задачу о Кёнигсбергских мостах, и почему это имеет значение, приглашенный доклад в Институте Истории Естествознания и Техники РАН 7 октября 2021 (абстракт)(слайды)(видео)
Оптика математических понятий и топологический анализ данных, приглашенный доклад на Петербургском семинаре по когнитивным исследованиям (при Институте когнитивных исследований СПбГУ), 22 сентября 2021. (объявление)(абстракт)(слайды)(видео)(объявление на сайте СПбГУ)
Did Lobachevsky have a Model of his “Imaginary Geometry”?, invited talk at the 26th International Congress of History of Science and Technology, Internet, July 25-31, 2021. (abstract)(slides)(paper)
Axiomatic and Genetic Methods of Concept- and Theory-Building: An Attempt of Synthesis, contributed talk at the conference Logic, Relativity and Beyond organised by Alfréd Rényi Institute of Mathematics (Internet, 14-17 July, 2021)(abstract)(slides)
Computer-assisted proofs and mathematical understanding: The case of univalent foundations, contributed talk at the Logical Perspectives 2021 Workshop, June 17, 2021, Steklov Mathematical Institute (extended abstract) (slides), (video)
Mic Detlefsen on Frege-Hilbert Controversy, invited talk at the PhilMath InterSem 2021 in memoriam Mic Detlefsen, June 2-15, 2021 Paris-INTERNET, June 3, (program),( abstracts),(slides)(video)
Mario Bunge’s Views on Mathematical Logic and Axiomatic Method, talk at Mario Bunge Memorial Workshop / Мастерская памяти Марио Бунге IPRAS-INTERNET, May 13, 2021, program etc. , (slides)
Проблема обоснования в компьютерном представлении знаний, 22 апреля 2021, Курганский университет, Конференция “Машины-Люди-Ценности” (программа)(расширенный абстракт)(слайды)
Незаконченный проект Воеводского, 22 января 2021, доклад (zoom) на семинаре по философии математики в МГУ (видео)(статья)
2020
Euclid’s Geometry as a Gentzen-style Theory : Euclid and Today’s Mathematical Practice, 27 ноября 2020, доклад на Втором Международном Конгрессе РОИФН “Наука как общественное благо”, секция истории и философии математики. (slides)(extended abstract) Ссылка на публикацию в материалах Конгресса находится в разделе my texts
Vladimir Voevodsky’s Unachieved Project, 21 October 2020, 7 p.m. (ET: NYC) Talk at the NYC Category theory seminar. (abstract)(slides)(video)(paper)
Конструктивная формальная архитектура для научных теорий, Приглашенный доклад, Томск, 13 октября 2020 (abstract)(slides)(программа воркшопа 13-14 октября с описанием докладов)(объявление на сайте ТГУ)(видео 13 октября)(видео 14 октября часть 1)(видео 14 октября часть 2)
Компьютерные доказательства и понимание в математике: случай унивалентных оснований, доклад на семинаре Конструктивное знание. (программа семинара)
(extended abstract)(slides)(related paper: see section 3.2), (related paper 2)
Computer-Assisted Proofs and Mathematical Understanding: the case of Univalent Foundations, contributed talk at the Workshop on Homotopy Type Theory/ Univalent Foundations (5-7 July 2020, Internet), co-located with FSCD2020
(abstract)(slides)(youtube video)
Axiomatic and Genetic Methods of Concept- and Theory-Building: an Attempt of Synthesis, accepted for presentation at Logic, Relativity and Beyond, Fried Castle Resort (Hungary – Simontornya) 17 June – 21 June 2020 DELAYED, abstract (pdf)
Computer-Assisted Proofs and Mathematical Understanding: the Case of Univalent Foundations, accepted for presentation at Logical Perspectives 2020 extended abstract (pdf) (POSTPONED to June 2021)
Математическая философия или философская математика? Топосы Александра Гротендика, Билла Лавера и Алана Бадью, ИФРАН, 30 апреля 2020 (удаленно) (abstract) (slides) (video)
2019
Историческая эпистемология Стёпина и ее критика, доклад на конференции “Первые Стёпинские Чтения“, Москва, ИФ РАН, 5-6 ноября 2019 (абстракт)(программа)(сборник)(фото)
Knowledge Representation with HoTT, Contributed talk at the Studia Logica Conference Trends in Logic 19, Moscow, HSE, October 2-4, 2019 (abstract) (slides)
Knowledge, Truth and Technological Change, invited lecture in the Innopolis University, 19 August 2019 (abstract)(slides)
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)(book of abstracts)(proceedings)(proceedings on the DLMPST site)
(a version of this talk has been also presented in the Innopolis University, 19 August 2019)
Proof-Verification and Mathematical Intuition. Summer School ILLUMINATIONS, Tyumen July 29 – August 4 2019, (Lecture 1)(Lecture2)
Knowledge Representation with HoTT, June 11-14, 2019, Oslo, Contributed talk at the 25th International Conference on Types for Proofs and Programs (abstract)(slides)(Book of Abstracts)
Truth and Justification in Knowledge Representation (jww Serge Kovalyov), June 7, 2019, HSE (Moscow), Invited talk at the 3d International Workshop “Formal Concept Analysis for Knowledge Discovery”. (abstract )(paper)(slides)
А.С. Есенин-Вольпин о верховенстве закона в логике, математике и общественной жизни, ИФРАН, семинар Философская Мастерская, 14 мая 2019, совместно с Юлией Синеокой. (видео)(объявление)(афиша)(фотки: 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12).
Directed Homotopy Type Theory and the (In)vertibility of Mathematics, Graduate Centre CUNY, N.Y.C. Category Theory Seminar, April 24, 2019 (abstract)(notes)(slides)
Extra-logical proof-theoretic semantics in HoTT , Conference Proof Theoretic Semantics: Assessments and Future Perspectives : Tübingen, March 27-30, 2019 (abstract)(slides)(photo)(book of abstracts and slides)(the same at Tübingen U site)(alternative link 1)(alternative link DOI)
Genetic and Axiomatic Methods of Theory-Building from Hilbert to Voevodsky, Turku workshop on incompleteness and independence, March 15, 2019 (slides)(program)
Логическая и экстра-логическая теоретико-доказательная семантика в гомотопической теории типов, Теоретический семинар Кафедры Логики СПбГУ , 7 марта 2019, начало 17:20, ауд. 167, (slides)
2018
Конструктивный аксиоматический метод и унивалентные основания математики, ПОМИ, (Петербургское отделение математического института им. В.А. Стеклова РАН), городской логический семинар, 26 ноября 2018, 14:00 (объявление) (abstract) (slides)
E pluribus unum в логике и математике, ВШЭ (Москва), 24 ноября 2018, Конференция «Горизонты логического плюрализма» к юбилею Владимира Леонидовича Васюкова (abstract)(notes)(program)
Geometrical Logic versus Logical Geometry: the Case of Univalent Foundations, seminar of Formal Philosophy, HSE, 24 October 2018 (abstract) (announcement on the HSE page)(slides)
Проблема обоснования в формальном представлении знаний, ИФРАН, Конструктивное знание 7, 3 октября 2018 (video is available via the seminar page)
Voevodsky’s view on the (In)Consistency of Peano Arithmetic, Formal Philosophy, Moscow, Higher School of Economics, 1-2 October, 2018: (slides)
Summer School “Illuminations”; Lukashino near Tyumen, West Siberia in Russia, 23-29 July 2018 : Objects and Proofs (pic):
Lecture 1: Neglect of Epistemic Considerations in the 20th century Logic (after Goran Sundholm). (slides)(audio)
Lecture 2: Sets, Categories, Toposes and the Idea of Internal Logic (slides)(audio)(video)
Lecture 3: Axiomatic Method, Objecthood and the Univalent Foundations of Mathematics (slides)(audio 1)(audio 2)(audio 3)(video)
Univalent Foundations and the Constructive View of Theories, Workshop on Homotopy Type Theory/ Univalent Foundations, Oxford, July 7-8, 2018 (by skype)(program)(abstract)(slides)(audioMP3)(новость в Вышке)
Rules versus Axioms: a Constructive View of Theories, 6th World Congress and School on Universal Logic, Vichy, France, June 16-26, 2018 (abstract)(slides)
Роль и место математики в понимании Владимира Воеводского и Унивалентные Основания, Москва, 7 июня 2018, Однодневная научная конференция «Все есть число: математика и реальность» (по ссылке доступны аудио- и видеозапись), Библиотека истории русской философии и культуры Дом А. Ф. Лосева (фото)
Knowing-How without Anti-Intellectualism, invited lecture in the University of Turku, June 15, 2018 (slides)(on the department blog)(announcement)
Univalent Foundations and the Constructive View of Theories, Logic Today: Developments and Perspectives, Saint Petersburg, May 31 – June 2, 2018, (abstract), (program), (noted paper)
Теоретико-модельная и теоретико-доказательная семантика логического вывода: онтологические и эпистемологические следствия. Семинар Сектора Логики ИФРАН, 29 марта 2018. (abstract)(slides)(video)
Представление знаний и проблема верификации. Воркшоп Конструктивное Знание 5 (ИФРАН, 14 марта 2018)(abstract), (slides)
2017
Унивалентные Основания Математики и компьютерная проверка доказательств. Памяти Владимира Воеводского. Версия 2 для математиков. Приглашенный доклад на памятной конференции прошедшей 28 декабря 2017 в Математическом Институте РАН (“Стекловка”). (slides) (video 1) (video 2)
Концепция перманентной научной революции и основания математики. Доклад на конференции Революция и эволюция: модели развития в науке, культуре, социуме (24-25 ноября 2017, университет им. Н.И. Лобачевского, Нижний Новгород) (extended abstract)(slides)
‘Начала’ Ньютона и их марксистcкий анализ у Гессена, доклад на конференции “Всемирный день философии 2017: революция, эволюция и диалог культур” (14 и 16 ноября 2017), см. статью написанную по материалам этого доклада в рубрике mytexts, 2018
Foundations of Axiomatic Mathematics. A series of 3 lectures given at the Autumn school “Proof and Computation”, 23rd to 26th September 2017, Herrsching near München.
Lecture 1: Axiomatic Architecture of Euclid’s Elements (slides)(audio)
Lecture 2: Two Axiomatic Styles: Hilbert and Gentzen (slides)
Lecture 3: Axiomatic Method in Topos Theory and in Homotopy Type Theory (slides)
Two “Styles” of axiomatization: Rules versus Axioms. A Modern Perspective. (The slightly modified title used in the actual talk: Two “Styles” of axiomatization: Rules versus Axioms. A Constructive View of Theories.) Contributed talk at the Logic Colloquium 2017, Stockholm, August 14-20 (abstract)(slides)(bookofabstracts)
Categorical Model Theory and the Semantic View of Theories. Cекционный доклад на Смирновских чтениях 2017 , Москва, МГУ, 15-17 июня 2017 (abstract) (slides)(program)(bookofabstracts)
Знания и их представление в компьютерную эпоху: истина, обоснование, интерпретация, ревизия. Пленарный доклад на конференции “Философия науки и техники в России: вызовы информационных технологий”, Вологда 2-3 июня 2017, организованная при участии РОИФН (abstract)(slides)(video – с 42й минуты и до конца записи)(bookofabstracts)(pic1)(pic2)
Историческая эпистемология: за и против . Приглашенный доклад на заседании Ученого Совета Санкт-Петербургского филиала Института Истории Естествознания и Техники РАН 23 мая 2017 (презентация)(аудио)(видео)
Правила или аксиомы? О двух стилях аксиоматизации. Воркшоп Конструктивное Знание – 3: Формализация Теорий (ИФРАН 12 мая 2017), организованный в рамках проекта “Логические и эпистемологические аспекты конструктивного знания” (аннотация)(слайды), видео доступно на странице воркшопа.
Models of HoTT and the Semantic View of Theories WORKSHOP ON TYPE THEORY IN LJUBLJANA JAN 30 – FEB 2 2017 (abstract)(slides)
Categorical Model Theory and the Semantic View of Theories, Model Theory: Philosophy, Mathematics and Language, Munich Center for Mathematical Philosophy, 9-12 January 2017 (short abstract) (extended abstract)(slides)
2016
Знания и их представление в компьютерную эпоху, популярная лекция-беседа совместно с Сергеем Ковалёвым в рамках цикла “Философская мастерская” организованного Юлией Синеокой (Москва, библиотека Достоевского, 8 декабря 2016)(афиша)(видео)(фото)
Модели гомотопической теории типов и семантический подход к научным теориям, воркшоп “Гомотопическая теория типов и унивалентные основания математики: логика, эпистемология, философия науки” (Екатеринбург, 29-30 ноября 2016) (презентация)
Categorical Model Theory and Knowledge-How, Centrum voor Logica en Wetenschapsfilosofie, Vrije Universiteit Brussel, 8 November 2016 (announcement) (abstract) (slides)(pictures)
Homotopy Type theory and the Bounds of Logic, international workshop The Bounds of Logic Reloaded, Moscow HSE 20-21 October 2016 (abstract)(slides)(program)
Mathesis Universalis and the Idea of Logic in Aristotle, доклад на международной конференции «Аристотелевское наследие как конституирующий элемент европейской рациональности (THE LEGACIES OF ARISTOTLE AS CONSTITUTIVE ELEMENT OF EUROPEAN RATIONALITY) (ИФ РАН, 17-19 октября 2016) (abstract)(program)(picture1)(picture2)
Категорная теория моделей и конструктивное знание, семинар Конструктивное Знание – 2 , 5 октября 2016; программа и тезисы всех докладов доступны на странице семинара)
HoTT and the Semantic View of Theories, Homotopy Type Theory in Logic, Metaphysics and Philosophy of Physics Bristol, September 13-15, 2016 (slides)(audio)
Proofs and Objects in HoTT, FOMUS: Foundations of Mathematics: Univalent Foundations and Set Theory, Bielefeld, July 18-23, 2016. (abstract) (slides) (full program)(video).
What is a Formal System? The Idea of Geometrical Characteristics from Leibniz to Voevodsky ; at the 12th International Conference “Logic Today: Developments and Perspectives”, Saint-Petersburg State University, June 22-24, 2016 (abstract) (abstract at Логико-философские штудии, see also in my texts)
Geometric Characteristics as an early form of typing, at the workshop Type theory and Philosophy (Canterbury, June 9 – 10, 2016) (slides), (video : from 6’30” on)
Venus Homotopically, at the regular seminar L’(id)entité :: L’(id)entification organized by Gabriel Catren at the Laboratory SPHERE (Paris) (slides) (paper draft: pdf) (video 1) (video 2)
Axiomatic Method between Logic and Geometry. Series of 2 talks given at the regular seminar “Mathematics of the 19th and the 20th centuries: History and Philosophy” at the Laboratory SPHERE (Paris)
Talk 1 (23d Mai 2016): Axiomatic Geometry according to Euclid and according to Hilbert (slides)(video 1)(video 2)
Talk 2 (6th June 2016): Logic and Geometry in Topos theory and in Homotopy Type theory (slides)(video 1)(video 2)
“После конечности” Квентина Мейясу и научный реализм. Приглашенный доклад на семинаре сектора Современной Западной философии ИФ РАН 28 апреля 2016. (poster) (abstract) (slides)
Модельное знание и его аксиоматическое представление. Доклад на семинаре Логические и эпистемологические аспекты конструктивного знания 25 апреля 2016, ИФ РАН. (abstract)(slides)
Invited lectures in the University of Turku, 15 March 2016
Model-Based Knowledge and Its Representation. (abstract) (slides)(announcement)
What is a Formal System? The Idea of Geometrical Characteristics from Leibniz to Voevodsky. (abstract) (slides)
Идея внутренней логики, аксиоматический метод и конструктивное представление знаний. Доклад на 74-м заседании Научного Совета РАН по Методологии Искусственного Интеллекта (НСМИИ РАН) 26 января 2016 (аннотация)(объявление) (презентация: slides in English!)
Содоклад: Сергей Ковалёв, Машинный интеллект в инженерии аксиоматических систем (презентация)
2015
Justice and Stability. With Juha Raikka. Talk at the 7th International Conference on Theoretical and Applied Ethics: Traditions and Prospects, SPBU, October 29-31, 2015 (slides) (paper) (program)(bookofabstracts)
Constructive Axiomatic Method and Modern Physics. Talk at the international workshop New Mathematical Methods in Today’s Physics: Logical, Epistemological and Computational Aspects (Moscow 21-22 September 2015) (abstract) (slides)(youtube stream record is available through the worksop page)(bookofabstracts)
Constructive Axiomatic Method in Euclid, Hilbert and Voevodsky. Contributed talk at the 15th Congress on Logic, Methodology, and Philosophy of Science (Helsinki, 3-8 August 2015) (abstract)(slides)(bookofabstracts)
Прогресс, Научные Революции и Большие Данные Приглашенный доклад на выездном семинаре Смольного Колледжа, Репино, 30 июня 2015 г. (слайды)
What is a Constructive Theory? 9th Smirnov Readings in Logic (Moscow, MSU, June 17-19, 2015). (programme) (abstract) (photo) (bookofabstracts)
Лейбниц, Рассел и Воеводский между логическим, алгебраическим и геометрическим атомизмом. Круглый стол “Атомизм и континуализм в гуманитарном знании” (ИФРАН, 17 июня 2015) организованный Викторией Лысенко. (программа), (абстракт), (слайды), (фото: 1, 2, 3)
Генетический метод построения теории в геометрии Лобачевского. Ежегодный семинар “Колмогоровские чтения” (Ярославль и Лютово 19-22 мая 2015). (программа) (абстракт) (слайды) См. также статью Did Lobachevsky have a model of his Imaginary geometry? в разделе my texts за 2010 год
Идея геометрической характеристики от Лейбница до Воеводского. Семинар «Актуальные проблемы философии науки и техники»(ИФ РАН), 30 апреля 2015 (слайды) (объявление)
Геометрическая характеристика от Грассмана до Воеводского. Конференция Объекты и Структуры в рамках Третьего Конвента Института Социальных и Политических Наук. Уральский Федеральный Университет, Екатерибург, 8-9 апреля 2015. (программа) (слайды) (фото)
Спор Эйнштейна с Бором и новые основания математики. Приглашенный доклад в Институте Философии СПБГУ, семинар Философия и Квантовая Физика, 28 марта 2015, (слайды) и приглашенный доклад в ИФРАН на постоянно действующем Семинаре по Философии Науки, 28 апреля 2015 (слайды)
Кант и новая математика сто лет спустя. Приглашенный доклад на кафедре философии Балтийского федерального университета, 25 февраля 2015. (слайды), (статья)(объявление в БФУ) (video: part 1, part 2, part 3, part 4) См. также реплику Что такое философия? записанную в БФУ во время той же поездки.
What is Constructive Axiomatic Method? CUNY Computational Logic Seminar, February 3, 2015 (abstract) (announcement) and the New York City Category Theory Seminar, January 28, 2015.
Начала Евклида. Публичная лекция в рамках проекта “Анатомия философии: как работает текст”. 22 января 2015, Библиотека им. Ф.М. Достоевского (Москва, Чистопрудный бульвар, 23) (слайды) (видeо на youtube)
2014
О конструктивном аксиоматическом методе. Выступление на семинаре по философии математики МГУ 19 декабря 2014 г. (видео 1) (видео 2)
Mathematics for Liberal Arts , invited talk at the conference INTELLECTUAL FOUNDATIONS OF MODERN LIBERAL
EDUCATION (Saint-Petersburg Nov 14-16, 2014) (program) (slides)
Environmental Security and Just Causes for War (with Juha Raikka). Contributed talk at conference
ТЕОРЕТИЧЕСКАЯ И ПРИКЛАДНАЯ ЭТИКА: ТРАДИЦИИ И ПЕРСПЕКТИВЫ, Санкт-Петербург,
20-22 ноября 2014. (paper)(slides)
Programmatic Realism in Physics and Foundations of Mathematics. Contributed talk at conference “Social Philosophy of Science. Russian Prospects. In Honor of V.S. Stepin”, November 18-19, 2014. abstract, extended abstract, slides
Two Categorical approaches in Knowledge Representation. Talk at workshop Categories and Ontologies for Knowledge Representation, IP RAS, September 17 (slides)
Constructive Identities for Physics. Contributed talk at the conference Frontiers of Fundamental Physics 14 (Marseille July 15-18 2014) (abstract) (slides, also available at the conference site in Participants section), see also the final paper in Proceedings in my texts section.
Constructive Axiomatic Method. Invited talk at Logic Seminar of IHPST June 17, 2014 (abstract) (slides)
Logic for Natural Sciences: A Categorical Perspective. Plenary talk at the conference Teaching Logic and Prospectives of Its Development (Taras Shevchenko National University of Kiev, 15-16 mai 2014). My talk replaced the presentation of logic textbook that has been scheduled but later cancelled. (program) (slides) (abstract:Russian)
Objecthood in Modern Logic. Invited talk at the conference AnalytiCon-2014: Informations, Languages, Knowledge (Ekaterinburg, Ural Federal University, 29-30 April 2014) (program)(abstract)(slides: English)(audio: Russian)
Objecthood and Genetic Axiomatic Method in Categorical Mathematics. Invited talk at the conference Philosophy, Mathematics, Linguistics – 2014: Aspects of Interaction (Saint-Petersburg 21-25 April 2014). (program) (abstract) (slides) (audio) (video)
Галилеевская наука и конструктивная математика. Приглашенный доклад на международной конференции Галилео Галилей: контексты и интерпретации, Москва 19-20 марта 2014. (программа) (резюме)(презентация)(video)
2013
Geometry, Logic and Axiomatic Method in the 21st Century: Back to Euclid? . Invited lecture at the Department of Social Sciences of the University of Turku (Finland), December 11, 2013 (slides)
Where: University of Turku (Finland), Department of Social Sciences, Filosofian seminaarihuone 169.
Почему эффективность математики стала в 20-м веке “непостижимой”? Проект неоклассической науки. Семинар Эпистемологические стратегии применения математики в естественных науках ИФРАН, 3 декабря 2013 (аудио)
Введение в категорную логику: две лекции в Уральском Федеральном университете по приглашению кафедры онтологии и теории познания:
От множеств к топосам (26 ноября 2013) (From Sets to Topoi: slides in English)
Гомотопическая теория типов и Унивалентные основания математики (26 ноября 2013) (Homotopy type Theory and Univalent Foundations of Mathematics: slides in English)
Tout objet est une flèche, toute flèche est un objet (All Objects are Arrows, All Arrows are Objects), Séminaire itenérant de catégories (SIC), 16 Nov. 2013, Paris-Diderot (abstract in English)(slides)(videos)
ПРОСТРАНСТВО ВОЗМОЖНОСТЕЙ, ЕГО ТОПОЛОГИЯ И ЕГО ВНУТРЕННИЙ ЯЗЫК (тезисы) (опубликованный вариант тезисов). Международный исследовательский семинар «Модели рассуждений – 7. Принятие решений: теория, методология, практика», Светлогорск (Калининградская обл.) , 3 – 5 октября 2013 года (slides), см. также в рубрике my texts
КАК ЭФФЕКТИВНОСТЬ МАТЕМАТИКИ В 20-М ВЕКЕ СТАЛА “НЕПОСТИЖИМОЙ” (тезисы) Доклад на конференцииМатематика и реальность: 3-я всероссийская конференция по философии математики; Философский факультет Московского государственного университета имени М.В.Ломоносова, 27-28 сентября 2013 года. (Тезисы опубликованы, см. в my texts, но доклад не был сделан.)
New-Old Axiomatic Method. Talk given at the seminar Mathematics and Philosophy in 19-20th centuries in SPHERE on June 25, 2013 and at the conference “What Category Theory Can Do for Philosophy?” in the University of Kent on July 10, 2013 (abstract) (slides) (audio_Paris) (audio_Canterbury)
“Universal Mathematics” in Euclid and the Origin of Logic in Aristotle. Talk given at French-Russian Conference “Beauty, Power and Virtue in the Universe of Aristotle’s Thought in Sorbonne on June 27, 2013 (programme) (abstract in French) (slides in English)
Генетический аксиоматический метод, изоморфизм Карри-Ховарда и “унивалентные основания” Воеводского: Logic seminar in the Institute of Philosophy of RAS on March 14, 2013 (abstract) (slides)
Categorical logic and Hegelian dialectics: at Higher School of Economics (Moscow) Feb 22, (slides) (video1) (video2) (video3) (video4) (video5). (Quantifiers and Sheaves by Lawvere in Russian)
2012:
Historical Reflexion, Projection of the Future and Philosophy of Mathematics: at Футурологический Конгресс (Dec 14-16, 2012, Polytechnical Museum in Moscow) (slides) (proceedings)
What Comes After Structural Realism? Homotopy Type Theory and Constructive Identity: at workshop Realism and Modern Science (Moscow, IPHRAN, Nov 22-23, 2012) (program, slides, video1, video2)
Higher Identity Types in Empirical Contexts: at the Workshop on Higher Dimensional Algebra, Categories and Types (Ljubljana June 20, 2012) following the Fourth Workshop on Formal Topology (Ljubljana June 15-19, 2012) (abstract) (slides)
Mathematics, Physics, and Metaphysics from the Neo-Kantian and the Analytic Perspectives:
Talk given on May 17, 2012 at the Philosophy of Science seminar of Moscow State University, Philosophy Departement (slides)
Axiomatic Method and Category Theory (talk): at the Philosophy of Mathematics seminar at the Philosophical Department of Moscow State University on April 20, 2012 (slides)
Mathematics, Physics, and Metaphysics After Kant: at the Philosophy of Science seminar in the Institute of Philosophy of RAS on April 7, 2012 (slides)
Identity, Equality and Equivalence in Mathematics: at the Ontology seminar in the Institute of Philosophy of RAS on March 17, 2012 (slides)
Univalence and Constructive Identity : Invited talk given at the conference “Philosophy, Mathematics, Linguistics: Aspects of Interaction 2012” (May 22- 25, 2012, Euler International Institute, Saint-Petersburg).(abstract, extended abstract, slides)
2011
Why Category Theory Is “Unreasonably Effective”?: at the New York City Category Theory Seminar in GC CUNY , November 9, 2011 (poster, abstract, slides)
Doing and Showing (talk): at the conference “The Classical Model of Science II”, Amsterdam, August 2-5, 2011 and the Computational Logic seminar in GC CUNY, November 8, 2011 (abstract, amsterdam programme, amsterdam slides, cuny slides)
Formal Axiomatics and Set-theoretic Construction in Bourbaki: at the workshop “Sets within Geometry” (Nancy, July 26-29, 2011 (abstract, slides)
Translation versus Formalization: the Example of Euclid’s Elements: at Symposium “Integrity and Diversity of Traditions and Trends in Today’s Philosophy of Science” organized at the 14th Congress of Logic, Philosophy and Methodology of Science (Nancy, July 19-26, 2011) (abstract, slides)
How Mathematical Concepts Get Their Bodies: a popular and more colorful version of 2009 talk given at the artistic laboratory OPTOFONICA in Amsterdam. (slides)
2010
Euclid and Radical Translation: at the conference Shifting Paradigmes: How Translation Transforms the Humanities (University of Illinois at Urbana-Champaign, October 14-16, 2010) (abstract, slides)
Objects are Maps: at the New York City Category Theory Seminar in GC CUNY (October, 13, 2010) and at the Mid-West Philosophy of Maths seminar at the Philosophy Department of the Notre Dame University (October 24, 2010) (nd abstract, cuny poster, nd slides, cuny slides)
PLURALISM IN GEOMETRY AND LOGIC: A CATEGORICAL APPROACH: at the 3d World Congress on Universal Logic (UNILOG2010), Lisbon, Portugal, April 22-25, 2010 (unilog 2010 handbook, slides)
Towards categorical foundations of geometry: What is geometrical object?: at the workshop “Category Theory and Philosophy of Mathematics Today” (Ecole Normale Supérieure, May 31, May 31 and June 14, 2010) associated with INTERSEM2010 (Foundations of Mathematics: What and Why?) (slides)
2009
DIAGRAMMATIC SYNTAX AND ITS CONSTRAINTS: at Workshop on Computer Algebra Methods and Commutativity of Algebraic Diagrams (CAM-CAD) in IRIT, Toulouse, October 16-17, 2009 (extended abstract, slides)
Renewing foundations: at the seminar of the project Ideals of Proof in Ecole Normale Supérieure, November 9, 2009, and at the conference Philosophy, Mathematics, Linguistics: Aspects of Interaction 2009 in the Euler International Mathematical Institute, Saint-Petersburg, November 20, 2009 (abstract, extended abstract, slides)
Categories Without Structures (talk): at the Philosophy Department of Oxford University (February 17 , 2009), Philosophy Department of Bristol University (March 31, 2009) andthe New York City Category Theory Seminar in GC CUNY (May 11, 2009) (oxford slides, bristol-cuny slides, cuny poster and abstract)
Euclid, “Universal Mathematics” and the Origin of Logic: in GC CUNY , May 5, 2009 (slides)
How Mathematical Concepts Get Their Bodies : the Example of Forcing: at the 2nd workshop of the fellows of project Ideals of Proof in Ecole Normale Supérieure, January 22, 2009 (extended abstract) (hand-written slides)
2008
Category Theory and Mathematical Structuralism: accepted for presentation at the XXII-th World Congress of Philosophy, July 30 – August 5, Seoul (extended abstract)
Внутренний язык топоса: новый альянс логики и геометрии: на конференции “Современная логика: проблемы теории, истории и применения в науке”, Философский факультет Санкт-Петербургского государственного университета, 26-28 июня 2008 г. (слайды)
Category theory, Mathematical Structuralism and Mathematical Hermeneutics: at the workshop “Mathematical Understanding”, Paris, 9-13 June 2008 (slides)
Euclid, Hilbert and Functorial Semantics: at the Department of Computer Science of Oxford University June 6, 2008 (slides)
2007
Isomorphism doesn’t replace identity in categories (or elsewhere): at the workshop “Structure and Identity” (Brussels, December 7-8, 2007) (slides)
Категорификация и формальный аксиоматический метод: на конференции “ФИЛОСОФИЯ МАТЕМАТИКИ: АКТУАЛЬНЫЕ ПРОБЛЕМЫ” (15 – 16 июня 2007 года, Москва) (резюме)
Logical Forms versus Translational Categories: presented at at workshop “Combination of Logics” (July 4, 2007, Neuchatel, Switzerland) and accepted for presentation at 2nd World Congress and School on Universal Logic (UNILOG2007, August 16-22, 2007, Xi’an, China) (extended abstract, UNILOG2007 Handbook)
Pour la science irréversible: au colloque “Temps et irréversibilité” (Cargèse, le 16-20 avril 2007) (article)
Les changements du paradigme épistémologique structuraliste suggérées par la théorie des catégories: at the seminar Categories and Physics, ENS, March 1, 2007
Categorification and Formal Axiomatic Method: Towards a Hermeneutic Model of Science: at the conference “The Classical Model of Science (Amsterdam January 10-13, 2007)” (abstract)
2006
Les catégories tensorielles et ses applications dans la physique: at the seminar Categories and Physics, ENS, December 12, 2006
Categorification and Interpretation: Beyond the Formal: at the conference “Categorification in Algebra and Topology” (Uppsala, September 7-10, 2006) (abstract)
2005
Functorial Semantics: at the seminar PhilForm in IHPST (Paris) on November 21, 2005 (abstract and suggestions for reading)
Categories and Formalism : From Reversible to Non-Reversible Mathematics: at the conference IMPACT OF CATEGORIES: 60 Years of Category Theory in Historical and Philosophical Retrospect (Ecole Normale Superieure, 10-14 October, 2005) (audio, video)
Identity and Categorification: at the conference “Identity: Ontological Perspectives” (Amsterdam, May 25-27, 2005) and the 1st Congress and School on Universal Logic (March 26-April 3, 2005, Montreux, Switzerland)(amsterdam extended abstract, montreux abstract, montreux extended abstract)
2004
Identity, Abstraction, and (De)Categorification: at the Third Workshop on the History and Philosophy of Logic, Mathematics and Computation (HPLMC-04), Sean Sebastian, November 4-6, 2004 (extended abstract)(programme)
L’évolution des idées de Lord Kelvin sur la thermodynamique: en Conférence de clôture de la chaire de C. Ulises Moulines à l’Ecole Normale Supérieure le 8 octobre 2004 (programme, audio et video)
2002
Collection and Connection: at the workshop “Spatial Reasoning” (Пространственное Мышление), October 11-13, 2002, St.Petersburg State University (extended abstract)
Extensionality and Equality of Rights: at workshop Rationality and Community held within the project “Rationality in Local and Global Contexts” in Oslo, Summer 2002 (extended abstract)
Events and Intensional Sets: at the conference “Logica 2002” (June 18-21, 2002, Castle Zahradky, Czech Republic). Published in 2003 in the Proceedings of the Conference (paper)
The Dogma of Extensionality: at the Philosophy Department of Columbia University in Spring 2002 (extended abstract, handout)
2001
Экстенсиональность и интенсиональность в праве: на конференции «Логика толерантности и права» (Екатеринбург, 24-25 декабря 2001) Опубликовано в сборнике материалов конференции(статья)
External and Internal in Geometry and Logic: at the workshop “Local and Global Modes of Reasoning” held within the project “Rationality in Local and Global Contexts” in Kaliningrad (Russia), October 2001 (abstract)(photo with Juha Raikka)
Об интерпретации комбинированной логики Смирнова в духе онтологической относительности Квайна : на конференции “Смирновские чтения 2001”, опубликовано в сборнике материалов коференции. (резюме, расширенное резюме)
Endurance, Perdurance and Quantum Duality: at the annuary School of Philosophy of Science in the Inter-University Centre Dubrovnik in April 2000 (abstract and slides)
2000
Онтология квантово-волнового дуализма: на конференции “100-лет квантовой теории“, Институт Философии РАН 5-7 декабря 2000 г. Опубликовано в 2002 в трудах конференции (статья)
Locality and Category theory: at the annuary School of Philosophy of Science in the Inter-University Centre Dubrovnik in April 2000 (abstract)
1999
Kant’s Philosophy of Mathematics and Variable: at Kantstudien 99 (September 1999, Svetlogorsk, Russia) (extended abstract)
Событие и Место: доклад на 2-м Всероссийском Философском Конгрессе (Екатеринбург, август 1999) (резюме)
How to Make Places and Times with Events: at the 3-d European Congress of Analytic Philosophy, Maribor 1999) (abstract)
1998
Физиология и прагматика в антропологии Канта: на конференции Кантовские чтения 98, опубликовано в сборнике трудов конференции (расширенное резюме)
Event and Milieu: at 20th World Congress of Philosophy (August 10-16, 1998, Boston) (abstract, also available at the Congress’ site , русский вариант)
1997
Логика и опыт: на международном семинаре “Логическое кантоведение-4” (Светлогорск, 22-25 сентября 1997) (тезисы)
Случайность и синергетика: на 1-м Всероссийском философском конгрессе, Санкт-Петербург, июнь 1997 (расширенное резюме)
Three Concepts of Modality: at the annuary School of Philosophy of Science in the Inter-University Centre Dubrovnik in April 1997 (upublished paper)