2018年全国现代逻辑学术研讨会

National Conference on Modern Logic 2018

中国逻辑学会现代逻辑专业委员会与厦门大学哲学系将于2018年10月27～28日在厦门共同举办“2018年全国现代逻辑学术研讨会”。 会议不收会务费，参会者的差旅费和餐费自理。

重要时间：
·投稿截止：2018年7月31日 23点59分（北京时间）【已截止】
·录用通知：2018年9月10日【已公布】
·修改版提交：2018年9月25日
·会议日期：2018年10月27-28日（10月26日报到，当天讲座名单初步安排：文学锋、王彦晶、袁永锋）

关于

“全国现代逻辑学术研讨会”是中国逻辑学会现代逻辑专业委员会主办的年会，旨在增进国内各领域逻辑学研究人员的交流，共同营造一个健康的学术氛围，提高学术研究水平。

该会议的具体功能如下：

学术交流：交流晚近的学术成果，展望未来的研究课题；教育：提高研究生的基本学术技能，锻炼年轻学者的学术组织能力，传播学术伦理规范；学术共同体建设：联合哲学、数学、计算机科学以及语言学等领域的相关逻辑学者，形成基本共识，推动逻辑学在中国的普及与发展。
全国现代逻辑学术研讨会历届会议的承办单位和/或举办地：

1998年 华南师范大学，东莞2002年 山西大学，太原2005年 北京昌平2007年 燕山大学，秦皇岛2010年 北京大学，北京2011年 武汉大学，武汉2012年 复旦大学，上海2013年 中山大学，广州2014年 北京师范大学，北京2015年 河北大学，保定2016年 西南大学，重庆北碚 会议网站2017年 浙江大学，杭州 会议网站

征稿启事

我们欢迎以下主题的学术论文投稿：

·哲学逻辑
·数理逻辑
·逻辑哲学
·现代逻辑史
·逻辑与语言学
·逻辑与计算机科学
·逻辑与社会科学

我们接收如下三类投稿：

1. 尚未发表的原创学术论文（不包括已向国内外正式刊物或学术会议投稿但尚未有结果的论文，和已被国内外正式刊物接收但尚未发表的论文），篇幅限15页以内，请务必在投稿时隐去文章中的作者姓名、单位和其他相关信息。

2. 2017年1月1日以来在国内外知名学术刊物上已正式发表的学术论文（不限篇幅）。投稿请在摘要中注明发表的刊物名称及刊号，如可能请附在线电子版本的官方链接。

3. 学生为主要作者的论文摘要（5页左右不包括参考文献）。特别鼓励在读学生独立或合作完成，建议包括如下内容：具体的研究问题及动因、国内外已有研究、研究思路及方法、初步结果及难点、未来工作以及参考文献等。

投稿须知：

·三类投稿均需为符合学术规范的原创性学术论文，我们对抄袭等学术不端零容忍，并且更倾向于接收有具体原创结果的非综述性论文；

·匿名要求：第1类投稿请务必在提交的文档中隐去作者姓名、单位及其他可以明显揭示作者身份的信息，我们将对第一类文章实行双向匿名审稿；第2类及第3类可不隐去作者姓名及单位，我们将进行单盲审稿；

·语言要求：可选择使用中文或者英文写作；

·格式要求：PDF文档；如原稿为Word文档，请转换为PDF后投稿，以防格式、数学公式及符号错乱影响评审；

·投稿方式：统一通过EasyChair投稿系统完成（投稿系统网址: https://easychair.org/conferences/?conf=ncml2018 请按照网站提示完成投稿），不接受email投稿；

·完整成熟的学生论文亦可投第1类，第3类投稿特别为鼓励学生报告尚未成熟的工作设立；

收录及出版说明：

·通过评审的稿件将在大会上公开报告并收录于会议的纸质非正式论文集（不是出版物，且不会以其他形式公开）。注意：每篇被接收的文章必须有至少一名作者注册并参会报告，否则将不收录于会议论文集并失去各种推荐资格。

·对于通过匿名评审的第1类稿件我们会择优推荐给国内最好的逻辑学专业刊物《逻辑学研究》（CSSCI来源期刊）安排专刊或专栏发表（特别感谢中山大学《逻辑学研究》编辑部的大力支持！）。

