共查询到20条相似文献，搜索用时 46 毫秒
1.
逻辑信息系统采用一致的方法并利用逻辑程序对信息进行刻画、查询,最后借助信息进行导航、分析和更新.逻辑在逻辑信息系统中,尤其在数据库模型中发挥着重要的作用.为此给出了逻辑信息系统的规则以及建立在系统基础上的程序.在逻辑程序中,通过对逻辑的内涵概念和外延概念的解释,可以对不同的逻辑程序进行优劣的比较,从而为选择最佳的逻辑程序提供标准. 相似文献
2.
3.
满海霞 《毕节师范高等专科学校学报》2013,(9):53-57
IF逻辑全名为独立友好的一阶逻辑,于上世纪80年代末90年代初由欣迪卡提出.欣迪卡发现在数学和自然语言中,不但存在传统一阶逻辑所刻画的量词之间相互依存的情况,有的时候还有不存在依存关系、相互独立的量词.为了刻画这种现象,他向一阶量词逻辑引入一个独立指针“/”,表示指针上面的量词与指针下面的量词不存在依赖关系.IF逻辑在句法上是对一阶逻辑的直接扩张,表达力相当于二阶逻辑.之后,Bradfield尝试将IF逻辑的思想用于表示计算机系统执行路径的相互独立,用模态之间的独立来表示事件之间的独立,发展出IF模态逻辑.IF模态逻辑是模态逻辑的一个新兴分支,还存在很多有待深入思考和探究的问题. 相似文献
4.
IF逻辑全名为独立友好的一阶逻辑,于上世纪80年代末90年代初由欣迪卡提出。欣迪卡发现在数学和自然语言中,不但存在传统一阶逻辑所刻画的量词之间相互依存的情况,有的时候还有不存在依存关系、相互独立的量词。为了刻画这种现象,他向一阶量词逻辑引入一个独立指针"/",表示指针上面的量词与指针下面的量词不存在依赖关系。IF逻辑在句法上是对一阶逻辑的直接扩张,表达力相当于二阶逻辑。之后,Bradfield尝试将IF逻辑的思想用于表示计算机系统执行路径的相互独立,用模态之间的独立来表示事件之间的独立,发展出IF模态逻辑。IF模态逻辑是模态逻辑的一个新兴分支,还存在很多有待深入思考和探究的问题。 相似文献
5.
从传统逻辑到普通逻辑 总被引：1，自引：0，他引：1
吴家国 《西南师范大学学报(人文社会科学版)》2003,29(5):13-16
普通逻辑是传统逻辑主体内容的扩充，其中贯穿着兼容并蓄的大逻辑观，是高等院校科开设的一门公共基础课，对提高当代大学生的综合素质与能力发挥着重要作用。从“吸收论”的角度坚持普通逻辑的特点和现代化的改革方向，在一定程度上可以代表普通逻辑教学改革的发展方向，对全国高校普通逻辑教学改革与现代化的进程产生着重要影响。 相似文献
6.
经典逻辑是现代逻辑发展早期的最基本最重要的成果。它成为现代逻辑进一步发展的基础。现代逻辑的发展表明,经典逻辑既有其适用性,又有其局限性。数理辩证逻辑是在保障其适用性,又克服其局限性基础上发展起来的现代逻辑系统。数理辩证逻辑将现代逻辑适用领域扩展到非直谓性、不确定性和内涵性推理领域。数理辩证逻辑扬弃了源于经典逻辑的逻辑悖论;防止了基于经典逻辑的逻辑怪论。 相似文献
7.
贾国恒 《新乡师范高等专科学校学报》2008,22(2)
演绎逻辑及其价值屡屡遭到错解与误视。虽然前提蕴涵结论,但演绎逻辑仍然具有"创新"功能。在形式结构上,逻辑真理表现为重言式,但重言式不等于同语反复,更不应该用它们来反对演绎逻辑。 相似文献
8.
9.
实质蕴涵的提出引起学界极大争议,蕴涵怪论一直是争论焦点之一。20世纪以来不少学者致力于构造排除蕴涵怪论的形式系统。制约逻辑和相干逻辑均成功避免了迄今所知的一切蕴涵怪论。因制约逻辑系统、模态逻辑系统以及与严格蕴涵、相干蕴涵相联系的E系统都采用entailment这个词来表征,故易被误认作相近的系统。事实上,制约关系与相干蕴涵不同;制约逻辑接纳而相干逻辑排斥选言推理,故此二者殊异。认为制约逻辑与相干逻辑等价,是一种误解。 相似文献
10.
经典逻辑视野中的弗协调逻辑 总被引：2，自引：0，他引：2
杜国平 《华南师范大学学报(社会科学版)》2007,(5):19-24
以科斯塔弗协调逻辑系统的技术处理为依据来分析命题 与其弗协调否定 之间的逻辑关系可以知道弗协调矛盾和不矛盾律与经典逻辑矛盾和不矛盾律之间存在很大差别；由此可见科斯塔弗协调逻辑不是真正意义上的弗协调逻辑，但是科斯塔弗协调逻辑作为非经典逻辑其理论意义是重大的，这正如非欧几何之与欧氏几何。 相似文献
11.
相干逻辑是现代逻辑的重要分支,它是异于经典逻辑的"非经典逻辑"。相干逻辑在批评经典蕴涵的基础上,从多个方面对经典逻辑进行了修改。总体来说,相干逻辑的修改方案是可行的和成功的。但是,相干逻辑仍然面临诸多问题,有待进一步解决和完善。 相似文献
13.
14.
翻译是原语表层逻辑关系到深层逻辑语义再到译入语表层逻辑关系的转换过程。若仅仅是从原语表层逻辑关系到译入语表层逻辑关系的转换,就会造成翻译失误。要把一种语言文字的意义用另一种语言文字表达出来,译者须透过原文的表层逻辑关系,分析原文内在的、隐含的逻辑语义,再用符合译入语习惯的表达方式将这种深层逻辑关系显现出来。 相似文献
15.
16.
17.
王力钢 《安庆师范学院学报(社会科学版)》2010,29(11):48-51
近代数学理念的复兴和数学工具的应用推动了自然科学的巨大发展,为数理逻辑的产生提供了思想契机。数理逻辑源于莱布尼茨提出的思维可计算构想,其展开和深化是建立了命题演算和谓词演算等公理系统和对形式系统的元层次研究。数理逻辑未来发展将扬弃纯形式发展阶段,达到形式与内容在更高层面的统一。 相似文献
18.
19.
基于对存在的追问,海德格尔回溯到古希腊,探讨逻各斯的各种含义及其在后来的流变.进而,揭示了这一变化中,逻各斯最始源的意义已迷失.逻各斯成为了逻辑,思想被逻辑所遮蔽.因此,只有在克服逻辑的基础上,思想才能成为存在之思. 相似文献
20.
赵鹏 《毕节师范高等专科学校学报》2014,(4):1-4
说谎者悖论作为古老的逻辑之谜,深深地吸引着众多的逻辑学家、哲学家、语言学家去探究它.一般认为巴威斯等人借助情境语义学对说谎者悖论做出了相对合理的解释.尼科洛夫在模糊逻辑和直觉模糊逻辑中引入巴威斯等人提出的一些定义和结论,从而说明说谎者语句在模糊逻辑和直觉模糊逻辑中不产生悖论. 相似文献