【摘 要】
：
形式化方法是现代逻辑最重要的方法。它把精确性、严格性、显明性、能行性和普遍性等等特性带入理论研究之中，促使理论研究走向深入与深化。形式化方法有一个从萌芽到逐步成熟
【基金项目】
：
湖南省社会科学基金资助项目“哲学逻辑和逻辑哲学比较研究”(06YB62)成果之一
论文部分内容阅读
形式化方法是现代逻辑最重要的方法。它把精确性、严格性、显明性、能行性和普遍性等等特性带入理论研究之中，促使理论研究走向深入与深化。形式化方法有一个从萌芽到逐步成熟、定型的过程，这个过程就是实质公理化、抽象公理化、形式公理化。考察形式化方法的历史发展，有助于我们把握这种方法的实质、发展趋势及其作用。
其他文献
公选课建设与管理对学分制改革成功与否起着至关重要的作用。以山东商业职业技术学院为例,通过总结学分制改革以来学校在公选课建设与管理方面采取的系列举措,分析仍然存在的
迁安市位于燕山南麓、长城脚下,耕地以低山丘陵和山前冲击平原沙地为主,是个典型的半山区市。水资源不足的山区、沙区、废弃矿山区生产蔬菜困难,工农争地、粮菜争地的矛盾突
工业机器人是一种集机械,电子元件,控制,电脑,传感,人工智能等各种科技于一身的高科技先进设备,是国家的制造业和科学技术的体现。针对我国机器人技术严重不足的问题,本文提
目的实现固体聚合物电解质水电解技术的工程化，解决这一技术在工程实施中存在的问题，使其满足密闭环境供氧设备的要求。方法电解池组采用阳极供水与压滤机组装的方式，针对水电解
波点今年又在时尚界掀起了一场复古风高潮,它始终是各国著名设计师热衷选择的时尚元素之一。以波点这一元素为研究对象,追溯了它的整个发展,以及它在服装大舞台上所演绎出的
目的血清癌胚抗原（CEA）、碱性磷酸酶（ALP）、CA125、CA19-9、CA72-4在结肠疾病鉴别诊断中的价值。方法应用Roche电化学发光免疫分析技术检测肿瘤标志物,全自动生化分析仪检测ALP,
从车门内板结构形状、尺寸和冲压成形要求方面详细分析了车门内板的主要特点,并在此基础上,以Y284车型车门内板为例阐述其拉延模具的工艺及调试。生产实践证明,本套拉延模具
冲剂,是指药材的提取物加适量赋形剂或部分药材细粉而制成的干颗粒状内服药剂.其制备方法均按1999年版<中国药典>[1]之规定,然而其质量好坏和疗效差异,取决于生产的全过程和
翻译控制肿瘤蛋白(TCTP)广泛存在于各类真核生物中,是一类在进化上高度保守的同源蛋白家族。植物TCTP具有促进细胞增殖、分化和再生、对抗生物或非生物胁迫等功能,其表达受转
鸡病毒性关节炎，是由呼肠弧病毒引起的禽类传染病。国家定为三类动物传染病。该病毒不能凝集红细胞。发病时引起跗关节肿胀、发炎，消化吸收不良、生长停滞，败血症。临床上难与滑