中国包装印刷人才网

中国逻辑学会学术年会描述

2014年11月7日,“中国逻辑学会2014学术年会”在湘潭大学举行。会议由中国逻辑学会和湘潭大学主办,湘潭大学哲学系主持。会议规模空前,来自中国社会科学院,北京大学,清华大学,浙江大学,南京大学,中山大学,南开大学,西南大学,澳门科技大学和香港中文大学的130多位学者香港。参加了这次会议。会议共收到论文99篇,摘要摘要16篇,主题报告54篇。这次会议旨在为国家逻辑学者提供一个展示和交流学术成就的平台。会议集中在以下几个方面:逻辑哲学研究,现代逻辑研究,应用逻辑和逻辑应用研究以及逻辑教学研究。

一,逻辑哲学研究

张建军教授在他的《问题导向的当代逻辑哲学研究国家社会科学成果文库<当代逻辑哲学前沿问题研究>述介》报告中指出,近几十年来西方逻辑哲学的研究成果非常丰富。有必要系统地梳理和把握当代西方逻辑哲学的前沿问题和西方学术界在这些问题上的最新成就,并对这些新成就进行深刻而独特的评价,并加以比较。它探讨了各个学校在相关问题研究中的成就,影响和不足,并在历史和理论方面提出了新的学术见解。在扎实而深入的主题研究的基础上,它探索了这些成就与问题之间的深层关系,并力求站在当代逻辑哲学先前研究成果的先锋点。为了掌握当代逻辑哲学研究的主流和未来发展的可能方向,我们应该开展工作。安徽师范大学的王锡生指出,公理集理论的两个准等价系统是在相互矛盾的前提下构建的。如果从这两个公理体系得出的结论是可靠的,则表明可靠的知识可以通过不可靠的公理方法得出。这引起了对公理方法的可靠性的怀疑。江苏警察学院的张峰认为,作为恢复从属语态的限制,句子收集不应具有非从属句法的要求,而不应基于个体量化的语义使用。安徽大学的霍书权指出,不能用符号语言代替自然语言,也不能相反。相反,应该将其视为自然语言的扩展和抽象的结果。南京大学的Chevrong博士试图证明戴维森的后来的意义理论本质上是关于理解语言意义的“知道如何”的理论。口译员知道如何通过在特定的交流动作中使用真理的概念来正确解释说话者的话语含义。

II。现代逻辑研究

北京大学的刘壮虎教授介绍了一种特殊的二元谓词“现实对等”,建立了不确定主题谓词认知逻辑的公理体系及其可能的世界语义。清华大学的刘奋荣在其名为《共同体信念修正的逻辑动态》的报告中指出,社区成员可以采用的信仰修订规则的动态性质与由此得出的整个社区的信仰分布之间存在联系。社区信仰修订的许多方面都可以建模为简单的“威胁效应”(thres effect)。描述了“保持影响”,她指出了该模型的局限性,并提出了修订方案。南京邮电大学宏龙建立了2'值命题演算的语义学,并初步分析了2'P语义学与经典命题逻辑语义学的关系,并展望了2'P在计算机科学,人工智能信息中的应用前景技术和其他学科,为大数据科学奠定了逻辑基础。南开大学的李春提出了一种基于证明的搜索策略,该策略不同于通常的搜索策略。从纯蕴涵演算的初始公理和规则开始,通过分析公理在定理证明中的作用和规则,可以获得两个实际可行的过程。重庆师范大学李章录提出,贝叶斯定理的应用会导致某些“悖论”,违背人们的直觉。但是,这些“悖论”不是悖论,而是人们的幻想。这种幻觉的主要原因是人们在做出决策时忽略了基本概率。潜在的心理机制是启发式判断原则,例如人们在进行主观概率判断时所使用的代表性。如果在问题的陈述中使用自然频率方法,则可以在一定程度上纠正由启发式判断原理引起的认知偏差。四川师范大学的林胜强和张晓军认为,广义量词的理论首先用固定的一阶逻辑定义了满量程量词V和存在量词的真值,然后将其真值定义归纳为。 1>类型的广义量词,然后扩展&lt; 1>广义量词的类型到任意范围。语义量词。以此方式,可以将任何广义量词添加到一阶逻辑以实现一阶逻辑的扩展,从而获得更具表现力的逻辑。澳门科技大学的朱敏指出,反射原理作为集合论公理的内在证明,有望通过精确描述以下思想对集合论公理进行统一解释: “宇宙V是不确定的和无法描述的”。但是这个原理背后的无限和无限导致了以下分歧。不应将鄂尔多斯红衣主教的大红衣公理视为反射原理所描述的固定概念中的暗示。如果视图集的迭代概念是分类集结构,则潜在无穷和实无穷只是表达集合概念的不同方式,反射原理不是描述集合的迭代概念,而是表达“绝对”。作为完整的“无限概念V的超越。”

三,应用逻辑与逻辑应用研究

本次会议的应用逻辑和逻辑应用研究主要集中在法律逻辑和语言逻辑方面。法律逻辑研究的重点是法律论证的方法;语言逻辑专注于语义分析。中国政法大学王宏教授认为,法律的不确定性以及如何解决法律的不确定性是法律逻辑的中心问题和重大问题。应该并且可以从逻辑的角度研究它。西南政法大学的金承光指出,批判性思维与法律思维密切相关,前者对后者有贡献。山东大学威海哲学学院的夏为国指出,司法论证的修辞学研究从法律修辞学的角度导致了对谬误的识别。在司法领域的某些情况下,非正式的谬误在法律上已被应用为一种策略。广东警察学院的陈涛认为,法律论证的最大特点是它依靠丰富的法律资源,以规则的形式适用于个人行为。西南政法大学张宏提出合法性和合理性的法律基础作为法律基础,并在技术层面上采用逻辑解释,扩展解释,目的解释和宪法解释的方法来实现这一概念。可操作性。浙江大学的胡龙zhen通过不同的逻辑策略消除了现实主义语义学中不必要的本体论承诺,从而实现了两者在逻辑领域的部分融合。语义理论的名义理论可以通过副词来实现。关于语义的习得。香港中文大学的张炜提出“先共地”的概念,分析了其与共性的关系,提出了一种新的规定共性元素分类的方案,不应“预设”。 “社区”是预定义定义的一部分的想法提供了新的支持。浙江大学的哲志宏在问题的逻辑中使用“断言集”问题分类方法来削减人们的观点。对汉语问答系统中汉语问题类型的研究是对问题逻辑理论向计算机应用领域的一种转化。为汉语问答系统解决现代汉语问题分类,信息检索和答案提取过程中遇到的技术问题找到了可行的途径。浙江交通职业技术学院贾建勤运用类型提升和句法类型反扩展的原理,结合其他算术规则,对汉语并词的句法范畴进行了详细分析。

湖南科技学院的姚从军比较了组合类别语法CCG和类别类型逻辑CTL。他认为前者主要涉及不同逻辑运算符对语言的适用性和逻辑系统的证明性质。认为产生能力没有重要的理论意义。计算应用程序没有任何价值。后者更专注于实现低自动机理论能力和良好计算性能的语言表达系统。江汉大学的吴新民认为,作为语言灵魂的意义似乎并没有与自身相分离。在分析时间实体以及指示符和声像的问题的基础上,他从语言逻辑的角度探讨了言语交际的意义存在和声音意识。