第18届全国现代逻辑学术研讨会将于2024年11月15-17日在我院召开。本届研讨会由中国逻辑学会现代逻辑专业委员会主办，华南师范大学哲学与社会发展学院承办。以下为本届会议的议程安排，欢迎感兴趣的老师和同学们与会！
2024年11月15日
12:00-18:00 | 地点：华师大厦酒店（广州市天河区中山大道西69号） |
19:00-21:00 (教育环节) | 琚凤魁主持：逻辑学学习与研究的经验与教训分享交流会 梁飞、刘佶鑫、沈榆平、王文方、杨睿之等作为教师代表分享； 曹航杰，樊辰冲、李晓宇、莫宝玲、潘易欣等作为学生代表分享。 地点：文科楼二楼会议室 |
2024年11月16日
08:30-08:50 （开幕式） | 开幕式（桃李园三楼高明厅） | |||
08:50-09:50 (特邀报告) | 主持人：王文方 | 聂敏里：字母难题与个体本质（桃李园三楼高明厅） | ||
09:50-10:20 | 移步至文科楼前合影、文科楼二楼进行茶歇 | |||
文科楼二楼会议室 | 文科楼211讲学厅 | |||
10:20-10:43（报告） 10:43-10:48（讨论） | 主持人： 梁飞 | 刘力恺：谓词只能作谓词—如何理解Frege-Russell式的高阶逻辑 | 主持人：文学锋 | 潘易欣，郭美云：关于概率、信念与知识的两个逻辑框架 |
10:50-11:13（报告） 11:13-11:18（讨论） | 贺荣：Two Disjunctions in Mandarin Chinese | 孙晴，郭美云：带有条件概率算子的认知逻辑 | ||
11:20-11:43（报告） 11:43-11:48（讨论） | 李文喜，汪忠志：On propositional logic semirings | 苏有安：Intuitionistic Epistemic Logic IEL with Justifications | ||
11:50-12:50 | 午餐 | |||
14:00-15:00 （特邀报告） | 主持人：沈榆平 | 季铮锋：Entangled Quantum Proofs and Their Connections to Logic （教信厅） | ||
15:00-15:25 (海报论文推介) 每人5分钟发言，教信厅 | § 董淑亮：A First-Order Coalition Logic and Epistemic Extension § 蔡晨阳，罗捷婷：Reasoning about persuasion dialogue in ATL style § 邵牧云，罗捷婷，廖备水：Modelling Teaching and Learning via Preference Upgrade § 苏兴池，孙鑫，卞晓宁，李想：Promises Don’t Come Easy: A Formal Approach to Conditional Digital Signatures § 王继麟，Bruno Bentzen：Mechanization of independence results about Frege’s Begriffsschrift | |||
15:25-15:55 | 移步至文科楼二楼，进行茶歇、海报自由讨论交流。 | |||
文科楼二楼会议室 | 文科楼211讲学厅 | |||
15:55-16:18（报告） 16:18-16:23（讨论） | 主持人：胡扬 | 吴波成：从普遍字符到流形论 —逻辑数学化的莱布尼茨-胡塞尔道路 | 主持人：钟盛阳 | 霍书全：A Basic Łukasiewicz m-valued Conditional Logic |
16:25-16:48（报告） 16:48-16:53（讨论） | 李坤桓：分层语篇表征理论下的弱否认 | 范杰，卢明正，刘光辉：A Logical Analysis of Pluralistic Ignorance | ||
16:55-17:18（报告） 17:18-17:23（讨论） | 吴金映，荣立武：叙实动词的预设悬置—话语非焦点投射下的产物 | 范杰：A Logic of von Wright’s (moral) indifference | ||
17:25-17:48（报告） 17:48-17:53（讨论） | 张仑：An Objection to Pluralism: Metaphysical Perspective | 苏兴池：Making It Better: A Logic of Good Actions based on Dynamic Epistemic Logic | ||
18:15-20:00 | 晚餐 | |||
2024年11月17日
文科楼二楼会议室 | 文科楼211讲学厅 | |||
08:45-09:08 (报告) 09:08-09:13 (讨论) | 主持人：荣立武 | 胡叶涛：重新组合悖论研究的新视角 | 主持人：刘佶鑫 | 祝瑞：Free Social Announcement Logic: Analyzing Epistemic Distributions, Coherences and Social Stuctures |
09:15-09:38 (报告) 09:38-09:43 (讨论) | 梁润成：Is Critical Thinking Generalizable?—Back to John Dewey | 李广荣，赵希顺：The Computational Complexity of Constrained Prioritized Conditional Imperative Logic | ||
09:45-10:10 (海报论文推介) 每人5分钟发言，文科楼211讲学厅 | 文科楼211讲学厅 | |||
主持人：魏宇 | § 鞠大恒：一类新的反基础公理 § 胡幸：否定命题何以成真?—基于真理符合论的探讨 § 李章吕，李斌：The Measurement of Belief: Ramsey Method and its Defense from Neopragmatism § 周星哲：纠正一个流行的逻辑史错误:尼科本人不会认可尼科标准的非相干性条件 § 张嘉铭：实际因果多元论对一元论的挑战 | |||
10:10-10:40 | 进行茶歇、海报自由讨论交流 | |||
10:40-10:45 | 移步至桃李园三楼高明厅参加本地特邀报告与闭幕式 | |||
10:45-11:45 (本地特邀报告) | 主持人：熊明 | 赵希顺：简洁表达能力与计算复杂性 （桃李园三楼高明厅） | ||
11:45-12:00 (闭幕式) | 闭幕式（桃李园三楼高明厅） | |||
12:10-14:00 | 午餐、离会 | |||
说明：特邀报告发言为60分钟（含讨论）。常规论文报告设置为平行会场，每人23分钟报告+5分钟讨论。海报论文推介按内容粗分为两组（以投稿时间为序），每人5分钟介绍，每组之后设有30分钟自由交流时间。茶歇、海报展示统一设置在文科楼二楼。
排版：廖彦霖
一审：高贝贝
二审：陈晓斌
三审：姚文忠