The Conference PhML 2009 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
Philosophical Insights into Logic and Mathematics;
Mathematical Models in the Study of Language, Mind and Brain;
Philosophy of Language and Problems of Semantics and Pragmatics.
| Friday, Nov. 20 | |||
| Room |
Reception Hall
|
||
|
9:30 - 10:45
|
Registration, Coffee | ||
| Room |
Hall 1
|
||
|
10:45 - 11:00
|
Opening Ceremony |
||
| Plenary Session Chair |
Friederike Moltmann
|
||
|
11:00 - 11:50
Invited Lecture |
|||
|
Break - 10 min.
|
|||
|
12:00 - 12:50
Invited Lecture |
Markus Werning
Good and bad arguments for the compositionality of meaning abstract |
||
|
Break - 10 min.
|
|||
|
13:00 - 13:50
Invited Lecture |
Stanislav Vassilyev
Calculi of Positively Constructed Formulae and Applications abstract |
||
|
Lunch Break
|
|||
| Rooms |
Hall 1
|
Hall 2
|
Hall 3
|
| Session Chair |
Э.Ф. Караваев
|
А.А. Владимиров
|
Е.С. Борисов
|
|
15:00 - 15:25
|
Andrei Rodin
Renewing Foundations abstract |
В.А. Степанов
Четырехзначная модальная логика Лукасевича в семантике самореферентных предложений abstract |
T. Toyoshima
Application of graph-theoretical traversals to linearization of syntactic structures abstract |
|
15:30 - 15:55
|
Е.Н. Лисанюк
Доказательство как вид вербального взаимодействия abstract |
А.А. Владимиров
О выразимости обобщённой индукции средствами ступенчатой семантической системы abstract |
Matthias Gerner |
|
Coffee Break - 20 min.
|
|||
|
16:15 - 16:40
|
Nikolai Vavilov
The status of a mathematical proof abstract |
Н.В. Шилов, A.A. Акинин
О классификации компьютерных языков на основе формальной онтологии abstract |
Е.С. Борисов
Классификатор текстов на естественном языке abstract |
|
16:45 - 17:10
|
B.I. Fiodorov
A Complete Classification of Scientific Questions abstract |
Н.Г. Жильцов, В.В. Иванов В.Д. Соловьев
Формализация математических знаний на основе языков разметки математических текстов и онтологий abstract |
|
| Saturday, Nov. 21 | |||
| Room |
Hall 1
|
||
| Session Chair |
Stephen Yablo
|
||
|
11:00 - 11:50
Invited Lecture |
Friderike Moltmann |
||
|
Break - 10 min.
|
|||
|
12:00 - 12:50
Invited Lecture |
Stephen Yablo
Closure puzzles: an unnoticed analogy between arguments for platonism and for skepticism abstract |
||
|
Lunch Break
|
|||
| Rooms |
Hall 1
|
Hall 2
|
Hall 3
|
| Session Chair |
В.Л. Васюков
|
С.В. Соловьёв
|
В.М. Бабич
|
|
15:00 - 15:25
|
В.С. Выхованец
О существенной неполноте формального метода abstract |
M. A. Werning
The compositionality of perceptually grounded concepts and the topology of the cortex abstract |
E. Cancellu
Euclid, Elementa 113. Where is Euclid? abstract |
|
15:30 - 15:55
|
Е.Н. Гурко
Математика, философия и метаязык: Давид Зильберман о манипулировании мета-языками при отсутствии языков описания abstract |
Е.В. Гайлит, Н.В. Белякин
Рекурсивная имитация гиперарифметической вычислимости abstract |
A. Kellenberg
Enumerations and Set Theory abstract |
|
Coffee Break - 20 min.
|
|||
|
16:15 - 16:40
|
А.Г. Черняков |
A.-V. Pietarinen
Two challenges for fictionalism in mathematics: mathematical practice and language abstract |
O.A. Antonova
Dedekind's logical approach to sets and Cantor's set theory abstract |
|
16:45 - 16:10
|
А.Н. Спасков
Генезис пространственно-временных представлений и темпорологическая структура мышления abstract |
S.V. Soloviev
Asymmetric games and game semantics: some philosophical consequences abstract |
S. Berkovski
Existence and semantic explanations abstract |
|
Coffee Break -20 min.
|
|||
|
16:30 - 17:55
|
В.Л. Васюков
Математический плюрализм abstract |
Н.Н. Васильев
Случайность, детерминированность и сложность abstract |
В.М. Бабич
Понятие функции в его становлении abstract |
| Sunday, Nov. 22 | |||
| Room |
Hall 1
|
||
| Session Chair |
Anatol Slissenko
|
||
|
11:00 - 11:50
Invited Lecture |
Anatol Slissenko |
||
|
Break - 10 min.
|
|||
|
12:00 - 12:50
Invited Lecture |
Elia Zardini
Towards First-Order Tolerant Logic abstract |
||
|
Lunch Break
|
|||
| Rooms |
Hall 1
|
Hall 2
|
Hall 3
|
| Session Chair |
Э.Ф. Караваев
|
О.Б. Прозоров
|
Н.В. Зайцева
|
|
14:00 - 14:25
|
V.O. Lobovikov
Mathematical Simulating Formal Axiological Semantics of Natural Languages (A Fundamental Generalization of Mathematical Philosophy: from Truth-Values to Axiological Ones) abstract |
С.В. Попова, В.Ю. Добрынин,
D.W. Patterson, N. Rooney, M. Galushka Методика смыслового анализа большой коллекции документов и её философское обоснование abstract |
П.М. Колычев
Релятивная онтология - релятивные суждения - понятия множества, числа и счёта - информационные базы данных abstract |
|
14:30 - 14:55
|
С.М. Кускова
Номиналистический и платонистический подходы к обоснованию математики abstract |
М.К. Тимофеева
Проблема моделирования понимания текстов с двойственной семантикой abstract |
G.K. Olkhovikov
AT action theory: axiomatization and some theorems abstract |
|
Coffee Break - 20 min.
|
|||
|
15:15 - 15:40
|
|
О.Н. Гринбаум
Математика гармонии (принцип «золотого сечения») и наука о стихе abstract |
Н.В. Зайцева
Когнитивные основания логики abstract |
|
15:45 - 16:10
|
Э.Ф. Караваев
Проблема природы доказательства как междисциплинарная научная и философская проблема abstract |
V.I. Vasilyev
Illusions of Time: A Mathematician's Contribution to Linguistics abstract |
|
|
16:15 - 16:40
|
Б.А. Кулик |
O.B. Prosorov
Formal hermeneutics as semantics of texts abstract |
|
|
16:50 - 17:00
|
Closing Address |
||
Back to Conference Program