2015年全国形式逻辑研讨会暨川渝黔滇逻辑学会年会会议综述



2015年全国形式逻辑研讨会暨川渝黔滇逻辑学会年会会议综述

2015年10月23-24日，由中国逻辑学会形式逻辑专业委员会、重庆市逻辑学会、四川省逻辑学会、贵州省逻辑学会、云南省逻辑学会共同主办，重庆第二师范学院承办的“2015年全国形式逻辑研讨会暨川渝黔滇逻辑学会年会”在重庆第二师范学院召开。本次研讨会的主题包括形式逻辑、现代逻辑、归纳逻辑等内容，目的在于让逻辑学研究者们汇报个人在其所属领域内的最新研究成果，促进参会学者对各个的问题的看法交流。来自中国社会科学院、西南大学、四川大学、重庆大学、西南政法大学、河北大学、云南师范大学、西南财经大学、四川师范大学、贵州理工学院和重庆第二师范学院等二十余所研究机构和高校的专家学者以及逻辑学研究生共80余人出席了本次会议。

全国形式逻辑专业委员会秘书长、全国现代逻辑专业委员会副主任、河北大学政法学院张燕京教授主持了本次会议的开幕式。中国逻辑学会形式逻辑专业委员会主任、重庆逻辑学会会长何向东教授代表主办方致开幕辞，重庆第二师范学院党委书记邹渝代表承办方致欢迎辞。他向与会代表热情介绍了重庆第二师范学院围绕0-12岁儿童成长服务打造办学特色的努力，以及近年在转型发展过程中取得的成绩。在学术讨论的一天时间内，参会代表围绕现代逻辑、逻辑哲学及逻辑应用等主题进行了十余场报告。

1　形式逻辑

西南大学唐晓嘉的报告是“试析作为理论分析工具的现代逻辑”。报告阐述了语言与世界、模型与世界的关系问题，认为对世界认知的问题是语言与世界的关系和知识的客观性。“主体”、“客体”、“客体是什么”的三个设定中，“客体是什么”是需要理论背景为条件。理论构架要结合客观性原则，清楚刻画要具有一致性、检验性标准。理论的目的在于预测和解释。指出一阶逻辑局限性的外延原则，即无法处理内涵性命题及其推理的问题。模态逻辑具有静态和外在性的特点，不能刻画交流中的信息变化和主体间的相互认知。而动态认知逻辑可以弥补模态逻辑的不足，并进一步推展可以实现高阶信息的表达与刻画，因而可以实现博弈主体相互认知状态的标准，完成博弈算法认知条件的刻画。

西南大学马明辉的报告题目为“非经典逻辑的代数与证明论研究”。指出古典命题逻辑的代数化是布尔代数类的等式逻辑，直觉主义逻辑的代数是海廷代数，古典模态逻辑的代数是布尔代数加正规算子。在偏序、分配格、格、广群、半群、幺半群、群等基本结构上加算子可获得众多非经典逻辑。这些逻辑都可以用代数方式进行定义，并从对偶理论、对应理论、代数证明论等方面可以对这些逻辑进行研究。他把有界分配格作为基础，从代数证明论角度研究分配格上带着严格蕴含算子的非经典逻辑。

重庆大学吕进以“记忆的逻辑分析”为题。指出记忆作为认知的基本要素，也是主体进行认知推理的依赖条件。记忆包括经验记忆、命题记忆和实践记忆。记忆可被认为是现实主体对过往获得的信息的贮存与调用。短时记忆真正影响主体行动决策。记忆、时间、信念三者联系密切，记忆与过去相关联，却发生在当下。主体信念保存于记忆中，从而影响主体的认知和行为能力。

西南政法大学魏斌做了“用人工智能的论证模型定义论证的结构”的学术报告，他从形式化的角度分析了Thomas、Walton和Freeman等人的标准途径，使用了ASPIC+框架弥补证明理论的标准模型的不足，指出个别证明类型和证明结构类型的差异。他指出，这一形式化途径如果可以被接受，那么Vorobej的标准模型拓展就不再必要。

