Cincias Formais e Empricas

Marlon Schier e Lucas Felipe da Cunha Centro de Cincias Tecnolgicas Universidade do Estado de Santa Catarina (UDESC) CEP 89219-710 Joinville SC Brasil
marlonschier@gmail.com, lucasfelipedacunha@gmail.com

Resumo. Este artigo tem como objetivo apresentar, definir, caracterizar e diferenciar cincias formais e empricas, relacionando ambas com reas de estudo da cincia da computao.

1. Introduo
Existem vrias categorias nas quais a cincia dividida. Moles e duras, puras e aplicadas, formais e empricas, exatas ou inexatas e nomotticas ou idiogrficas. Neste artigo focaremos no estudo das cincias formais e empricas, assim como a caracterizao e diferenciao entre ambas. Citando algumas pesquisas na rea de cincia da computao.

2. Cincias Formais
As cincias formais estudam as ideias. Abordam entidades no encontradas na realidade e, portanto, no podem se valer da experimentao ou do contato com a realidade para a convalidao de suas propostas. Os resultados so obtidos usando a lgica, demonstrando ou provando hipteses. A matemtica e os aspectos tericos da cincia computacional so exemplos de cincias formais.

3. Cincias Empricas
As cincias empricas, tambm chamadas de cincias factuais ou experimentais, estudam os fatos, ou seja, tudo aquilo que pode ser observado e comprovado (ou no) atravs da experimentao. Divide-se em duas reas. As cincias naturais, sendo seu alvo de estudo a natureza como um todo (fsica, qumica, biologia, etc.) e as cincias sociais que estudam os aspectos sociais do mundo humano (histria, poltica, direito, economia, etc.).

4. Cincias Formais x Cincias Empricas

Cincias formais estudam as ideias, enquanto as cincias empricas estudam os fatos que supostamente ocorrem na realidade. Com a tabela abaixo podemos detalhar suas diferenas:

Figura 1. Fluxograma das classificaes de cincia

Tabela 1. Caracterizao e diferenciao entre cincias formais e empricas

5. Cincias Formais e Empricas na Computao

Podemos relacionar a computao com as cincias formais pelas seguintes reas: teoria da computao, compiladores, estrutura de dados, lgebra computacional. Tambm pode-se destacar aeas que so usadas como base para cincias da computao, tais como: clculo diferencial e integral, lgebra linear, geometria analtica, anlise numrica, lgica matemtica, matemtica discreta, entre outros. Pode-se citar algumas pesquisas como A Teoria da Computao e o Profissional de Informtica Joo Jos Neto (2009), que tem como objetivo discutir a importncia do domnio do conhecimento e da fluncia em assuntos tericos e abstratos como parte da bagagem conceitual dos profissionais da rea de Informtica. J nas cincias empricas, podemos citar a inteligncia artificial, algoritmos empricos, interao humano-computador, entre outros. Pode-se citar Inteligncia Artificial Aplicada a Ambientes de Engenharia de Software: Uma Viso Geral Renato A. C. Silva (2005), que mostra alguns ambientes existentes que utilizam tcnicas de inteligncia artificial e propor o uso de outras tcnicas para melhorar os ambientes de engenharia de software, trazendo uma maior facilidade de construo de softwares e uma maior qualidade para os mesmos.

6. Consideraes Finais
Pode-se perceber que a cincias formais e empricas tem como definio os opostos, enquanto uma estuda as idias, a outra estuda os eventos do mundo real. Percebe-se tambm que a cincia da computao abusa de formalismos, tornando-a uma rea de estudo muito mais voltada para as cincias formais do que empricas.

Referncias
Lakatos, M. Eva e Marconi, A. Marina. (2010) Fundamentos de Metodologia Cientfica. So Paulo. Ed. Atlas. Silva, A. C. Renato. (2005) Inteligncia Artificial Aplicada a Ambientes de Engenharia de Software: Uma Viso Geral Viosa, Minas Gerais. Neto, J. Joo. (2009) A Teoria da Computao e o Profissional de Informtica So Paulo. A Cincia ftp://ftp.unilins.edu.br/formigoni/Met_cientifica/CAP01PG.pdf, Setembro.