Exemplos de ciências formais

As ciência formal são aqueles em que as proposições analíticas tomam a afirmações de matemática e lógica. Desta forma, sua área de estudo não é o mundo real, mas sim o mundo ideal, formas vazias de conteúdo do que em muitos casos podem não ser totalmente observáveis, mas são ferramentas analíticas válidas para compreender o realidade. Por exemplo: estatística, lógica, matemática.

As ciências formais caracterizam-se por não entrarem em conflito com a realidade, uma vez que não têm a responsabilidade de serem verificá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 acontecer: caso contrário, essas ciências fazem uso de "axiomas", que são proposições evidentes que são aceitas sem exigir prova prévia.

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

Pode servir a você:

Eles se opõem às ciências factuais

Normalmente, a noção de ciências formais vem em contradição com o ciência factual, que são os que estudam os fatos. Tanto um quanto o outro são muito importantes no mundo de hoje, pois são um complemento entre os dois: as contribuições de algumas ciências fundamentais no que é o avanço tecnológico (como a química ou computação) são suportados 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 enfoca os aspectos mais abstratos e matemáticos da área. Inclui a análise de algoritmos e, especialmente, a semântica formal de linguagens de programação.
2. Estatisticas. Ciência que é responsável por coletar, organizar, processar, analisar e interpretar os dados a fim de deduzir as características de um população objetivo.
3. Lógica. Disciplina que estuda os procedimentos formais da razão, procurando saber que tipo de procedimentos são utilizados pelo cérebro humano por meio de proposições formais.
4. Matemática. Ciência dedutiva que se dedica ao estudo das propriedades de entidades abstratas e seus relacionamentos. Funciona 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 ​​aos sistemas em qualquer nível em todos os campos de investigação.

Siga com: