14 января в рамках World Logic Day-2023 научный руководитель ИФПР СО РАН В.В. Целищев и зам.директора по научной работе А.В. Хлебалин приняли участие в специальной сессии семинара, организованного The Louisiana Scholars’ College at Northwestern State University (NSU), Department of Philosophy at Ohio State University (OSU) и Department of Philosophy at University of Birmingham, посвященного обсуждению доклада Ньюла Теннанта (Neil Tennant, Ohio State University) «Core Logic as the Point of Convergence of Different Lines of Investigation».
Доклад был посвящен характеристике проекта Н. Теннанта по созданию системы Core Logic, представляющей собою логическую систему с целым рядом оригинальных и важных философских, теоретико-доказательных, металогических и вычислительных характеристик. Core Logic, не только формализует строгие математические рассуждения, но и претендует на формализацию предложений естественных наук. Развиваемый Н. Теннантом проект Core Logic является одной из самых масштабных и перспективных программ современной философской логики.