The Conference PhML-2012 takes place in the building of Euler International Mathematical Institute (EIMI), which is a part of St. Petersburg Department of Steklov Mathematical Institute. The EIMI is located in the centre of St.Petersburg, and its address is 10, Pesochnaya nab. One can find the EIMI on the map, or on its home site.
Sections
Mathematics and Language (hall 1);
Logic and Semantics (hall 2).
| Tuesday, May 22 | |||
| Room |
Reception Hall
|
||
|
9:00 - 9:50
|
Registration, Coffee | ||
| Room |
Hall 1
|
||
|
9:50 - 9:55
|
Opening |
||
|
10:00 - 10:55
Plenary Lecture |
Yuri I. Manin
Foundations as Superstructure (Reflections of a practicing mathematician) |
||
|
Break - 5 min.
|
|||
|
11:00 - 11:55
Plenary Lecture |
Michiel van Lambalgen
The completeness of Kant's Table of Judgements and its consequences for philosophy of mathematics |
||
|
Coffee Break - 15 min.
|
|||
|
12:10 - 13:05
Plenary Lecture |
Theodora Achourioti
Kant's theory of truth |
||
|
Break - 5 min.
|
|||
|
13:10 - 14:05
Plenary Lecture |
Grigori Mints
Classical and Intuitionistic Geometric Logic |
||
|
Break - 5 min.
|
|||
|
14:10 - 15:05
Plenary Lecture |
Oleg B. Prosorov
Topologies and Sheaves Appeared as Syntax and Semantics of Natural Language |
||
|
Lunch 15:05 - 16:05
|
|||
| Wednesday, May 23 | |||
| Room |
Hall 1
|
||
|
10:00 - 10:55
Plenary Lecture |
Jaakko Hintikka
IF Logic and Linguistic Theory |
||
|
Break - 5 min.
|
|||
|
11:00 - 11:55
Plenary Lecture |
Gabriel Sandu
IF Logic and Foundations of Mathematics |
||
|
Coffee Break - 15 min.
|
|||
|
12:10 - 13:05
Plenary Lecture |
Edward F. Karavaev
Belief and Knowledge: Kant's Heritage in Philosophy and Logic Today |
||
|
Break - 5 min.
|
|||
|
13:10 - 14:05
Plenary Lecture |
Andrey Patkul
The Kant's Treatment of Logic in Historical Context |
||
|
Break - 5 min.
|
|||
|
14:10 - 15:05
Plenary Lecture |
Andrei Rodin
Univalence and Constructive Identity |
||
|
Lunch 15:05 - 16:30
|
|||
| Room |
Hall 1
|
||
|
16:30 - 18:00
Panel Discussion |
The Heritage of Kant and Contemporary Formal Logic |
||
|
Coffee Break - 15 min.
|
|||
| Rooms |
Hall 1
|
Hall 2
|
|
|
18:15 - 18:40
|
Jos Tellings |
Yury V. Nechitaylov
Basic Principles for the Dynamic Elimination of the Logical Omniscience |
|
|
Break - 5 min.
|
|||
|
18:45 - 19:10
|
Hans M. Dietz, Janna Rohde |
Marcos Cramer
Implicit dynamic function introduction and its connections to the foundations of mathematics |
|
|
Break - 5 min.
|
|||
|
19:15 - 19:40
|
Paniel Osberto Reyes Cárdenas |
Vladimir Stepanov
The dynamic model of a language allowing the mechanism of a self-reference |
|
| Thursday, May 24 | |||
| Room |
Hall 1
|
||
|
10:00 - 10:55
Plenary Lecture |
Francis Jeffry Pelletier
The Effect of Applying Mathematical Logic to Metaphysical Concepts of Vagueness |
||
|
Break - 5 min.
|
|||
|
11:00 - 11:55
Plenary Lecture |
Vladimir L. Vasyukov
Categorical Ontology of Non-Classical Mathematics |
||
|
Coffee Break - 15 min.
|
|||
|
12:10 - 13:05
Plenary Lecture |
Isidora Stojanovic, Oliver Kutz
Generalized Quantifiers and Ontological Commitments |
||
|
Break - 5 min.
|
|||
|
13:10 - 14:05
Plenary Lecture |
Markus Werning
Making Quotation Transparent |
||
|
Lunch 14:05 - 15:30
|
|||
|
15:30 - 16:25
Plenary Lecture |
Bertrand Boisvert, Louis Féraud, Sergei Soloviev
Graph Transformations, Proofs, and Grammars |
||
|
Break - 5 min.
|
|||
|
16:30 - 17:25
Plenary Lecture |
Mark Colyvan
From Notation to Knowledge |
||
|
Break - 5 min.
|
|||
|
17:30 - 18:25
Plenary Lecture |
Igor D. Nevvazhay
Semiotics of Mathematical Thinking Culture |
||
|
Free time - 18:30 - 20:00
|
|||
|
Excursion - 20:00
|
|||
| Friday, May 25 | |||
| Room |
Hall 1
|
||
|
10:00 - 10:55
Plenary Lecture |
Graham Priest
The Axiom of Countability |
||
|
Break - 5 min.
|
|||
|
11:00 - 11:55
Plenary Lecture |
Dima Grigoriev
Complexity frontiers in mathematics |
||
|
Coffee Break - 15 min.
|
|||
|
12:10 - 13:05
Plenary Lecture |
Anatol Slissenko
Towards Analysis of Information Structure of Computations |
||
|
Break - 5 min.
|
|||
|
13:10 - 14:05
Plenary Lecture |
Edward A. Hirsch
Proving heuristically |
||
|
Lunch 14:05 - 15:30
|
|||
|
15:30 - 16:25
Plenary Lecture |
Luke Jerzykiewicz
Mathematical realism and conceptual semantics |
||
|
Break - 5 min.
|
|||
|
16:30 - 17:25
Plenary Lecture |
Michel De Glas
Locology and localistic logic: mathematical and epistemological aspects |
||
|
17:25 - 17:30
|
Closing |
||
|
Conference Diner 18:00
|
|||
| Links to: PDMI, EIMI | Last Update: January 23, 2013 |