2-4 октября 2019 года в Национальном исследовательском университете Высшая школа экономики (г. Москва, Мясницкая ул., д. 11) пройдет международная конференция Trends in Logic 19. Current Issues in Philosophical Logic, организованная журналом Studia Logica  и Международной лабораторией логики, лингвистики и формальной философии НИУ ВШЭ.

Международные конференции Trends in Logic, посвященные современным исследованиям в области формальной философии, логики и математики,  проводятся с 2003 года. Ранее они проходили в Польше, Бельгии, Аргентине, Германии, США, Нидерландах, Бразилии, Италии.  Организатором серии конференций является редколлегия журнала  Studia Logica. Первые выпуски журнала вышли еще в 1953 году, сейчас он издается Институтом философии и социологии Польской академии наук и издательством Springer. Studia Logica особенно знаменита своей библиотекой специальных выпусков Trends in Logic – Studia Logica Library, в рамках которой выходили номера, посвященные современным разделам логики (“A Guide to Classical and Modern Model Theory”, “Algebraic Foundations of Many-Valued Reasoning”, “Gentzen Calculi for Modal Propositional Logic” и др.).

В 2019 году конференция Trends in Logic впервые проводится в России. В качестве приглашенных докладчиков конференции выступят профессор логики Амстердамского университета и профессор философии Стэнфордского университета Йохан ван Бентем, профессор философии в Университетском центре Городского университета Нью-Йорка Грэм Прист, профессор Математического института им. В.А. Стеклова РАН и факультета математики НИУ ВШЭ Лев Беклемишев.

Особая секция конференции будет посвящена исследованиям работ Ивана Ефимовича Орлова (1886-1936?), автора первой аксиоматизации релевантной логики («Исчисление совместности предложений», 1928) и первой попытки построения исчисления интуиционистской логики с использование модального оператора; философа науки («Логика естествознания», 1925), занимавшегося проблемами философских оснований математики, разработкой проекта логики естествознания, включающего как учение о доказательстве, так и  методы “открытия” - выдвижения гипотез и постановки  экспериментов. 

Подробнее о творчестве И. Е. Орлова, его широком круге интересов, включающем логику, философию, физику, химию, теорию музыки, и о значении его работ в истории неклассической логики:

• Бажанов В. А. И. Е. Орлов-логик, философ, ученый. Особенности научного поиска // Логические исследования. – 2002. – №. 9.
• Попов В.М. Система И..Е. Орлова и релевантная логика // Философские проблемы истории логики и методологии науки. Ч. 1. М.: ИФ АН СССР, 1986.
• Anderson A. R., Belnap Jr N. D., Dunn J. M. Entailment, Vol. II: The Logic of Relevance and Necessity. – Princeton University Press, 2017. – Т. 5009.
• Da Costa N.C.A., Beziau J.-Y., Bueno O.S. Aspects of Paraconsistent Logic // Bull. of IGPL. Vol.3, N 4, 1995. P. 597-614.
• Došen K. The First Axiomatization of Relevant Logic // Journal of Philosophical Logic. Vol. 21. 1992. P. 339-356.

Программа конференции

Программный комитет

• Tomasz Jarmużek (Toruń, Poland)
• Jacek Malinowski (Warsaw, Poland)
• Rich Thomason (Ann Arbor, USA)
• Vladimir Vasyukov (Moscow, Russia)
• Heinrich Wansing (Bochum, Germany)