International Conference "Formal Philosophy 2024"
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., 511 + 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.
-
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.