International Conference "Formal Philosophy 2025"
About the conference
Formal Philosophy is an annual international conference organized by International Laboratory for Logic, Linguistics and Formal Philosophy. In 2025, the conference will be held for the 8th time (more about past conferences). The conference is devoted to discussing the problems of philosophical logic, formal epistemology, epistemic logic, formal ontology, analytical metaphysics, philosophy of logic, mathematical logic, philosophy of mathematics, as well as other aspects of formal philosophy. The conference will be followed by an associated event, the Summer School "Logic, Linguistics and Formal Philosophy" (June 30 – July 4, 2025).
Conference dates: June 23-26, 2025
Location of the event: Moscow, st. Staraya Basmannaya, 21/4, A-307 + Zoom Format: hybrid (both face-to-face and remote participation is possible)
Working languages: Russian and English
Invited speakers

Fábio Maia Bertato
Researcher in the Centre for Logic, Epistemology and the History of Science (CLE) at the University of Campinas (UNICAMP), associate director of CLE

Marcelo Esteban Coniglio
Full Professor Department of Philosophy (DF) Institute of Philosophy and the Humanties (IFCH) University of Campinas (UNICAMP)

Odintsov Sergey Pavlovich
S. L. Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Laboratory of Logical Systems, Leading Researcher

Walter Carnielli
Full Professor of the Department of Philosophy (DF) Institute of Philosophy and Human Sciences (IFCH) State University of Campinas (UNICAMP)
Programme
Moscow Time Zone (GMT+3)
-
June 23
14.30–15:00
REGISTRATION & OPENING
15:00–16:00
Sergei Odintsov (Sobolev Institute of Mathematics), Weak and Strong Definability in FDE-based Logics
16:00–17:00
Lev Beklemishev (Steklov Mathematical Institute), On Formal Systems Proving Their Own Consistency
17:00–17:30
COFFEE BREAK
17:30–18:30
Walter Carnielli (University of Campinas), Paraconsistency, Evidence, and Probability – The Research Program around the Logics of Evidence and Truth
18:30–19:30
Marcelo Esteban Coniglio (University of Campinas), An AGM-like Paraconsistent Belief Revision System based on Epistemic Entrenchment
19:30–20:00
COFFEE BREAK
20:00–21:00
Itala Maria Loffredo D'Ottaviano (University of Campinas), Translations between Logics (online)
-
June 24
11:00–12:00
I.B. Mikirtumov (HSE University), Immediate and Naive Metaphysics
12:00–12:30
Daria Popova (HSE University), Multi- vs. Unidimensional Semantics for Discourse Asymmetry in Constructions with Propositional Verbs
12:30–13:00
Ivan Sobolev (HSE University), Semantics-Pragmatics Frontier: Pragmatic Enrichments and Use-conditional Meaning
13:00–15:00
BREAK
15:00–15:30
Andrei Kudinov (Moscow Institute of Physics and Technology), Epistemic Logics for Agents with Rule Application Constraints
15:30–16:00
Anastasia Onoprienko (HSE University), Intuitionistic Epistemic Logic from the Classical Point of View (in Russian)
16:00–16:30
Elena Dragalina-Chernaya (HSE University), Abstract Logics as Classifications of Abstract Structures
16:30–17:00
Sayantan Roy, Abstract Model Structures and the Compactness Theorem (online), co-authors: S.Basu (Indraprastha Institute of Information Technology), M. Chakraborty (Jadavpur University)
17:00–17:30
COFFEE BREAK
17:30–18:00
Ilenia Amitrano (Università di Siena), Sense, Absurdity, and Nonsense: On the Philosophical Foundations of Logicality (online)
18:00–18:30
Poster session
-
June 25
confirmation of participation
11:00–11:30
A.S. Chernavsky (Moscow State Pedagogical University), The Potential and Current Opportunities for Creating a New Universal Metalanguage for Communication with AI in the Context of the Development of Large Concept Models, co-author: I.N. Zyryanova (Baikal State University). In Russian.
11:30–12:00
A.C. Pimanov (Inst. of Philosophy, RAS), Extension of V.A. Smirnov's Systems of Temporal Logic in the Context of Determinism. In Russian.
12:00–12:30
I.V. Zaitsev (HSE University), Formulation of the Noted Sequent Calculus for Basic Intuitionistic Conditional Logic with an Admissible Additive Cut Rule. In Russian.
12:30–13:00
Yu.S. Kazakov (HSE University), Semantic Contamination of Proof Systems. In Russian.
13:00–15:00
BREAK
15:00–15:30
L.Yu. Devyatkin (Institute of Philosophy, Russian Academy of Sciences), The Problem of Defining the Concept of Paraconsistency. In Russian.
15:30–16:00
A.A. Timokhin (Moscow State University), Adequate Algebraic Semantics for the Mesoconnective Logic MeC. In Russian.
16:00–16:30
Vladimir Stepanov (Dorodnicyn Computing Centre of FIC CSC RAS), Dynamic Approximation for a Self-Referential Sets
16:30–17:00
Mikhail Smirnov (HSE University), Against Philosophical Justification of Paraconsistent Logics
17:00–17:30
COFFEE BREAK
17:30–18:30
Fábio Maia Bertato (University of Campinas), Logical Analysis of the Concept of Goodness: A Ground for Formal Ethics (online)
-
June 26
11:00–11:30
K. I. Alexandrov (HSE University), The Complexity of Linearly Approximable Extensions of the Base Propositional Logic Visser. In Russian.
11:30–12:00
Daniyar Shamkanov (Steklov Mathematical Institute, HSE University), Cyclic Proofs in Peano Arithmetic, co-authors: L.Beklemishev (Steklov Mathematical Institute), I.Smirnov (Steklov Mathematical Institute)
12:00–12:30
Ajay Mohan (University of Calicut), Neutrality of Logic and the Formal Structure (online)
12:30–13:00
J. J. Snodgrass (University of St. Andrews), Co-intensional Properties and Classificatory Propositions (online)
13:00–15:00
BREAK
15:00–15:30
A.Yu. Moiseeva (HSE University), "Intentional Identity" in the Context of Reasoning about Fictions. In Russian.
15:30–16:00
G.A. Zolotkov (HSE University), The Nature and Method of Philosophy in Ludwig Wittgenstein’s "Big Typescript" (TS 213). In Russian.
16:00–17:00
Round Table “Normativity in Reasoning Models”. In Russian.
17:00–17:30
COFFEE BREAK
17:30–19:30
Round Table “Normativity in Reasoning Models”. In Russian.
Round Table "The Problem of Normativity in the Modeling of Reasoning" Program:
- I.A. Nikitina (HSE University), Modeling Collective Action: Between Reality and Desiderata
- E.N. Lisyanyuk (Inst. of Philosophy, RAS; HSE University), Logical and Cognitive Aspects of Demarcating Arguments from Authority and Expert Opinion
- A.N. Podyakov (HSE University), Opinions of Representatives from Humanities and Exact Sciences on Solving Problems of Non-Transitivity in Superiority
- A.S. Bobrova (RSUH, HSE University), Features of Assessing the 'Basic' Conditional Depending on the Type of Object It Describes
- V.V. Dolgorukov (HSE University), E.L. Popova (HSE University), Evidentials from the Perspective of APAL and GAL
- D.N. Fedyanin (Inst. of Control Sciences, RAS; HSE University), Using Dynamic Epistemic Logic and Machine Learning Algorithms to Study Social Aspects of the Difference Between Normative and Descriptive Beliefs
Funding note:
The round table is supported by the Russian Science Foundation (RSF) project "Logical-Cognitive Models of Reasoning: Principles of Demarcating Normative and Descriptive" (No. 23-18-00695)
Important dates
-
25 May 2025
Submission closes
-
27 May 2025
Notification of acceptance
-
30 May 2025
Confirmation of participation
-
23 – 26 June 2025
Conference
-
30 June – 4 July 2025
Summer School "Logic, Linguistics and Formal Philosophy"
Submissions
File format: .pdf or .tex
Size: no more than 8,000 characters
Submission language: Russian or English
Presentation format: oral or poster
To complete the blind review procedure, please make sure that there is no identifying information in the application text.
Registration for participants till 21 June
Contacts
If you have any questions, please contact the laboratory at llfp@hse.ru
Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!
To be used only for spelling or punctuation mistakes.