四川师范大学李晟的报告是“直觉主义逻辑上的Friedman-Sheared理论”。他将经典的Friedman-Sheared理论（简称为FS理论）的逻辑基础削弱后，从而讨论基于直觉主义逻辑的Friedman-Sheared理论（简称为IFS理论）。报告中提出了直觉主义修正语义学，而且证明了IFS可以把其中的公理化至第一个极限序数ω，之后证明了FS可以通过否定性转换嵌入到IFS中。

云南师范大学胡怀亮作了“当代条件句逻辑研究的现状分析”的报告。报告中梳理了两次条件句逻辑研究的浪潮：第一次研究浪潮是围绕条件句的可保持性理论进行的，假设条件句的前件（添加合适的前提），推得条件句的后件，这个条件句就是可断定的；第二次浪潮起于Robert Stalnaker对条件句配置了一个可能世界语义学并提供了一个公理系统，终于Gardenfors提出的一个可接受性条件。期间根据“Ramsey测验”提出了当代研究条件句逻辑的三条路径：可能世界进路、概率进路和认知进路。

2　逻辑哲学

中国社会科学院刘新文作了题为“金岳霖论题——一个逻辑的形而上学问题”的报告。在报告中，通过对金岳霖生平的叙述，以“逻辑中心困境”为切入点提出“金岳霖论题”，他认为，这可以成为理解金岳霖的逻辑理论的起点。他在此基础上提出关于逻辑的镜像性的论证，从而使“金岳霖论题”成为当前逻辑基础研究的一部分，以图体现出金岳霖1927年的这篇论文“Prolegomena”所具有的学术价值。

重庆大学黄斌报告的论题是“破解逻辑悖论”。他提出语言层面和语言阶的理论，用于解决悖论问题。这一基于辩证唯物论理解之上的理论，克服了“解悖”方案惯常所采用的“特设性”的弊端。以哲学原理与逻辑分析相结合的方式，作为研究和解决逻辑问题的进路。认为由“P：〈P〉假”只能得到只能得到“P：～P”，无法推出“P=～P”，层面不同而且不同形的语句无法相通，因此“：”不能改为“=”。但“P：〈P〉真”，可得到“P：P”和“P=P”，虽然不同层面，但同形的语句是可以相通的。如此把断定“真”，断定“假”分别处理的方式，就克服了禁止语句“自涉”导致的类型、情景、层次无限后退或无限升高的问题。

贵州工程技术应用技术学院董英东的报告为“可能世界语义下的本体承诺”。他引用拉约（Rayo）对奎因逻辑标准修正后的标准：一阶语句ψ承担了承诺Gs，当且仅当，(a)ψ→∃xP(x)是表达F状态的某些谓词P的逻辑真值；并且(b)存在F的部分都存在G。他指出，在克里普克语义理论里，每一可能世界都包含有可能存在于该世界的对象。首先，承担本体论承诺的是可能的对象。其次，也可以单独考虑用专名表示的对象来承担本体论承诺。将名称处理为严格指示词表明需要对某些事物做出承诺，即使并未完全觉知到所有的和该事物相关的细节。他强调专名和自然种类词在使用时可以看作是严格指示词，并且指出它们具有不同的本体论承诺。

四川大学徐召清做了题为“归纳问题与归纳逻辑——从演绎的角度看归纳”的报告。他以演绎的角度来探讨归纳推理，认为归纳问题不应该被看成是归纳逻辑的问题，而在于对归纳逻辑的期待出了问题。通过与演绎推理在形式、单调性、保真性方面的对比，获得归纳的特征和局限，从而减少对归纳有过多的期待或指责。

3　逻辑应用

