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

Международная лаборатория логики, лингвистики и формальной философии

Публикации
Статья
«Онтологический квадрат» и теоретико-типовая семантика В печати

Долгоруков В. В., Копылова А. О.

Логические исследования. 2018. Т. 24. № 2. С. 36-58.

Статья
On the Constructive Axiomatic Method

Rodin A.

Logique et Analyse. 2018. Vol. 242. No. 2. P. 201-231.

Статья
Consensus in Social Networks of Compound Nodes

Fedyanin D., Чхартишвили А. Г.

Automation and Remote Control. 2018. Vol. 79. No. 6. P. 1117-1124.

Статья
The almost necessity operator В печати

Zolin E.

Notre Dame Journal of Formal Logic. 2018.

Статья
Two “Styles” of axiomatization: Rules versus Axioms. A Modern Perspective.

Rodin A.

Bulletin of Symbolic Logic. 2018. Vol. 24. No. 2. P. 263-264.

Статья
Овремененные пропозиции в логике У. Оккама

Копылова А. О.

Логические исследования. 2018. № 1. С. 99-114.

Глава в книге
Является ли «лингвистическое кантианство» кантианством?

Смирнов М. А.

В кн.: Материалы Международного молодежного научного форума «Ломоносов-2018». М.: МАКС Пресс, 2018. С. 1-2.

Глава в книге
Логический гилеморфизм: от формальной онтологии к формальной деонтологии

Драгалина-Черная Е. Г.

В кн.: Современная логика: основания, предмет и перспективы развития. М.: ИД "Форум", 2018. С. 35-52.

Статья
On Distributed Reflexive Complex Mechanisms of Decision-making in a Transportation System of a Smart city

Fedyanin D., Vershinin Y.

International Journal of Engineering and Technology. 2018. Vol. 7. No. 28. P. 164-167.

Глава в книге
Vasiliev’s Clue to Mourdoukhay-Boltovskoy’s Hypersyllogistic

Vasyukov V. L.

In bk.: The Logical Legacy of Nikolai Vasiliev and Modern Logic. Vol. 387: Synthese Library. Studies in Epistemology, Logic, Methodology, and Philosophy of Science. Springer, 2017. P. 189-198.

Статья
What Hamblin's Formal Dialectic Tells Us About the Medieval Logical Disputation

Pavlova A.

Logical Investigations. 2017. Vol. 23. No. 1. P. 151-176.

Статья
Three routes to person indexicality

Podobryaev A.

Natural Language Semantics. 2017. Vol. 25. No. 4. P. 329-354.

Статья
Potoses: Categorical Paraconsistent Universum for Paraconsistent Logic and Mathematic

Vasyukov V. L.

Logical Investigations. 2017. Vol. 23. No. 2. P. 76-95.

Статья
Undecidability of the transitive graded modal logic with converse

Zolin E.

Journal of Logic and Computation. 2017. Vol. 27. No. 5. P. 1399-1420.

Статья
Crossing the Line: New Intuitions Behind Frankfurt-Type Cases

Mishura A.

Axiomathes. 2017. Vol. 27. No. 4. P. 393-402.

Статья
Эпистемические пресуппозиции и классификация ассертивов

Долгоруков В. В.

Эпистемология и философия науки. 2017. Т. 51. № 1. С. 92-105.

Статья
Aesthetic Preferences in Mathematics: A Case Study

Старикова И. В.

Philosophia Mathematica. 2018. Vol. 26. No. 2. P. 161-183.

Статья
The Grammar of Russian Metalinguistic Comparatives

Zevakhina N., Dzhakupova S., Вишенкова А. С.

Scando-Slavica. 2017. Vol. 63. No. 2. P. 179-197.

Статья
Horizons of Scientific Pluralism: Logics, Ontology, Mathematics

Vasyukov V. L.

IfCoLOg Journal of Logics and their Applications. 2017. Vol. 4. No. 4. P. 1477-1494.

Глава в книге
Thought experiments in mathematics

Старикова И. В., Giaquinto M.

In bk.: The Routledge Companion to Thought Experiments. L.; NY: ROUTLEDGE JOURNALS, TAYLOR & FRANCIS LTD, 2017. P. 257-278.

Статья
Scalar diversity

van Tiel B., van Miltenburg E., Zevakhina N. et al.

Journal of Semantics. 2016. No. 33 (1). P. 137-175.

