论文部分内容阅读
用事实验证了逻辑推理4大基础类型的互蕴公理,进而说明此4大公理之内涵与外延间的同构性与异构性的相互转换关系。由此说明:除外延性经典数理逻辑的推理演算之外,逻辑学还存在着更为广阔的发展空间,新世纪非经典数理逻辑的内涵性或外延性推理演算研究有着灿烂的前景。
逻辑推理四大基础类型的内涵与外延关系研究
【摘 要】
：
用事实验证了逻辑推理4大基础类型的互蕴公理,进而说明此4大公理之内涵与外延间的同构性与异构性的相互转换关系。由此说明:除外延性经典数理逻辑的推理演算之外,逻辑学还存
【机 构】
：
云南省社会科学院
【出 处】
：
昆明学院学报
【发表日期】
：
2010年01期
其他文献
背景失眠是普遍的公共健康问题,因其慢性、易感性和高复发性等特点而严重影响人们的生活。失眠的发病率逐年升高,且患者年龄呈低龄化趋势。失眠症主要表现为持续的入睡困难、易醒或早醒,且伴有明显的日间功能受损、生活质量下降。失眠症无论是原发还是继发于其他疾病,随时间推移都可作为单独疾病而进行治疗。鉴于此,美国《精神障碍诊断与统计手册-第五版》(DSM-V)将持续发作3个月以上的失眠症定义为慢性失眠。研究表明
在激光二极管端面抽运的三腔复合镜Nd…YVO4双波长激光器中,通过合理配置两个支腔腔长和输出镜透射率,采用石墨烯分散液作为可饱和吸收体,实现1064nm和1342nm双波长激光被动
大股东以上市公司为平台,借助盈余管理,从资本市场获取融资,同时通过直接占用、关联交易及高额派现等方式,转移上市公司利益,侵犯中小股东权益,阻碍了我国金融市场健康发展。
黔东#1机组自运行以来结焦问题较为突出,因锅炉结焦严重多次发生机组结焦导致机组被迫停运的事故。针对锅炉结焦对其产生的不利影响,讨论了锅炉结焦的原因,对锅炉使用的除焦
激光光源和一块平面平行板组合,就可构成横向剪切干涉仪。利用此干涉仪可定量确定激光(0.63微米及1.06微米)光束波面的准直性、球面波曲率、波面象差以及评价透镜质量等。
马克思的历史决定论是马克思主义哲学研究的一个重要课题。以古往今来历史观的演变作为研究马克思历史决定论的切入点,来具体探讨马克思历史决定论的辩证性质。文章对如何对
推进中国特色军事变革的关键在人才。江泽民同志指出:“迎接新的军事发展的挑战,关键在人才。没有一大批高素质的人才,就无法掌握新的武器装备,无法创造和运用新的战法,也就
现代社会中,计算机的普及使人们越来越多的使用计算机来处理日常事物和存储信息,此时,繁重而低效地手工录入方式与要求的轻松而高效录入之间的矛盾也随之而产生。为了加快文