逻辑的形式化与形式的系统化

来源 :淮阴师专学报(哲学社会科学版) | 被引量 : 0次 | 上传用户:bang67640
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
逻辑学从亚里士多德开始就已经朝着这个方向发展了。这个方向我们今天把它称为逻辑的“形式化”。形式化是一种较为经济的抽象方法。它的特点是用字母或其它一些技术手段,例如表意的符号,去代表那些有相同特性的被研究的具体对象,从而把我们由原来的对具体对象的研究转换、上升为对字母或符号所代表对象的组合规律的研究。在逻辑中引进符号,对逻辑内容进行形式化处理,这是从亚里士多德《前分析篇》开始的。正如数学中发生的情形那样,逻辑成为形式逻辑,成为一门学科,符号的引入是关键的一步。
其他文献
榆树市档案局于10月16日召开了干部作风大整顿活动专题会议,进一步落实巩固干部作风大整顿成果,努力开创档案工作新局面。档案局党组书记、局长王文新在讲话中总结了档案局为
考虑被压实物料的不对称滞回特性,建立了振动压路机振动轮-车架系统的二质量运动模型。证明了只有考虑参振物料不对称滞回性质的影响,才能够得到正确的振振轮动响应。
孕妇,26岁,孕28周,孕1产0。无宠物喂养史、毒物、药物及放射线接触史,于孕14周在当地医院超声检查胎儿未见异常,孕28周来我院行产前超声检查:胎头位于右中腹部,双顶径:7.0 cm,
介绍了旋转机械在振动故障诊断方面的国内外现状,内容包括:故障机理的研究、故障信息处理技术的研究,故障诊断专家系统的研究及有关诊断系统的开发现状,并对今后发展方向进行了阐
7月1日,青藏铁路正式投入运营,中国铁通和中国移动数年来的努力成功告一段落。
对循环经济在中小城市热电联产企业(简称热电企业)中的应用进行了研究,提出了“水热电联产”的循环经济理念,并以中小城市热电企业为关键种结合污水处理厂构建了一条较为完整的循
我国生物质资源总量丰富,但资源的利用效率并不高。生物质热解是有效利用生物质资源的方式之一,而催化热解则是为了更高效的利用生物质资源。介绍了生物质热解过程的热解特性
阐述了智能机械结构的基本概念及研究意义,着重对广泛应用的压电材料,详细介绍了国内外智能结构研究现状,并对今后智能结构的研究内容作了展望。
如何在广告与游戏中找到最佳契合点?