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

International Conference "Formal Philosophy 2024"

18+
*recommended age

From 7 to 9 November 2024, the International Laboratory for Logic, Linguistics and Formal Philosophy will host the annual conference "Formal Philosophy". In 2024, the Formal Philosophy conference will take place for the 7th time.

Dates: November 7-9, 2024


Venue: Moscow, 21/4 Staraya Basmannaya St., A-307 + Zoom


Format: hybrid (both in-person and remote participation possible)


Working languages: Russian and English

Dates: November 7-9, 2024
Venue: Moscow, 21/4 Staraya Basmannaya St., A-307 + Zoom
Format: hybrid (both in-person and remote participation possible)
Working languages: Russian and English

"Formal Philosophy" is an annual international conference organized by the International Laboratory for Logic, Linguistics, and Formal Philosophy since 2018. The conference is dedicated to discussing issues in:
• Philosophical logic
• Formal epistemology and epistemic logic
• Formal ontology
• Philosophy of logic
• Mathematical logic and philosophy of mathematicsI

  • 07.11

    11.00-12.00 The Chair – Vitaly Dolgorukov

    Zoran Ognjanović, Probability logics, stong completeness and decidability

    12.00–12:30

    coffee break

    12:30-12:50

    Mikhail Rybakov, Darya Serova, Predicate counterpart of the Gödel–Dummett logic: poor undecidable fragments.

    12:50–13:10

    Alexander Belikov, Hyperconnexivity, compositionality and non-deterministic semantics

    13:10–13:30

    Natalia Tomova, On the issue of the duality of logical systems

    13:30–13:50

    Ilya Gushchin, Some features of fictions and free logic

    13:50–15:00

    Lunch

    15:00–15:20 The Chair - Anna Moiseeva

    Vladimir Shalack, On the expansion of the concept of the law of science

    15:20-15:40

    Ivan Sobolev, The Implied meaning: in search of a natural formalization

    15:40–16:00

    Olga Kozyreva, The ways of expressing subjectivity: attempts to formalize the difference between de re and de se readings of propositional attitudes statements

    16:00–16:20

    Grigory Zolotkov, The limitations of human capabilities and the philosophical riddle of continuity: L. Wittgenstein on the continuum problem

    16:20-16:40

    Svetlana Kuskova, Semiotic interpretation of ideal objects

    16:40–17:00

    Kirill Gabrusenko, Logicism of B. Bolzano, online

    17:00–17:30

    Coffee break

    17:30–17:50 The Chair – Angelina Bobrova

    Micol Pasti, Logical Pluralism from 'outside of logic'

    17:50–18:10

     J.J. Snodgrass, On the Hyperintensions of Properties

    18:10–18:30

    Armin Heydari, Objects in the Spectral Presheaf: From Radical to Structures-First Ontic Structural Realism, online

    18:30–18:50

    Charlie Dorémieux, Hybrid Necessitism, online

    18:50–19:10

    José da Mata, Object, Essence and Substance

    19:10–19:20

    break

    19:20–20:00

    Valentin Bazhanov, The History of  N.A. Vasiliev's 'Imaginary Logic (Selected papers)' Book Making Up. 

  • 08.11

    10:00–10:20 The Chair – Valentin Bazhanov

    Louis Vervoort, Causes in neuron diagrams, and causal reasoning tested in ChatGPT. A hint of the future of philosophy

    10:20–11.20

    Evgeny Borisov, Crossworld predication in first-order modal logic

    11.30–12:30

    Itala Loffredo D'Ottaviano, Horizons of Logic for the 20th Century: Russian contributions to non-classical logics - Valery Glivenko

    12:30–13:00

    Coffee break

    13:00–14:00

    Marcelo Esteban Coniglio, On First-Order Ivlev-like Modal Logics

    14:00–15:00

    Lunch

    15:00–15:20 The Chair - Evgeny Borisov

    Daniyar Shamkanov, Topological semantics of the predicate modal calculus QGL extended with non-well-founded proofs

    15:20-15:40

    Oxana Cherkashina, Constructing an analogue of Blanche hexagon for propositions about relations. Many-place Aristotelian relations. 

    15:40–16:00

     Artem Pimanov, Time representation in the context of determinism

    16:00–16:20

    Vladimir Stepanov, A simple path to dynamic approximation

    16:20–17:00

    coffee break

    17:00-18:00

    Vladimir Vasyukov, Horizons of Scientific Pluralism: Logics, Ontology, Mathematics.

    18:00-18:20

    break

    18:20–19:00

    Vladimir Vasyukov, Horizons of Scientific Pluralism: Logics, Ontology, Mathematics.

  • 09.11

    10:00–10:30

    Posters session

    10:30-10:50 The Chair - Lolita Makeeva

    Fedyanin D. N. The effect of ontology deformation caused by the search for justification for pragmatic reasoning

    10:50–11:10

    Nikitina I.A., Bobrova A.S. The place of logical theories in solving the problem of framing effect

    11:10–11:30

    Lisanyuk E.N. Objectification of discussions, meta-argumentation and search for solutions in strict and non-strict disputes

    11:30–11:50

    Gleb Karpov, Types of enthymemes and how to handle them

    11:50–12:10

    Olga Shapiro, How does the "from authority" argument work?

    12:10–12:40

    coffee break

    12:40–13:00

    Leonid Devyatkin, The degree of maximality of the consequence in three-valued logics defined by minimal C-expanding matrices

    13:00–13:20

    Sergey Lukashov, Recursive inseparability of Albert Visser's first-order basic logic QBL

    13:20–13:40

    Mikhail Smirnov, Denotative relevance as implicative relevance in metalanguage

    13:40–14:00

    Daria Popova, Encoded discourse strategies: factivity in constructions with propositional verbs

    14:00–14:20

    Daniil Tiskin, Some Implications of the Set Representation of Ambiguity

    14:20–15:30

    Lunch

    15:30–16:30 The Chair - Elena Dragalina-Chernaya

    Elia Zardini, Vagueness across the Type Hierarchy

    16:30–17:00

    coffee break

    17:00–18.00

    Itala Loffredo D'Ottaviano,  Horizons of Logic for the 20th Century: Russian contributions to non-classical logics - Dmitry Bochvar

    18.00–18.30

    Closing of the conference

Submissions

• Submissions are accepted until October 30
• Submissions are accepted via EasyChair https://easychair.org/conferences/?conf=formphil2024
• To ensure blind peer review, please make sure that there is no identifying information in the text of the abstract.
• Submissions format: no more than 1000 words.
• Please note that submissions can be submitted in English or Russian.
• The program includes a poster session. If you would like to participate in the poster session, please indicate this in the text of your application.

 

Submit your abstract

Add to calendar