Доклады Натальи Тиминой и Ивана Мельникова на семинаре «From the Logical Point of View»
Наталья Тимина и Иван Мельников, студенты 4-го курса ФКН ВШЭ, выступили с докладами «Геометрический подход к эпистемическим задачам» и «Построение безопасного протокола обмена данными во время "Русской карточной игры"» на семинаре «From the Logical Point of View», который прошел 19 апреля.
Доклад Игоря Зайцева «Субординантные маркированные (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»
Максим Гладышев (Утрехтский университет) выступил с докладом «Reasoning About Group Responsibility for Exceeding Risk Threshold» на семинаре МЛ ЛогЛинФФ «From the Logical Point of View» 9 февраля.
Доклад-дискуссия Анны Моисеевой и Михаила Смирнова на тему «Ситуационная семантика для естественных рассуждений»
26 января и 2 февраля прошло заседание теоретического семинара «Формальная философия-81», на котором Анна Моисеева и Михаил Смирнов выступили в формате доклада-дискуссии на тему «Ситуационная семантика для естественных рассуждений».
Выступление Ивана Пыльцына на Дне Логики в Университете Иннополис
27 января Иван Пыльцын прочитал доклад «Кратко о сильной эквивалентности арифметики Пеано и теории конечных множеств» на Дне Логики в Университете Иннополис.
Доклад Зорана Огняновича «A Probabilistic Temporal Epistemic Logic»
19 января Зоран Огнянович (Mathematical Institute SANU) выступил с докладом «A Probabilistic Temporal Epistemic Logic» на теоретическом семинаре «Формальная философия-80».
Доклад Александра Запрягаева на семинаре «Современные проблемы математической логики» на матфаке ВШЭ
19 января Александр Запрягаев выступил с докладом «Категорный подход к интерпретациям теорий» на семинаре «Современные проблемы математической логики» на матфаке ВШЭ.