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

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

Публикации
Глава в книге
Logical Hylomorphism Revisited: Aristotle, Tarski, and Corcoran

Dragalina-Chernaya E.

In bk.: Universal Logic, Ethics, and Truth: Essays in Honor of John Corcoran (1937-2021). Cham: Birkhäuser, 2024. P. 109 -118.

Глава в книге
Dynamic Epistemic Logic of Resource Bounded Information Mining Agents

Dolgorukov V., Gladyshev M., Galimullin R.

In bk.: AAMAS '24: Proc. of the 23rd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2024). Auckland: International Foundation for Autonomous Agents and Multiagent Systems, 2024. P. 481-489.

Статья
Логика как формальная философия и искусство концептуального дизайна

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

Философия. Журнал Высшей школы экономики. 2024. Т. 8. № 1. С. 29-41.

Статья
Альтернативы семантике Крипке для эпистемической логики
В печати

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

Логические исследования. 2024. Т. 30. № 1. С. 38-61.

Статья
La cognición auditiva. Especificidad modal y perplejidad semántico-definicional
В печати

Mendez Martinez J. L.

Andamios: Revista de Investigacion Social. 2024. Vol. 21. No. 54. P. 27-56.

Препринт
Dynamic Epistemic Logic of Resource Bounded Information Mining Agents

Dolgorukov V., Gladyshev M., Galimullin R.

arxiv.org. Computer Science. Cornell University, 2024

Статья
Критерии различия пресуппозиций и конвенциональных импликатур

Соболев И. А.

Эпистемология и философия науки. 2023. Т. 60. № 4. С. 86-103.

Статья
Франк Рамсей, «кембриджский прагматизм» и проблема природы веры

Макеева Л. Б.

История философии. 2023. Т. 28. № 2. С. 60-73.

Статья
Об интерпретациях арифметики Пресбургера в арифметиках Бюхи

Запрягаев А. А.

Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика). 2023. Т. 510. С. 3-7.

Глава в книге
Dynamic Epistemic Logic for Budget-Constrained Agents

Dolgorukov V., Maksim Gladyshev.

In bk.: Dynamic Logic. New Trends and Applications. 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers. Vol. 13780. Cham: Springer, 2023. P. 56-72.

Статья
Modular vs. diagrammatic reasoning: The pragmatist side of human understanding

Bobrova A., Pietarinen A.

Pragmatics and Cognition. 2022. Vol. 29. No. 1. P. 111-134.

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

В ЛогЛинФФе действуют четыре регулярных семинара: теоретический семинар «Формальная философия», научно-исследовательский семинар «From the Logical Point of View», научно-учебный семинар «Логическая семантика», а также ридинг-семинар «Analytics». Мы проводим международные конференции, семинары, круглые столы («Formal Philosophy», «HSE Semantics & Pragmatics Workshop», «World Logic Day» и др.), а также летние школы.

Международным партнером лаборатории является Центр логики, эпистемологии и истории науки (Университет Кампинаса, Бразилия).

Подписаться на рассылку

Новости

21 мая Елена Драгалина-Черная выступила  на заседании Ученого совета факультета гуманитарных наук НИУ ВШЭ с докладом «Плюрализм в логике и формальной философии».
22 мая
26 апреля и 17 мая прошла серия заседаний теоретического семинара «‎Формальная философия» на тему «Нормативные и дескриптивные модели рассуждений».
18 мая
Статья Елены Драгалиной-Черной «Logical Hylomorphism Revisited: Aristotle, Tarski, and Corcoran» опубликована в монографии «Universal Logic, Ethics, and TruthEssays in Honor of John Corcoran (1937-2021)», вышедшей в  в серии Studies in Universal Logic издательства Birkhäuser.

