Ciência formal - O que é, definição e conceito

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.