形式科学(formal science)是与形式系统,如逻辑学、数学、理论计算机科学、信息理论、系统理论、判定理论、统计学和一些语义学等有关的知识的分支。和其它科学不同,形式科学不是和基于真实世界观察理论有效性联系的。而与定义和规律为基础的形式系统性质相联系。但形式科学的方法被用来建造和检验观察真实世界的科学模型。
例如,他把逻辑学创建成一门形式科学、为生物学奠定两千年都没有超越的基础。
For instance, he founded logic as a formal science and created foundations to biology that were not superseded for two millennia.
对绝种的生命形式进行克隆的想法仍然属于科学幻想。
The idea of cloning extinct life forms still belongs to science fiction.
解释的内容和形式可以追溯到博物馆是科学研究人员的专属领域那个时代。
The content and format of explanations dated back to a time when the museum was the exclusive domain of the scientific researcher.
He says in effect, "This form of the myth is scientific.
他事实上说,“这种神话形式是科学的。
Aristotle's statesman Aristotle's statecraft his political science is a form of political mediation how to bring peace to conflict ridden situations.
亚里士多德的政治家,亚里士多德的权术,他的政治科学是一种政治斡旋的形式,如何将和平带入满是冲突的情势。
Rather, science is the highest form of art.
不如说是,科学是艺术的最高形式。
应用推荐