Seminar Description
The Interdisciplinary Seminar PhML consists of a series of Sessions to be held regularly, at least twice a semester, at the St. Petersburg Department of Steklov Mathematical Institute of Russian Academy of Sciences (PDMI). The Seminar will thus continue the sporadic Interdisciplinary Conferences PhML‑2009, PhML‑2012, PhML‑2014 that have been held there in past years. Sessions may include short lectures containing question and answer segments, panel discussions, round tables, that focus on discussion or presentation of some specific topics, trends, or issues concerning various aspects of interaction between Philosophy, Mathematics, and Linguistics. The working languages of the Seminar are Russian and English. Sessions are held in hybrid format allowing participants to attend either in‑person or online via Zoom.
Attendance is free of charge, but registration is required for each participant: for a guest as well as for an invited speaker. To register yourself as a participant in the upcoming Seminar Session, please send e‑mail personally to Oleg Prosorov, chair of Organizational‑Program Committee: prosorov@pdmi.ras.ru. In the body of letter, communicate the following information about yourself: first name, last name, affiliation, your e‑mail address for contacts, the format of your participation (in8209;person or online). For participation in the in‑person format, this is necessary to enter the Main Building of PDMI; for online participation, this is necessary to receive a Zoom link by e‑mail.
Aims and Topics
The aims of this Interdisciplinary Seminar are to provide reseachers and postgraduate students with an opportunity to exchange information and new ideas, and to discuss new developments in the field of interaction between Philosophy, Mathematics, and Linguistic. Gathering researchers of different communities, the Seminar will promote fruitful scientific exchanges, and will contribute to interdisciplinary approach in Humanities.
The Seminar Sessions will cover several topics related to interaction of Philosophy, Mathematics, and Linguistic, including (but not limited to the following:
- New trends in the foundations of Mathematics;
- Interdisciplinary approaches to understanding Human Intelligence;
- Ontology of Mathematics and the nature of mathematical truth;
- The problem of abstract entities in Mathematics, Philosophy, Linguistics;
- Philosophy of Mathematics, Philosophy of Logic, and Philosophy of natural language;
- Mathematical and logical methods in Philosophy;
- Philosophical aspects of theoretical Computer Science, novel computational models and paradigms;
- Complexity in Mathematics, complexity in Logic, complexity in Linguistics;
- Philosophy of Mathematics and philosophy of natural language;
- Mathematical and logical methods in Language Sciences;
- Mathematical study of natural language structures;
- New theoretical approaches to modeling and analyzing texts in natural language.
This list of topics may be refined and expanded during the course of the Seminar.
Organizational‑Program Committee
The work on preparation for the PhML Seminar Sessions and the compilation of their scientific programs is carried out by the International Organizational‑Program Committee, consisting of:
- Oleg Prosorov (PDMI, St. Petersburg), chair,
- Anatol Slissenko (Université Paris‑Est Créteil, Paris),
- Sergei Soloviev (IRIT, Toulouse, and LETI, St. Petersburg).
Upcoming Sessions
At present, our project for organizing the Interdisciplinary Seminar is just beginning its work, and therefore the portfolio of the Organizational‑Program Committee contains only the program of the 1st Session of the Seminar, which is presented below in the subsection with the corresponding title. In the future, when applications for presentations will be received, and/or the consent to give a talk from invited speakers will be received, or the implementation of other projects in the work of the Seminar will progress, the working plan for the Seminar will be formed and published in the section "News" of this web-page.
Program of the 1st Session
Location:
Auditorium 311, Building of PDMI located at the address: St. Petersburg, Fontanka River Embankment, 27.
Schedule:
| 13:00 - 13:05 | Welcome speech and introduction of the speaker to the audience by Oleg Prosorov, chair of the Organizational-Program Committee and moderator of the event. |
| 13:05 - 13:50 | Mathematics and natural sciences: through the prism of the evolutionary paradigm by Elena Chebotareva (St. Petersburg University, St. Petersburg)
Eugene Wigner argues an alarming question about the potential contradiction
of biological and physical theories, without doubting the ability of mathematical
tools to describe any phenomena of nature in his famous article on the unreasonable
effectiveness of mathematics in the natural sciences.
Alan Turing proposed constructive examples of describing the living nature
through mathematical regularities. Global evolutionism as a prevailing worldview trend
forces us to critically reconsider the limits of mathematics application in biology.
|
| 13:50 - 14:00 | Discussion and Q&A |
| 14:00 - 14:05 | Introduction of the speaker to the audience by Oleg Prosorov |
| 14:05 - 14:50 | Semantic Games with Restrictions on Computational Complexity of Strategies by Sergei Soloviev (IRIT, Toulouse, and LETI, St. Petersburg)
Traditionally, game semantics was developed to confirm or complement some existing semantics
of logical systems. Usually it was established that the Verifier has a winning strategy
in the game associated with the formula A when A is derivable in some corresponding
deductive system or true in a model‑theoretical sense. It is well known
that the restrictions on the classes of strategies used by Verifier and Falsifier
may break this relationship, so the question of "admissible" restrictions has been studied:
for example whether it is possible to consider only computable strategies and still obtain
the same "adequate" semantics. We study the restrictions from a different point of view:
how much the semantics may be deformed due to some natural asymmetry between players.
We consider various known kinds of semantic games (for example, games with backward moves).
It turns out that under some conditions the Verifier may win even if the formula is not true
in ordinary logical semantics. The conditions like the Verifier being able to compute
an universal function for all possible strategies of Falsifier are considered.
|
| 14:50 - 15:00 | Discussion and Q&A |
Call for Abstract
We invite the submission of abstracts of contributed papers that explore the research questions relating to the interplay between Philosophy, Mathematics and Linguistic. Papers from any tradition and from various theoretical perspectives are welcome, including but in no way limited to the themes listed above. Since we intend to promote interdisciplinary joint work, we especially wellcome research that cross disciplinary boundaries and consider different aspects of interaction between Philosophy, Mathematics and Linguistic.
Those who wish to present a paper at one of upcoming Seminar Sessions should send by e‑mail an application with an extended abstract of presentation included as an attachment (one page A4), and with "PhML Seminar abstract" as the subject line. The text of letter should be written in both working languiges of PhML, that is in Russian and in English. In the body of letter should be mentioned:
- The title of presentation.
- Information concerning the author (first name, last name, patronymic; scientific degree (if any); scientific status (if any); position; affiliation).
- The presentation equipment (if needed for in-person participation).
All submissions are subject to peer-review selection in order to ensure compliance with the specific Seminar themes, the technical compliance with the submission guidelines for authors we formulated above, and the adherence to the generally known criteria with regard to content of an abstract: purpose, methodology, own contribution, results, conclusions.
News
The next Session of the Seminar is scheduled for April 30 this year. In fact, this is the first Session in the work of the Seminar. Further work of the Seminar will be announced later in this section. Follow the announcements.
Contacts information
Please, direct all inquiries to the Organizational‑Program Committee by e‑mail at phml_2012@pdmi.ras.ru.
You may also ask a question personally to:
- Oleg Prosorov (chair of the Organizational‑Program Committee) by e‑mail at prosorov@pdmi.ras.ru,
- Svetlana Petrakova (secretary) by e‑mail at petrakova@pdmi.ras.ru.