Статья
Консенсус в социальной сети со сложными узлами

Федянин Д. Н., Чхартишвили А. Г.

Управление большими системами: сборник трудов. 2016. Т. 64. С. 137-150.

Статья
Проблема онтологических обязательств в семантике событий

Смирнов М. А.

Эпистемология и философия науки. 2016. Т. 50. № 4. С. 135-150.

Международная лаборатория логики, лингвистики и формальной философии (МЛ ЛогЛинФФ) создана 16 апреля  2018 г. по итогам конкурса проектов «Создание международных лабораторий Национального исследовательского университета «Высшая школа экономики» на период с 01.04.2018 по 31.12.2020». 

Международная лаборатория логики, лингвистики и формальной философии является центром междисциплинарного сотрудничества, в котором логиков и лингвистов  объединяет использование точных формальных методов как в разрешении собственных концептуальных затруднений, так и в разработке интегративных подходов, предполагающих обращение к категориям классической философии – истина, знание, обоснование, рациональность, нормативность. 

В состав ЛогЛинФФа входят три исследовательские группы:

1) группа логики и формальной философии;

2) группа аналитической метафизики, философии логики и философии математики;

3) группа теоретической лингвистики и философии языка

Иллюстрация к новости: Елена Драгалина-Черная выступила с докладом на конференции в Брюсселе

Елена Драгалина-Черная выступила с докладом на конференции в Брюсселе

Елена Григорьевна Драгалина-Черная приняла участие в конференции по логике и метафизике.

Иллюстрация к новости: Владимир Леонидович Васюков выступил с докладом на Крите

Владимир Леонидович Васюков выступил с докладом на Крите

Ведущий научный сотрудник Лаборатории логики, лингвистики и формальной философии Владимир Леонидович Васюков выступил с докладом на конференции в Греции.

Иллюстрация к новости: Денис Федянин выступил с докладом на конференции в Париже

Денис Федянин выступил с докладом на конференции в Париже

25-26 октября сотрудник Лаборатории логики, лингвистики и формальной философии Денис Федянин выступил с докладом на конференции в Париже.

Иллюстрация к новости: Формальная философия - 48: доклад А. В. Родина

Формальная философия - 48: доклад А. В. Родина

24 октября 2018 г. состоялось сорок восьмое заседание семинара «Формальная философия». А. В. Родин (старший научный сотрудник Международной лаборатории логики, лингвистики и формальной философии НИУ ВШЭ) выступил с докладом "Geometrical Logic versus Logical Geometry: the Case of Univalent Foundations".

Иллюстрация к новости: Конференция «Формальная философия»

Конференция «Формальная философия»

1 и 2 октября 2018 года в Высшей школе экономики состоялась Первая международная конференция «Формальная философия», на которой специалисты по логике и формальной философии из разных стран представили и обсудили свои научные идеи.

Иллюстрация к новости: Виталий Долгоруков выступил с докладом в Институте философии РАН

Виталий Долгоруков выступил с докладом в Институте философии РАН

9-го октября Виталий Долгоруков, заместитель заведующего лабораторией,  выступил с докладом "Онтологический квадрат" и теоретико-типовая семантика".

Иллюстрация к новости: Формальная философия – 47: доклад Е. В. Борисова

Формальная философия – 47: доклад Е. В. Борисова

3 октября 2018 г. состоялось сорок седьмое заседание семинара «Формальная философия». Е.В. Борисов (доктор философских наук, профессор кафедры истории философии и логики Томского государственного университета) выступил с докладом "К семантике предикативных определенных дескрипций".

Иллюстрация к новости: Опубликован фоторепортаж конференции «Формальная философия»

Опубликован фоторепортаж конференции «Формальная философия»

В ВШЭ прошла международная конференция "Формальная философия", организованная международной лабораторией логики, лингвистики и формальной философии.

Андрей Родин принял участие в конференции в Принстоне

По приглашению Принстонского института перспективных исследований (Princeton Institute of Advanced Studies) старший научный сотрудник Лаборатории логики, лингвистики и формальной философии Андрей Родин принял участие в мемориальной конференции.

Владимир Васюков и Гала Максудова-Елисеева выступили с докладами на конгрессе РОИФН

14 сентября сотрудники лаборатории приняли участие в работе Первого конгресса русского общества истории и философии науки "История и философия науки в эпоху перемен".