西南大学何向东对其在2014年立项的国家社科基金重大项目“关于信息互动的逻辑、认知与计算研究”的课题情况和研究进展作了报告。该课题从信息互动场景和信息互动理论两个角度切入，重点研究信息互动的逻辑机制、计算机制、认知神经机制、物理机制，揭示信息互动的内、外部运作机制，从而建立信息互动的逻辑理论，并形成关于信息互动的逻辑、计算和认知的理论体系。研究内容主要有：在联盟认知逻辑基础上引入动态因素，建立社会网络中信息交互的一般性理论，将原有个体知识和信念的变化提升到群体或联盟层面。建立社会网络节点之间信息交互机制，从计算智能的视角研究知识更新和信念修正，并且在博弈问题上具体实现信息交互；对心理过程中默认网络子模块功能分工以及默认网络和其他静息态脑网络之间的交互关系进行研究，从而对复杂系统的群聚行为进行形式化研究及逻辑建模型，进而得出动态聚类方法。课题旨在从“逻辑-物理-计算-心理”等四大角度多学科交叉研究信息互动机制，特别引入复杂系统科学的视角和认知神经科学的视角，运用逻辑学的形式化方法研究社会复杂系统行为，建立逻辑模型；以动态认知逻辑为基础建立动态联盟认知逻辑以及一般性的群体认知逻辑理论，而且在这种理论中引入时间和概率，处理联盟博弈的具体信息互动问题；通过知识分离局部化解信息交互问题能够有效地加速求解问题，从事实推导出的具有良基关系的集合是合理的知识核心假设。

西南政法大学金承光以“逻辑学与法治国家建设”为题。阐述了依法治国，建设法治国家的起步点在于公民讲逻辑，摆事实，讲道理。一个社会不讲逻辑、不讲事实、不讲常识，会陷入情绪宣泄、胡搅蛮缠、恶语相向、人身攻击，进而恶化为肢体冲突、诉诸暴力。因此，要建成法治国家，就要求逻辑学发挥其基础作用，提升公民个人逻辑思考能力。

贵州理工学院杨岗营的报告题目为“《周易》推理机制探析”。报告中指出《周易》的占卦阶段的推类推理是一个完备的演绎推理系统，解卦阶段更多的是语用推理，只具有或然性。他以具体事例阐释了这一观点。

西南财经大学谷彪的报告题目是“大数据的逻辑机理”。报告中，他指出大数据具有容量大、类型多、速度快、价值密度低的特点，进而提出建立在数据相关关系分析基础上的预测是大数据的核心，相关性是对因果性、统计规律性的的补充，但要警惕“大数据浮夸”。使用Hadoop开发和处理大数据，Hadoop的核心是匹配归约算法框架MapReduce。交互性可被视为大数据的形成机制的核心，由此展开可得到大数据分析的三大逻辑支柱：拉姆塞理论、博弈论的策略可理性化理论、逻辑动力学。他指出，大数据认知与数据挖掘技术的发展和网络用户的行为密切相关，具有渐进性、路径依赖性等随时间演化的特征。

重庆师范大学李章吕报告的题目是“基于因果模型的两盒论——纽科姆难题的消解方案”。他首先借助屏蔽原理、动作算子do，进行纽科姆难题的因果决策模型的勾勒。再引入行动概率变量ψ，构建一个基于决策者BATOB的决策方案。这一方案体现了贝叶斯决策的知识更新和信念修正特点。

重庆第二师范学院张蕴作了“应用型本科院校逻辑通识教育课程建设与发展的路径探析”的报告。她认为需要发挥逻辑学在培养应用型人才的创新精神、创造力方面的重要作用，为了完成这一目标，需要摈弃分歧，统一理念，在诸多方面进行系统改革。

重庆市逻辑学会秘书长，全国现代逻辑专业委员会副主任郭美云教授在总结发言里指出，此次研讨会内容丰富，涵盖面广。他同时强调，此次会议对于促进四省市逻辑学会之间以及与全国形式逻辑专业委员会之间的交流与合作起了很好的效果。

本次会议是由全国形式逻辑专业委员会主任、重庆市逻辑学会会长何向东教授发起和指导组织的第一次会议。组委会决定今后将继续在四省市轮流举办，这对于促进四省市的逻辑学研究和教学以及加强西南地区在逻辑学领域的交流与合作将会有重要意义。

孙洋西南大学逻辑与智能研究中心294256817@qq.com

2015-11-10