Кафедра онтологии и теории познания департамента философии УГИ УрФУ приняла участие во Всемирном дне логики ЮНЕСКО 2024 / UNESCO World Logic Day 2024

11:35, 16 января 2024

Всемирный день логики был совместно установлен ЮНЕСКО и Международным советом по философии и гуманитарным наукам в 2019 г. и отмечается каждый год 14 января.

Кафедра онтологии и теории познания департамента философии УГИ УрФУ в очередной раз приняла участие во Всемирном дне логики ЮНЕСКО 2024 / UNESCO World Logic Day 2024, который ежегодно отмечается 14 января. В честь этого события сотрудники кафедры организовали Международный круглый стол «Формальные методы и их приложения», который проходил в онлайн-формате.

Основными докладчиками выступили:

• Андрей Родин (Университет Лотарингии, Архив Анри Пуанкаре, Нанси, Франция), Почему аксиоматический метод в стиле Гильберта не годится для построения научных теорий?
• Николай Шилов, Николай Кудасов (Университет Иннополис, Иннополис, Россия), Формальные методы в программировании: взгляд через поколение
• Виталий Долгоруков (Высшая школа экономики, Москва, Россия), Онтологический аргумент: версия К. Гёделя
• Иван Рыгаев (Институт проблем передачи информации РАН, Москва, Россия), Язык и логика: формальные методы в лингвистике

В последующем обсуждении на круглом столе приняли участие специалисты из УрФУ (г. Екатеринбург), НИУ ВШЭ (г. Москва), НГУ (г. Новосибирск), ТГУ (г. Томск), БФУ им. И. Канта (г. Калининград), ПГНИУ (г. Пермь), ПГНИУ (г. Пермь), Институт прикладной математики им. М. В. Келдыша РАН (г. Москва), ИФПР СО РАН (г. Новосибирск), КГПУ (г. Казань).

Дискуссия касалась широкого круга вопросов, связанных с прикладным применением формальных методов в естественных и компьютерных науках, лингвистике и философии.

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

Генеральный директор ЮНЕСКО г-жа Одрэ Азуле в своём Послании по случаю Всемирного дня логики в 2020 г. указывает, что «в XXI веке логика как дисциплина оказалась, как никогда прежде, современной и актуальной для наших обществ и наших экономик. Так, вычислительная техника и цифровая среда представляют собой технологии, изначально основанные на принципах логического и алгоритмического мышления. <…> При этом, даже живя в окружении логики, мы по-прежнему еще очень мало знаем о ней, нередко бессознательно используя логические принципы».

Дополнительную информацию можно найти на сайте мероприятия.

Всемирный день логики был совместно установлен ЮНЕСКО и Международным советом по философии и гуманитарным наукам в 2019 г. и отмечается каждый год 14 января. Дата выбрана в честь двух наиболее крупных логиков XX в. — Курта Гёделя, который ушёл из жизни 14 января 1978 г., и Альфреда Тарского, родившегося 14 января в 1901 г.