Skip to main content

1st World Logic Day: 14 January 2019


We assess the celebration of the 1st World Logic Day which recently took place all over the world. We then answer the question Why a World Logic Day? in two steps. First we explain why promoting logic, emphasizing its fundamental importance and its relations with many other fields. Secondly we examine the sense of a one-day celebration: how this can help reinforcing logic day-to-day and why logic deserves it. We make a comparison with other existing one-day celebrations. We end by presenting and commenting the logo of the World Logic Day.

This is a preview of subscription content, access via your institution.


  1. Akrami, M.: From logic in Islam to Islamic logic. Log. Univers. 11, 61–83 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  2. Arnauld, A., Nicole, P.: La Logique ou lart de penser (Logic or the art of thinking). Savreux, Paris (1662)

    Google Scholar 

  3. Beziau, J.-Y.: Les universités face la globalisation: vers une université mondiale? In: Naishtat, F. (ed.) Journée de l’Unesco 2004, vol. 10, pp. 207–211. Unesco, Paris (2006)

    Google Scholar 

  4. Beziau, J.-Y.: Being aware of rational animals. In: Dodig-Crnkovic, G., Giovagnoli, R. (eds.) Representation and Reality: Humans, Animals and Machines, pp. 319–331. Springer, Cham (2017)

    Google Scholar 

  5. Beziau, J.-Y.: A chromatic hexagon of psychic dispositions. In: Silva, M. (ed.) How Colours Matter to Philosophy, pp. 273–388. Springer, Cham (2017)

    Chapter  Google Scholar 

  6. Beziau, J.-Y.: Is the principle of contradiction a consequence of \(x^{2} = x\)? Log. Univers. 12, 55–81 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  7. Beziau, J.-Y.: Universal logic: evolution of a project. Log. Univers. 12, 1–8 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  8. Beziau, J.-Y.: Logic Prizes et Cætera. Log. Univers. 12, 271–296 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  9. Beziau, J.-Y., Correia, M.: Squaring Easter Island. S. Am. J. Logic 3, 185–193 (2017)

    Google Scholar 

  10. Boole, G.: An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities. MacMillan, London (1854)

    MATH  Google Scholar 

  11. Bréal, M.: Essai de sémantique, science des significations. Hachette, Paris (1897)

    Google Scholar 

  12. Carnap, R.: Logical Foundations of the Unity of Science. International Encyclopedia of Unified Science, vol. I, pp. 42–62. University of Chicago Press, Chicago (1938)

    Google Scholar 

  13. Carnap, R.: Intellectual autobiography. In: Schlipp, A. (ed.) The Philosophy of Rudolf Carnap. Open Court, LaSalle (1963)

    Google Scholar 

  14. Corcoran, J.: The inseparability of logic and ethics. Free Inquiry 9, 37–40 (1989)

    Google Scholar 

  15. Couturat, L., Leau, L.: Histoire de la langue universelle. Hachette, Paris (1903)

    Google Scholar 

  16. Garrido, A., Wybraniec-Skardowska, U. (eds.): The Lvov–Warsaw School, Past and Present. Birkäuser, Basel (2018)

    MATH  Google Scholar 

  17. Genesereth, M.: Stanford Introduction to Logic—An Online Course on Symbolic Logic. University of Stanford, Stanford (2012–2019)

  18. Henkin, L., Suppes, P., Tarski, A. (eds.): The Axiomatic Method with Special Reference to Geometry and Physics—Proceedings of an International Symposium Held at the University of California, Berkeley, 26 Dec 1957–4 Jan 1958. North-Holland, Amsterdam (1959)

  19. Jaspers, D.: Logic and colour. Log. Univers. 6, 227–248 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  20. Kalmus, P.: A climate scientist who decided not to fly, YES! Magazine (2016)

  21. Max, I.: A molecular logic of chords and their internal harmony. Log. Univers. 12, 239–269 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  22. Moktefi, A., Shin, S.-J. (eds.): Visual Reasoning with Diagrams. Birkäuser, Basel (2013)

    MATH  Google Scholar 

  23. National Day Calendar, National Dress Up your Pet Day.

  24. Piaget, J.: Recherche. Edition de la Concorde, Lausanne (1918)

    Google Scholar 

  25. Singer, P.: Animal Liberation. HarperCollins, New York (1975)

    Google Scholar 

  26. Smullyan, R.: Languages in which self reference is possible. J. Symb. Logic 22, 55–67 (1957)

    Article  MathSciNet  MATH  Google Scholar 

  27. Smullyan, R.: Gödel’s incompleteness theorems. In: Goble, L. (ed.) The Blackwell Guide to Philosophical Logic. Blackwell, Oxford (2001)

    Google Scholar 

  28. Smullyan, R.: Reflections—The Magic, Music and Mathematics of Raymond Smullyan. World Scientific, Singapore (2015)

    Book  MATH  Google Scholar 

  29. Symons, J., Pombo, O., Torres, J.M. (eds.): Otto Neurath and the Unity of Science. Springer, Dordrecht (2011)

    Google Scholar 

  30. Tarski, A.: Lectures at UNICAMP in 1975, edited by L. Suguitani, J.P. Viana and I.M.L. D’Ottaviano. Editora UNICAMP, Campinas (2016)

  31. United Nations, International Days.

  32. United Nations, World Statistics Day, Resolution adopted by the General Assembly on 3 June 2015.

  33. Woodger, J.H.: The Axiomatic Method in Biology. Cambridge University Press, Cambridge (1937)

    MATH  Google Scholar 

Download references


Thanks to the numerous colleagues all over the world who have supported and/or organized the celebration of the 1st World Logic Day.

Author information

Authors and Affiliations


Corresponding author

Correspondence to Jean-Yves Beziau.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Beziau, JY. 1st World Logic Day: 14 January 2019. Log. Univers. 13, 1–20 (2019).

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI:


  • Logic
  • Logos
  • Reasoning
  • Aristotle
  • Boole
  • Tarski
  • Gödel
  • Universal language
  • One-day celebration

Mathematics Subject Classification

  • Primary 03-01
  • Secondary 03A05
  • 03A10