International Conference "Formal Philosophy 2026"

Marco Ruffino (University of Campinas), Austin and Kripke: Making Sense of Contingent A Priori Truths

Simon Kreutz (Ruhr Universität Bochum), Intensional Semantics and the Ontology of Proper Names (online)

Andrey Zdanevich (Lomonosov Moscow State University), Epistemically transparent extraction of arguments from text with LLMs

COFFEE BREAK

Ümit Ege Atakan (University of St Andrews), There is More to Logicality Than S5: A Novel Criterion for the Logicality of Modal Operators (online)

Nikolai Poliakov (HSE University), Which Aggregation Rules Can Be Classified as Logical Concepts?

Viktoriia Denisova (HSE University), Axioms for a Cognitive Distortion Operator: A Philosophical Justification in Paraconsistent Logic

LUNCH

Igor Gorbunov (Tver State University; HSE University), Mikhail Rybakov (Higher School of Modern Mathematics MIPT; HSE University; Tver State University), The minimal well-defined logic, its extensions and theories (in Russian)

Anastasiia Onoprienko (Lomonosov Moscow State University; HSE University), Mikhail Rybakov (HSE University; MIPT; Tver State University), The logic HC and its fragments (in Russian)

Andrey Eremin (Lomonosov Moscow State University), Modal logic of ω-iterated consistency (in Russian)

COFFEE BREAK

Zinaida Sokuler (Lomonosov Moscow State University), In what sense is Hermann Cohen’s “Logic of Pure Knowledge” a logic? (in Russian)

Gleb Zemlyakov (St Petersburg State University), Laws of logic as rules of thought in Parmenides’ poem “On Nature” (in Russian, online)

Valentin Shehtman (HSE University; MIPT), Games in modal logic

COFFEE BREAK

Mikhail Rybakov (Higher School of Modern Mathematics MIPT; HSE University; Tver State University), Daria Serova (Higher School of Modern Mathematics MIPT; Tver State University), Non-normal worlds and the complexity of Lewis systems (in Russian)

Alexander Gavrikov (HSE University), I Know That There Is Something I Do Not Know: A Formalism for Strategic Reasoning

LUNCH

Igor Zaitsev (HSE University), On a conservative extension of the basic intuitionistic conditional logic ICK in a conditionally complete language with normal conditional operators (in Russian)

Leonid Devyatkin (Institute of Philosophy, Russian Academy of Sciences), Many-valued logics as ontologies of the universe of truth values (in Russian)

Natalya Tomova (Institute of Philosophy, Russian Academy of Sciences), Three-valued paralogics with the standard Rescher implication

Alexander Belikov (Lomonosov Moscow State University), On a modal contra-classical paralogic (in Russian)

COFFEE BREAK

Elia Zardini (Complutense University of Madrid; HSE University), Metaentailments and Entailments among Entailments (online)

Milena Dassie Wilke (National University of Córdoba), Proofs and intersubjective accessibility to notations (online)

Marco Ruffino (University of Campinas), Pragmatics as a By-Product of Logic in the Early Frege

Frank Zenker (Nankai University), From Posterior Credence to Credence Change: Bayesian Criteria for Argument Strength (online), co-authors: Wenjing Du (WenBo College, East China University of Political Science and Law), Hai Liu (Shanghai University of International Business and Economics)

COFFEE BREAK

Elena Vivich (Institute of Philosophy, Russian Academy of Sciences), Dynamizing situation semantics via the question function for an erotetic model of cognition (in Russian)

Yury Kazakov (HSE University), Dynamic epistemic logic of questions (in Russian)

Mihail Safronov (HSE University), Accidental necessity and historical invariance in Ockhamist branching-time logic (in Russian)

LUNCH

Valentin Dugushkin (Lomonosov Moscow State University), What is missing from N.V. Golovko’s well-known paper (in Russian)

Konstantin Morozov (Institute of Philosophy, Russian Academy of Sciences), Phenomenal conservatism without frills (in Russian)

Vasilisa Filatova (Slavic-Greek-Latin Academy, Moscow), Sound as a source of knowledge: a formal model of the epistemic role of auditory perception (in Russian)

COFFEE BREAK

Vitor Medeiros Costa (Universidade Federal de Santa Catarina), The unknown value in branching-time temporal logic (online)

Ludovica Conti (University of Vienna), Weak Impredicativity and Frege's Grundgesetze (online)

Felipe Carrasco (University of St Andrews / University of Stirling), Can Higher-Order Generic Quantification Ground the Impredicative Constructions in Frege's Theorem? (online)

Indira Borisova (Novosibirsk State University), Arguments and counterarguments with local and global premises in propositional modal logic (in Russian, online)

Elena Lisanyuk (Department of Logic, Institute of Philosophy, Russian Academy of Sciences), Will logic catch up with argumentation? (in Russian)

COFFEE BREAK

Olga Shapiro (North-West Institute of Management, RANEPA), Topological intuitions of informal argumentation theory (in Russian, online)

Daria Karpova (Medical Scientific and Practical Center for Comprehensive Rehabilitation “Goluboe”, FMBA of Russia), From the linguistic structure of the unconscious to the topology of the subject: possibilities of mathematical modelling in Jacques Lacan’s psychoanalysis (in Russian)

LUNCH

Ben Martin (University of Padua), The Role of Paradoxes in Logic (online)

Aleksandr Khlebalin (Novosibirsk State University), The continuity of logic and science, viewed from the perspective of the acceptance problem by an anti-conceptualist

COFFEE BREAK

Daria Popova (HSE University), Speaker commitment in constructions with propositional verbs in Russian

Ivan Sobolev (HSE University), “I didn’t say that!” A formal definition of misleading 

José Veríssimo Teixeira da Mata (Independent researcher), On the question about the modality "W" in Łukasiewicz (online)

Md. Javed Hassan (Seth Anandram Jaipuria College, Kolkata), Does Nāgārjuna's Emptiness and the Deconstruction of Classical Boundaries Lead to Paraconsistency? (online)