Ciências formais

Quais são as ciências formais?

As  ciências formais ou ciências ideais são aquelas ciências cujo objeto de estudo não é o mundo e a natureza , nem as leis físicas ou químicas que o regem, mas sistemas formal, isto é, sistemas de relações que são, em princípio, vazia de conteúdo próprio , mas isso pode ser aplicado à análise de qualquer segmento da realidade .

As ciências formais não estudam objetos reais, mas formas : abstrações, relações, objetos ideais criados na mente do ser humano . Pode-se dizer que não estão tão interessados ​​no quê, mas no como: as formas e não os conteúdos.

Esses tipos de ciências são analíticas ou não empíricas, ou seja, não validam suas teorias e conhecimentos por meio da experimentação ou observação do mundo real, mas pelo estudo das regras de pensamento específicas do sistema, como as proposições. , axiomas, definições e inferências. Seu método, portanto, é normalmente o dedutivo.

Eles se distinguem das ciências factuais , cujo objetivo é a compreensão do mundo real e tangível através do método científico , e que inclui as ciências naturais e as ciências sociais .

Pode te ajudar: Ciências Exatas

Exemplos de ciência formal

Algumas das ciências formais mais conhecidas são:

• Matemática . O estudo dos sistemas lógico-formais de cálculo e representação disponíveis para os seres humanos e suas aplicações na vida prática.
• Lógica . O estudo dos métodos de pensamento, isto é, das proposições e dos mecanismos de dedução que delas emergem.
• Ciência da computação . Conhecido como computação ou programação , trata dos sistemas lógico-computacionais que permitem a automação da informação .
• Aritmética. A ciência do cálculo e dos números , que são abstrações mentais.
• Estatisticas. Trata do estudo de probabilidades e proporções .
• Geometria. Estude as formas geométricas, ou seja, as representações mentais ou gráficas que podemos fazer do mundo real em nossas mentes.