![Доклады Натальи Тиминой и Ивана Мельникова на семинаре «From the Logical Point of View» Иллюстрация к новости: Доклады Натальи Тиминой и Ивана Мельникова на семинаре «From the Logical Point of View»](/data/2024/04/23/2134691847/2027-04-23%2016.19.17.jpg)
Доклады Натальи Тиминой и Ивана Мельникова на семинаре «From the Logical Point of View»
Наталья Тимина и Иван Мельников, студенты 4-го курса ФКН ВШЭ, выступили с докладами «Геометрический подход к эпистемическим задачам» и «Построение безопасного протокола обмена данными во время "Русской карточной игры"» на семинаре «From the Logical Point of View», который прошел 19 апреля.
![Доклад Игоря Зайцева «Субординантные маркированные (labelled) натуральные исчисления для кондициональных интуиционистских логик с двумя независимыми контрфактическими связками» Иллюстрация к новости: Доклад Игоря Зайцева «Субординантные маркированные (labelled) натуральные исчисления для кондициональных интуиционистских логик с двумя независимыми контрфактическими связками»](/data/2024/04/15/2131794294/2024-04-15%2015.13.56.jpg)
Доклад Игоря Зайцева «Субординантные маркированные (labelled) натуральные исчисления для кондициональных интуиционистских логик с двумя независимыми контрфактическими связками»
5 и 12 апреля состоялись заседания научно-исследовательского семинара «From the Logical Point of View», на которых Игорь Зайцев (РГГУ) выступил с докладом «Субординантные маркированные (labelled) натуральные исчисления для кондициональных интуиционистских логик с двумя независимыми контрфактическими связками».
Доклад Георгия Филатова и Максима Евстигнеева на семинаре «From the Logical Point of View»
Георгий Филатов и Максим Евстигнеев выступили с докладом «Три метафоры анализа в работах Г. Райла, Л. Витгенштейна, П. Стросона» на научно-исследовательском семинаре «From the Logical Point of View», который состоялся 22 марта.
Доклад Арсена Вольского «Концепция модальности в контексте трёхзначной логики Лукасевича»
15 марта состоялось заседание научно-исследовательского семинара «From the Logical Point of View», на котором Арсен Вольский (студент НГУ) выступил с докладом «Концепция модальности в контексте трёхзначной логики Лукасевича».
Доклад Валерии Часовой на семинаре Формальная философия
16 февраля состоялось заседание теоретического семинара «Формальная философия», на котором Валерия Часова выступила с докладом «Онтология симметрий: основы, история и систематизация».
![Доклад Максима Гладышева на семинаре «From the Logical Point of View» Иллюстрация к новости: Доклад Максима Гладышева на семинаре «From the Logical Point of View»](/data/2024/02/12/2096227966/3Max1.png)
Доклад Максима Гладышева на семинаре «From the Logical Point of View»
Максим Гладышев (Утрехтский университет) выступил с докладом «Reasoning About Group Responsibility for Exceeding Risk Threshold» на семинаре МЛ ЛогЛинФФ «From the Logical Point of View» 9 февраля.
![Доклад-дискуссия Анны Моисеевой и Михаила Смирнова на тему «Ситуационная семантика для естественных рассуждений» Иллюстрация к новости: Доклад-дискуссия Анны Моисеевой и Михаила Смирнова на тему «Ситуационная семантика для естественных рассуждений»](/data/2024/02/03/2094137983/3%D0%B4%D0%BE%D0%BA%D0%BB%D0%B0%D0%B4.png)
Доклад-дискуссия Анны Моисеевой и Михаила Смирнова на тему «Ситуационная семантика для естественных рассуждений»
26 января и 2 февраля прошло заседание теоретического семинара «Формальная философия-81», на котором Анна Моисеева и Михаил Смирнов выступили в формате доклада-дискуссии на тему «Ситуационная семантика для естественных рассуждений».
![Выступление Ивана Пыльцына на Дне Логики в Университете Иннополис Иллюстрация к новости: Выступление Ивана Пыльцына на Дне Логики в Университете Иннополис](/data/2024/01/31/2091060294/3%D0%A1%D0%BD%D0%B8%D0%BC%D0%BE%D0%BA%20%D1%8D%D0%BA%D1%80%D0%B0%D0%BD%D0%B0%202024-01-27%20%D0%B2%2010.35.18.png)
Выступление Ивана Пыльцына на Дне Логики в Университете Иннополис
27 января Иван Пыльцын прочитал доклад «Кратко о сильной эквивалентности арифметики Пеано и теории конечных множеств» на Дне Логики в Университете Иннополис.
![Доклад Зорана Огняновича «A Probabilistic Temporal Epistemic Logic» Иллюстрация к новости: Доклад Зорана Огняновича «A Probabilistic Temporal Epistemic Logic»](/data/2024/01/20/2090799547/4IMAGE%202024-01-20%2014%3a45%3a35.jpg)
Доклад Зорана Огняновича «A Probabilistic Temporal Epistemic Logic»
19 января Зоран Огнянович (Mathematical Institute SANU) выступил с докладом «A Probabilistic Temporal Epistemic Logic» на теоретическом семинаре «Формальная философия-80».
Прошел научный семинар в честь Всемирного дня логики
15 января в Международной лаборатории логики, лингвистики и формальной философии состоялся научный семинар, приуроченный ко Всемирному Дню Логики.