主权逻辑与宪政逻辑——霍布斯与洛克自由主义思想之比较

霍布斯与洛克同为自由主义的契约论阐述者,但他们却得出了两种不同的政治学说,霍布斯遵循的是主权逻辑,构建了一个强大的国家主权,而洛克却遵循宪政逻辑提出了有限政府的主张。两种逻辑反映的是权威与自由这两个时立范畴的复杂关系。这两种逻辑有其差异,却又需要共存于自由主义的政治设计之中。     

量子逻辑与量子计算逻辑——语境视角下的“量子逻辑”辨析

量子计算和量子逻辑分别是量子理论发展的两个方向,但是量子计算语境下的“量子计算逻辑”与量子逻辑语境下的“量子逻辑”这两个概念却极易让人混淆.文章首先探讨了量子逻辑与量子计算这两个量子理论发展的不同进路,进而对量子逻辑和量子计算逻辑这两个不同的概念进行了区分,最后指出了“量子逻辑”哲学研究未来应关注的方向.     

逻辑理论变革的必然趋势

逻辑学是一门古老的科学 ,从它产生至今已有两千多年的历史。逻辑理论的历史大致经历了传统逻辑和现代逻辑两个阶段 ;而现代逻辑的发展又经历了由经典逻辑到非经典逻辑的变革。恩格斯曾经说过 :“每一时代的理论思维 ,从而我们时代的理论思维 ,都是一种历史的产物 ,在不同时代具有非常不同的形式 ,并因而具有非常不同的内容。因此 ,关于思维的科学 ,和其他任何科学一样 ,是一种历史的科学 ,关于人的思维的历史发展的科学。[1 ]”逻辑学从传统逻辑到现代逻辑、从经典逻辑到非经典逻辑的历史 ,正好说明了这一点。     

论逻辑的观念与理论

亚里士多德逻辑与弗雷格逻辑的观念分别与其各自的理论是一致的。通过解析两种理论的基本句式可看出,这两种逻辑观有显著不同,尽管它们都坚守必然地得出这个观念。剖析“是”与“范畴”的关系揭示了亚里士多德逻辑与其形而上学的紧密联系,而弗雷格逻辑与真理论间的紧密联系可通过“真”与“谓述”二者的关系展示。厘清亚里士多德与弗雷格的逻辑观念与其各自理论间的关系,有助于深化人们对逻辑的认识,帮助人们正确理解逻辑与哲学的关系,指导人们更好地在其他领域运用逻辑。     

浅析传统逻辑向现代逻辑发展的主要因素

传统逻辑主要局限于逻辑形式的贫乏与粗糙,现代逻辑是传统逻辑在当代哲学形式下的继承与发展,是逻辑学家企图弥补传统逻辑缺陷的一种逻辑。长期以来,研究者一直试图说明导致传统逻辑向现代逻辑转变的原因。从传统逻辑的局限性与现代逻辑的特征两个角度出发进行尝试性探讨,认为:现代逻辑的结构明显优于传统逻辑;传统逻辑向现代逻辑发展是现代哲学和科学发展的必然要求,更是必然结果;传统逻辑向现代逻辑发展过渡符合发展规律。     

百分比量化逻辑初探

传统逻辑和标准量化逻辑在分析自然语言命题时,只使用全称和存在两种量词,把自然语言中的非全称的量化命题都当作存在命题来处理,然而在自然语言中除了全称量词和存在量词外,还有复量词、百分比量词等。自然语言中许多根据复量词和百分比量词的逻辑意义而进行的直观上正确的推理在传统逻辑和标准量化逻辑中都是无效的。显然,复量词和百分比量词不能当作存在量词来处理,它们有着不同的逻辑意义。     

康德的对象理论与先验逻辑

康德的对象理论与先验逻辑密切相关,先验逻辑是按对象理论来详细展开的。康德把对象分为可认识的现象和不可认识的物自体,相应地先验逻辑也分为“真理的逻辑”和“幻相的逻辑”,这其实揭示了两种不同的存在样式。     

从政治逻辑到法律逻辑——建构和谐社会的方法论思考

用政治处理人民之间的利益冲突有两种方式：政治逻辑与法律逻辑。社会的发展是逐渐从政治逻辑走向法律逻辑的过程。本文以规范分析的方法辅之以实证分析的方法，试图揭示出社会从政治逻辑走向法律逻辑的内在合理性。     

外部逻辑电平与内部逻辑状态直接逻辑约定的优越性

本文分析了IEC1082－2中定义的两种逻辑约定，指出了在中、大规模集成电路普及的情况下采用极性指示符逻辑约定的优越性。     

墨家逻辑与佛家逻辑之比较