重要时间：
·投稿截止：2018年7月31日 23点59分（北京时间）
·录用通知：2018年9月10日
·修改版提交：2018年9月25日
·会议日期：2018年10月27-28日（10月26日报到，当天有讲座安排）

注：投稿截止时间为系统设置的严格时间，截止时间后将无法提交。

Chinese 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 three categories of submissions:

·Unpublished work (up to 15 pages)
·Published work (published in well-known journals in the previous year)
·Student abstract (up to 5 pages)

Please submit via easychair (https://easychair.org/conferences/?conf=ncml2018).

Important dates:
·Submission deadline: 31 July (firm)
·Notification: 10 September
·Final version due: 25 September
·Conference: 27-28 October

Note that there will not be formally published proceedings but the informal proceedings will be distributed before the conference.

委员会

大会主席

朱菁（厦门大学）

本地组织委员会

黄朝阳、何纯秀、郑伟平

程序委员会（负责审稿工作，非荣誉职位）

主席： 刘新文（中国社会科学院）

委员名单（姓名音序）：

外审专家名单（姓名音序）：

联系我们

本地会务联系：郑伟平[email protected]

投稿请登录Easychair，不接受其它方式投稿。

• Email (alt)

注册参会

会议地点：厦门大学（思明校区）人文学院（厦门市思明区思明南路422号）
会议时间：
2018年10月26日（周五）：报到（周五下午和/或晚上有教学环节讲座安排，主讲教师：中山大学哲学系文学锋；北京大学哲学系王彦晶、中山大学珠海校区哲学系袁永锋）27日全天和28日上午：正式会议
请填写如下回执并发送给：郑伟平老师（厦门大学人文学院）[email protected]

-----------------------------------------
姓 名：
性 别：
住宿要求（校内标间/单间每晚480元，校外则400元上下浮动）：
-- 类型和数量：（单人间/双人间），合住和代他人预订请注明
-- 入住和离开日期
（如果自行安排住宿，请填写“无需安排”）
论文题目：(如果没有被录用论文，本栏不填)
工作单位：
联系电话：
电子邮箱：
-----------------------------------------

录用论文

经过一个多月的紧张审稿和讨论，程序委员会最终确定了接收论文的清单。本次会议共收到68篇投稿，接收27篇，拒稿41篇，接收率39%强，竞争是历年来最激烈的一次。每篇经过初审的投稿都在Easychair系统中由3位程序委员会的委员或者外请专家进行双盲匿名审稿（其中3篇投稿由4位委员或外请专家匿名审稿），学生投稿则由2位委员或外请专家审稿，最后总共收到177份审稿意见。再次感谢所有33位程序委员会委员的辛勤工作！我们还要特别感谢17位外审评委的大力帮助！！

未发表论文类（按作者姓名音序排列）
董惠敏：Permission and Obligation within Ceteris Paribus范杰：Bimodal logic with contingency and accident: Bisimulation and van Benthem Characterization Theorems高珂：The Truth in The Nonstandard Language何树男：A study on graph theory through hybrid graph logic贾青：Two sorts of Evaluations for Continuous Action李延军：The completeness for the combination of PDL and S5 with Perfect Recall and No Miracles彭杉杉：扎尔塔抽象对象理论与假装理论融合方案的形式化改进王轶、骆犀羚：Dynamic Social Network Modeling: Axiomatizing and implementing the Logic of Allies and Enemies魏燕侠：两种贝叶斯主义的信念度模型文学锋：A Remark on the Miners Paradox熊明：The Modal Liar in Some Possible Worlds is the Dual of Yablo's Paradox in the Actual World熊作军：A Propositional Dynamic Hybrid Logic for Followership许涤非：Hintikka's logical revolution杨红玉：量词与本体论承诺余俊伟：不同视角下的逻辑多元论余喆、廖备水：基于形式论辩理论的滑坡论证评估袁永锋、张建军：信念修正视域下的悖论研究初探张炎：Finite Axiomatizability of Transitive Logics of Finite Depth and of Finite Suc-width张玉志：一个时态认知逻辑的新系统——基于对认知算子的时态化处理赵晓玉：哥德尔不完全性定理的推广形式及其哲学影响郑伟平：罗素逻辑理论研究的新进展
学生论文类（按作者姓名音序排列）
洪峥怡：汉语量化名词短语的确约数语义与辖域王春丽：试论布尔逻辑理论中“不可解释的表达式”伍岳轩：Intersubstitutivity Principle with the Partial Łukasiewicz Logic谢凯博：Account for nested intervention闫佳亮：从逻辑的规范性到有效性——对麦克法兰桥梁原则的补充周冲：超赋值语义学中的预设问题

本地信息

会场地址
厦门大学思明校区（南普陀校门），厦门市思明区思明南路422号

校内住宿
厦门大学学术交流中心（校内）、厦门全季酒店厦大店（校外）

校内就餐
逸夫楼中餐厅

交通路线
手机微信关注“掌上公交”

1、从厦门高崎机场

(1) 公交线路：空港快线火车站线 → 1路，全程约20.3公里
从厦门高崎国际机场步行约10米,到达t3候机楼空港快线站：乘坐空港快线火车站线,经过1站, 到达火车站(东南亚大酒店)站
步行约180米,到达梧村车站：乘坐1路,经过12站, 到达厦大南门(南普陀)站

需要40分钟

(2) 在机场排队打的士，50元左右

2、从厦门火车站

(1) 公交线路：1路与21路均可到达

(2) 的士费用约为20元

3、从厦门高铁站（厦门北站）

(1) 公交线路：厦门北站旅游快线 → 841路，全程约28.1公里
从厦门北站乘坐厦门北站旅游快线,经过2站, 到达轮渡站步行约340米,到达妇幼保健院站乘坐841路,经过4站, 到达厦大南门(南普陀)站 厦门大学
(2) 公交线路：厦门北站旅游快线 → b1路，全程约28.8公里
从厦门北站乘坐厦门北站旅游快线,经过2站, 到达轮渡站步行约320米,到达轮渡站乘坐b1路,经过1站, 到达厦大站 厦门大学
(3) 的士费用约为100元

地图
各大电子地图，包括百度地图、高德地图均可检索。

特邀报告

哲学博士、北京大学外国哲学研究所、哲学系教授。主要研究领域为语言哲学及关于抽象对象的形而上学。已出版的著作有《语言•意义•指称——自主的意义与实在》（2010）、《理解的条件——戴维森的解释理论》（2006）等。最近几年发表的文章多集中于虚构对象及其他抽象对象的形而上学问题，及含有此类对象名字的语句的语义学问题，同时，也关注语境敏感性（contextual sensitivity）现象所引起的语义学与哲学问题。

张树果（特邀报告）：奇异子集与基数不变量

四川大学数学学院教授、博导。研究方向：集合论、集论拓扑 。1992年在四川大学获得博士学位，之后留校工作至今。至今共主持过6 项国家自然科学基金面上项目，并承担国家自然科学基金重点项目一项。其主要研究结果发表在：如 《Journal of Symbolic Logic》、《Fundamenta Mathematicae》、《Topology and its Applications》、《Archive for Mathematical Logic》、《Houston Journal of Mathematics》、《Science in China》等国内外专业杂志上。现任中国数学会数理逻辑专业委员会主任。

周昌乐（本地特邀报告）：博弈的认知逻辑描述

1990年毕业于北京大学理论计算机科学专业，获理学博士学位，曾任厦门大学信息科学与技术学院院长。现任厦门大学智能科学与技术系教授、博士生导师，厦门大学哲学系兼任教授、博士生导师。长期从事人工智能及其多学科交叉领域的研究工作，目前主要开展心智仿造、圣学发微、禅法实证等方面的研究工作。

2018年全国现代逻辑学术研讨会特邀报告

报告人： 叶闯（北京大学教授）
题目：关于抽象对象的直观真语句与传统语义学假设——语言哲学与形而上学界面上的典型问题及解决策略

一个被普遍接受的传统语义学假设是：如果一个语句为真，它在指称位置上的词项指称存在的对象（在语句被表达为它的逻辑形式时）。含有似乎指称抽象对象的名词性短语之语句（比如“桌子上的柚子数是3”，“这张桌子有红这个性质”，“哈利•波特是魔法学校的学生”）的存在，有可能挑战这个传统假设，因为它们在直觉上可以是真的，但其是否满足上述的语义学假设却至少是有争议的。在此，可能提出逐个递进的三个问题 ：第一，是否可以给此类语句一种合理解释，且又保存传统语义学假设；第二，如果不可以，那么，到底是哪些部分不可以，还是都不可以；第三，对于不可以的部分，必须有所改变的语义学到底需要在多大程度上离开传统假设，或者，它需要以什么方式修改传统的语义学假设，甚至整个语义学的传统。

大体围绕这三个问题，我们来说明主流的问题解决方案是怎样考虑问题的，并说明其中的一些方案存在哪些问题。从大的方面，可以简单地把流行的方案分为两种，一种是实在论的，一种是非实在论的（of course, the way of grouping theories is neither exhaustive nor unique）。实在论是一类形而上学驱动的方案，它们依赖于提出某种关于实在的假设，通过刻画这种实在物的行为来支持相应的语义学。非实在论方案大多是语言学驱动的，它们期望在不假设比日常对象更多对象的前提下，在语义上解释（似乎是）关于抽象对象的语句。语言学驱动的策略又可分为两个大类，一类是通过重新理解某些语言装置的语义学涵义，比如量词的存在涵义，来解释相关的直觉的真语句，另一类是通过刻画我们在理解此类语句中所采取的态度，以及我们在采取某种命题态度时，我们实际或应该考虑语句之语义内容的哪些部分，来解释为什么我们直觉上认为相关的语句是真的。近十年，出现了一种新的语义学模式，在考虑关于抽象对象的语句时，它接续第二类语言学驱动策略的思路，但又不限于简单地使用那类策略下已有的资源。具体地说，它通过构造一种更丰富的truthmaker理论，即引入主题（subject matter, sm）、部分真（partly true），及相应的关于主题真（true about sm）等概念，企图更细致且更有效地在语义上刻画那些直观的真语句。这个新模式给语义学带来一些相当有意义的新观念，不但可能对关于抽象对象的语句的理解有所贡献，也可能对解决其他语义学问题有所帮助，因此，我们将给予特别的关注。

• 点击返回特邀报告总页

会议日程

本届会议总共30个报告，2个教学报告分别安排在周五下午、晚上，2个特邀报告和1个本地特邀报告分别安排在周六上下午、周日上午3个半天中，19个常规报告和6个学生报告则大致按照研究方向依次安排。

10月26日（周五）下午、晚上教学报告
16:30-17:30人文学院院楼214
主持人：刘新文（中国社会科学院）
报告者：王彦晶（北京大学）：逻辑学科研相关的信息化工具介绍

17:50 - 19:20晚餐（地点：逸夫楼中餐厅）

19:40-20:40人文学院院楼214
主持人：余俊伟（中国人民大学）
报告者：袁永锋（中山大学）：怎样写学术综述

10月27日（周六）上午

08:00 - 08:30开幕式（联兴楼综合报告厅）
主持人：刘新文（中国社会科学院）
致辞者：朱 菁（厦门大学人文学院院长）
合影处：建南大礼堂门口

08:30 - 09:30特邀报告1（联兴楼综合报告厅）
主持人：赵希顺（中山大学）
报告者：张树果（四川大学）：奇异子集与基数不变量

09:30 - 09:50 茶歇

会场1（人文学院院楼320）会议报告
09:50 - 10:50主持人：何向东（西南大学）
09:50 - 10:20张 炎（中国人民大学）：Finite Axiomatizability of Transitive Logics of Finite Depth and of Finite Suc-width
10:20 - 10:50贾 青（中国社会科学院）：Two sorts of Evaluations for Continuous Action
10:50 - 11:10茶歇
11:10 - 12:10主持人：苏庆辉（山东大学）
11:10 - 11:40余俊伟（中国人民大学）：不同视角下的逻辑多元论
11:40 - 12:10彭杉杉（吉林师范大学）：扎尔塔抽象对象理论与假装理论融合方案的形式化改进

会场2（人文学院院楼216）会议报告
09:50 - 10:50主持人：黄华新（浙江大学）
09:50 - 10:20范 杰（中国科学院大学）：Bimodal logic with contingency and accident: Bisimulation and van Benthem Characterization Theorems
10:20 - 10:50张玉志（西南大学）：一个时态认知逻辑的新系统——基于对认知算子的时态化处理
10:50 - 11:10茶歇
11:10 - 12:10主持人：何纯秀（厦门大学）
11:10 - 11:40何树男（北京师范大学）：A study on graph theory through hybrid graph logic
11:40 - 12:10熊作军（西南大学）：A Propositional Dynamic Hybrid Logic for Followership

12:20 - 14:00 午餐（地点：逸夫楼中餐厅）


10月27日（周六）下午

14:00 - 15:00特邀报告2（联兴楼综合报告厅）
主持人：张燕京（河北大学）
报告者：叶 闯（北京大学）：关于抽象对象的直观真语句与传统语义学假设

15:00 - 15:20 茶歇

会场1（地点：人文学院院楼320）会议报告
15:20 - 16:20主持人：毕富生（山西大学）
15:20 - 15:50余 喆（浙江大学）：基于形式论辩理论的滑坡论证评估
15:50 - 16:20郑伟平（厦门大学）：罗素逻辑理论研究的新进展
16:20 - 16:40茶歇
16:40 - 17:40主持人：黄朝阳（厦门大学）
16:40 - 17:10袁永锋（中山大学）：信念修正视域下的悖论研究初探
17:10 - 17:40魏燕侠（华侨大学）：两种贝叶斯主义的信念度模型

会场2（地点：人文学院院楼216）会议报告
15:20 - 16:20主持人：李 晟（四川师范大学）
15:20 - 15:50董惠敏（浙江大学）：Permission and Obligation within Ceteris Paribus
15:50 - 16:20骆犀羚（浙江大学）：Dynamic Social Network Modeling: Axiomatizing and implementing the Logic of Allies and Enemies
16:20 - 16:40茶歇
16:40 - 17:40主持人：应 腾（浙江大学城市学院）
16:40 - 17:10赵晓玉（北京大学）：哥德尔不完全性定理的推广形式及其哲学影响
17:10 - 17:40高 珂（北京大学）：The Truth in The Nonstandard Language

18:00 晚餐（地点：逸夫楼中餐厅）


10月28日（周日）上午

会场1（地点：人文学院院楼320）会议报告
08:30 - 09:45主持人：刘 虎（中山大学）
08:30 - 09:00李延军（南开大学）：The completeness for the combination of PDL and S5 with Perfect Recall and No Miracles
09:00 - 09:15洪峥怡（浙江大学）：汉语量化名词短语的确约数语义与辖域
09:15 - 09:30周 冲（山西大学）：超赋值语义学中的预设问题
09:30 - 09:45闫佳亮（中国社会科学院）：从逻辑的规范性到有效性——对麦克法兰桥梁原则的补充

会场2（地点：人文学院院楼216）会议报告
08:30 - 09:45主持人：王彦晶（北京大学）
08:30 - 09:00熊 明（华南师大）：The Modal Liar in Some Possible Worlds is the Dual of Yablo’s Paradox in the Actual World
09:00 - 09:15王春丽（西南大学）：试论布尔逻辑理论中“不可解释的表达式”
09:15 - 09:30谢凯博（阿姆斯特丹大学）：Account for nested intervention
09:30 - 09:45伍岳轩：Intersubstitutivity Principle with the Partial Łukasiewicz Logic

09:45 - 10:05茶歇

10:05 - 10:35（地点：联兴楼综合报告厅）会议报告
主持人：郭美云（西南大学）
报告者：文学锋（中山大学）：A Remark on the Miner’s Paradox
10:35 - 11:35（地点：联兴楼综合报告厅）本地特邀报告
主持人：郭美云（西南大学）
报告者：周昌乐（厦门大学）：博弈的认知逻辑描述

11:35 - 12:00（地点：联兴楼综合报告厅）闭幕式
主持并致辞：王彦晶（北京大学）

12:20 午餐（地点：逸夫楼中餐厅）