手机浏览器扫描二维码访问
形式科学是与形式系统,如逻辑学、数学、理论计算机科学、信息理论、系统理论、判定理论、统计学和一些语义学等有关的知识的分支。和其他科学不同,形式科学不是和基于真实世界观察理论有效性联系的,而与定义和规律为基础的形式系统性质相联系,但形式科学的方法可以被用来建造和检验观察真实世界的科学模型(或通用手段)。
基本信息:
中文名称:形式科学
外文名称:formalscience
研究领域:逻辑学、数学、理论计算机科学、信息理论、统计学等
特点:内容和有效性与任何经验的过程无关,在所有范围内都可应用。
起源:人类文明早期,由于计数、推理等社会生产需求,从而逐渐发展出可以对事物的抽象模式通用描述的形式系统。
性质:通用性、全人类性
追溯到公元前1800年(巴比伦数学),公元前1600年(埃及数学)和公元前1000年(印度数学)最古老的数学教科书可以知道,形式科学比科学方法形成开始得早。此后,不同文化,如印度、希腊和伊斯兰数学家都对数学作出了重要贡献。而中国和日本则独立地发展自己的数学传统。
除数学外,逻辑学是另一形式科学内的最古老科目,作为一种有理的清晰分析方法,逻辑学在三个地方原来就得到持久的发展:印度从公元前6世纪,中国在公元前5世纪,而希腊在公元前4世纪至公元前1世纪。希腊熟练处理现代逻辑的科学家是受到阿里斯多得学派逻辑(伊斯兰逻辑学者进一步发展)的影晌的。印度传统也连续到现代的早期。但中国的传统没能保存下来。
其它形式科学的一些学科都很大依赖数学,但当数学已发展到相对进步时,它们还没出现。皮耶·德·费玛和布莱斯·帕斯卡(1654)和克里斯蒂安·惠更斯(1657)开始或然率理论的最早研究。1800年代早期,高斯和拉普拉斯发展了统计学的数学理论,它可以说明统计学在保险和管理机构财务方面的应用。20世纪认为数理统计学是数学学科。
20世纪中,由于新的数学学科和工程学科如运算研究和系统工程的上升,数学得到扩充和丰富。这些科学由于电工程的基础研究而得益。也由于电子计算机的发展,也激励信息理论,数字分析(科学计算)和理论计算科学的发展。理论计算科学也由于数理逻辑,包括计算理论而得益。
性质
下面先看一句著名物理学家爱因斯坦的一句名言--
数学为何得到比所有其它科学的珍重,就是它的定律是绝对肯定和无可置疑的。而其它科学却有一定程度的争论和存在由于新事实的发现而被抛弃的危险。
这句话精辟地阐明了形式科学与其他科学的本质区别,也道出了形式科学独特的研究手段和永真性。
与经验科学(自然、社会、人文等)不同,形式科学不常涉及经验的过程。它不需偶然事件的予先知识,或描述真实世界。从这种意义来说,形式科学是逻辑和先验方法的科学,它的内容和有效性和任何经验的过程无关。
虽然形式科学是概念性系统,缺少经验内容,但并不表示它和真实世界无关。这种联系在形式系统在所有可能接受的范围内都是有效的。但基于经验理论的陈述,如广义相对论,或生物的进化论,不可能在所有可能的世界内都有效。这是为何形式科学在所有范围内都可应用和在所有经验科学内都有用。
由于形式科学无经验的性质,因此可以说,形式科学是由许多公理和定义所构成,而它的陈述是由这些公理和定义推导出来的。换言之,形式科学的理论不包含合成的陈述,它的所有陈述都是分析的。
对立面
形式科学的对立面是作用科学,作用科学与形式科学研究问题的方法相反。形式科学是由许多公理和定义所构成,由这些公理和定义进行推导分析来达成科研目标的。而作用科学是通过对客观世界的各种现象产生的各种作用进行总结归纳,而得出公理和定义的。譬如中医学就是一门作用科学,其脉学与经络学,无法用形式科学的公理和定义推导却能达成有关作用。又比如仿生学,科学家并没有现成的公理与定义,只能通过对具体作用的研究总结,归纳出公理,定义出概念。
交叉科学又称边缘科学,是在两个或两个以上不同学科的边缘交叉领域生成的新学科的统称。
基本信息:
中文名:交叉科学
别称:边缘科学
类型:综合性科学
分类:生物物理学、生态经济学
与两种或两种以上不同领域的知识体系有密切联系,并借助它们的成果而发展起来的综合性科学门类。如生物物理学、生态经济学等。
交叉科学的生成一般有两种情况。
一种是某些重大的科研课题涉及到两个或两个以上学科领域,在研究过程中,便在这些相关领域的结合部产生了新兴学科。诸如物理化学、生物力学、技术经济等。
另一种情况,是运用某一学科的理论和方法去研究另一学科领域的问题,也会形成一些交叉科学。诸如射电天文学和天体物理等。
当争霸系统遇上最丧宿主 久别重逢废材老公竟是全球首富池恩宁楚黎川免费阅读 末世:开局网购一只写轮眼 欲夜撩心:傅总的金丝雀她不好惹 孤身带妹,我的小吃摊火爆全球 前妻大反派 九龙乾坤诀 傻弟,不要急 池恩宁楚黎川久别重逢废材老公竟是全球首富免费阅读全文 篮球之黄金时代 久别重逢废材老公竟是全球首富池恩宁楚黎川的全文免费阅读无弹窗 小可怜无家可归,霍总抱回家宠 久别重逢废材老公竟是全球首富池恩宁楚黎川全文免费阅读完整版 民俗:婴儿开局,娘亲脱下画皮 真该死啊,败家还娶绝色女帝 让你进宫当卧底,没让你去撩女帝 我打打打打打打死你个渣男换老公 将门成凰,战神王妃杀疯了 久别重逢废材老公竟是全球首富 给他们一点小小的搞笑系癫佬震撼
关于被战神宠成宝的小王妃是玄学大佬传闻大景战神王爷晏玄翊身负七杀,煞气缠身,恐活不过而立之年。国师批命,他须娶天命贵女苍妍玲,才能破除命中死劫,化解七杀。大婚当日,嫁入王府的却是被拴在家畜棚子里与家畜一起养,又疯又傻,还克死全家的煞星苍云烟。七杀碰上煞星,都以为翊王夫妇不出几日就会命丧黄泉。殊不知一场替嫁,小可怜苍云烟豆芽菜身体里的神魂,成了意外魂穿至此,来自现代硕博连读考古系学霸云烟。她不仅拥有自带小世界的神秘珠子,还掌握捉鬼斗邪的高深玄术,懂得极为厉害的修炼之法。翊王把她当闺女养,去哪都带着她。想不到她扮猪吃虎,以自身高超的玄术,帮着翊王解决身边各种诡异事件,抽丝剥茧地弄清楚自己与翊王的命数真相。捉鬼斗邪,斩妖除魔,破除七杀,携手扭转命运。...
换嫁宅斗打脸爽文暧昧宠妻前世,继妹抢走沈知初的婚事,将她迷晕扔给屠夫。可抢来的夫君是个奸臣,最后株连九族,继妹身首异处。反而,屠夫参军步步高升,沈知初做了将军夫人,封诰命。重生一世,继妹死心塌地的下嫁屠夫,却不知那些荣耀都是沈知初的苦心谋划。看着愚蠢的继妹,沈知初两手一摊,转头嫁奸臣。奸臣好啊,一心造反,不贪女色,她拾掇拾掇,哎嘿,养得根正苗红。后来,继妹急了,悔了。可惜奸臣已经口嫌体正,抱着亲亲夫人满腹委屈夫人在意这,在意那,甚至在意外人,怎么就不能多在意在意为夫呢?顺便扫了眼继妹,你谁?...
没有特别尊重历史,请大家轻点喷!颠颠瓜六在地府看到如懿传,觉得证明自己的机会到了,靠帮阎王完成KPI换来了重生到如懿传的机遇。瓜6重生,王者局小菜鸡靠着地府NPC们的弹幕杀爆青铜局!只是,为啥重生了还能看到地府那些NPC说的话呢?哦哦哦,这个叫做弹幕啊!选秀当日弘历要把如意给青樱。瓜六当即跪倒在地奴才要告发乌...
末世种田基建屯资仙侠玄学团宠1v1,前五百章为末世篇,5o1章开始五仙侠篇千叶在末世后被渣男贱女推入丧尸群后重生回到末世来临前一个月!老公还在,老公的兄弟也还在!自家传承的手镯也没被那所谓闺蜜骗走!一切都还来的及!开启空间,开始修仙,末世前一个月,千叶带着老公和他的兄弟们开始屯资!屯资!屯资!只是某人的老公左看看,右看看,很是委屈的看向自家媳妇媳妇,我没有重生!老婆是重生的,有记忆还开启了空间!兄弟们是重生的,有记忆更有异能!千叶抚摸着老公的脑袋乖,我保护你哈且看重生后的千叶进玄学之门,得丹师传承,获无上功德,筑鸿蒙之界,入修仙之门,踏长生之路!...
第一个世界天才女演员VS最年轻的青龙影帝李正宰「已完成」第二个世界大佬VS她的小娇妻郑宇盛「已完成」第三世界恋爱攻防战赵寅城「已完成」第四世界恋爱选我,我世最甜,小狗文学河政宇「已完成」第五世界爱人走散文学元彬「已完结he」第六世界多愁善感的男妈妈VS天然呆社恐直女孔刘「已完成」第七世界nh超帅的咸鱼模特VSnh最疯蛊王李株赫「已完成」第八世界为爱发疯夹心文学,茶里茶气花美男VS特拽富贵花模特一姐姜东元「已完成」第九世界我向上天许愿你能为我心动曹承佑「施工中」作者小黑板OOC预警,无脑爽文,作者土狗,禁止ky哦魔蝎小说...
林白重生90年代,成为余谦师叔郭德刚生日当天,德云内乱眼看德云社内部乌烟瘴气,林白摇扇出现宣布成立白日阁头场演出后,网友们相当兴奋林白这是要给郭德刚架空啊!抢儿子,抢地盘,抢搭档,乐死我了,头一次见敢这么跟郭德刚对着干的人。只能说小伙子很有勇气!你们懂个屁,论辈分林白比郭德刚大,郭德刚还得管他叫大爷!...