• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

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

Lev D. Beklemishev

Professor at the Joint department with the Steklov Institute of Mathematics (RAS)

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

Ítala Maria L.D'Ottaviano

Professor (Full) at State University of Campinas (UNICAMP)

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 TableNormativity 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

Submit

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.