落后神学的弃女 自然科学的宠儿——试析形式归纳逻辑体系的建立

归纳逻辑是研究人们的认识如何从具体、个别性的前提上升到一般概括性的结论。它的前提的真实性只为结论的真实性提供了部分支持,它是一种或然性,不确定性的推理。自然科学的不断发展构成了归纳逻辑产生和发展的重要原因;同时,归纳逻辑在科学创新中也具有重要作用和意义。因此,形式的归纳逻辑系统具有建立的可能性和必要性。     

可编程逻辑器件（PLD）在逻辑系统设计中的应用

PLD设计技术已越来越多地应用在大规模数字系统设计开发中，它克服了传统逻辑芯片逻辑功能固定，设计工作量大等问题，可由设计人员自行编程设计完成各种组合和时序逻辑电路，文章重点介绍了低密度可编程逻辑器件结构原理及设计方法。     

逻辑系统H_α中广义语义HS规则证明的改进

将修正的Kleene逻辑系统中语义HS规则推广后应用于Hα逻辑系统中,讨论了Hα逻辑系统中广义重言式理论的语义[α]-HS、[α+]-HS等规则,使得对Hα系统中的广义语义HS规则有了更进一步的认识.     

论陶行知教师培养目标的逻辑系统

陶行知教育思想中独特的目标系统 192 6年以培养教师的目标出现 ,在内构上 ,它是一个由低到高的层级发展体系 ,改造社会的精神是整个目标系统的最高层级 ,对前四个目标的实现起导向和统帅作用 ;关键期目标对个体的当时发展起支配作用 ;只有未实现的目标才会对个体的发展产生动力 ;生活力是这五种目标的凝聚 ,做人是这五种目标的终极。在外构上 ,它通过“心中都应当有一个理想的社会”参与整个社会 ;将培养目标与教育界的需要直接挂钩 ;通过“以人教人”建立与非教师他人的联系 ;通过“学而不厌 ,诲人不倦”、“与时俱进”融入历史 ;通过集体生活建立起与现实社会的联系。     

把握数学特点 培养数学思维能力

数学学科的特点是高考数学命题的基础,在命题过程中应充分考虑这些特点,发挥其选题机制,实现高考的选拔功能.自然地数学复习应了解这些特点.下面我将从概念性强、量化突出、充满思辨性、形数兼备、解法多样等几个方面谈谈我粗浅的看法,希望能引起抛砖引玉的作用.一、概念性强数学是由概念、命题组成的逻辑系统,而概念是基础,是使得整个体系连接成一体的结点.数学中每一术语、符号和习惯用语都有着明确具体的内涵.李邦河院士认为:数学根本     

数理逻辑不能取代形式逻辑

从属于自然语言系统的形式逻辑系统是不可分割的而且是永恒发展的，它不可能被包含在人工语言系统的数理逻辑系统所取代。     

古德曼悖论与形式的归纳逻辑系统

之所以会产生古德曼悖论,不仅是因为类律假说和偶适假说的混同,而且也是因为对归纳的这样一个似是而非的刻画：假设归纳推理的前提都为真,则其结论不一定但很可能为真(即所谓的“归纳概然性特征”)。这证明基于归纳的概然性特征,不可能建立起形式的归纳逻辑。相反,一旦以下述归纳的必然性特征来刻画归纳：假设归纳推理的前提都为假时,则其结论一定为假,就可以建立起形式的归纳逻辑系统。     

基于液晶光阀的可编程光学二值逻辑系统

基于液晶光阀的可编程光学二值逻辑系统张子北，刘立人（中国科学院上海光学精密机械研究所）秦伟芳（中国科学院上海技术物理研究所）摘要基于双轨编码和分束合束，本文提出一种能够实现两个二值输入变量的逻辑系统。通过控制偏振片的偏振方向，该系统能够实现所有十六种...     

文学史的写作与新历史主义

近年来,随着史学和文学领域的变革和发展,美国文学史也不断变迁,成为学者们研究的新热点。“在60年代末70年代初．西方出现了一系列理论,对现有的知识提出了质疑,其中包括对历史、语言、文学的看法,比如像海德格尔、福柯、德里达、德曼等人‘主张语言不是用来构成对独立的现实进行描述的一个逻辑系统,而是作为史实记述的各种文本的总和,……在这些文本里,所谓现实的东西总是处于不断的、无休止的、各不相同的重新描述之中。     

关于格蕴含代数的公理系统

简化了由ZhuY .和TuW .给出的格蕴含代数的公理系统 ,并给出另一个公理系统。