逻辑学(论理学)论文

摘要：敌友逻辑（vanderHoek,etal.,2018）采用结构平衡理论的视角对社会网络的动态变化进行了刻画。在一个稳定的社会网络中，主体之间没有理由改变当下的关系，而不稳...

摘要：如何让智能体像人一样具备遗忘的能力，目前仍然是人工智能所面临的最大挑战之一。遗忘在基于符号逻辑的知识表示与推理领域和基于统计的机器学习领域都有研究。特别在知识表示与推理领...

摘要：在设计人工智能主体的社会时，可以通过定义社会价值和规范来约束主体的行为。当不同规范之间发生冲突时，主体依据他／她对价值的排序做出决定，选择违反一些规范，遵守更重要的规范。...

普特南论概念相对性普特南论概念相对性沈学甫（天津城建大学外国语学院）摘要：从阐释普特南早年为探究意义与真理问题而提出的认知对等出发，进而分析了其语言哲学中的概念相对性论题。普...

语篇教学的课堂模式语篇教学是从认知中，探索语篇构造框架、动态分析心智和语篇之间的互动以及认识世界，百科知识在语篇生成中的作用。如:认知主体的视角的主观因素，可产生不同的语言表达...

摘要：传统逻辑以自然语言为媒介，逻辑系统和语言系统因其功能的差别导致结构体系和表述方式的差别，两个系统的解释范畴构成交叉关系。就具体的话语分析时，两个系统可以兼容，可以互补，可...

摘要：袁正校先生主编的《逻辑学基础教程》是一部既体现学科前沿进展，又便于理解和应用的逻辑学教材，以现代逻辑为主、以案例教学为主、以逻辑应用为主，是其区别于国内其他逻辑学教材的显...

摘要：在经典命题逻辑的学习中，公理系统L中的定理证明只能使用公理模式和推理规则，对于初学者而言，常常显得强人所难，主要表现为找不到证明的突破口。事实上，可以从两个方向出发：一方...

摘要：在达米特给出的直觉主义谓词逻辑矢列演算系统的基础上，构造一个与等价的系统，这有助于研究直觉主义命题逻辑的可判定性问题。与此同时，还构造经典谓词逻辑的矢列演算系统以及直觉主...

摘要：奎因是20世纪西方最伟大的哲学家之一。逻辑的理论和方法是奎因哲学的基础。他强调一阶逻辑的重要性，甚至认为模态逻辑不属于逻辑。他对许多传统哲学观念提出挑战，包括关于分析判断...

摘要：研究信心的缺乏会影响学者积极的学术行为。相较于心理治疗，哲学践行在帮助学者提升研究信心方面，具有理论上与实践上的优势。应用怀疑逻辑是哲学践行的方法之一，用于分析学者研究信...

【逻辑学研究】［栏目主持人］北京大学哲学系陈波教授2)采用有水关门工况下壅水高为0.7m、有水开门工况下水位降为0.3m来计算液压启闭机油缸的作用力，并验证支铰座联结螺栓最大工...

[摘要]“论辩充分性”标准是当代论证评估理论的一个新进展。它通过对论辩术理论视角的借鉴与整合，从而成功突破了仅关注“前提—结论间推论关系”的传统论证评估维度。论辩充分性标准要求...

［摘要］“真”这个词有谓词和算子两种用法，它们既有联系又有区别。“真”在概括中的用法是其谓词用法，而在T-模式中的用法是其算子用法。两种用法在一定条件下可以等价转换，但并非所有...

摘要：博弈论在多大程度上可从严格的贝叶斯式理论或决策论的角度推演出来，是获得统一的实践理性理论的唯一途径。但实际上并不存在这样的推演。博弈论中混杂相间的行动理性和认知理性有严格...

摘要：本文考察金岳霖如何接受、推进罗素的逻辑分析方法并加以反转式运用，构建一种道论新形上学，而此种新形而上学如何能够应对反形而上学的诸多诘难。完整的逻辑分析法包括狭义逻辑分析和...

摘要：括号表示法是一种在形式语言中以括号来表示各种逻辑常项的符号表示方法。与已有的表示方法不同，它是一种整体表示法。以命题逻辑的形式语言为例，可以证明括号表示法的唯一性定理。在...

[摘要]形式逻辑在同一律下运用系词“是”，并不追究其根源。黑格尔试图在逻辑关联之内给出“是”的规定，他区分了“是”和“不”的经验运用和抽象意义，指出了经验的“是”仅仅确切说出了...

摘要：随着广义量词理论的兴起和发展，逻辑学家们开始研究比传统三段论更为复杂的广义三段论及其有效性。在广义量词单调性的基础上，给出十二个有效的广义三段论推理模式及其相应的有效的广...

【摘要】相容选言命题断定了其选言支可以同时为真，而选言命题没有对其选言支可否同时为真做出断定；判断选言命题的选言支可否同时为真的标准是思维的具体内容而不是思维的形式，逻辑联结词...