手机浏览器扫描二维码访问
形式科学是与形式系统,如逻辑学、数学、理论计算机科学、信息理论、系统理论、判定理论、统计学和一些语义学等有关的知识的分支。和其他科学不同,形式科学不是和基于真实世界观察理论有效性联系的,而与定义和规律为基础的形式系统性质相联系,但形式科学的方法可以被用来建造和检验观察真实世界的科学模型(或通用手段)。
基本信息:
中文名称:形式科学
外文名称:formalscience
研究领域:逻辑学、数学、理论计算机科学、信息理论、统计学等
特点:内容和有效性与任何经验的过程无关,在所有范围内都可应用。
起源:人类文明早期,由于计数、推理等社会生产需求,从而逐渐发展出可以对事物的抽象模式通用描述的形式系统。
性质:通用性、全人类性
追溯到公元前1800年(巴比伦数学),公元前1600年(埃及数学)和公元前1000年(印度数学)最古老的数学教科书可以知道,形式科学比科学方法形成开始得早。此后,不同文化,如印度、希腊和伊斯兰数学家都对数学作出了重要贡献。而中国和日本则独立地发展自己的数学传统。
除数学外,逻辑学是另一形式科学内的最古老科目,作为一种有理的清晰分析方法,逻辑学在三个地方原来就得到持久的发展:印度从公元前6世纪,中国在公元前5世纪,而希腊在公元前4世纪至公元前1世纪。希腊熟练处理现代逻辑的科学家是受到阿里斯多得学派逻辑(伊斯兰逻辑学者进一步发展)的影晌的。印度传统也连续到现代的早期。但中国的传统没能保存下来。
其它形式科学的一些学科都很大依赖数学,但当数学已发展到相对进步时,它们还没出现。皮耶·德·费玛和布莱斯·帕斯卡(1654)和克里斯蒂安·惠更斯(1657)开始或然率理论的最早研究。1800年代早期,高斯和拉普拉斯发展了统计学的数学理论,它可以说明统计学在保险和管理机构财务方面的应用。20世纪认为数理统计学是数学学科。
20世纪中,由于新的数学学科和工程学科如运算研究和系统工程的上升,数学得到扩充和丰富。这些科学由于电工程的基础研究而得益。也由于电子计算机的发展,也激励信息理论,数字分析(科学计算)和理论计算科学的发展。理论计算科学也由于数理逻辑,包括计算理论而得益。
性质
下面先看一句著名物理学家爱因斯坦的一句名言--
数学为何得到比所有其它科学的珍重,就是它的定律是绝对肯定和无可置疑的。而其它科学却有一定程度的争论和存在由于新事实的发现而被抛弃的危险。
这句话精辟地阐明了形式科学与其他科学的本质区别,也道出了形式科学独特的研究手段和永真性。
与经验科学(自然、社会、人文等)不同,形式科学不常涉及经验的过程。它不需偶然事件的予先知识,或描述真实世界。从这种意义来说,形式科学是逻辑和先验方法的科学,它的内容和有效性和任何经验的过程无关。
虽然形式科学是概念性系统,缺少经验内容,但并不表示它和真实世界无关。这种联系在形式系统在所有可能接受的范围内都是有效的。但基于经验理论的陈述,如广义相对论,或生物的进化论,不可能在所有可能的世界内都有效。这是为何形式科学在所有范围内都可应用和在所有经验科学内都有用。
由于形式科学无经验的性质,因此可以说,形式科学是由许多公理和定义所构成,而它的陈述是由这些公理和定义推导出来的。换言之,形式科学的理论不包含合成的陈述,它的所有陈述都是分析的。
对立面
形式科学的对立面是作用科学,作用科学与形式科学研究问题的方法相反。形式科学是由许多公理和定义所构成,由这些公理和定义进行推导分析来达成科研目标的。而作用科学是通过对客观世界的各种现象产生的各种作用进行总结归纳,而得出公理和定义的。譬如中医学就是一门作用科学,其脉学与经络学,无法用形式科学的公理和定义推导却能达成有关作用。又比如仿生学,科学家并没有现成的公理与定义,只能通过对具体作用的研究总结,归纳出公理,定义出概念。
交叉科学又称边缘科学,是在两个或两个以上不同学科的边缘交叉领域生成的新学科的统称。
基本信息:
中文名:交叉科学
别称:边缘科学
类型:综合性科学
分类:生物物理学、生态经济学
与两种或两种以上不同领域的知识体系有密切联系,并借助它们的成果而发展起来的综合性科学门类。如生物物理学、生态经济学等。
交叉科学的生成一般有两种情况。
一种是某些重大的科研课题涉及到两个或两个以上学科领域,在研究过程中,便在这些相关领域的结合部产生了新兴学科。诸如物理化学、生物力学、技术经济等。
另一种情况,是运用某一学科的理论和方法去研究另一学科领域的问题,也会形成一些交叉科学。诸如射电天文学和天体物理等。
孤身带妹,我的小吃摊火爆全球 傻弟,不要急 我打打打打打打死你个渣男换老公 欲夜撩心:傅总的金丝雀她不好惹 当争霸系统遇上最丧宿主 真该死啊,败家还娶绝色女帝 将门成凰,战神王妃杀疯了 池恩宁楚黎川久别重逢废材老公竟是全球首富免费阅读全文 久别重逢废材老公竟是全球首富池恩宁楚黎川的全文免费阅读无弹窗 久别重逢废材老公竟是全球首富池恩宁楚黎川免费阅读 小可怜无家可归,霍总抱回家宠 民俗:婴儿开局,娘亲脱下画皮 久别重逢废材老公竟是全球首富 让你进宫当卧底,没让你去撩女帝 前妻大反派 九龙乾坤诀 久别重逢废材老公竟是全球首富池恩宁楚黎川全文免费阅读完整版 给他们一点小小的搞笑系癫佬震撼 篮球之黄金时代 末世:开局网购一只写轮眼
关于我在永不磨灭的番号当政委徐岩大本事,快来!这儿有野鸡脖子!李大本事谁说县大队不是主力?九纵司令员李大本事,恭喜你最近发财啊?李大本事徐岩本事,快来!这儿有大炮!吸铁石打碉堡很难?那不是一炮一个吗?九纵司令员李大本事,恭喜你最近发财啊?李大本事徐岩本事,快来,一仓库的白面啊!丁大算盘来来来,都参加我们县大队了啊,顿顿白面,餐餐有肉啊!九纵司令员李大本事,恭喜你最近发财啊?李大本事徐岩暴怒你们能不能别显摆了?我攒点儿家当容易吗?...
小护士方霖铃(原名温小北)逛街时得到一只穿越神器,可以在任意时代来回穿越四次。不穿白不穿,于是她穿了。时间北宋。地点一条破船。身份一落魄诗人的侄女,还是大龄剩女。举目四望,身边只有一个中风的舅舅,一个哭哭啼啼的舅妈,一个四岁奶娃子,一只空空的钱袋。霖铃这开局有点难搞…为了捞米,霖铃只好拿着舅舅名片去他笔友开的书院里应聘,登上讲坛当一名诗赋课教习。上班第一天,霖铃在心中发誓等我赚够一个月工资立马跑路,谁都别想拦我!上班一个月,霖铃等我打脸完那个装逼老男人同事以后立马辞职,谁都别想拦我!!上班二个月,霖铃等我降服班里那个官二代刺头以后立马辞职,打车都不用单位报销!!!上班三个月,霖铃班上有人生病厌学,等我回现代搞点抗生素小零食给他们以后立马跑路,谁拦我我骂他全家!!!!上班四个月,已经痊愈的舅舅拄着拐杖来到书院,一眼看到松树底下站着一个俊俏少年,正带领一群小鲜肉背唐诗三百首。舅舅颤颤巍巍地过去铃啊,咱啥时候回家…霖铃这个…那个…(挠头)魔蝎小说...
飞机出事坠入恶魔岛,且看兵王如何带着难友,杀出重围!魔蝎小说...
关于离婚后,我一秒就赚一百亿结婚五年,她以为他是废物窝囊废,强迫离婚。离婚之后,他王者归来,不再低调。结婚时你对我爱答不理,离婚后我让你高攀不起。...
关于送你一束向日葵00后的许向佳做梦都没想到,她毕业后成了一名月嫂。被暴躁的爸,偏心的妈把好好的工作搅合没了,还被拉进了行业黑名单的她,无奈之下,她成了月嫂行业中最年轻的一个。走进不同的家庭,见到不同的女性,感受到了来自她们身上不一样的力量,许向佳终于明白,没有人能真正成为她的依靠,她只能自己成为自己的月亮。而想要做出自己梦想中最完美游戏的陈安平不但通过许向佳认识到了,姐姐因为自己被迫变成扶弟魔,也从许向佳身上汲取了极大的力量,他将自己从低谷中拉出来,让自己的梦想成真。他们都成了自己的月亮。...
秦苏,一个普通的打工人,小时候家里没钱,初中就辍学打工,三百六十行,行行都有她的身影。她一直都是自己努力的活着,虽然是泯然众人的一分子,却过得很是知足常乐!哪想到天有不测风云,人有旦夕祸福,她救人的时候竟然被车撞死了?滴!检测到勤快打工人,0909系统开始绑定然后,秦苏的另类打工生涯就慢慢开始了...