论文部分内容阅读
该文从直觉主义否定词的特性出发讨论它存在的可能性,同时比较它与ELMQ中强否定词之间的关系,最后讨论了Heyting系统中两个否定性公理的合理性问题.
直觉主义逻辑中的否定词
【摘 要】
：
该文从直觉主义否定词的特性出发讨论它存在的可能性,同时比较它与ELMQ中强否定词之间的关系,最后讨论了Heyting系统中两个否定性公理的合理性问题.
【机 构】
：
中山大学逻辑与认知研究所,中国政法大学人文学院逻辑研究所
【出 处】
：
现代哲学
【发表日期】
：
2003年3期
【基金项目】
：
普通高等学校人文社会科学重点研究基地基金
其他文献
<正>有关Ge-132对正常及注射环磷酰胺的小鼠骨髓粒单系祖细胞(CFU-GM)产率有何影响,尚未见报道,为此我们作了初步的探讨。 Ge-132为第一军医大学产品,批号89-U_4,用10％NaOH溶
<正>1全蛋粉生产工艺流程蛋品原料生产-鸡蛋选择与检验-上蛋-洗蛋-打蛋-全蛋液-搅拌过滤-巴氏消毒-喷雾干燥-筛粉-晾粉-包装-全蛋粉。2危害分析及控制措施蛋粉加工中的生物性
在信息化与新媒体快速发展的今天，电视媒体迎来了更多的发展机遇，作为媒体中重要的组成部分，新闻报道已经成为目前电视节目中不可或缺的一部分，其主要是以人物为重点载体，将人物的
随着社会的发展,交通科技也得到了高速发展,居民出行的需求不断增加,出行工具也日益丰富。而由于城市交通规划仍存在一些未解决的盲点,如居民区与公共交通工具站点间存在一定
试验测定了4种典型航空钛合金材料(即TC18、TC21、TC4-DT、Ti-6Al-4V/ELI)在两种温度(25℃和250℃)下裂纹扩展性能,在试验数据的基础上,进行裂纹扩展性能对比分析,并对试样断
本实验利用辣根过氧化物酶(HRP)、胶体金标记法显示小鼠腹腔巨噬细胞(Mφ)表面膜刀豆素A(conA)受体的分布及conA受体介导的吞噬活动。结果显示,conA受体在Mφ膜表面呈均匀分
本文应用细胞培养、免疫酶标和放射免疫测定方法,探讨了鼻咽癌(NPC)病人、EB病毒壳抗原IeA(IgA/VCA)血清学阳性和阴性健康成人的外周血单个核细胞(PBMC),经PHA和ConA诱导产生
纤维素醚是一类水溶性大分子,它可以作为氢键受体和聚丙烯酸(PAA)形成氢键复合物。利用层层组装的方法制备出羟乙基纤维素(HEC)与PAA的界面复合薄膜,选取氢键给体单宁酸(TA)
随着时代的发展、信息化的普及,企业间角逐愈加激烈,竞争的内容与传统模式下的竞争有着翻天覆地的变化。作为吸引与留住人才的基本因素,如何确认薪酬是企业不可轻视的问题。
对于当代的危机,胡塞尔与海德格尔都曾做出过诊断.作者试图借助于胡塞尔现象学的手段,将海德格尔的一个指路性明察具体化,从而表明对生活世界的遗忘源于古希腊哲学中.