论文部分内容阅读
传统逻辑的直言推理包涵易被忽略的内容,文中力图揭示这些内容;一旦用一阶逻辑形式化直言推理以后,在得到精确性的同时,又失去了思维的直觉,对扩展思维方法并无好处。但这种推理还可以用现代数学的图论进行扩充,发掘更多的连通关系;最后还可以用知识库理论扩充,以让传统逻辑发挥更大的作用。
传统逻辑直言命题推理的扩充
【摘 要】
：
传统逻辑的直言推理包涵易被忽略的内容,文中力图揭示这些内容;一旦用一阶逻辑形式化直言推理以后,在得到精确性的同时,又失去了思维的直觉,对扩展思维方法并无好处。但这种
【机 构】
：
兰州大学哲学社会学院
【出 处】
：
兰州大学学报：社会科学版
【发表日期】
：
2011年6期
其他文献
《联合国国际货物销售公约》（《公约》）是国际货物买卖法统一化过程中的一个重要法律文件。然而文本上的统一只是实体法统一进程中的初步阶段，《公约》在实践中的统一适用需要公
仁、义、礼、智、信、忠、孝是儒家伦理学中的基本概念,也是中国古代文化中的基本概念,本文立足于这些概念的文字学基础,通过逻辑思辩的方法,试图给它们以新的阐释.
“九五”期间，带有战略性的一个根本任务是建立起符合社会主义市场经济体制的就业机制，在强化政府宏观调控、均等就业机会、完善社会保障体系的前提下，朝着就业市场化、失业公开
刑事涉案财物处置程序是一项由对物强制处分程序、先行处置程序、审前返还程序以及刑事涉案财物裁判程序构成的制度体系。以诉讼构造为视角,该程序存在着审前阶段裁判方缺位
在东部大发展、西部大开发的形势下，如何避免“中部塌陷”?新世纪中部地区的战略定位应为：承东启西、纵贯南北、整体联动、跨越发展。
我国加入WTO的日子已经为期不远了,现在摆在中国民族企业面前的是怎么办的问题.培养和增强自身的核心竞争力是中国民族企业的唯一出路,我国企业应加强对核心竞争力的识别、培
入世在即，中国金融业将面临异常激烈的竞争。国有商业银行应从比较分析自身与国外银行的主要差距入手，提出增加资本、拓展业务、积极创新、完善内控、培养人才等应对策略，这是赢
出租汽车牌照属于一种新型财产,源于政府管制行为与行政特许行为,二者依次创设出的是类型化的牌照财产与特定化的牌照财产。这种新型财产是在克服市场失灵、负外部性以及政府失灵等缺陷的过程中产生的。对于该种财产应当采取公私法融合的法律治理体系,其立法重点是在《物权法》中明确其国家所有权归属,并且在此基础上,将牌照的利用关系界定为用益物权。
警察优先使用权是国家为了保障警察履行职责而赋予的一项特殊的权力.警察优先使用权较之于其他警察优先权和行政权不同的一个特征就是对于物权更具侵略性.也就是说,它是不需