本文在逻辑起源、逻辑特征、名言论、命题论、推理论、论辩及论辩形式、谬误论、后续发展状况等方面,对墨家逻辑与佛家逻辑进行比较研究,阐明二者是差异与类同共存,并以此揭示两大逻辑的成就与不足,以促进逻辑学科的发展。     

中世纪阿拉伯逻辑再探

中世纪阿拉伯逻辑是在翻译和解读亚里士多德逻辑基础上产生和发展起来的,所以在继承亚里士多德的逻辑基础上又有了不少的发展。阿拉伯逻辑学家把逻辑当作一种工具性学科,充分强调了逻辑作为一种思维工具的重要性;他们普遍认为逻辑由关于概念、定义部分和判断、推理和证明部分两部分组成;另外在模态逻辑和归纳、类比以及逻辑的形式化等方面也有很多贡献。故认为中世纪阿拉伯的逻辑理论在逻辑史上具有重要的传承作用。     

试论逻辑教育在素质教育中的作用

素质教育的核心是创新能力的教育,创新能力的一个重要组成部分是抽象思维能力,个体的抽象思维能力虽然有天赋的差别,但主要还是靠后天的培养训练获得,因此如何开发、培养个体的逻辑抽象思维能力是逻辑教育面临的一个重大课题,逻辑教育在培养创新能力,实现素质教育中有着重要的地位和作用。     

科技英语口译逻辑问题评析

科技英语口译存在的关联词缺失、语义不连贯、多赘语、语序紊乱,表现在语言逻辑、非语言逻辑或语用逻辑认知方面的缺乏。运用语言学小句关系理论,研究科技英语口译逻辑问题,逻辑意识培养是口译的重要教学内容。     

国家底层与社会群体互动的多重逻辑

国家与社会互动理论研究一直是学术界的一个热点,但学术界还较少关注国家底层与社会群体之间的互动逻辑。国家底层不同于国家,它是国家与社会直接衔接的重要层面,它在与社会群体的互动过程中会有怎样的逻辑与原则,这是值得我们深入探讨的。在这一互动过程中围绕国家及其政策、国家底层和社会群体三个主体,形成了国家逻辑、科层制逻辑和社会逻辑,并伴随着深刻的行为意义,而这三个逻辑交织在一起也使得国家底层与社会群体之间的互动变得复杂多样。     

虚拟逻辑分析仪的开发

阐述了利用虚拟仪器概念研制的逻辑分析仪原理及其在设计中为提高采样速率,促进仪器小型化、增加电路可靠性、提供友善的用户界面等方面所做的具体工作和采取的具体措施。本文所述的虚拟仪器原理及其设计方法,在本世纪90年代的仪器开发中具有重要意义。     

经济科学逻辑论纲

科学逻辑纲领是经济学逻辑的一种新研究纲领,它既不同于传统的应用形式逻辑加语言逻辑纲领,也不同于博弈论纲领。主要研究经济学原理的性质、理论的形式结构与经济学解释、辩护及理论发展的逻辑。     

一维逻辑门排列及布线程序

本文介绍了一个能实现一维逻辑门排列及布线的新程序。此程序命名为 POLGAR,用 FORTRAN 77编写,并已在采用 UNIX 操作系统的准32位微机DUAL 83/20上成功运行。经各种实例检验,证明该程序能够产生接近最佳的解。     

非形式逻辑的对象及其发展趋势

随着非单调逻辑的产生和发展,人们提出了“究竟什么是逻辑”的问题。对这个问题的两种不同回答,形成了逻辑学的两个学派??抽象逻辑学派和具体逻辑学派。抽象派主张逻辑学是研究有效论证的科学,具体派则认为逻辑学是研究好论证的标准的科学。前者把论证的有效性看做是完全从其背景中抽象出来的,是研究基于零主体的人工语言论证的分析与评价,实际上把论证评价标准局限于演绎逻辑或单调逻辑范围之内,并把归纳推理、回溯推理和各种实践推理排斥在逻辑学之外;后者则认为论证评价需要考虑其运用背景或论辩目的,研究的是基于多主体的自然语言论证的分析和评价,涵盖了各种形式实践推理的研究,并把论证评价的标准扩充至了修辞学范围。如何划清逻辑与修辞在论证评价中的作用范围呢?非形式逻辑学家们似乎正在做这项工作。该文在把论证分为作为静态成品的论证和作为动态过程的论证两大类的基础上,把非形式逻辑区分为形式论辩学派和语用论辩学派两大学派,分析了非形式逻辑的理论来源、基本特征和研究对象,探讨了非形式逻辑的发展趋势。     

微型可编程序控制器对万能液压机的控制

本文介绍用ＩＰ—１６１２微型可编程序控制器控制节能液压系统驱动的ＹＡ３２—３１５四柱式万能液压机在煤气罐拉深工艺过程中的成功应用。显示出用微型可编程序控制器控制中、小型机械设备以及对老式设备的技术改造的优越性。