9月24日，山东省逻辑学会成立大会暨逻辑学教学与研究讨论会在济南召开，省社科联党组成员、副主席张伟红出席会议并讲话，中国逻辑学会秘书长郭佳宏、山东大学人文社会科学研究院经理黄凯南、山东大学哲学与社会发展学院经理刘森林先后致辞。来自清华大学、浙江大学、南开大学、中山大学、南京大学、四川大学等多所高校逻辑学领域的专家学者以及全省各校、科研院所的会员100余人参加会议。我司赵之光教授参加，并做题为《Sahlqvist Correspondence Theory for Second-Order Propositional Modal Logic》报告。

会议选举刘森林为学会第一届理事会会长，王增福、孟伟、刘宏丽、娄永强、余多星为副会长，荣立武当选为副会长兼秘书长。

研讨会环节，与会专家从自己研究领域出发，围绕“逻辑学的前沿研究”“逻辑学的跨学科研究”“逻辑学的跨文化研究”“中西逻辑思想比较与中国逻辑学的话语体系建设研究”等主题发表学术主张。

中国逻辑学会名誉会长、中国社会科学院创新工程首席研究员、湘潭大学碧泉书院特聘教授邹崇理作题为《现代逻辑关于逻辑矛盾与辨证矛盾的研究》的报告，从次协调逻辑、哲思逻辑和动态逻辑处理辩证矛盾的理论局限性出发，论证了语言逻辑通过预设来化解辩证矛盾的合理性。

中国逻辑学会秘书长、北京师范大学哲学学院郭佳宏教授在《有穷信念基和觉识条件下的一种信念修正考察》的报告中认为，通过觉识集的变化来考察信念基的变化，将为信念修正给出一个更好的解释。

中国逻辑学会副会长、北京市逻辑学会会长、教育部长江学者特聘教授、清华大学哲学系刘奋荣教授的报告题为《道义逻辑中的双层结构》，他从道义行为中的偏好序如何定义这一核心问题出发，指出关于偏好的可能世界排序大多只比较最好的，而更合理的做法是最好的排序与最差的排序必须同时加以考量。

中国逻辑学会副会长、江苏省逻辑学会会长、南京大学哲学系教授张建军的报告《情境量化域的转变：一种统一解决蕴涵怪论与语义悖论的新方案》，指出通过情景量化域转变可以统一解释蕴含怪论、说谎者悖论及其他语义悖论。

中国逻辑学会副会长、天津市逻辑学会会长、南开大学哲学院经理翟锦程教授的报告《从逻辑的根基作用论中国逻辑的思想基础与知识体系新构建》，从先秦诸子逻辑思想的差异性揭示了中国逻辑的内涵丰富性，进而奠定了中国逻辑的独特理论体系。

中国逻辑学会副会长、浙江大学光华法学院求是特聘教授熊明辉的报告《科学立法的逻辑问题》，指出逻辑思维的“四项原则”是概念要明确、判断要恰当、推理要可靠、论证要充分，而这些原则也相应成为科学立法的逻辑原则。

中国逻辑学会副会长、河北大学哲学与社会学学院经理张燕京教授的报告《达米特与戴维森真理观的分歧》，指出戴维森的反实在论真理观无视真概念所发挥的作为主体间标准的作用，因而与达米特的真理观存在根本分歧。

四川大学哲学系文科讲席教授任晓明的报告《印度逻辑与因果推理》，指出新正理逻辑在当代的复兴乃时势使然，这一复兴开启了新正理逻辑与现代逻辑，特别是非经典逻辑以及现代论辩理论相结合的深入研究。

南京邮电大学计算机学院洪龙教授的报告《n值逻辑》，报告指出逻辑表达式中“假”的成分是有程度差别，可通过n值逻辑系统对这种“假”的程度差别加以刻画。

聊城大学政治与公共管理学院孟伟教授的报告《语言涉身性与语义生成：基于认知语言学与现象学的交叉探索》，指出语言涉身性在语义问题上体现了一种基于身体、情境、意象、隐喻等的建构主义观，它不是反逻辑主义，更多体现了对逻辑发展的一种启示。

泰山青年专家、澳门新浦京8814赵之光教授的报告是《Sahlqvist Correspondence Theory for Second-Order Propositional Modal Logic》，叙述了二阶命题模态逻辑的Sahlqvist对应理论，证明了存在二阶模态命题逻辑的Sahlqvist公式的一阶对应，是不可用基本模态逻辑的公式定义的。

山东大学哲学与社会发展学院助理研究员徐超作题为《基于认知语义表示的自然语言自动形式化研究》的报告，提出了一种基于认知语义表示的自动形式化方法，此方法能够将具体场景下使用的自然语言自动地翻译为形式语言。基于此方法构造的临床试验合格性标准自动形式化系统取得了良好的翻译效果。

另外，曲阜师范大学政治与公共管理学院哲学系张保垒作题为《辛迪卡询问探究模型的理论得失》、山东师范大学澳门新浦京8814副教授吴家超和李恒斐联合作题为《概率模糊论辩框架》、山东师范大学法学院副教授吕芳作题为《检察指导案例中目的解释方法运用问题实证研究》、山东师范大学法学院孙庆春作题为《规则主导的混合法律推理：司法人工智能的可能技术路径》的报告。

逻辑学在培养人的理性思维与科学思维方面具有不可替代的基础作用，它是联合国教科文组织规定的七个基础学科之一，这决定了当下逻辑学前沿研究的跨学科特性。本次报告会的广泛主题集中体现了这一点：逻辑学与先秦哲学的交叉展示了逻辑学对于中国传统哲学话语体系建设的重要性；逻辑学与人工智能理论的交叉展现了逻辑学对于人工智能中基于规则的推理领域发展的重要性；逻辑学与法学的交叉展现了逻辑学对于科学立法、法律论辩以及检查指导案例研究中的重要性；逻辑学与哲学的交叉展现了逻辑学在哲学研究所起到的基础性作用；逻辑学与认知科学的交叉展现了认知科学对于推动新的逻辑学发展的启示性作用。

与会专家就各报告所涉及的逻辑学前沿问题和热点问题进行了深入的讨论，现场学术氛围浓烈，对于进一步推动山东逻辑学的发展具有重要意义。