12:11, 16 января 2024
Кафедра онтологии и теории познания департамента философии УГИ УрФУ в очередной раз приняла участие во Всемирном дне логики ЮНЕСКО 2024 / UNESCO World Logic Day 2024, который ежегодно отмечается 14 января. В честь этого события сотрудники кафедры организовали Международный круглый стол «Формальные методы и их приложения», который проходил в онлайн-формате.
Основными докладчиками выступили:
В последующем обсуждении на круглом столе приняли участие специалисты из УрФУ (г. Екатеринбург), НИУ ВШЭ (г. Москва), НГУ (г. Новосибирск), ТГУ (г. Томск), БФУ им. И. Канта (г. Калининград), ПГНИУ (г. Пермь), ПГНИУ (г. Пермь), Институт прикладной математики им. М. В. Келдыша РАН (г. Москва), ИФПР СО РАН (г. Новосибирск), КГПУ (г. Казань).
Дискуссия касалась широкого круга вопросов, связанных с прикладным применением формальных методов в естественных и компьютерных науках, лингвистике и философии.
Доклады участников и обсуждение в ходе круглого стола размещены в открытом доступе на YouTube-канале конференции uAnalytiCon.
Генеральный директор ЮНЕСКО г-жа Одрэ Азуле в своём Послании по случаю Всемирного дня логики в 2020 г. указывает, что «в XXI веке логика как дисциплина оказалась, как никогда прежде, современной и актуальной для наших обществ и наших экономик. Так, вычислительная техника и цифровая среда представляют собой технологии, изначально основанные на принципах логического и алгоритмического мышления. <…> При этом, даже живя в окружении логики, мы по-прежнему еще очень мало знаем о ней, нередко бессознательно используя логические принципы».
Дополнительную информацию можно найти на сайте мероприятия.
Всемирный день логики был совместно установлен ЮНЕСКО и Международным советом по философии и гуманитарным наукам в 2019 г. и отмечается каждый год 14 января. Дата выбрана в честь двух наиболее крупных логиков XX в. — Курта Гёделя, который ушёл из жизни 14 января
© ФГАОУ ВО «УрФУ имени первого Президента России Б.Н. Ельцина»
Увидели ошибку?
выделите фрагмент и нажмите:
Ctrl + Enter
Дизайн портала: Artsofte
Россия, г. Екатеринбург, пр. Ленина, 51
Телефон: 8 (343) 389-93-34 (Дирекция Департамента философии)
8 (343) 389-95-54 (Деканат Департамента философии)