ciência formal
A ciência formal é um conjunto de conhecimentos racionais e ordenados, que estuda os 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, estes podem ser aplicados à realidade. Por outro lado, devido à sua abordagem ao conhecimento, o método utilizado é a dedução.
Matemática e ciência formal
Talvez a matemática possa ser considerada a ciência formal por excelência. Eles estudam estruturas e relacionamentos abstratos. Para atingir seu objetivo, eles partem de axiomas que são desenvolvidos através do raciocínio lógico. Por isso, seu aprendizado é essencial.
Além disso, utiliza uma linguagem formal e universal que permite que todos que a conheçam a compreendam. Dessa forma, todos conhecem os símbolos mais frequentes, como adição (+), subtração (-), ou outros, como a raiz quadrada ou uma integral.
Lógica e ciência formal
A lógica é um ramo da filosofia que estuda provas, falácias e questões mais semelhantes. Dentro dele, a parte relacionada à matemática utiliza os sistemas formais destes para chegar às suas conclusões.
Portanto, na ciência formal, a lógica é mais do que necessária. De fato, em economia é muito comum usar esse tipo de raciocínio. Por exemplo, a escola austríaca usa a praxeologia para seus estudos sobre essa ciência social.
Ciência da Computação
Neste caso, trata-se de uma ciência formal que estuda as bases teóricas da computação.
Dessa forma, algoritmos, como o do Google, se baseiam nos preceitos formais citados, aplicando-os a problemas reais.
Portanto, hoje o mundo digital é possível graças à teoria que o fundamenta. Sem esses aspectos teóricos, caminhar-se-ia às cegas e com o conseqüente risco. Daí a importância desse tipo de ciência.
exemplo de ciência formal
Vejamos, por fim, alguns exemplos que podem parecer óbvios mas que refletem perfeitamente o método dedutivo utilizado neste tipo de ciência.
- Imaginemos que em biologia partimos de um axioma. Ovelhas não voam. Por outro lado, sabemos que os animais que voam têm asas. A dedução é que as ovelhas não terão asas. É óbvio, 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 contrário, usando o método indutivo. Meu avô tem prisão de ventre, meu avô é homem, homem tem prisão de ventre. Como podemos ver, neste caso vamos 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, em oposição ao indutivo. Na verdade, a realidade, como mencionamos antes, é muito mais complexa. Claro, muitas vezes podemos abordá-lo com simplicidade.