Presentation by Paolo Mancosu "Three applications of Zermelo's theorem on part-whole"
On October 18, a session of the scientific-educational seminar "Mathematical Logic and category theory" took place, where Paolo Mancosu spoke.
An article by Georgy Filatov and Maxim Evstigneev has been published.
The Philosophy Journal of the Higher School of Economics published an article by Georgy Filatov and Maxim Evstigneev entitled "Grammar, Map and Therapy. Metaphors of Philosophical Analysis in Wittgenstein, Ryle and Strawson".
Anastasia Onoprienko’s Article Published
The journal "Russian Mathematical Surveys" has published an article by Anastasia Onoprienko titled "Impossibility of an embedding of the logic HC into IEL+ preserving the classical implication."
Igor Zaitsev made a presentation titled "Classical and intuitionistic conditional logics: metatheory, formal models, and proof theory"
Research intern Igor Zaitsev made a presentation "Classical and intuitionistic conditional logics: metatheory, formal models, and proof theory" at the research seminar "From the Logical Point of View".
IL LLFP researchers spoke at the conference "Current Issues in Analytical Philosophy" in Tomsk.
On September 25, laboratory staff memebers Mikhail Smirnov and Anna Moiseeva presented at the conference "Current Issues in Analytical Philosophy" in Tomsk.
Maksim Evstigneev gave a talk on "Kantian Paralogisms and the Ghost of Thinking Matter"
On September 18 at 15:00, Maksim Evstigneev made a presentation at the research seminar of the Western Philosophy History sector titled "History of Philosophy: Heritage and Project."
"Formal Philosophy 100": Anna Moiseeva's Presentation
On September 17, the 100th session of the theoretical seminar "Formal Philosophy" took place, during which Anna Moiseeva delivered a presentation titled "Draft of the Intentional Counterparthood F-Reasoning (ICFF) Logic"
The scientific and educational seminar "Logical Semantics" has started
On September 17, the first scientific and educational seminar "Logical Semantics" of the new semester took place.
Viktoriia Denisova made a poster presentation at the 55th Congress of the European Association for Behavioural and Cognitive Therapies in Glasgow, United Kingdom.
Viktoriia Denisova, research intern at the Logic, Linguistics, and Formal Philosophy Laboratory, presented her research at the 55th Congress of the European Association for Behavioural and Cognitive Therapies, held from September 3rd to 6th in Glasgow, United Kingdom.
Sergei Artemov's talk "The consistency of Peano Arithmetic PA is provable in PA, after all"
Sergei Artemov, Distinguished Professor at the City University of New York, gave a talk at the seminar "Mathematical Logic and Category Theory," which took place on September 13.