15 мая
В сборнике трудов конференции «Autonomous Agents and Multi-Agent Systems 24» (AAMAS) опубликована статья Виталия Долгорукова, Рустама Галимуллина и Максима Гладышева «Dynamic Epistemic Logic of Resource Bounded Information Mining Agents»‎. AAMAS является наиболее крупной и влиятельной конференцией в области моделирования мультиагентных систем и входит в список CORE Computer Science Conference Rankings в ранге A+.
10 мая
Елена Драгалина-Черная выступила с докладом  «Логика как формальная философия: от Канта к Фреге и Гуссерлю», а Лолита Макеева с докладом «Кант, внутренний реализм Патнэма и метафизика» на Международном Кантовском конгрессе «Мировое понятие философии», который прошел в Балтийском федеральном университете имени Иммануила Канта с 22 по 25 апреля.
26 апреля
Наталья Тимина и Иван Мельников, студенты 4-го курса ФКН ВШЭ, выступили с докладами «Геометрический подход к эпистемическим задачам» и «Построение безопасного протокола обмена данными во время "Русской карточной игры"» на семинаре «From the Logical Point of View», который прошел 19 апреля. 
20 апреля
5 и 12 апреля состоялись заседания научно-исследовательского семинара «From the Logical Point of View», на которых Игорь Зайцев (РГГУ) выступил с докладом «Субординантные маркированные (labelled) натуральные исчисления для кондициональных интуиционистских логик с двумя независимыми контрфактическими связками».
13 апреля
Подведены итоги первого конкурса совместных фундаментальных научных проектов «Международное академическое сотрудничество», который проходил с 11 декабря 2023 года по 8 апреля 2024 года. Участие в нем приняли успешные научные коллективы Вышки, имеющие богатый опыт взаимодействия с зарубежными коллегами. Было представлено 25 заявок от подразделений из разных кампусов университета.
9 апреля
В журнале «Философия. Журнал Высшей школы философии» опубликован цикл статей о преподавании логики под общей редакцией Ангелины Бобровой и Елены Драгалиной-Черной.
1 апреля
Георгий Филатов и Максим Евстигнеев выступили с докладом «‎Три метафоры анализа в работах Г. Райла, Л. Витгенштейна, П. Стросона» на научно-исследовательском семинаре «From the Logical Point of View»‎, который состоялся 22 марта.
23 марта
15 марта состоялось заседание научно-исследовательского семинара «From the Logical Point of View», на котором Арсен Вольский (студент НГУ) выступил с докладом «Концепция модальности в контексте трёхзначной логики Лукасевича».
16 марта
1 марта Елена Драгалина-Черная выступила с докладом "Classifying Logical Forms: Variety of Invariance in Formal and Regional Ontologies" на воркшопе по аналитической философии в Мадридском Университете Комплутенсе.
13 марта
16 февраля состоялось заседание теоретического семинара «Формальная философия», на котором Валерия Часова выступила с докладом «Онтология симметрий: основы, история и систематизация».
17 февраля
В журнале «Andamios» опубликована статья научного сотрудника Хорхе Луиса Мендеса Мартинеса  «La cognición auditiva. Especificidad modal y perplejidad semántico-definicional».
15 февраля
Максим Гладышев (Утрехтский университет) выступил с докладом «‎Reasoning About Group Responsibility for Exceeding Risk Threshold» на семинаре МЛ ЛогЛинФФ «From the Logical Point of View»‎ 9 февраля. 
9 февраля
9 февраля 2024 года в школе лингвистики НИУ ВШЭ прошла предзащита докторской диссертации Натальи Зевахиной «Экспериментальные и корпусные исследования лингвистической прагматики: информативность, иллокутивные типы предложений, металингвистическое сравнение».
9 февраля
26 января и 2 февраля прошло заседание теоретического семинара «Формальная философия-81», на котором Анна Моисеева и Михаил Смирнов выступили в формате доклада-дискуссии на тему «‎Ситуационная семантика для естественных рассуждений»‎.
3 февраля
27 января Иван Пыльцын прочитал доклад «Кратко о сильной эквивалентности арифметики Пеано и теории конечных множеств» на Дне Логики в Университете Иннополис. 
27 января
19 января Зоран Огнянович (Mathematical Institute SANU) выступил с докладом «A Probabilistic Temporal Epistemic Logic» на теоретическом семинаре «Формальная философия-80».
20 января
19 января Александр Запрягаев выступил с докладом «Категорный подход к интерпретациям теорий»‎ на семинаре «Современные проблемы математической логики»‎ на матфаке ВШЭ. 
20 января
15 января в Международной лаборатории логики, лингвистики и формальной философии состоялся научный семинар, приуроченный ко Всемирному Дню Логики.
16 января
Иван Соболев стал победителем в номинации «Лучшая научно-исследовательская работа по философии для студентов бакалавриата и специалитета», Георгий Филатов стал лауреатом в номинации «Лучшая научно-исследовательская работа по философии» для студентов магистратуры и выпускников 2023 года.
23 декабря, 2023 г.
8 декабря состоялось заседание исследовательского семинара «From the Logical Point of View», на котором Иван Рыгаев (Институт проблем передачи информации РАН) выступил с докладом: «Семантико-прагматический подход к синтаксическим структурам». 
9 декабря, 2023 г.
Еще новости