Всемирный день логики
Всемирный день логики | |
---|---|
Тип | Светский |
Дата | 14 января |
В следующий раз | 14 января 2025 г. |
Частота | ежегодный |
Автор: | Ассоциация Logica Universalis , ЮНЕСКО , CIPSH |
Связано с | Всемирный день философии |
Всемирный день логики — международный день , провозглашенный ЮНЕСКО совместно с Всемирным днем логики. Международный совет философии и гуманитарных наук (CIPSH) в ноябре 2019 года будет отмечаться 14 января ежегодно . Впервые его отметили 14 января 2019 года, до принятия декларации ЮНЕСКО. Всемирный день логики призван донести интеллектуальную историю, концептуальное значение и практическое значение логики до внимания междисциплинарных научных сообществ и широкой общественности. [1]
Дата
[ редактировать ]Дата, выбранная для празднования Всемирного дня логики, 14 января , соответствует дате смерти Курта Гёделя и дате рождения Альфреда Тарского , двух самых выдающихся логиков двадцатого века. [2]
Прокламация
[ редактировать ]Провозглашение Всемирного дня логики было предложено Исполнительному совету ЮНЕСКО в середине 2019 года. Оно было обсуждено и принято на 207-й сессии Исполнительного совета ЮНЕСКО в октябре 2019 года. [3] и предложено 40-й Генеральной конференции ЮНЕСКО. 26 ноября 2019 года 40-я Генеральная конференция провозгласила 14 января Всемирным днем логики.координируется CIPSH . [4]
Торжества
[ редактировать ]Ассоциация Logica Universalis , неформальная метаассоциация, продвигающая логику, [5] способствовал празднованию Всемирного дня логики 2019 года, призывая логиков всего мира организовать независимые мероприятия 14 января 2019 года. Успех этого неофициального первого Всемирного дня логики стал частью обсуждений 40-й Генеральной конференции ЮНЕСКО в ноябре 2019 года, которая привела к официальному провозглашению этого дня ЮНЕСКО. В первый Всемирный день логики после провозглашения ЮНЕСКО Генеральный директор ЮНЕСКО Одри Азуле выступила с заявлением, в котором подчеркнула важность логики: [6]
В двадцать первом веке — более того, сейчас больше, чем когда-либо — логическая дисциплина является особенно актуальной и крайне важной для наших обществ и экономик. Например, информатика и информационно-коммуникационные технологии основаны на логических и алгоритмических рассуждениях.
Первые два Всемирных дня логики (в 2019 и 2020 годах) были организованы неформально и состояли примерно из шестидесяти мероприятий примерно в тридцати странах. [7] После второго Всемирного дня логики координацию празднования взял на себя CIPSH : во Всемирных днях логики 2021, 2022 и 2023 годов проводилось от шестидесяти до восьмидесяти мероприятий каждый. [8] Помимо мероприятий, Всемирный день логики 2022 года отметили специальной головоломкой «Два племени Иф» Алекса Беллоса на сайте Guardian . [9]
Ссылки
[ редактировать ]- ^ «ЮНЕСКО: Всемирный день логики» . ЮНЕСКО . 8 июня 2020 г. Проверено 20 августа 2020 г.
- ^ «Исполнительный совет ЮНЕСКО, Двести седьмая сессия: 207 EX/42» . Цифровая библиотека ЮНЕСДОК . 13 сентября 2019 г. с. 3 . Проверено 20 августа 2020 г.
- ^ «Исполнительный совет ЮНЕСКО, Двести седьмая сессия: решения 207 EX/» . Цифровая библиотека ЮНЕСДОК . 23 ноября 2019 г. с. 68 . Проверено 20 августа 2020 г.
- ^ «ЮНЕСКО, Протоколы Генеральной конференции, 40-я сессия, Париж, 12–27 ноября 2019 г., Том 1: Резолюции» . Цифровая библиотека ЮНЕСДОК . 2020. с. 36 . Проверено 20 августа 2020 г.
- ^ «LUA: Ассоциация Logica Universalis» . Проверено 20 августа 2020 г.
- ^ «Послание Генерального директора ЮНЕСКО г-жи Одрэ Азуле по случаю Всемирного дня логики, 14 января 2020 г.» . Цифровая библиотека ЮНЕСДОК . Проверено 20 августа 2020 г.
- ^ «1-й Всемирный день логики 2019 — 14 января 2019» . ЛУА . ; «2-й Всемирный день логики 2020 — 14 января 2020» . ЛУА .
- ^ «Всемирный день логики 2021: Архив событий» . WLD@CIPSH . ; «Всемирный день логики 2022: Архив событий» . WLD@CIPSH . ; «Всемирный день логики 2023: Архив событий» . WLD@CIPSH .
- ^ Алекс Беллос (10 января 2022 г.). «Сможете ли вы ее решить? Теорема Гёделя о неполноте. Доказательство, которое потрясло математику» . Хранитель .