第376集

    第376集 (第1/3页)

    形式科学 是与形式系统，如逻辑学、数学、理论计算机科学、信息理论、系统理论、判定理论、统计学和一些语义学等有关的知识的分支。和其他科学不同，形式科学不是和基于真实世界观察理论有效性联系的，而与定义和规律为基础的形式系统性质相联系，但形式科学的方法可以被用来建造和检验观察真实世界的科学模型(或通用手段)。

    基本信息：

    中文名称：形式科学

    外文名称：formal science

    研究领域：逻辑学、数学、理论计算机科学、信息理论、统计学等

    特点：内容和有效性与任何经验的过程无关，在所有范围内都可应用。

    起源：人类文明早期，由于计数、推理等社会生产需求，从而逐渐发展出可以对事物的抽象模式通用描述的形式系统。

    性质：通用性、全人类性

    追溯到公元前1800年(巴比伦数学)，公元前1600年(埃及数学)和公元前1000年(印度数学)最古老的数学教科书可以知道，形式科学比科学方法形成开始得早。此后，不同文化，如印度、希腊和伊斯兰数学家都对数学作出了重要贡献。而中国和日本则独立地发展自己的数学传统。

    除数学外，逻辑学是另一形式科学内的最古老科目，作为一种有理的清晰分析方法，逻辑学在三个地方原来就得到持久的发展:印度从公元前6世纪，中国在公元前5世纪，而希腊在公元前4世纪至公元前1世纪。希腊熟练处理现代逻辑的科学家是受到阿里斯多得学派逻辑(伊斯兰逻辑学者进一步发展)的影晌的。印度传统也连续到现代的早期。但中国的传统没能保存下来。

    其它形式科学的

    （本章未完，请点击下一页继续阅读）