2019年全国现代逻辑学术研讨会
National Conference on Modern Logic 2019
会议介绍
中国逻辑学会现代逻辑专业委员会主办的年会“2019年全国现代逻辑学术研讨会”将于2019年11月8-10日在中国社会科学院举行。会议不收会务费，参会者的差旅住宿费和餐费自理。
• 承办单位：中国社会科学院哲学研究所、北京师范大学哲学学院
• 会议时间：2019年11月8-10日（周五至周日）
• 会议举办地点：中国社会科学院（建国门内大街5号）
• 会议报到和住宿地点：四川省驻京办事处（东城区-贡院头条5号）
• 会议网站：https://ncml2019.carrd.co/
• 投稿系统：https://easychair.org/conferences/?conf=ncml2019
“全国现代逻辑学术研讨会”是中国逻辑学会现代逻辑专业委员会主办的年会，旨在增进国内各领域逻辑学研究人员的交流，共同营造一个健康的学术氛围，提高学术研究水平。
该会议的具体功能如下：
学术交流：交流晚近的学术成果，展望未来的研究课题；
教育：提高研究生的基本学术技能，锻炼年轻学者的学术组织能力，传播学术伦理规范；
学术共同体建设：联合哲学、数学、计算机科学以及语言学等领域的相关逻辑学者，形成基本共识，推动逻辑学在中国的普及与发展。
全国现代逻辑学术研讨会历届会议的承办单位和/或举办地：
• 1998年 华南师范大学，东莞
• 2002年 山西大学，太原
• 2005年 北京昌平
• 2007年 燕山大学，秦皇岛
• 2010年 北京大学，北京
• 2011年 武汉大学，武汉
• 2012年 复旦大学，上海
• 2013年 中山大学，广州
• 2014年 北京师范大学，北京
• 2015年 河北大学，保定
• 2016年 西南大学，重庆北碚 会议网站
• 2017年 浙江大学，杭州 会议网站
• 2018年 厦门大学，厦门会议网站
征稿启事
我们欢迎以下主题的学术论文投稿：
• 哲学逻辑
• 数理逻辑
• 逻辑哲学
• 现代逻辑史
• 逻辑与语言学
• 逻辑与计算机科学
• 逻辑与社会科学
我们接收如下两类投稿：
• 尚未发表的原创学术论文（不包括已向国内外正式刊物或学术会议投稿但尚未有结果的论文，或已被国内外正式刊物接收但尚未发表的论文），篇幅限15页以内，请务必在投稿时隐去文章中的作者姓名、单位和其他相关信息。
• 学生为主要作者的论文摘要（5页左右不包括参考文献）。特别鼓励在读学生独立或合作完成，建议包括如下内容：具体的研究问题及动因、国内外已有研究、研究思路及方法、初步结果及难点、未来工作以及参考文献等。
投稿须知：
• 两类投稿均需为符合学术规范的原创性学术论文，我们对抄袭等学术不端零容忍，并且更倾向于接收有具体原创结果的非综述性论文。
• 匿名要求：第1类投稿请务必在提交的文档中隐去作者姓名、单位及其他可以明显揭示作者身份的信息，我们将对第一类文章实行双向匿名审稿；第2类可不隐去作者姓名及单位，我们将进行单盲审稿。
• 语言要求：可选择使用中文或者英文写作。
• 格式要求：PDF文档；如原稿为Word文档，请转换为PDF后投稿，以防格式、数学公式及符号错乱影响评审。
• 投稿方式：统一通过EasyChair投稿系统完成（请按照网站https://easychair.org/conferences/?conf=ncml2019提示完成投稿），不接受email投稿。
• 完整成熟的学生论文亦可投第1类，第2类投稿特别为鼓励学生报告尚未成熟的工作设立。
论文收录及出版说明：
• 通过评审的稿件将在大会上公开报告并收录于会议的纸质非正式论文集（不是出版物，且不会以其他形式公开）。注意：每篇被接收的文章必须有至少一名作者注册并参会报告，否则将不收录于会议论文集并失去各种推荐资格。
• 对于通过匿名评审的第1类稿件我们会择优推荐给国内最好的逻辑学专业刊物《逻辑学研究》（CSSCI来源期刊（扩展版））安排专辑或专栏发表（特别感谢中山大学《逻辑学研究》编辑部一如既往的大力支持！）。
重要时间：
• 投稿系统开放时间：2019年4月
• 投稿截止日期：2019年7月31日 23点59分（北京时间）
• 稿件录用通知：2019年9月10日发布
• 稿件修改版提交：2019年9月25日
注：投稿截止时间为系统设置的严格时间，截止时间后将无法提交。
National Conference on Modern Logic
Call for papers:
We invite submissions on the following topics:
•Philosophical logic
•Mathematical logic
•Philosophy of logic
•Modern history of logic
•Logic in Computer Science
•Logic and Linguistics
•Logic and Social Sciences
Papers on related subjects may also be considered.
There are two categories of submissions:
•Unpublished work (up to 15 pages)
•Student abstract (up to 5 pages)
Please submit via easychair (https://easychair.org/conferences/?conf=ncml2019).
Important dates:
•Submission deadline: 31 July,2019
•Notification: 10 September, 2019
•Final version due: 25 September, 2019
•Conference: 08-10 November 2019
Note that there will not be formally published proceedings but the informal proceedings will be distributed before the conference.
建设中……敬请期待！
程序委员会主席
熊明 （华南师范大学）
程序委员会委员
| （按姓氏拼音序） | |
|---|---|
| 陈磊（北京师范大学） | 程勇（武汉大学） |
| 崔建英（中山大学） | 范杰（中国科学院大学） |
| 高坤（山西大学） | 郭佳宏（北京师范大学） |
| 郭美云（西南大学） | 郝兆宽 （复旦大学） |
| 贾青（中国社科院） | 蒋运成（华南师范大学） |
| 金立（浙江大学） | 康孝军（吉林大学） |
| 李菁 （兰州大学） | 李晟（四川师范大学） |
| 李延军 （南开大学） | 廖备水（浙江大学） |
| 刘大为（湖南师范大学） | 刘虎（中山大学） |
| 刘靖贤 （辽宁大学） | 刘路（中南大学） |
| 刘新文（中国社会科学院） | 马明辉（中山大学） |
| 裘江杰（中国人民大学） | 任远（中山大学） |
| 沈榆平（中山大学） | 苏庆辉（山东大学） |
| 王洪光（北京大学） | 王全龙（牛津大学） |
| 王玮（中山大学） | 王文方（阳明大学） |
| 王彦晶（北京大学） | 王轶（浙江大学） |
| 文学锋（中山大学） | 吴刘臻（中国科学院） |
| 夏素敏（中国社会科学院） | 熊明（华南师范大学） |
| 熊作军（西南大学） | 许涤非（中国人民大学） |
| 杨睿之（复旦大学） | 叶峰（首都师范大学） |
| 余俊伟（中国人民大学） | 喻良（南京大学） |
| 袁永锋（中山大学） | 张寄冀（香港岭南大学） |
| 张立英（中央财经大学） | 赵希顺（中山大学） |
| 郑伟平（厦门大学） |
外审专家
Gianluca Grilletti（Universiteit van Amsterdam）
特邀报告
冯琦，中国科学院数学与系统科学研究院研究员，中国科学院大学教授。1988年在美国宾州州立大学获博士学位。曾任新加坡国立大学讲师、高级讲师，并获永久教职。1997年底任中科院数学所研究员。曾任中科院数学所副所长、德国柏林洪堡大学MerCator客座教授。2000年获国家基金委杰出青年基金资助。2003年入选中科院百人计划。主要从事数理逻辑和公理化集合论研究。在关于实数集正则性研究领域曾同著名数学家Magidor和Woodin一道做出开创性和奠基性的工作。曾在无穷组合、大基数和印证原理、连续统假设、内模型等研究领域做出一系列工作。近几年在科学出版社“现代数学基础丛书”中出版教材《数理逻辑导引》和《线性代数导引》。
刘奋荣，清华大学哲学系教授、博导、长江学者特聘教授，阿姆斯特丹大学讲席教授，清华大学-阿姆斯特丹大学逻辑学联合研究中心主任。担任国际符号逻辑学会（Association for Symbolic Logic）逻辑学教育委员会委员、东亚逻辑学委员会委员。分别担任斯普林格两个系列从书Logic in Asia、Short Textbooks in Logic 执行主编。英文杂志Theoria、Topoi的顾问编辑，《逻辑学研究》副主编，Synthese、Studia Logica 编委；欧洲逻辑、语言和信息委员会丛书的领域编辑(area editor)。学术贡献之一是利用逻辑的形式工具研究偏好动态变化的规律，提出了基于原因的偏好双层模型，2011年出版的英文专著Reasoning about Preference Dynamics 获“第七届高等学校科学研究优秀成果奖”一等奖。这一著作和其他的英文论文在国际上有着十分广泛的影响。近年来她集中研究社交网络中信息流的逻辑，建模主体的多样性和主体间有策略的互动，发表了系列成果。在中国逻辑史领域，她正在开展《中国逻辑思想史手册》的项目，中英文版本即将出版。
钟磊，美国密歇根大学哲学博士，现任香港中文大学哲学系副教授。主要研究领域为心灵哲学与道德哲学，其成果发表于Journal of Philosophy、Philosophy and Phenomenological Research、Australasian Journal of Philosophy、Analysis等顶级哲学刊物。他关于心灵因果性的研究在国际哲学界引发诸多回应，并被Stanford Encyclopedia of Philosophy、Internet Encyclopedia of Philosophy引用。他的一些论文已被人翻译为中文重新出版。
题目： Low Rationality vs High Rationality：Understanding agents' behaviors in social networks
摘要：报告将以社交网络为例阐述研究主体理性的两种哲学观点和对应的逻辑学研究方法。Low rationality强调主体的简单选择，主体受到周遭环境的影响而做出反应，进化博弈论是这个方向研究的典型。社交网络中主体信念和偏好的变化可以用类似的思路开展研究。而在high rationality 方面，我们在建模的时候赋予主体复杂的推理和认知能力，BDI模型就是一个典型，主体只有权衡之后才能做出选择。本报告将详细考察这两种方法在研究社交网络信息流逻辑中的不同应用。
题目：An Emergentist Approach to Mental Causation
摘要：The problem of mental causation has afflicted non-reductionists for decades. In this lecture, I aim to argue that emergentism—the view that mental states can downwardly cause physical states in a non-overdetermining way—is the most plausible approach to mental causation. The emergentist approach is largely absent in contemporary philosophy of mind, because emergentism rejects the Causal Closure of Physics, a doctrine embraced by almost all physicalists (and also taken for granted in my previous work). However, this lecture will challenge the consensus on physical closure and at the same time defend a physicalist version of emergentism.
教学环节
王彦晶（北京大学）：从学生到学者：研究生指导
赵晓玉（北京大学）：排版技巧和海报制作
录用论文
王克诩（中山大学）Logarithmic-Bounded Second-Order Quantifiers and Limited Nondeterminism
陈佳（南京大学）强可能性与弱必然性的逻辑
刘淘宁（南京大学）Gettier悖论
胡中俊（南京理工大学） Truthmakers, Negative existentials, and Reichenbachian posits
宋伟（湖北大学） 演证式科学、经典科学模型与普遍语言
高坤（山西大学） 数学柏拉图主义的认识论问题
文学峰（中山大学） Modal Logic via Global Validity
李崇慧、廖备水（浙江大学）基于偏好聚合和论辩推理的道德困境解决方法
胡浩（深圳大学）The Epistemological and Metaphysical implications of the Accuracy Principle
朱薇 （北京大学） 任意性和全称引入规则
许涤非（中国人民大学）The Truth-makers for universal statements
伍岳轩（The University of Hong Kong） Analysing Wen's Proposal in Algebraic Semantics
荣华夏、刘新文 （中国社会科学院） 加“Most”的文恩图逻辑
陈钰（清华大学哲学系&奥克兰大学哲学系） Sequent Calculus for Weak Logic F
谷成城（山西大学）沈有鼎意义理论探析
黄伟鑫（中山大学）A new pessimistic semantics for the miners paradox based on intuitionistic logic
会议注册
2019全国现代逻辑学术研讨会将于2019年11月8-10日在中国社科院哲学所（建国门）召开。会议报道地点和住宿地点为四川省驻京办事处（建国门内大街贡院西街头条5号）。如果您有意参加本次会议，请按照下述方式填写注册信息。
注册时间截止日期为2019年10月22日零时（北京时间）。
● 点击链接注册（推荐）：请点击链接会议注册填写问卷完成会议注册。
●扫描二维码注册（推荐）：请扫描下面的二维码完成注册
● 发送邮件注册：请填写下列参会回执，并发送到邮箱[email protected]
题目：理论经济学的公理化问题
摘要：我们希望报告这些年来围绕理论经济学公理化问题的一些探讨。这是数理逻辑公理化方法应用的一种尝试。我们的探讨主要围绕理论经济学中的价值概念展开。我们的目标是建立起关于价值概念的内在理论。
本地信息
会议举办时间：2019年11月8日-10日
会议举办地点：中国社会科学院哲学研究所（点击查看地图）
北京市东城区建国门内大街5号
会议住宿地点和会议报到处：四川省驻京办事处（点击查看地图）
酒店联系电话：(010)68364718
酒店价格参考：单人间458元、498元；标准间558元（含早餐）
北京市东城区贡院头条5号
路线：
❶ 公交方案：
▶ 从机场到中国社会科学院：搭乘首都机场大巴北京站线（票价约25元）到雅宝路站下车，之后步行约600米至贡院头条胡同，抵达四川省驻京办事处
▶ 从首都国际机场到中国社会科学院/四川省驻京办事处：
T3航站楼搭乘首都机场线至东直门下车，转乘地铁2号线至建国门下车。A口出站。
▶ 从大兴国际机场到中国社会科学院/四川省驻京办事处：
在大兴国际机场搭乘大兴机场线，到草桥站下车，转乘地铁10号线到国贸站下车，转乘地铁1号线到建国门站下车。A口出站。
▶ 从北京南站到中国社会科学院/四川省驻京办事处：
乘坐地铁4号线至宣武门，转乘地铁2号线至建国门。A口出站。
▶ 从北京西站到中国社会科学院/四川省驻京办事处：
乘坐地铁9号线（国家图书馆方向）至军事博物馆站下车，转乘地铁1号线（四惠东方向）至建国门站下车。A口出站。
❷ 打车方案 （需向司机说明是位于东城区贡院头条5号的四川省驻京办）
▶从首都国际机场到中国社会科学院/四川省驻京办事处：打车约85元（参考价）
▶从大兴国际机场到中国社会科学院/四川省驻京办事处：打车约177元（参考价）
▶从北京南站到中国社会科学院/四川省驻京办事处：打车约35元（参考价）
▶从北京西站到中国社会科学院/四川省驻京办事处：打车约35元（参考价）
❸ 步行方案
▶只建议抵达北京站的参会者采取步行方案至中国社会科学院和四川省驻京办事处。步行约800米。
联系我们
会议邮箱：
[email protected]
会务人员：
刘新文 崔文芊 闫佳亮 王群森
会议微信群二维码（为方便会议消息的及时传达，建议您扫码入群）：
2019年全国现代逻辑学术研讨会日程
2019年11月08日（周五）
14:00-18:00 报到 （四川省驻京办大堂）
18:00-20:00 晚餐（四川省驻京办）
会场有三个：院部学术报告厅（主会场）；主楼930、902（分会场）
2019年11月09日（周六）（院部学术报告厅）
08:00-08:10 开幕式
主持人：郭佳宏（北京师范大学）
致辞者：张家龙（中国社会科学院），刘新文（中国社会科学院）
08:10-09:10 特邀报告1
主持人：郭佳宏（北京师范大学）
报告人：冯 琦（中国科学院 & 中国科学院大学） 理论经济学的公理化问题
09:10-09:30 合影（院部学术报告厅前）；茶歇（主楼9层）
09:30-11:50 会议报告（每个报告含答问环节30分钟）
会场1（主楼930会议室）
09:30-10:30 主持人：张 炎（中国人民大学）
1. 文学峰（中山大学） Modal Logic via Global Validity
2. 陈 佳（南京大学） 强可能性与弱必然性的逻辑
10:30-10:50 茶歇
10:50-11:50 主持人：崔建英（中山大学）
3. 李崇慧、廖备水（浙江大学） 基于偏好聚合和论辩推理的道德困境解决方法
4. 王克诩（中山大学） Logarithmic-Bounded Second-Order Quantifiers and Limited Nondeterminism
会场2（主楼902会议室）
09:30-10:30 主持人：贾 青（中国社会科学院）
1. 伍岳轩（香港大学） Analysing Wen's Proposal in Algebraic Semantics
2. 朱 薇（北京大学） 任意性和全称引入规则
10:30-10:50 茶歇
10:50-11:50 主持人：张立英（中央财经大学）
3. 黄伟鑫（中山大学） A new pessimistic semantics for the miners paradox based on intuitionistic logic
4. 刘淘宁（南京大学） Gettier悖论
12:00 午餐（四川省驻京办2楼）
14:00-15:00 特邀报告2（院部学术报告厅）
主持人：熊 明（华南师范大学）
报告人：钟 磊（香港中文大学） An Emergentist Approach to Mental Causation
15:00-15:20 茶歇
15:20-16:50 教学报告（院部学术报告厅）
主持人：张燕京（河北大学）
1. 王彦晶（北京大学）：从学生到学者——研究生指导
2. 赵晓玉（中国人民大学）：排版技巧和海报制作
16:50-17:10 茶歇
17:10-18:40 研究经验分享会：叫我如何想到TA——研究问题的寻与追（院部学术报告厅）
主 持 人：钟盛阳（北京大学）
主要分享人：文学锋（中山大学）、吴刘臻（中国科学院）、钟磊（香港中文大学）
18:50晚餐（四川省驻京办2楼）
2019年11月10日（周日）
08:00-10:20 会议报告（每个报告含答问环节30分钟）
会场1：主楼930会议室
08:00-09:00 主持人：杨睿之（复旦大学）
1. 高 坤（山西大学） 数学柏拉图主义的认识论问题
2. 胡 浩（深圳大学） The Epistemological and Metaphysical implications of the Accuracy Principle
09:00-09:20 茶歇
09:20-10:20 主持人：琚凤魁（北京师范大学）
3. 许涤非（中国人民大学） The Truth-makers for universal statements
4. 胡中俊（南京理工大学） Truthmakers, Negative existentials, and Reichenbachian posits
会场2：主楼902会议室
08:00-09:00 主持人：程 勇（武汉大学）
1. 陈 钰（清华大学&奥克兰大学） Sequent Calculus for Weak Logic F
2. 荣华夏（中国社会科学院） 加“Most”的文恩图逻辑
09:00-09:20 茶歇
09:20-10:20 主持人：李 菁（兰州大学）
3. 谷成城（山西大学） 沈有鼎意义理论探析
4. 宋 伟（湖北大学） 演证式科学、经典科学模型与普遍语言
10:20-10:40 茶歇
10:40-12:00 特邀报告3、闭幕式（院部学术报告厅）
10:40-11:40 本地特邀报告
主持人：刘新文（中国社会科学院）
报告人：刘奋荣（清华大学） Low Rationality vs High Rationality：Understanding agents’ behaviors in social networks
11:40-12:00 闭幕式
主持人：王彦晶（北京大学）
12:00 午餐（四川省驻京办2楼）