A ciência formal é um conjunto de conhecimentos racionais e ordenados, que estuda fenômenos a partir da abstração e com o objetivo de generalizar leis ou teorias.
Portanto, podemos dizer que são essenciais para o conhecimento. Graças a eles, isso pode ser aplicado à realidade. Por outro lado, devido à sua abordagem do conhecimento, o método utilizado é a dedução.
Matemática e ciências formais
Talvez a matemática possa ser considerada a ciência formal por excelência. Eles estudam estruturas e relacionamentos abstratos. Para atingir seu objetivo, partem de axiomas que são desenvolvidos por meio do raciocínio lógico. Portanto, seu aprendizado é essencial.
Além disso, ele usa uma linguagem formal e universal que permite que todos que o conhecem entendam. Desta forma, todos conhecem os símbolos mais frequentes, como a adição (+), a subtração (-) ou outros como a raiz quadrada ou uma integral.
Ciência lógica e formal
A lógica é um ramo da filosofia que estuda provas, falácias e questões mais semelhantes. Dentro dela, a parte relacionada à matemática usa seus sistemas formais para chegar às suas conclusões.
Portanto, na ciência formal, a lógica é mais do que necessária. Na verdade, é muito comum em economia usar esse tipo de raciocínio. Por exemplo, a escola austríaca usa a praxeologia para seus estudos sobre essas ciências sociais.
Ciência da Computação
Nesse caso, estamos diante de uma ciência formal que estuda as bases teóricas da computação.
Desta forma, algoritmos, como o do Google, baseiam-se nos preceitos formais mencionados, aplicando-os a problemas reais.
Portanto, hoje o mundo digital é possível graças à teoria que o fundamenta. Sem esses aspectos teóricos, teriam caminhado às cegas e com o conseqüente risco. Daí a importância desse tipo de ciência.
Exemplo de ciência formal
Vejamos, para finalizar, alguns exemplos que podem parecer óbvios, mas que refletem perfeitamente o método dedutivo usado neste tipo de ciência.
- Vamos imaginar que em biologia partimos de um axioma. Ovelhas não voam. Por outro lado, sabemos que os animais voadores têm asas. A dedução é que as ovelhas não terão asas. É evidente, mas na realidade os fenômenos são muito mais complicados.
- Em criminologia. O assassino era um homem negro. O principal suspeito é oriental. Este não vai ser o assassino. Mais uma vez a realidade é muito mais complexa, mas o método é o mesmo.
- Este último exemplo seria o oposto, usando o método indutivo. Meu avô tem prisão de ventre, meu avô é homem, os homens ficam constipados. Como podemos ver, neste caso passamos do particular ao geral.
São exemplos muito simples, mas com eles queríamos mostrar como funciona o método dedutivo usado na ciência formal, ao contrário do indutivo. Na verdade, a realidade, como já mencionamos, é muito mais complexa. Claro, muitas vezes podemos abordá-lo com simplicidade.