共查询到20条相似文献,搜索用时 46 毫秒
1.
基于破坏性表列的模态公理系统 总被引:1,自引:0,他引:1
唐芳芳 《湖南科技大学学报(社会科学版)》2009,12(1):41-45
表列适于作为模态定理机器证明的基础.在破坏性模态表列的基础上,构造分析性模态公理系统,这种公理系统的定理很容易证明,因此也适于作为模态定理机器证明的基础.沿着安德森等人开创的方向,将分析性公理系统的应用从经典逻辑推广到模态逻辑.称一个公理系统是分析的,即它的每一推理规则的前提和结论中的命题变元相同.为了便于表述这种系统中的公理,可以先定义一种广义谢弗竖M,给出模态表达式的一种新记法,以此改进现有的破坏性模态表列,并以这种改进的结果为基础构造分析性模态公理系统. 相似文献
2.
《华北水利水电学院学报(社会科学版)》2017,(4):37-40
共享发展理念作为习近平总书记治国理政新理念、新思想、新战略的重要组成部分,是中国特色社会主义的本质要求,指明了当代中国发展的价值导向。共享发展理念是我们党围绕共同富裕根本目标在不同历史方位中经过几代中央领导集体的实践探索、经验总结、理论概括逐步发展而成的,具有清晰的逻辑思维和延承脉络。坚持共享发展对于全面建成小康社会、坚持马克思主义最高理想、促进社会公平正义、夯实党的执政根基具有重大意义。 相似文献
3.
赵杰 《青岛科技大学学报(社会科学版)》2008,24(2):106-110
商品税的税收职能涉及了财政收入职能、社会政策职能和经济调控职能,其中,财政收入职能应当是目前主要的职能,社会政策职能和经济调控职能都应当加以限定.最适商品课税理论和商品税的税收中性与税收调控的研究在理论上为这种税收职能的限定提供了依据,而在实践中贯彻政策目标的阶段性原则和税收职能的分工原则也有利于商品税税收职能的合理限定. 相似文献
4.
《宝鸡文理学院学报(社会科学版)》1993,(4)
在英语中,除了句子中存在着述谓关系以外,非谓语动词及一些有动作意义的名词也有意义上的谓体功能。因此,逻辑主语与逻辑谓语便是对此结构进行意义上的确认。本文对不定式、v-ing形式及v-ed分词的逻辑主语的形式、语义及省略等问题进行了详细论述。 相似文献
5.
论限定继承制度的完善 总被引:1,自引:0,他引:1
张进军 《聊城大学学报(社会科学版)》2000,(3)
限定继承是我国继承法中的一项重要制度,其立法宗旨是公平地保护继承人和遗产债权人的合法权益。但由于立法上的不完备,这一制度在实际操作中出现了违背其立法目的的手情。本文就限定继承制度的完善作了一些探讨,指出建立遗产管理人制度是完善限定继承制度,进而完善继承法的一项重要措施。 相似文献
6.
张秋成 《湖南科技大学学报(社会科学版)》2006,9(3):35-39
论述类型—逻辑语法的句法特色———兰贝克演算。兰贝克演算是对由爱裘凯维茨和巴—希勒尔所创立的经典范畴语法的改进和发展,其表述有多种形式,重点论述在实践中应用广泛的根岑风格的兰贝克演算。 相似文献
7.
毛梅兰 《东华理工学院学报》1996,(4)
非限定动词之所以成为语法及阅读理解中的难点,主要原因在于其多功能的用法及由此产生的歧义。本文通过实例分析,对非限定性动词短语的种种歧义现象作一系统归纳,以加深读者对非限定性动词短语的认识。 相似文献
8.
论述类型一逻辑语法的句法特色——兰贝克演算。兰贝克演算是对由爱裘凯维茨和巴-希勒尔所创立的经典范畴语法的改进和发展,其表述有多种形式,重点论述在实践中应用广泛的根岑风格的兰贝克演算。 相似文献
9.
周志荣 《湖南科技大学学报(社会科学版)》2013,16(4):21-24
约根森难题意味着,一方面规范语句不能作为逻辑推理的前提或结论;而另外一方面,很多包含规范语句的道义推理在直觉上是正确的.真值语义学试图通过假定规范语句可以有真假来评价道义推理的有效性.这种方案的问题在于它没有解决这个难题,而是绕过了它.约根森难题的解决需要一种比真值语义学更为一般的逻辑后承概念,它否认逻辑必须依赖于真概念. 相似文献
10.
随着城市化进程的加快,城市与自然共存,人类与自然和谐相处,谋求城市与环境共同发展已成为城市发展的方向。城市绿化是城市文明程度的象征,从开始的环境美化到生态城市建设,人们对它的认识也在逐步提高。城市绿地能否充分发挥其功能作用,已经成为绿地建设的主要衡量标准。作者从自然与人两个方面,将城市绿地景观的功能划分为生态与社会两大功能,并阐述了它们对种植设计的限定作用,对城市绿地建设具有实际的指导意义。 相似文献
11.
依据巴维斯的信息通道理论,巴维斯、盖贝和哈特纳斯构造出表征完美信息流推理的信息流逻辑,但他们的信息流逻辑对信息通道理论中的相关直觉原则和信息通道之间的复合运算并没有充分体现,不能解释逻辑推理。针对巴维斯信息流逻辑的不足并根据信息流推理的特点,可以构造出表征完美信息流推理的理想信息流逻辑的树图系统并可证明它们的可靠性和完全性。 相似文献
12.
房国栋 《西北工业大学学报(社会科学版)》2002,22(2):85-87
本文以电视脚本创作为例,从视频画面语言的特点出发,探讨了画面语言与文字语言在表现形式和思维解读上的区别,强调了画面语言在多媒体电视脚本写作中的重要性,列举了脚本创作设计中应遵循的几点原则,并对脚本的表现风格做了点滴讨论. 相似文献
13.
14.
用"分项满足法"直接填写卡诺图;将触发器的功能引入"预令"和"动令"的概念,并用"↑"或"↓"标示"动令";用"综合次态卡诺图法"分析时序逻辑电路的功能,这几种新的研究方法有形象、简单,勿需进行繁杂的计算的优点,可在教学中广泛采用. 相似文献
15.
于洪波 《山东师范大学学报(人文社会科学版)》2006,51(1):155-160
魁奈的经济表因晦涩难懂,被称为经济学说中的“司芬克斯之谜”。人们对经济表的普遍理解大都基于马克思对经济表的评述,而马克思的评述仅限于一版规范而均衡的图式表。魁奈的经济表共计12个版本,按各版本设制的时间先后和形式繁简,可分为“原表”、“略表”和“图式”;按经济表的均衡状态,又可分为均衡模式和非均衡模式。对经济表的各类版本和模式作出合理、全面的诠释,方见其蕴含的闪光的经济思想和宏观政策主张。 相似文献
16.
17.
三值逻辑的思想和方法 总被引:1,自引:0,他引:1
姚从军 《北京理工大学学报(社会科学版)》2010,12(1):127-131
传统逻辑是二值的,对诸如未来偶然命题使用这种逻辑是无法解决的,这就需要发展起来一种不同于二值逻辑的逻辑,这就是多值逻辑,三值逻辑是其最基本形式。三值逻辑理论沿着不同路线今已得到迅速发展,其应用范围也日益广泛。所有的三值逻辑系统都对二值逻辑的限制有所突破,都在某种意义上显示出“亦此亦彼”的性质,它们之间以及它们与经典二值逻辑之间具有内在的区别和联系,显示了各自独特的思想和构造方法。 相似文献
18.
逻辑学研究的是思维规律和推理的有效性.注重逻辑的思考方式将为实践提供有力的方法论指导,重视推理形式的综合运用有助于人们从已知正确地通达未知,从而实现思维的创新.形式逻辑、辩证逻辑、科学逻辑从各自视角出发对思维规律、形式和方法的探索为人类的科学活动与日常生活提供了有益的指引.科学出版社2018年出版的《逻辑、方法与创新》一书,收录了张巨青先生从20世纪50年代到90年代的34篇文章,凝聚着先生四十余年逻辑生涯中的一系列思考和创见. 相似文献
19.
熊明辉 《中山大学学报(社会科学版)》2011,51(5):143-151
司法公正是法律公正的三种子类型之一,它包含公平、正义两个层面,但公平并不等同于平等,而是衡平之意。“司法公正”成为2011年“两会”的关键词,源于近二十多年来我国发生了一系列重大刑事冤案,而造成这些冤案的根源就在于司法不公正。要做到司法公正,就必须凭借司法理性。法律论证是通向司法理性的桥梁,法律逻辑方法是通过这种桥梁的基本交通工具。法律逻辑是建立在非形式逻辑基础上的法律论证分析与评价框架,而不是建立在传统意义的逻辑框架之上。这种法律论证框架是司法公正实现的基本工具。 相似文献
20.
于洪波 《山东大学学报(哲学社会科学版)》2006,24(5):90-95
魁奈亲自绘制的经济表至少有12个版本,经济表除按形式的繁简和时间的先后可区分为原表、略表和图式外,还可按表中的流量均衡状况区分为均衡模式和非均衡模式。非均衡模式从理论上可区分为三种类型。对经济表非均衡模式的解析,可更深刻地理解魁奈倡导的两大宏观经济政策和建设节约型社会的主张,洞悉经济表如何首次涉入动态经济分析,如何揭示消费对生产的反馈。 相似文献