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

April 23, 2017

Invited Talk by Prof. Matthias Schirn (Munich)

Filed under: Uncategorized — Andrei Rodin @ 4:54 pm

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 SchirnMunich 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

 

April 18, 2017

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

Filed under: Uncategorized — Andrei Rodin @ 7:07 pm

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

 

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

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

 

Описание:

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

Программа:

 

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

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

(аннотация)

 

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

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

(аннотация)

 

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

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

(аннотация)

 

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

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

(аннотация)

 

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

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

(аннотация)

 

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

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

(аннотация)

 

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

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

(аннотация)

 

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

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

(аннотация)

Powered by WordPress