双证在职研究生开展逻辑教育，不仅有助于双证在职研究生逻辑思维的拓展，而且有助于提高学员的科学意识。
逻辑学发展至今,已形成纷繁而系统的学科体系,尤其是现代逻辑。
它不仅与数学紧密结合,形成符号数学、逻辑代数等多门数学分支,且与计算机科学、物理学、生物学、系统科学等结合起来。例如,在物理学领域,为了理论的系统化,达到在理论范围内运用推理有更大的严格性,并且对这些理论做出比较合乎逻辑的评价,就需经常运用公理逻辑方法。当今物理学中的力学、热力学、光学、原子力学和宇宙学的某些内容都是从逻辑公理化角度来阐明的。
又如,英国逻辑学家武德热尔对生物的一些分支(如遗传学和分类学)进行了逻辑形式化的演绎,取得多项生物学发现及研究成果;生理学家.J任杰的逻辑公理化的生物学,对生物学或逻辑学的发展都是有益的。
再如,数理逻辑,尤其是布尔逻辑,对计算机科学的产生与发展起了巨大的推动作用,其中布尔逻辑是设计电子计算机开关电路不可少的逻辑理论和方法,是电子计算机硬件的基础设计方法,随后诞生的属于逻辑学范畴的人工表意的符号语言、形式化公理系统的方法,以及由哥德尔不完全性定理的证明所发展而来的递归算法,都是研制计算机语言、发展软件和扩大硬件功能不可缺少的逻辑理论和方法。因此,双证在职研究生学习逻辑学,就是学习一门严密精确的科学,从中会受到多方面(尤其是公理化)的科学熏陶。
热门头条
评论0
“无需登录，可直接评论...”