您当前位置:主页 > 应用案例 >

2014年中国逻辑学会年会综述

发布时间:2018-12-31 13:39

2014年11月79日,中国逻辑学会年会在湘潭大学举行,由中国逻辑学会和湘潭大学主办,湘潭大学哲学系主办。会议来自中国社会科学院、北京大学、清华大学、浙江大学、南京大学、中山大学、南开大学、西南大学、澳门科技大学、香港中文大学等130多所学者参加了前所未有的活动会议收到99篇论文和摘要,安排了16个会议主题报告和54个小组讨论报告。会议的目的是为国家逻辑学家提供展示和交流学术成果的平台。会议主要集中在以下几个方面:逻辑哲学研究、现代逻辑研究、逻辑的应用和逻辑的应用以及逻辑教学的研究。

一,逻辑哲学的研究。

张义军教授在“国家社会科学图书馆当代逻辑哲学前沿问题研究报告”中指出,近几十年来,西方逻辑哲学的研究成果极为丰富。要系统地梳理和把握当代西方逻辑哲学研究的前沿问题和西方学者的最新成果,对这些新成果进行深刻而独特的评价。在比较过程中,笔者探讨了各个学派在相关问题研究中的成就和不足,并从历史理论的两个方面提出了新的学术观点。本文在扎实深刻的学科研究基础上,探讨了这些成就与问题之间的深层关系,并试图探索当代逻辑哲学的制高点。掌握当代逻辑哲学的主动脉瓣和未来可能的发展方向。安徽师范大学王希生指出,在矛盾的前提下,构造了两个准等价的公理集理论体系。如果这两个公理的结论是可靠的,那么可以从不可靠的公理方法中获得可靠的知识。这引发了对公理方法可靠性的质疑。江苏警察学校紧张冯认为?为了恢复从属模态的限定,句子集不需要具有非从属质量的句法要求,也不应该在个体量化的基础上进行语义学习。在讨论原子性和外推原理的基础上,安徽大学的霍树泉指出,象征语言不能代替自然语言,不能用自然语言代替。相反,我们应该将符号语言视为自然语言扩展和抽象的结果。南京大学的谢福龙博士试图证明戴维森的晚期意义理论本质上是一种理解语言意义的理论。译者知道如何运用真理的概念来正确地解释说话者在交流过程中的话语。二。现代逻辑研究

2014年中国逻辑学会年会综述

北京大学刘竹兰教授提出了一个特殊的二元实质等价物,建立了不确定谓词的认知逻辑公理系统及其可能的世界语义。清华大学的刘恩荣在题为“社区信仰修正的逻辑动态"”的报告中指出,信仰修订规则与社区成员可能采用的动机规则以及整个社区信仰分布的动态性质之间存在关联。 。联系,社区信念纠正的许多方面可以通过简单的模型(阈值影响)来表征。她还指出了这种模式的局限性,并提出了修订后的计划。长期以来,南京邮电大学建立了二值命题演算的语义,分析了2P语义与经典命题逻辑语义的关系,并展望了2P在计算机科学中的应用前景、人工智能信息技术。南开大学的李春为大数据科学奠定了逻辑基础。李春提出了一种与常用的根证明不同的搜索策略。本文从初始公理和纯蕴涵演算的初始规则入手,分析了公理在定理证明中的作用和规律。可以获得两个实际操作。重庆师范大学李章禄提出,贝叶斯定理的应用会导致一些与人类直觉相悖的悖论。然而,这些悖论不是悖论,而是人们的幻想。造成这种错觉的主要原因是人们在做出判断时忽略了基本概率,其背后的心理机制是主观概率判断中使用的代表性启发式判断原则。如果我们在进行陈述时使用自然频率法,我们可以在一定程度上纠正启发式判断原则引起的认知偏差。四川师范大学的林胜强和张晓军认为,广义量化理论首先定义了全名量化器V和一阶逻辑中存在的量化器的实际值,然后将其真值的定义扩展到1型广义。量化。然后将类型1广义量化器的真值定义推广到任意广义量化器。以这种方式,可以将任何通用量化器添加到一阶逻辑,并且可以扩展一阶逻辑以获得更多表达逻辑。澳门科技大学的朱民指出,作为集合论公理的内在证明,反射原理有望通过准确描述集合的宇宙V来统一集合论的公理,这是未定义的。并且无法形容。然而,原则背后的潜在无穷大和真正的无穷大导致不一致,也就是说,在反射原理描述的集合的概念中,不应考虑被覆盖的鄂尔多斯(鄂尔多斯)基数的大基数的公理。包含。如果集合的迭代概念被认为是分类集合结构,则潜在无穷大和真无穷大是表示集合概念的不同方式,并且反射原理不是描述集合的迭代概念。它旨在表达绝对无限概念V作为一个完整的超越。第三,应用逻辑和逻辑应用研究。

本次会议对应用逻辑和逻辑的研究主要集中在两个方面:法律逻辑和语言逻辑:法律逻辑的讨论主要集中在法律论证的方法上,语言逻辑的研究侧重于语义分析。中国政法大学王宏教授认为,法律的不确定性以及如何解决法律的不确定性是法律逻辑的核心问题和主要问题。还应该从逻辑的角度来研究它。西南政法大学金成光指出,批判性思维与法律思维密切相关,前者有利于后者。山东大学威海哲学研究所的夏卫国指出,司法论证的修辞研究导致了法律修辞中的谬误的识别。在司法领域的某些情况下,非正式谬误在法律上被用作战略。广东警察学院的陈涛认为,法律论证最突出的特点是依靠丰富的法律资源,以规则的形式适用于个人行为。来自西南政法大学的张红提出了基于合法性和合理性的法律解释的理论基础,并将对、的解释和宪法解释作为实现操作判断概念的一种方式进行了解释。通过不同的逻辑策略,浙江大学的胡龙珍在实际语义中消除了不必要的本体承诺,实现了两者在逻辑领域的部分整合。命名语义理论可以通过副词从现实主义的语义中获得。香港中文大学张教授(中大)提出“预共点”的概念,分析了“知识”与“知识”的关系,提出了“知识”预分类的新方案“元素。为预设不应成为预定义定义的一部分这一概念提供了新的支持。浙江大学的哲志宏以问题逻辑中的问句分类方法为出发点,研究了面向中文的问答系统的中文问题类型。这是问题逻辑理论向计算机应用领域的转变。针对中文问答系统、解决现代汉语问题,为信息检索和答案提取过程中遇到的技术问题提供了一种可行的方法。根据浙江交通学院贾江琴的推广原则和句法类型的反向扩展,结合其他操作规则,对汉语连词的句法范畴进行了详细分析。

湖南理工学院的姚从军将组合类别语法CCG与类别逻辑CTL进行了比较。前者主要涉及不同逻辑运算符对语言的适用性和逻辑系统的证明。认为生成能力没有重要的理论意义,在计算中没有应用价值。后者更侧重于获得具有自动机、的低理论性能的语言表示系统。江汉大学的吴新民认为,作为一种语言,意义的灵魂似乎并没有与自己的存在分离。在分析时间实体、和声像的基础上,讨论了语言逻辑领域中言语交际的意义存在和语音意识。

上一篇:3.石油公司采取的安全措施
下一篇:东森平台:大众传媒在思想政治教育中的作用