Exemplos De Ciências Formais

Las ciências formais São aqueles onde as proposições analíticas assumem os enunciados da matemática e da lógica. Desta forma, sua área de estudo não é o mundo real, mas sim o mundo ideal, formas vazias de conteúdo que em muitos casos não podem ser totalmente observáveis, mas são instrumentos analíticos válidos para entender a realidade. Por exemplo: estatística, lógica, matemática.

As ciências formais se caracterizam por não entrarem em conflito com a realidade, pois não têm a responsabilidade de serem testáveis. Pelo contrário, as ciências formais precisam usar proposições que são demonstráveis ​​em um sentido lógico, e que podem se suceder: caso contrário, essas ciências usam ‘axiomas’ que são proposições evidentes que são aceitas sem exigir demonstração prévia.

O uso de axiomas está relacionado ao método usual desse tipo de ciência, que é o método dedutivo : tomando os axiomas como ponto de partida e depois procedendo de forma derivativa, chegando às proposições como consequências lógicas necessárias das proposições anteriores. Diz-se, então, que um sistema formal é composto do seguinte:

Diferença com as ciências factuais

Normalmente, a noção de ciências formais vem em oposição à ciências factuais , que são os que estudam os fatos. Tanto uma como outra são muito importantes no mundo atual, pois são um complemento entre as duas: as contribuições de algumas ciências fundamentais em termos de progresso tecnológico (como a química ou a informática) são apoiadas por sistemas formais como a matemática.

Exemplos de Ciências Formais

1. ciência da computação teórica. Divisão dentro da ciência da computação, que se concentra nos aspectos mais abstratos e matemáticos da área. Inclui a análise de algoritmos e, sobretudo, a semântica formal das linguagens de programação.
2. Estatisticas. Ciência responsável por coletar, organizar, processar, analisar e interpretar dados para deduzir as características de uma população-alvo.
3. Lógica. Disciplina que estuda os procedimentos formais da razão, procurando saber que tipo de procedimentos são aqueles utilizados pelo cérebro humano através de proposições formais.
4. Matemáticas. Ciência dedutiva dedicada ao estudo das propriedades de entidades abstratas e seus relacionamentos. Trabalhe com números, símbolos e figuras geométricas.
5. teoria de sistemas. Estudo interdisciplinar de sistemas em geral, a fim de estudar os princípios aplicáveis ​​a sistemas em qualquer nível em todos os campos de pesquisa.