• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Мероприятия

Studia Logica Conference Trends in Logic19, 2019

Мероприятие завершено

 

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.

 

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

Заказать пропуск (Мясницкая,11)

Приглашенные докладчики

Беклемишев Лев Дмитриевич

Базовая кафедра Математического института им. В.А. Стеклова РАН: Профессор

Доктор физико-математических наук, член-корреспондент РАН, профессор МИАН.
Автор "Provability, Complexity, Grammars"(1999), редактор "Third Moscow-Vienna Workshop on Logic and Computation" (2005), "Advances in Modal Logic, vol. 8" (2010), "Logical Models of Reasoning and Computation" (2011), "Алгоритмические вопросы алгебры и логики" (2011) и др.
Профессор логики Амстердамского университета, профессор философии Стэнфордского университета. Автор книг "Logical Dynamics of Information and Interaction" (2011), "Logic in Games" (2014), редактор "Handbook of the philosophy of science. Vol. 8, Philosophy of information" (2008), "Logic and Philosophy Today" (2011), "Handbook of Logic and Language" (2011), "Models of Strategic Reasoning: Logics, Games, and Communities" (2015).
Профессор философии математики Стокгольмского университета, член Шведской королевской академии наук. Автор книг "A theory of types" (1971), "An intuitionistic theory of types: Predicative part" (1975), Statistical Mechanics and the Foundations of Thermodynamics" (1979), "Intuitionistic Type Theory" (1985), "Substitution calculus" (1992).
Заслуженный профессор философии в Университетском центре Городского университета Нью-Йорка. Автор книг "Towards Non-Being: the Semantics and Metaphysics of Intentionality" (2005), "Doubt Truth to be a Liar" (2006), "Logic: A Brief Insight" (2010), "One: Being an Investigation into the Unity of Reality and of its Parts, including the Singular Object which is Nothingness" (2014).

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

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

Trends in Logic 1-18

Trends in Logic 18

Trends in Logic 17

Trends in Logic 16

Trends in Logic 15

Trends in Logic 14

Trends in Logic 13

Trends in Logic 12

Trends in Logic 11

Trends in Logic 9

Trends in Logic 8

Trends in Logic 6

Trends in Logic 4

Trends in Logic 3

Trends in Logic 1