清华逻辑随笔 (Tsinghua Logic Blog) 是清华大学逻辑学学生和老师共同创办的栏目,栏目编辑为叶凌远,联系邮箱:ye.lingyuan.ac@gmail.com.
其上会不定期以随笔的形式刊登同学或老师近期对逻辑相关学术内容的所闻所想。这个栏目希望提供一个学术发表之外非正式的平台,促进大家进一步的学习和交流。未经作者同意,禁止使用任何形式转载或发表随笔中的内容。刊登的文章难免有疏漏之处,欢迎大家进一步讨论交流和批评指正,形成良好的学术交流环境!
如何引用(How to Cite)?若读者希望引用随笔中的内容或观点,请采用如下的文献引用格式:
[作者],清华逻辑随笔,[题目],[日期],网址 http://tsinghualogic.net/JRC/?page_id=3812。
示例:叶凌远,清华逻辑随笔,范畴逻辑 I——逻辑与数学结构的对应,2021.12.07,网址:http://tsinghualogic.net/JRC/?page_id=3812
第28期 2024-06-24
刘奋荣、李大柱:社会网络逻辑在中国的十年简史
Email:lidazhu91@163.com
第27期 2024-04-27
叶凌远:何为相等?
Email:ye.lingyuan.ac@gmail.com
第26期 2024-02-18
第25期 2023-11-29
摩西·瓦迪:数学与计算,孰先?
Email:vardi@cs.rice.edu
第24期 2023-10-31
范丙申:逻辑是心智的免疫系统
Email:j.vanbenthem@uva.nl
第23期 2023-08-03
尹昊萱:编程语言的博弈语义
Email:haoxuan.yin@merton.ox.ac.uk
第22期 2023-05-25
范丙申(Johan van Benthem):三个纬度下的司马亭
Email:j.vanbenthem@uva.nl
第21期 2023-04-24
司马亭(Martin Stokhof):形式语义学与维特根斯坦
Email:m.j.b.stokhof@uva.nl
第20期 2023-04-08
罗生门:用游戏解释语言
Email:luosm19@mails.tsinghua.edu.cn
第18期 2023-01-17
冯琦: 逻辑与发现:序言
Email:qifeng@math.ac.cn
第17期 2022-12-29
第15期 2022-08-11
司马亭(Martin Stokhof):没有希望与恐惧的生活
Email:m.j.b.stokhof@uva.nl
*本文节选自司马亭教授的新书:《走向意义:形式语义学与维特根斯坦》
第14期 2022-07-20
叶凌远:Banach-Tarski 悖论
Email:ye.lingyuan.ac@gmail.com
第12期 2022-06-02
Jan Vrhovski:The “World Currents of Thought” — Brief Glimpses into the Archives of Mathematical Logic at Tsinghua University
Email:jan.vrhovski@ff.cuni.cz
第11期 2022-05-11
邢滔滔:王浩先生杂忆
第10期 2022-05-09
张家龙:清华逻辑学派的学风
第9期 2022-05-02
第7期 2022-03-02
刘奋荣:写在母校山西大学 120 周年华诞之际
Email:fenronguva@gmail.com
第6期 2022-02-13
范丙申(Johan van Benthem):基础、应用与根本性思维
Email:j.vanbenthem@uva.nl
第4期 2022-01-29
涂雅欣:捉迷藏的二维模态逻辑
Email:tuyx19@mails.tsinghua.edu.cn
第3期 2022-01-23
尹昊萱:自动机与自动结构
Email:haoxn.yin@gmail.com