World Logic Day

World Logic Day
TypeSecular
Date14 January
Next time14 January 2025 (2025-01-14)
Frequencyannual
Started byLogica Universalis Association, UNESCO, CIPSH
Related toWorld Philosophy Day

World Logic Day is an international day proclaimed by UNESCO in association with the International Council for Philosophy and Human Sciences (CIPSH) in November 2019 to be celebrated on 14 January every year. It was first celebrated on 14 January 2019, before the UNESCO declaration. World Logic Day intends to bring the intellectual history, conceptual significance and practical implications of logic to the attention of interdisciplinary science communities and the broader public.[1]

Date

[edit]

The date chosen to celebrate World Logic Day, 14 January, corresponds to the date of death of Kurt Gödel and the date of birth of Alfred Tarski, two of the most prominent logicians of the twentieth century.[2]

Proclamation

[edit]

The proclamation of World Logic Day was proposed to the UNESCO Executive Board in the middle of 2019. It was discussed and adopted at the 207th session of the UNESCO Executive Board in October 2019[3] and proposed to the 40th General Conference of UNESCO. On 26 November 2019, the 40th General Conference proclaimed 14 January to be World Logic Day, coordinated by CIPSH.[4]

Celebrations

[edit]

The Logica Universalis Association, an informal meta-association promoting logic,[5] promoted the celebration of World Logic Day 2019 by encouraging logicians worldwide to organise independent events on 14 January 2019. The success of this informal first World Logic Day formed part of the deliberations of the 40th UNESCO General Conference in November 2019 which led to the formal proclamation by UNESCO. On the first World Logic Day after the UNESCO proclamation, the Director-General of UNESCO, Audrey Azoulay, issued a statement highlighting the importance of logic:[6]

In the twenty-first century—indeed, now more than ever—the discipline of logic is a particularly timely one, utterly vital to our societies and economies. Computer science and information and communications technology, for example, are rooted in logical and algorithmic reasoning.

The first two World Logic Days (in 2019 and 2020) were informally organised and consisted of approximately sixty events in about thirty countries.[7] After the second World Logic Day, the coordination of the celebrations was taken over by CIPSH: World Logic Days 2021, 2022, and 2023 had between sixty and eighty events each.[8] In addition to events, World Logic Day 2022 was celebrated with a special puzzle The two tribes of If by Alex Bellos on the Guardian website.[9]

References

[edit]
  1. ^ "UNESCO: World Logic Day". UNESCO. 8 June 2020. Retrieved 20 August 2020.
  2. ^ "UNESCO Executive Board, Two hundred and seventh session: 207 EX/42". UNESDOC Digital Library. 13 September 2019. p. 3. Retrieved 20 August 2020.
  3. ^ "UNESCO Executive Board, Two hundred and seventh session: 207 EX/Decisions". UNESDOC Digital Library. 23 November 2019. p. 68. Retrieved 20 August 2020.
  4. ^ "UNESCO, Records of the General Conference, 40th session, Paris, 12 November – 27 November 2019, Volume 1: Resolutions". UNESDOC Digital Library. 2020. p. 36. Retrieved 20 August 2020.
  5. ^ "LUA: Logica Universalis Association". Retrieved 20 August 2020.
  6. ^ "Message from Ms Audrey Azoulay, Director-General of UNESCO on the occasion of World Logic Day, 14 January 2020". UNESDOC Digital Library. Retrieved 20 August 2020.
  7. ^ "1st World Logic Day 2019 — January 14, 2019". LUA.; "2nd World Logic Day 2020 — January 14, 2020". LUA.
  8. ^ "World Logic Day 2021: Archive of Events". WLD@CIPSH.; "World Logic Day 2022: Archive of Events". WLD@CIPSH.; "World Logic Day 2023: Archive of Events". WLD@CIPSH.
  9. ^ Alex Bellos (10 January 2022). "Can you solve it? Gödel's incompleteness theorem. The proof that rocked maths". The Guardian.
[edit]