Explicamos o que são as ciências formais, o que são e como diferem das ciências factuais.
O que são ciências formais?
As ciências formais ou ciências ideais são aqueles cujo objeto de estudo são as formasisto é, objetos abstratos e as relações entre eles, como números, proporções ou sistemas de representação.
Desta forma, as ciências formais não estudam o mundo real e a natureza, nem as leis físicas e químicas que as regem, mas sim os sistemas de relações que deles surgem na mente humana. Estes sistemas podem, no entanto, ser aplicados à análise de qualquer aspecto da realidade.
O melhor exemplo de ciências formais é a matemática: trata do estudo dos números, seus conjuntos e diversas relações. Embora os números não existam na realidade, mas sejam ideias e relações mentais, a realidade pode ser expressa e estudada com eles.
Estas ciências são analíticas ou não empíricas, o que significa que não validam as suas teorias e conhecimentos através da experimentação ou observação do mundo real, mas sim através do estudo das regras de pensamento que governam cada sistema, como proposições, axiomas e definições. Seu método, portanto, é normalmente dedutivo e não admite nem indução nem abdução.
Por todas estas razões, as ciências formais distinguem-se das ciências factuais, cujo objetivo é o estudo do mundo real através do método científico.
Pode ajudá-lo: Ramos da ciência
Características das ciências formais
As principais características das ciências formais são:
- Seu objeto de estudo são os sistemas formais e linguagens que os seres humanos projetam mentalmente, ou seja, conjuntos de abstrações.
- Eles não lidam com o mundo real, mas seus sistemas de relações são úteis para propor e estudar fenômenos reais.
- Seu propósito essencial é demonstrar a validade universal de certos raciocínios possíveis dentro de um sistema formal, conhecidos como axiomas ou teoremas.
- Seu método de análise é sempre dedutivo e, portanto, não permite nem indução nem abdução. Ou seja, suas conclusões são sempre obtidas a partir de premissas dadas.
- Seus sistemas formais são expressos através de símbolos, fórmulas e variáveis que expressam relações e não referências concretas. Por exemplo, em uma equação, x É uma variável que pode representar qualquer número.
Veja também: Dedução
Exemplos de ciências formais
Alguns exemplos de ciências formais são:
Matemáticas
A matemática é a ciência que estuda procedimentos lógicos de cálculo e representação formal, como números, equações e objetos geométricos.
Lógica
A lógica é a ciência que estuda os métodos de raciocínio, ou seja, quais são os mecanismos para obter conclusões válidas a partir de determinadas proposições.
Ciência da Computação
A computação, também conhecida como computação ou programação, é a ciência que se dedica ao estudo de sistemas computacionais que permitem a automação (armazenamento, recuperação, transmissão) de informações.
Aritmética
Aritmética é a ciência dedicada ao estudo das operações entre números naturais e inteiros. É considerada um ramo da matemática e também é conhecida como Teoria dos Números.
Estatisticas
A estatística é a ciência que trata do estudo das probabilidades e proporções, bem como das leis que regem o acaso.
Geometria
A geometria é a ciência que estuda as formas geométricas no plano, ou seja, as representações mentais ou gráficas com as quais é possível expressar relações e espaços mentais.
Veja também: Ciências
Diferenças entre ciências formais e factuais
As ciências formais distinguem-se das ciências factuais, também chamadas de factuais ou empíricas, em diversos aspectos, tais como:
| ciências formais | Ciências factuais |
|---|---|
| Seu objeto de estudo são os sistemas abstratos com os quais os seres humanos expressam certos aspectos lógicos do pensamento. | Seu objeto de estudo são os fatos e fenômenos que ocorrem na realidade. |
| Seu objetivo é demonstrar a validade universal de certos raciocínios formais. Eles não têm contato com a realidade. | Seu objetivo é criar uma representação mental o mais próxima possível da realidade para compreendê-la. |
| Seu método de análise é sempre dedutivo, nunca indutivo ou abdutivo. | Seu método de análise é empírico-analítico, o que permite dedução, indução e abdução. |
| Buscam a perfeição de seu raciocínio dedutivo, ou seja, de seus teoremas e axiomas. | Procuram garantir que os seus modelos mentais sejam tão coerentes quanto possível com o fenómeno real que descrevem. |
| Eles não podem ser verificados experimentalmente, mas logicamente. | Eles sempre podem ser verificados experimentalmente. |
| Suas demonstrações são completas e definitivas, ou seja, independem do momento e das circunstâncias. | Suas manifestações são incompletas e parciais, ou seja, dependem do momento e das circunstâncias. |
| Não apresentam subclassificações. | Eles são divididos em duas categorias: ciências naturais (estudo da natureza) e ciências sociais (estudo da sociedade). |
| Exemplos de ciências formais são: matemática, lógica e estatística. | Exemplos de ciências factuais são: biologia, química e física. |
Siga com:
- Ciências básicas e aplicadas
- Ramos da ciência
- Pensamento lógico
- Metodologia
Referências
- Bunge, M. (2000). Pesquisa científica: sua estratégia e filosofia. Século XXI.
- Ortíz, F. (2003). Dicionário de metodologia de pesquisa científica. Publicação de limusine.
- Tomalin, M. (2006). Lingüística e as Ciências Formais. Cambridge University Press.