手机浏览器扫描二维码访问
形式科学是与形式系统,如逻辑学、数学、理论计算机科学、信息理论、系统理论、判定理论、统计学和一些语义学等有关的知识的分支。和其他科学不同,形式科学不是和基于真实世界观察理论有效性联系的,而与定义和规律为基础的形式系统性质相联系,但形式科学的方法可以被用来建造和检验观察真实世界的科学模型(或通用手段)。
基本信息:
中文名称:形式科学
外文名称:formalscience
研究领域:逻辑学、数学、理论计算机科学、信息理论、统计学等
特点:内容和有效性与任何经验的过程无关,在所有范围内都可应用。
起源:人类文明早期,由于计数、推理等社会生产需求,从而逐渐发展出可以对事物的抽象模式通用描述的形式系统。
性质:通用性、全人类性
追溯到公元前1800年(巴比伦数学),公元前1600年(埃及数学)和公元前1000年(印度数学)最古老的数学教科书可以知道,形式科学比科学方法形成开始得早。此后,不同文化,如印度、希腊和伊斯兰数学家都对数学作出了重要贡献。而中国和日本则独立地发展自己的数学传统。
除数学外,逻辑学是另一形式科学内的最古老科目,作为一种有理的清晰分析方法,逻辑学在三个地方原来就得到持久的发展:印度从公元前6世纪,中国在公元前5世纪,而希腊在公元前4世纪至公元前1世纪。希腊熟练处理现代逻辑的科学家是受到阿里斯多得学派逻辑(伊斯兰逻辑学者进一步发展)的影晌的。印度传统也连续到现代的早期。但中国的传统没能保存下来。
其它形式科学的一些学科都很大依赖数学,但当数学已发展到相对进步时,它们还没出现。皮耶·德·费玛和布莱斯·帕斯卡(1654)和克里斯蒂安·惠更斯(1657)开始或然率理论的最早研究。1800年代早期,高斯和拉普拉斯发展了统计学的数学理论,它可以说明统计学在保险和管理机构财务方面的应用。20世纪认为数理统计学是数学学科。
20世纪中,由于新的数学学科和工程学科如运算研究和系统工程的上升,数学得到扩充和丰富。这些科学由于电工程的基础研究而得益。也由于电子计算机的发展,也激励信息理论,数字分析(科学计算)和理论计算科学的发展。理论计算科学也由于数理逻辑,包括计算理论而得益。
性质
下面先看一句著名物理学家爱因斯坦的一句名言--
数学为何得到比所有其它科学的珍重,就是它的定律是绝对肯定和无可置疑的。而其它科学却有一定程度的争论和存在由于新事实的发现而被抛弃的危险。
这句话精辟地阐明了形式科学与其他科学的本质区别,也道出了形式科学独特的研究手段和永真性。
与经验科学(自然、社会、人文等)不同,形式科学不常涉及经验的过程。它不需偶然事件的予先知识,或描述真实世界。从这种意义来说,形式科学是逻辑和先验方法的科学,它的内容和有效性和任何经验的过程无关。
虽然形式科学是概念性系统,缺少经验内容,但并不表示它和真实世界无关。这种联系在形式系统在所有可能接受的范围内都是有效的。但基于经验理论的陈述,如广义相对论,或生物的进化论,不可能在所有可能的世界内都有效。这是为何形式科学在所有范围内都可应用和在所有经验科学内都有用。
由于形式科学无经验的性质,因此可以说,形式科学是由许多公理和定义所构成,而它的陈述是由这些公理和定义推导出来的。换言之,形式科学的理论不包含合成的陈述,它的所有陈述都是分析的。
对立面
形式科学的对立面是作用科学,作用科学与形式科学研究问题的方法相反。形式科学是由许多公理和定义所构成,由这些公理和定义进行推导分析来达成科研目标的。而作用科学是通过对客观世界的各种现象产生的各种作用进行总结归纳,而得出公理和定义的。譬如中医学就是一门作用科学,其脉学与经络学,无法用形式科学的公理和定义推导却能达成有关作用。又比如仿生学,科学家并没有现成的公理与定义,只能通过对具体作用的研究总结,归纳出公理,定义出概念。
交叉科学又称边缘科学,是在两个或两个以上不同学科的边缘交叉领域生成的新学科的统称。
基本信息:
中文名:交叉科学
别称:边缘科学
类型:综合性科学
分类:生物物理学、生态经济学
与两种或两种以上不同领域的知识体系有密切联系,并借助它们的成果而发展起来的综合性科学门类。如生物物理学、生态经济学等。
交叉科学的生成一般有两种情况。
一种是某些重大的科研课题涉及到两个或两个以上学科领域,在研究过程中,便在这些相关领域的结合部产生了新兴学科。诸如物理化学、生物力学、技术经济等。
另一种情况,是运用某一学科的理论和方法去研究另一学科领域的问题,也会形成一些交叉科学。诸如射电天文学和天体物理等。
小可怜无家可归,霍总抱回家宠 池恩宁楚黎川久别重逢废材老公竟是全球首富免费阅读全文 民俗:婴儿开局,娘亲脱下画皮 前妻大反派 久别重逢废材老公竟是全球首富池恩宁楚黎川的全文免费阅读无弹窗 我打打打打打打死你个渣男换老公 九龙乾坤诀 当争霸系统遇上最丧宿主 给他们一点小小的搞笑系癫佬震撼 让你进宫当卧底,没让你去撩女帝 将门成凰,战神王妃杀疯了 久别重逢废材老公竟是全球首富池恩宁楚黎川全文免费阅读完整版 孤身带妹,我的小吃摊火爆全球 久别重逢废材老公竟是全球首富 篮球之黄金时代 久别重逢废材老公竟是全球首富池恩宁楚黎川免费阅读 末世:开局网购一只写轮眼 欲夜撩心:傅总的金丝雀她不好惹 真该死啊,败家还娶绝色女帝 傻弟,不要急
快穿疯批宿主又被冷欲美人强制作者贺兰雩风完结番外 简介 快穿+双男主+主受+双强+阴暗病娇+极限拉扯+1v1双洁 江声,本源世界时空管理中心排名前三的任务者,最讨厌的就是二组那个高岭之花组长。 然後在一次秘密任务中,他判断失误,导致二组组长发生意外,灵魂碎片散落在三千小世界。 死对头因为自己没了,江...
关于重生七零甜妻的田园军婚梁梅重生回到七零年代,决心改变自己和家人的命运。前世的她因任性和无知,错失诸多机遇,导致生活凄惨。重生后,她努力让家人过上幸福生活。梁梅的家庭温馨,有梁父梁建梁母敖琴梁大哥梁子智和梁爷爷梁卓等亲人。她提出多种地养鸡猪来增加收入的想法,得到了家人支持。面对缺少种子肥料和养殖技术等困难,她向梁五叔梁德梁大姑梁贞晶等人求助。凭借前世记忆尝试新种植方法后,生活迎来转机。在镇上卖鸡蛋时,梁梅与男主许浪相遇,他身穿军装英姿飒爽。许浪觉得梁梅朴实可爱,梁梅也发现他心地善良有担当,两人逐渐产生感情。然而,他们的交往遭到梁二堂叔梁进梁二婶梁霞的反对,梁五叔的儿子们也跟着起哄,暗恋许浪的梁二堂叔大女儿梁莹莹更是心怀怨恨,但小表弟陈洋熙和大表哥梁军一直支持梁梅。许浪的父母许父许良许母叶兰起初有些担心,但被梁梅的真诚打动,许大姐许珠姚和许二姐许珠银也认可她。最终,两人在大家祝福下走进婚姻殿堂。婚后他们共同努力,日子越过越好,不仅梁梅家盖了新房购置新家具,他们的爱情故事也成为小乡村的美丽传说。在这个过程中,他们还经历了怀孕生子孩子成长教育创业发展应对各种家庭和事业的挑战...
陆长生穿越成为长生堂堂主,绑定徒弟培养系统。只要培养好徒弟,就能云共享徒弟的修炼成果,而系统币则可以抽取各种装备在徒弟身上。本来一切都很美好。可惜看着小店门头的招牌,陆长生愈加的烦躁了起来,这个狗系统,给自己安排个什么职业不好,非要整个搞白事的,这叫他怎么收徒弟?难道挨家挨户上门去问,你家的孩子对白事感不感兴...
关于说好探险,你扮演麒麟杀穿古墓?穿越平行世界,成嘉诚娱乐公司的签约艺人,因得罪上层,加上具备探险天赋,便破格入选参与最火的综艺娱乐探险类节目,并获得了系统奖励。与杨蜜,热芭,杨超悦,白露还有刘皓存。还有吴晶,花陈宇,蔡徐鲲,章大大,当下最火的综艺流量粉丝之王的她们组成了娱乐探险明星团。然而初到瓶山,她们就碰到了绝命危机,并且刘好纯也被白猿抓走生死未卜。为了让最火节目延续下去。为了拯救刘好纯,众明星与宋承一起探险瓶山!然而随着深入,她们惊讶的发现刘好纯早就不是原来的刘好纯,并且,一些属于人类未知秘密和危机也随之一一展开!瓶山古墓,昆仑天宫芸南献王墓沙漠精绝南海归墟冰川古墓鬼洞族与邪恶的坝吔一族一直在守卫什么秘密?五千年以前的传说,人类文明起源谁才是黑暗世界中真正的王?...
关于花都最狂医神六年前,秦家被一场大火焚烧,父母双双殒命,秦君临半张脸被毁,他蠕虫般九死一生从火灾中逃出!六年后,他下山归来,携惊天之术,站在秩序顶端,俯瞰众生如视蝼蚁!我秦君临,回来了!那些曾经欺悔过我秦家的人,都给我等着…一道孤影屹立在山巅寒声!简介短小无力,请移步正文...
我是一个风水先生,二十世纪初,为了赚大钱,我和牛子到了潘家园,加入到了一个盗墓团伙。凭借着自己的本事和兄弟们的照应,我在道上混的风生水起。入行之后,我深知了一个道理,害人之心不可有,防人之心不可无。三教九流八大江湖,除了三教九流之外,尚有八门的传说,八门可在山林之外,可在庙堂之中,各门甚至是到了今天都尚有...