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

November 6, 2017

Workshop 15 November 2017

Filed under: — Andrei Rodin @ 9:28 pm

Constructive Knowledge – 4: : Epistemic Logics and the Problem of Jusification

 

When: Wednesday 15 November 2017 beginning at 10 A.M.

Where: Institute of Philosophy RAS, room 416 (4th floor)

 

What:

This is the 4th edition of  “Constructive Knowledge”, which is a series of workshops organized within the project  “Logical and Epistemological Aspects of Constructive Knowledge” (see. the first , the second and the third workshops of this series). This time a special emphasis is made on Epistemic Logics and Justification. There are two new speakers from the outside of the project team: Tudor Protopopescu from the Higher School of Economics and Stepan Kuznetzov from the Mathematical (Steklov) Institute of RAS.

 

NEW! Full video (not edited yet, sorry for some inconvenineces): Morning Session and Afternoon Session.

 

 

Program (the book of abstracts is downloadable via the link below the schedule):

 

10:00 – 10:40

ANDREI RODIN (IP RAS)

Jusification Procedures in Knowledge Representation (slides)

 

10:40 – 11:10

SERGEI KOVALYOV (ICS RAS)

Knowledge Management for Digital Design of Novel Materials

 

Coffee

 

11:30 – 12:10

TUDOR PROTOPOPESCU  (HSE)

Intuitionistic Epistemic Logic 

 

12:10 – 12:50

DANYA ROGOZIN (MSU)

Modal Type Theory based on the Intuitionistic Epistemic Logic

 

Coffee

 

13:10 – 13:50

STEPAN KUZNETZOV (MI RAS)

Iteration in Residuated Structures

 

13:50 – 14:30

General Discussion on the Constructive Knowledge

 

14:30 – 15:30:  LUNCH

 

15:30 – 16:10

KONSTANTIN SHISHOV (MSU)

Representation of Algebraic Structures of QMV-algebra and qMV-algebra in Relational Semantics

 

16:10 – 16:50

VLADIMIR VASYUKOV (IP RAS)

Behaviorality as Contextuality: Does Non-classicality Matter?

 

16:50 – 17:30

Concluding Remarks

 

ABSTRACTS

 

 

No Comments

No comments yet.

RSS feed for comments on this post.

Sorry, the comment form is closed at this time.

Powered by WordPress