形式本体论逻辑与本体论的完美结合

来源 :第五届两岸逻辑教学与研究学术会议 | 被引量 : 0次 | 上传用户:hudan913000
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
  本体论在哲学中具有悠久的历史。西方哲学史上,哲学家所建立的本体论体系并不是整齐划一的。中国哲学界对本体论也有不同的理解。哲学界对本体论一词的理解也是五花八门,对本体论研究的问题和方法也不尽相同。本文主要从当代本体论研究视角方面进行了阐述。
其他文献
  目的:建立高效液相色谱法测定生物样品中五羟色胺含量的方法。方法:采用高效液相色谱-电化学检测器法。结果:HPLC法测定生物样品中五羟色胺的线性范围为0.05-50ng·ml-1,r=0.
  在石油的管道运输过程中,其与管路系统的摩擦阻力限制了石油的运输,造成管道运输量的降低和能量消耗的增加。减阻剂能迅速而有效地提高管道输送能力,目前,最有效的油溶性减阻
  甲孕酮是一种激素类避孕药物,以其为基础的人用避孕贴剂已经得到广泛应用。为了使甲孕酮避孕贴剂的应用范围扩展到畜牧业,需要开发适用于动物的缓释甲孕酮贴片。甲孕酮贴片
  目的:建立一种改良的高效液相色谱法测定人血浆中非对称性二甲基精氨酸(Asymmetric dimethylarginine、ADMA)。方法:采用阳离子交换树脂富集柱(100mg,2ml实验室自制)萃取血
会议
  苯氧羧酸类除草剂的极性大,半衰期长,常残留在水、土壤和蔬菜中。土壤是较难分析的基质之一,因为其所含的有机质(包括腐殖酸)强烈地影响分析信号,而且苯氧羧酸类除草剂与土壤
  有效的模态测试数据是结构动力学有限元模型确认的关键步骤之一。随着模态测试技术的发展,可以得到越来越细腻、精确的模态振型数据。在模型确认过程中,特别是相关性分析及
  对纳米石墨烯片,采用分子动力学(Molecular Dynamics)方法进行纳米压痕模拟,得到了纳米石墨烯片的力-位移曲线,并探讨了Stone-Wale(SW)缺陷对模拟结果的影响。结果表明,S
  本文采用平面粒子图像测速(PIV)方法和大涡模拟(LES)方法,测量和计算了出口截面积相同的三角形和圆形孔口自由射流流场,这两种射流的出口雷诺数均为Re (=Uj De /n) =5000
We explore the duity of fillite dynami ebras and regul ar frames for roposjtional dynamic logic fPDL.The notion of Fischer—Ladner filtration is defined in both