Конференции МЛ ЛогЛинФФ в 2019
В 2019 году Международная лаборатория логики, лингвистики и формальной философии проводит две международные конференции.
Formal Philosophy - 2019
Конференция "Formal Philosophy - 2019" состоится 27-28 июня.
Приглашенные докладчики
Studia Logica Conference Trends in Logic19, 2019
Конференция Studia Logica Conference Trends in Logic19, 2019 состоится 2-4 октября 2019.
Приглашенные докладчики
Беклемишев Лев Дмитриевич
Профессор Базовой кафедры Математического института им. В.А. Стеклова РАН
Доктор физико-математических наук, член-корреспондент РАН, профессор МИАН.
Автор "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) и др.
Автор "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).
CUNY Graduate Center, New York, USA
Заслуженный профессор философии в Университетском центре Городского университета Нью-Йорка. Автор книг "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).
Заслуженный профессор философии в Университетском центре Городского университета Нью-Йорка. Автор книг "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).
Дата
23 января
2019
Рубрики
В статье упомянуты