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

Приглашенный доклад на заседании Ученого Совета Санкт-Петербургского филиала Института Истории Естествознания и Техники РАН   23 мая 2017 (презентация)(аудио)(видео)

Конструктивное знание-3: формализация теорий

NEW: Full Video

Когда: пятница 12 мая 2017 с 10 утра

Где: ИФ РАН, комната 416 (4-й этаж)

 

Описание:

Этот воркшоп – третий в серии воркшопов, организованных в рамках проекта “Логические и эпистемологические аспекты конструктивного знания” (см. первый и второй воркшопы). В этот раз фокус будет сделан на анализе различных подходов к формализации теорий. Эта проблема будет рассмотрена как с технической, так и с эпистемологической точек зрения.

 

Программа:

10:00 – 10:40

ВЛАДИМИР ШАЛАК (ИФ РАН)

Логическая компонента научных теорий

(аннотация)

 

10:40 – 11:10

СЕРГЕЙ КОВАЛЁВ (ИПУ РАН)

Представление инженерных знаний в электронно-цифровом макете сложного технического изделия

(аннотация)

 

КОФЕ

 

11:30 – 12:10

ВЛАДИМИР КРУПСКИЙ

О моделировании уверенности и знания в социальных сетях

(аннотация)

 

12:10 – 12:50

АНДРЕЙ РОДИН (ИФ РАН)

Правила или аксиомы? О двух стилях аксиоматизации.

(аннотация)

 

12:50 – 13:30

АЛЕКСАНДР ЖОЖИКАШВИЛИ (ИППИ РАН)

Теоретико-категорная формализация продукционных систем представления знаний

(аннотация)

 

 

13:30 – 15:00 – ОБЕД

 

15:00 – 15:40

ВЛАДИМИР ВАСЮКОВ (ИФ РАН)

Трансцендентальные модальности

(аннотация)

 

 

15:40 – 16:10

КОНСТАНТИН ШИШОВ (МГУ)

Семантики квантовой логики

(аннотация)

 

КОФЕ

 

16:30 – 17:10

ДАНЯ РОГОЗИН (МГУ)

Соответствие Карри-Говарда и колмогоровская сложность

(аннотация)

 

17:10 – 17:50

СЕРГЕЙ ТИТОВ (ИФРАН)

 Объяснительная сила информационно-емких исследований

(аннотация)

 

17:50 – 18:30

ЗАЛЮЧИТЕЛЬНОЕ ОБСУЖДЕНИЕ

When: Thursday 11 May, 2017, 3 P.M.

Where: Institute of Philosophy RAS (12/1 Goncharnaya Str., Moscow, 109240), Room 416 (4th floor)

Organization: jointly by Vitaly Dolgorukov (HSE, Formal Philosophy group) and Andrei Rodin (IPRAS)

Speaker: Matthias Schirn, Munich Center for Mathematical Philosophy, University of Munich

Title: Frege: The Power and the Limits of Logical Abstraction

Abstract:

In this talk, I analyze several aspects of Axiom V and Hume’s Principle. The issues dealt with include self-evidence and epistemic value with special emphasis on Axiom V, Frege’s attitude towards Axiom V before and after Russell’s discovery of the contradiction, as well as the possible role and the status of Hume’s Principle in the face of Russell’s paradox. In the central part, I pursue a threefold aim: (a) to shed new light on the connection between Frege’s way of introducing the primitive function-names of his logical system and the requisite self- evidence of his axioms in whose expression such a function-name occurs; (b) to analyze the semantic nature of the formal linguistic expression of Axiom V, and (c) to examine the conflict between the requirements of self-evidence and real epistemic value or genuine knowledge arising inevitably and invariably from Fregean abstraction principles, if they are singled out as axioms of a theory T.

 

See also the announcement by the Formal Philosophy group

 

Конструктивное знание-3: формализация теорий

 

Когда: пятница 12 мая 2017 с 10 утра

Где: ИФ РАН, комната 416 (4-й этаж)

 

Описание:

Этот воркшоп – третий в серии воркшопов, организованных в рамках проекта “Логические и эпистемологические аспекты конструктивного знания” (см. первый и второй воркшопы). В этот раз фокус будет сделан на анализе различных подходов к формализации теорий. Эта проблема будет рассмотрена как с технической, так и с эпистемологической точек зрения.

Программа:

 

СЕРГЕЙ КОВАЛЁВ (ИПУ РАН)

Представление инженерных знаний в электронно-цифровом макете сложного технического изделия

(аннотация)

 

АЛЕКСАНДР ЖОЖИКАШВИЛИ (ИППИ РАН)

Теоретико-категорная формализация продукционных систем представления знаний

(аннотация)

 

СЕРГЕЙ ТИТОВ (ИФРАН)

 Объяснительная сила информационно-емких исследований

(аннотация)

 

ВЛАДИМИР ШАЛАК (ИФ РАН)

Логическая компонента научных теорий

(аннотация)

 

ДАНЯ РОГОЗИН (МГУ)

