论文部分内容阅读
非形式论证有广义与狭义之分,在一个形式逻辑系统外非形式论证应做狭义理解,即不可能前提真并且结论假。而在一个形式逻辑内的可靠性证明中就蕴涵了这种狭义的非形式论证。因此,一个逻辑系统只要证明它是可靠的,那么它就能保证不可能前提真并且结论假的出现。
逻辑系统外的“真”
【摘 要】
：
非形式论证有广义与狭义之分,在一个形式逻辑系统外非形式论证应做狭义理解,即不可能前提真并且结论假。而在一个形式逻辑内的可靠性证明中就蕴涵了这种狭义的非形式论证。因
【机 构】
：
华东政法大学人文学院
【出 处】
：
怀化学院学报
【发表日期】
：
2016年10期
【基金项目】
：
上海市优秀青年教师资助培养项目(A-4906-16-00607);中国博士后科学基金(2014M560999)
其他文献
园林工程是城市现代化发展过程中必备的基础工程之一，随着人们对居住环境重视程度的提高，园林工程量也在不断加大，从而使园林工程管理成为了园林质量的根本保障。与其他工程类项
将信息化教学手段应用到《建筑CAD》课程教学中,通过教学内容、教学方法、教学评价等方面的创新改革,把培养学生学习主动性、技能操作、职业素养、团队合作能力融入到教学过
随着网络技术的快速发展，信息化已成为人力资源管理中的一个基本方向。但很多企业在推进人力资源管理信息化过程中仅仅是随大流，而没有根据企业自身的特点进行软件的挑选与应用
目的：了解我院2011~2013年临床分离多重耐药鲍曼不动杆菌（Multidrug-resistant A.baumannii,MDRAB）临床分布及其耐药性特征,为临床合理使用抗生素提供可靠依据。方法采用 TDR-20
本文在高大平房仓内实施充氮气调储粮技术,通过对代储点仓房进行气密性改造,同时进行气调储粮应用试验,基本实现了绿色储粮的预期目标,为今后的改进和提升积累经验。
基于环天线-偶极子模型,本文采用了一种新结构设计了一款全向圆极化微带天线[1]。这个天线有尺寸小,结构紧凑,辐射性能好和带宽宽的特点[2][3]。设计全程使用hfss软件进行全
诅咒类骂詈语起源于早期的巫术活动,元曲中诅咒类骂詈语有的是直接诅咒对方,有的是自我诅咒,反映了寿终正寝的生死观念、重视孝道的伦理观念、家族制度的血亲观念以及男尊女
当前,人们已经迈入了信息化时代,而在信息化时代,人们的生活与信息技术之间的联系也越来越紧密,为了能够满足人们的各方面需求,信息技术的发展也在飞速推进中,而信息技术给人
成都统筹推进城乡一体化以来，是现代农业发展最快，农村变化最大，农民增收最多的时期。通过实施“三个集中”，“六个一体化”和农村“四大基础工程”，促进了农业发展方式的转变，探索
[目的]科学构建乳腺癌病人凸显人文护理的流程。[方法]系统分析2011年乳腺癌病人380例，在护理过程中融入人文关怀理念，将人性化服务落实到护理的各个环节中，设计乳腺癌病人凸显