论文部分内容阅读
本文提出一个新的逻辑系统——自由模态的摹状词理论Lk，指出了该逻辑的理论背景，给出了它的语法系统及相应的语义解释。不仅证明了Lk的可靠性，还采取力迫法，通过构造力迫模型，给出了Lk的完全性证明。
一个自由模态的摹状词理论LFMDTK①
【摘 要】
：
本文提出一个新的逻辑系统——自由模态的摹状词理论Lk，指出了该逻辑的理论背景，给出了它的语法系统及相应的语义解释。不仅证明了Lk的可靠性，还采取力迫法，通过构造力迫模型，给出
【机 构】
：
首都师范大学文学院北京100089
【出 处】
：
第二届两岸逻辑教学学术会议
【发表日期】
：
2006年10期
其他文献
大学逻辑具有理论部分和应用部分。通过构建形式语言和逻辑演算，现代形式逻辑从语法和语义方面对论证的规律的认识，是人类100多年获得的理论的成果：作为基础科学，现代形式逻辑推
这篇文章介绍我讲授《数理逻辑》课程的三点方法。这些方法包括：1.讲清《数理逻辑》产生的背景和思想;2.讲清各种具体问题之间的联系;3.采用多媒体课件并附以逻辑推理教学软件
我国大陆高校逻辑教学的现状不尽如人意，逻辑教学规模不断萎缩;但这种现象仅限于非哲学专业的逻辑教学。出现这种现象的原因是：教学内容脱离实际，忽视了逻辑学在普通思维、自然
吸收现代教育的素质教育思想和建构主义教学理念以及模块教育的理论，架构全新模式的教材体系。新的应用逻辑教材——《侦查逻辑能力》将彻底转变陈旧的教学理念，在教学定位、教
鉴于目前多数从“教”的角度探讨如何进行逻辑教学的状况，笔者从“学”的角度出发，探索一种有效的逻辑教学法一案例法，寓逻辑理论知识于典型的事例中，通过分析讨论，自发地总结出逻
这是一个沉重的话题。中国大陆自上个世纪七十年代末改革开放以来，发展很快，成绩很大，在全世界都是有目共睹的。各种媒体上的颂扬之声很多，对我国的传统文化也如此，肯定得很多。
张东荪先生通过分析中西“理”在起源、含义、获得方法的不同，论述了逻辑在理性主义的形成、社会理性的发展及文明进步中的不可替代的深层价值，这对推动逻辑事业在中国的发展具
通常都认为，康托－策墨罗(Cantor—Zermelo)在古典与近代集合论中完全贯彻了实无穷观点，而柯西——外尔斯特拉斯(Cauchy—Weierstrass)却在极限论中完全贯彻潜无穷观点。但当我们
本文以科斯塔弗协调逻辑系统的技术处理为依据来分析命题A与其弗协调否定-A之间的逻辑关系、弗协调矛盾和不矛盾律与经典逻辑矛盾和不矛盾律的差别;指出科斯塔弗协调逻辑不是
本文证明了：对于最大亏度为k的量化布尔公式，如果它是真的，则存存集合U，其中含有不超过24k/3个全称变元，且存存模型M，其中每一个布尔函数都可表示为U上的命题公式。也就是说，这样的