1月14日是第8个世界逻辑日，也是卡罗尔逝世128周年纪念日。世界逻辑日纪念二位著名的逻辑学家塔尔斯基和哥德尔。卡罗尔是世界著名的儿童文学作家，也重要的逻辑学家。
刘易斯·卡罗尔（Lewis Carroll）是查尔斯·L·道奇森（Charles L. Dodgson，1832.1.27- 1898.1.14）的笔名。 他以“爱丽丝”故事闻名于世，《爱丽丝漫游奇境》已经翻译为世界上的125种语言。1886年出版《逻辑的游戏》，1896年出版《符号逻辑》（中译本2025年出版）。





他发明一种逻辑游戏。读者一边下棋娱乐，一边学习逻辑知识。根据他设计的棋盘棋子，既可以检验直言三段论的有效性，也可以已知前提求出结论。