Cincias formais

Cincias formais
As cincias formais so um ramo das cincias que estuda os sistemas formais, como por exemplo, a lgica, matemtica, teoria dos sistemas e os aspectos tericos da cincia computacional, teoria da informao, microeconomia, teoria da deciso, estatstica e lingustica. As cincias formais so construdas em cima de smbolos e regras. A diferena entre as cincias formais e as cincias naturais o fato das formais comearem com ideias tericas que levam a outras ideias tericas atravs do processo do pensamento, enquanto as naturais comeam com a observao do mundo real que leva para modelos mais ou menos teis para uma parte emprica da realidade. Nunca se aprende nada emprico atravs do estudo apenas das cincias formais. Nunca possvel provar nada emprico atravs do uso das cincias formais. A matemtica aplicada tenta aplicar alguns modelos matemticos tericos realidade. Isso possvel dentro de certas limitaes e com certas restries e com certos limites de preciso. Se o mapa e a realidade no se encaixam, o mapa que est errado, e no a realidade. Um mapa a representao terica (modelo) da realidade.

Histria
O estudo das cincias aplicadas comeou antes que o das cincias formais e a formulao do mtodo cientfico, com o texto matemtico mais antigo datando de 1800 a.C. (matemtica babilnia), 1600 a.C. (matemtica egpcia) e 1000 a.C. (matemtica indiana). A partir da diferentes culturas como os matemticos indianos, gregos e islmicos fizeram grandes contribuies matemtica, enquanto os chineses e japoneses desenvolveram independentemente suas prprias tradies matemticas. Alm da matemtica, a lgica outro dos assuntos mais antigos das cincias formais. A lgica como uma anlise explcita do mtodo de raciocnio recebeu um constante desenvolvimento originalmente em trs locais : ndia no sculo VI a.C., China no sculo V a.C., e Grcia entre o sculo IV a.C. e sculo I a.C.. O tratamento sofisticado da lgica moderna descende das tradies gregas, sendo informada da transmisso da lgica aristoteliana, que foi posteriormente desenvolvida pelos islmicos. A tradio indiana tambm continuou at o perodo moderno. As tradies chinesas nativas no sobreviveram alm da antiguidade, apesar da lgica indiana ter sido posteriormente adotado na China medieval. Como as outras disciplinas das cincias formais devendem muito da matemtica, elas no existiam at que a matemtica tivesse se desenvolvido at um nvel relativamente avanado. Pierre de Fermat e Blaise Pascal (1654), e Christiaan Huygens (1657) iniciaram os estudos iniciais de teoria da probabilidade (estatstica) no sculo XVII. Na metade do sculo XX, estudos baseados na matemtica como investigao operacional e engenharia de sistemas foram desenvolvidos. O surgimento dos computadores deu um grande impulso a essas cincias e para a teoria da computao e teoria da informao, permitindo que o estudo de sistemas complexos alm do alcance das tcnicas matemticas tradicionais. O desenvolvimento dessas disciplinas deixou claro que a matemtica era apenas uma das muitas cincias formais.

Relao com a cincia

discutvel se as cincias formais so, alm das cincias naturais e cincias sociais, o terceiro ramo da cincia, e algumas das disciplinas das cincias formais como matemtica e estatstica so por vezes referenciadas como cincias naturais. Por exemplo, carl Friedrich Gauss se referiu a matemtica como "a Rainha das Cincias".[1] Em algumas universidades notveis, por exemplo Imperial College London e Tokyo University, seus departamentos de matemtica/estatstica esto como cincia natural ou cincia.

Cincias formais A mudana constante da definio da palavra cincia pode ser a causa primria para essa confuso. No latim original e em outras lnguas, a palavra correspondente a cincia significa (campo de) conhecimento. No h duvidas portanto que a matemtica , nesse sentido, uma cincia. A especializao restringindo o significado do mtodo cientfico moderno foi feita posteriormente. A noo que as cincias formais so tambm cincias naturais tambm atribuda para a proximidade da relao entre a cincia formal e disciplinas como a fsica e qumica. Atualmente, matemtica e estatstica so muito aplicadas nas cincias naturais e sociais e so essenciais para a maioria dos pesquisadores nessas reas. A inteno original dos pesquisadores em estudar matemtica seria outra razo. Desde o incio da histria da matemtica, at os sculos mais recentes, os matemticos acreditavam que o mundo fsico era construdo de acordo com a matemtica. Por exemplo, Pitgoras acreditava que tudo estava relacionado com a matemtica e que os nmeros eram a ltima realidade. Mais tarde, Issac Newton tambm pensou que Deus usou a matemtica para modelar o mundo, e assim o estudo da matemtica seria idntico ao estudo da natureza. Ento no surpresa que a matemtica e outras cincias formais relacionadas tenham sido consideradas como ramos das cincias naturais. Por outro lado, muitos pesquisadores se opem a incluso das cincias formais como um ramo das cincias. Eles admitem que a cincia formal uma ferramenta muito poderosa para as cincias naturais e sociais, mas isso no significa que a cincia formal uma cincia. O principal motivo para isso a definio que eles tm de cincia: disciplinas que usam o mtodo cientfico que possui como bases a observao e o estudo emprico. Como o conhecimento nas cincias formais so a priori e sempre construdas por leis de deduo de axiomas e definies sem nenhum estudo emprico, eles no aceitam classificar as cincias formais como um ramo das cincias.

Campos
aceito consensualmente a incluso da Matemtica, Estatstica, Lgica, Cincia da computao e Cincia de sistemas. Pela definio tradicional tambm seriam includas a Qumica e Fsica. Alguns tambm consideram outros campos, como a biologia, botnica e zoologia como parte dessa listagem.
[1] Waltershausen

Fontes e Editores da Pgina

Fontes e Editores da Pgina

Cincias formais Fonte: http://pt.wikipedia.org/w/index.php?oldid=26570309 Contribuidores: Alexg, Francisco Leandro, Jonathan Malavolta, Renato Mello, Rjclaudio, 4 edies annimas

Licena
Creative Commons Attribution-Share Alike 3.0 Unported //creativecommons.org/licenses/by-sa/3.0/