Artigo Ciências Formais e Empíricas

Ciências Formais e Empíricas Marlon Schier e Lucas Felipe da Cunha Centro de Ciências Tecnológicas – Universidade do Estado de Santa Catarina (UDESC) CEP 89219-710 – Joinville – SC – Brasil [email protected] , [email protected]

Este artigo artigo tem como objetivo objetivo apresen apresentar tar,, definir, definir, caracte caracteriz rizar ar e diferenciar ciências formais e empíricas, relacionando ambas com áreas de estudo da ciência da computação.

 Resumo.

1. Introdução Existem várias categorias nas quais a ciência é dividida. Moles e duras, puras e aplicadas, formais e empíricas, exatas ou inexatas e nomotéticas ou idiográficas. Neste artigo focaremos no estudo das ciências formais e empíricas, assim como a caracterização e diferenciação entre ambas. Citando algumas pesquisas na área de ciência da computação.

2. Ciências Formais As ciências formais estudam as ideias. Abordam entidades não encontradas na realidade e, portanto, não podem se valer da experimenta experimentação ção ou do contato com a realidade realidade para a conv conval alid idaç ação ão de suas suas prop propos osta tas. s. Os resu result ltad ados os são são obti obtido doss usan usando do a lógi lógica ca,, demonstrando ou provando hipóteses. A matemática e os aspectos teóricos da ciência computacional são exemplos de ciências formais.

3. Ciências Empíricas Empíricas As ciências empíricas, também chamadas de ciências factuais ou experimentais, estudam os fatos, ou seja, tudo aquilo que pode ser observado e comprovado (ou não) através da experimentação. Divide Divide-se -se em duas áreas. As ciênc ciências ias naturais, naturais, sendo sendo seu alvo de estudo estudo a natureza como um todo (física, química, biologia, etc.) e as ciências sociais que estudam os aspectos sociais do mundo humano (história, política, direito, economia, etc.).

4. Ciências Formais Formais x Ciências Empíricas Ciências formais estudam as ideias, enquanto as ciências empíricas estudam os fatos que supos supostam tamen ente te ocorre ocorrem m na reali realida dade de.. Com a tabel tabelaa abai abaixo xo podem podemos os detal detalha harr suas suas diferenças:

Figura 1. Fluxograma das classificações de ciência

Tabela 1. Caracterização e diferenciação entre ciências formais e empíricas

5. Ciências Formais e Empíricas na Computação Podemos relacionar a computação com as ciências formais pelas seguintes áreas: teoria da computaç computação, ão, compil compilado adores, res, estrutura estrutura de dados, dados, álgebr álgebraa computac computaciona ional. l. També Também m pode-se pode-se destacar destacar aŕeas eas que são usadas usadas como base para ciência ciênciass da computaçã computação, o, tais como: cálculo diferencial e integral, álgebra linear, geometria analítica, análise numérica, lógica matemática, matemática discreta, entre outros. Pode-se citar algumas pesquisas como “A Teoria da Computação e o Profissional de Informática” João José Neto (2009), que tem como objetivo discutir a importância do domínio do conhecimento e da fluência em assuntos teóricos e abstratos como parte da bagagem conceitual dos profissionais da área de Informática. Já nas ciênci ciências as empíri empírica cas, s, podemos podemos citar citar a inteli inteligên gência cia artific artificia ial, l, algorit algoritmos mos empíricos, interação humano-computador, entre outros. Pode-se citar ¨Inteligênc ¨Inteligência ia Artificial Artificial Aplicada Aplicada a Ambiente Ambientess de Engenharia Engenharia de Software: Uma Visão Visão Geral¨ Renato Renato A. C. Silva (2005), que mostra alguns alguns ambiente ambientess existe existentes ntes que utiliza utilizam m técnicas técnicas de inteligê inteligênci nciaa artificia artificiall e propor o uso de outras técnicas para melhorar os ambientes de engenharia de software, trazendo uma maior facilidade de construção de softwares e uma maior qualidade para os mesmos.

6. Considerações Finais Pode-se perceber que a ciências formais e empíricas tem como definição os opostos, enquan enquanto to uma estuda estuda as idéias, idéias, a outra estuda estuda os eventos eventos do mundo mundo real. real. Percebe Percebe-se -se também que a ciência da computação abusa de formalismos, tornando-a uma área de estudo muito mais voltada para as ciências formais do que empíricas.

Referências Lakatos, M. Eva e Marconi, A. Marina. (2010) Fundamentos de Metodologia Científica. São Paulo. Ed. Atlas. Silva, A. C. Renato. (2005) “Inteligência Artificial Aplicada a Ambientes de Engenharia de Software: Uma Visão Geral” Viçosa, Minas Gerais. Neto, J. João. (2009) “A Teoria da Computação e o Profissional de Informática” São Paulo. “A Ciência” ftp://ftp.unilins.edu.br/formigoni/Met_cientifica/CAP01PG.pdf , Setembro.