Круглый стол

в честь Всемирного дня логики 2024

Информационное письмо

Уральский федеральный университет имени первого Президента России Б.Н. Ельцина

Уральский гуманитарный институт

Департамент философии

Кафедра онтологии и теории познания

14 января 2024 г.

прошёл круглый стол «Формальные методы и их приложения» Всемирного дня логики, провозглашённого ЮНЕСКО.

Круглый стол был посвящён формальным методам и их приложениям в естественных науках, лингвистике, компьютерных науках и философии.

Круглый стол прошёл на русском языке, онлайн.

Время начала круглого стола: 11:50 по времени Екатеринбурга (UTC+5, московское время начала 9:50).

Программа круглого стола

11:50-12:00 — приветственное слово

12:00-12:30 — Андрей Родин (Университет Лотарингии, Архив Анри Пуанкаре, Нанси, Франция), Почему аксиоматический метод в стиле Гильберта не годится для построения научных теорий?

12:30-13:00 — Николай Шилов, Николай Кудасов (Университет Иннополис, Иннополис, Россия), Формальные методы в программировании: взгляд через поколение

13:00-13:30 — Виталий Долгоруков (Высшая школа экономики, Москва, Россия), Онтологический аргумент: версия К. Гёделя

13:30-14:00 — Иван Рыгаев (Институт проблем передачи информации РАН, Москва, Россия), Язык и логика: формальные методы в лингвистике

14:00-16:00 — дискуссия

Обсуждение в ходе круглого стола было записано и размещено в открытом доступе на YouTube-канале конференции uAnalytiCon.