andrei rodin Andrei Rodin's blog about History and Philosophy of Mathematics

Публичная лекция в рамках проекта “Анатомия философии: как работает текст”. 22 января 2015, Библиотека им. Ф.М. Достоевского (Москва, Чистопрудный бульвар, 23) (слайды) (видeо на youtube)

в разделе my events выложены слайды и аудио докладов

Summary: Knowledge Representation is a rapidly developing area of Artificial Intelligence, which brings together computer scientists and philosophers. The purpose of this workshop is to explore some applications of Category theory and Ontologies in Knowledge Representation.

When: Wednesday September 17 from 10 A.M. to 7 P.M.
Where: Institute of Philosophy of Russian Academy of Sciences (14/5 Volkhonka st., Moscow) Room 525.
Venue: Metro station Kropotkinskaya

Languages: Morning Session will be in Russian, Afternoon Session will be in English

Web:  iph.ras.ru/science_events.htm

Schedule:
10:00 – 10:50
Sergei Kavalyaov (ICS RAS)
Category-theoretic models and methods for development of information systems
Coffee Break 15 mins
11:05 – 12:55
Alex Shkotin (SGM RAS)
Ontologies for Petrology
Coffee Break 15 mins
12:10 – 13:00
Andrei Rodin (IP RAS)
Categorical approaches in Knowledge Representation
LUNCH 2h
15:00 – 15:50
Irina Starikova (Sao Paulo U)
Cognitive Representations in Mathematical Reasoning
Coffee Break 15 mins
16:05 – 16:55
Vitaly Khudovakshev (SPBU) (Skype)
Probabilistic Programming and the Generic Aprroach in Knowledge Representation
Coffee Break 15 mins
17:10 – 18:00
Henson Graves (Lockheed Martin) (Skype)
A Mathematical Framework for Engineering and Science Applications
(TBC)
18:00 – 19:00
General Discussion

The formal axiomatic method popularized by Hilbert and recently defended by Hintikka is not fully adequate to the recent practice of axiomatizing mathematical theories. The axiomatic architecture of Topos theory and Homotopy type theory do not fit the pattern of the formal axiomatic theory in the standard sense of the word.  However these theories fall under a more general and in some respects more traditional notion of axiomatic theory, which I call after Hilbert constructive. I show that the formal axiomatic method always requires a support of some more basic constructive method.

Longer version (PDF)  , the same on arXiv

Shorter journal version (PDF)

Дорогие Коллеги,

в рамках регулярного семинара “Актуальные проблемы философии науки и техники” под руководством В.И Аршинова и А.В. Родина

в ЧЕТВЕРГ 27го февраля в 11 часов утра в аудитории 525 ИФРАНа (Москва, Волхонка 14)

состоится доклад Андрея Родина “Аксиоматический метод как средство научного познания” и презентация новой книги Родина “Аксиоматический метод и теория категорий” (Andrei Rodin, Axiomatic Method and Category Theory, Springer, Synthese Library vol. 364, 2014). http://www.springer.com/philosophy/book/978-3-319-00403-7

С содержанием книги можно ознакомиться здесь: http://arxiv.org/abs/1210.1478

Семинар открыт для всех желающих,

с уважением,
АР

http://www.maa.org/publications/maa-reviews/axiomatic-method-and-category-theory

(pdf)

Черновик новой статьи (русский) (pdf). Критика и комментарии приветствуются.

Objectivity, Objecthood and Genetic Axiomatic Methods in Modern Categorical Mathematics 

talk at the conference Philosophy, Mathematics, Linguistics: Aspects of Interaction 2014 (PhML-2014) , April 21–25, 2014,  in the Euler International Mathematical Institute (EIMI)

abstract (pdf)

Title: Geometry, Logic and Axiomatic Method in the 21st Century: Back to Euclid?

When: December 11, 12:15 P.M.

Where: University of Turku (Finland), Department of Social Sciences, Filosofian seminaarihuone 169.

For more info click here

e-book is now also available

The conference Philosophy, Mathematics, Linguistics: Aspects of Interaction
2014 (PhML-2014) will be held on April 21–25, 2014 at the Euler
International Mathematical Institute (EIMI), which is a research unit of the
St. Petersburg Department of Steklov Institute of Mathematics (PDMI) of the
Russian Academy of Sciences (RAS).

The conference PhML-2014 is a sequel in the series of conferences intended
to provide a forum for philosophers, mathematicians, linguists, logicians,
and computer scientists who share an interest in cross-disciplinary research.

For more info see http://www.pdmi.ras.ru/EIMI/2014/PhML/index.html

Important Dates

Submission deadline for contributed papers: February 1st, 2014
Notification of acceptance: March 1st, 2014
Conference starts: April 21st, 2014