Philosophy, Mathematics, Linguistics: Aspects of Interaction (PhML 2009)

International Interdisciplinary Conference to be held on November 20-22, 2009

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.

Conference Program



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
Oleg Prosorov
Friederike Moltmann

Plenary Session Chair
Friederike Moltmann
11:00 - 11:50
Invited Lecture
Grigori Mints
New Trends in Foundations of Mathematics abstract, full text & video
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
Defining permutations in the lexicon of natural languages abstract

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

top

Saturday, Nov. 21
Room
Hall 1
Session Chair
Stephen Yablo
11:00 - 11:50
Invited Lecture

Friderike Moltmann
The number of planets, a number-referring term? abstract

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

А.Г. Черняков
Математика и философская герменевтика abstract

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

top

Sunday, Nov. 22
Room
Hall 1
Session Chair
Anatol Slissenko
11:00 - 11:50
Invited Lecture

Anatol Slissenko
Classical computability versus realistic computability abstract

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-семантическому анализу на основе теории отношений abstract

O.B. Prosorov
Formal hermeneutics as semantics of texts abstract

16:50 - 17:00

Closing Address
Friederike Moltmann
Oleg Prosorov

top

Back to Conference Program