Соответствие Карри-Говарда и колмогоровская сложность

(аннотация)

 

АНДРЕЙ РОДИН (ИФ РАН)

Правила или аксиомы? О двух стилях аксиоматизации.

(аннотация)

 

ВЛАДИМИР ВАСЮКОВ (ИФ РАН)

Трансцендентальные модальности

(аннотация)

 

КОНСТАНТИН ШИШОВ (МГУ)

Семантики квантовой логики

(аннотация)

https://eutypes.cs.ru.nl/Meetings/Ljubljana17

http://www.modeltheory2017.philosophie.uni-muenchen.de/index.html

 

Munich 9-12 January 2017

 

Categorical Model Theory and the Semantic View of Theories

short abstract (pdf)   extended abstract (pdf)

 

Программа и другая дополнительная информация:

 

Categorical Model Theory and the Semantic View of Theories, Model Theory: Philosophy, Mathematics and Language, Munich Center for Mathematical Philosophy, 9-12 January 2017 (abstract)

 

Конструктивное знание – 2:

Когда: 5 октября 2016 с 11:30

Где: ИФ РАН, комната 416 (4-й этаж)

 

Программа:

11:30 – 11:45
СЕРГЕЙ КОВАЛЁВ
Управление конструктивным знанием интеллектуальных промышленных роботов

Рассматриваются принципы накопления массивов процедурного конструктивного знания в системах управления промышленными робототехническими комплексами. Выделены основные механизмы управления знанием роботов. Ставится проблема организации синергичной совместной работы всех механизмов в целях полной автоматизации роботизированного производства.

12:00 – 12:45
СЕРГЕЙ ТИТОВ
Data Science and Scientific Explanation

Growing number of studies in the field of Data Science rise a question about its place in
contemporary science. On the one hand data science came from statistics and computer sciences, on the other hand it’s research subjects often are from various domains such as psychology, sociology and biology and while computer science works with sets of numbers, data science is developing methods to extract knowledge from particular, given data. Mainly by “knowledge” data scientists mean any cyclic events or regularities, ignoring concepts of understanding. Here we can notice a problem: data science models have highly reliable predictions, but significant lack of explanatory part.

12:45 – 13:30
ДАНИИЛ РОГОЗИН
Теория типов, интуиционистская логика и колмогоровская сложность

Излагаются текущие результаты по колмогоровской сложности в интуиционистской логике и в лямбда-исчислении. Ставится вопрос об анализе соответствия Карри-Говарда с точки зрения алгоритмической теории информации.

13:30 – 15:00
ОБЕД

15:00 – 15:45
ВЛАДИМИР ВАСЮКОВ

Internal Logic of the H-B topos and Universal Metalogic

Chris Mortensen in his book ”Inconsistent Mathematics” introduced the notion of complement topos such that its internal logic is dual to the usual logic of standard topos. Since the complement classifier is indistinguishable (via categorial methods) from the standard subobject classifier, any topos can be described as H-B topos, in which we have both Heyting and co-Heyting (Brouwerian) algebras of subobjects. We propose a formulation of internal logic of such H-B topos based on C.Rauszer’s H-B logic. Taking into account the fact that the category Log of logical systems contains both types of subobject classifiers we adopt this approach for the case of Log.

15:45 – 16:30
КОНСТАНТИН ШИШОВ
Использование обратимых логических вентилей в квантовой логике.

В докладе предлагается поднять проблему обратимости логических операций,  осуществляемых в рамках квантовых вычислений. Для теоретиков квантовых вычислений, эта проблема заключается во введении таких логических вентилей, которые бы могли с наименьшими затратами ресурсов проводить квантовые и классические вычисления. На основании этого, предлагается рассмотреть теоретические аспекты выбора таких логических схем, а также указать те эвристические приемы, которые бы могли оптимизировать процесс выбора базового набора обратимых логических вентилей, для осуществления логических операций. Кроме этого, будут рассмотрены примитивные обратимые вентили, которые представлены в научной литературе, которые будут оценены по введенным критериям на свою оптимальность в использовании в рамках квантовых вычислений.

ПЕРЕРЫВ 15 МИН

16:45 – 17:30
АНДРЕЙ РОДИН
Категорная теория моделей и конструктивное знание

В категорной логике широко используются различные варианты функториальной семантики, впервые предложенной в 1963 Лавером в его докторской диссертации. Функториальная семантика включает в себя понятие о модели данной формальной теории, которое отличается от классического понятия модели введенного в логику Тарским. Это новое понятие о модели, которое существует в множестве вариантов, ни один из которых на сегодняшний день нельзя назвать стандартным, нуждается в эпистемологическом анализе и обосновании. В докладе делается попытка такого анализа на примере некоторых известных моделей гомотопической теории типов (ГТТ), и на этой основе предлагается интерпретация ГТТ и построенных с ее помощью специальных теорий в терминах конструктивного знания.

Homotopy Type Theory in Logic, Metaphysics and Philosophy of Physics

 

University of Bristol; September 13-15th, 2016.