O que são as ciências formais?
Uma “ciência formal” é uma área de estudo que utiliza sistemas formais para gerar conhecimento. A matemática é o exemplo prototípico. Outros incluem lógica, estatística, teoria da informação e ciência da computação teórica. Embora, às vezes, tenha sido questionado se essas são realmente “ciências” - considerando a falta de experimentos do mundo real - essas disciplinas geralmente são agrupadas na ciência de qualquer maneira. Apesar da falta de uma base empírica, as ciências formais são geralmente consideradas extremamente importantes e, de fato, toda a ciência quantitativa depende delas. É um debate contínuo sobre se as ciências formais são ou não uma ciência verdadeira.
Os textos de matemática surgem na história antiga por volta de 1800 aC, na Mesopotâmia, local da Babilônia, a maior cidade da Terra na época. O objetivo original era quantificar mercadorias, como escravos ou grãos. Por volta de 600 aC na China e na Grécia em 400 aC, foi o desenvolvimento inicial da lógica, a análise explícita dos métodos de raciocínio. Na Grécia, estavam os grandes filósofos gregos antigos, como Pitágoras, Sócrates e Aristóteles, cujas intuições e crenças sobre lógica e ciência dominaram o mundo ocidental até a era moderna, até luminares do século XVII, como Pierre de Fermat, Blaise Pascal e Christiaan Huygens O kickstart iniciou o desenvolvimento da matemática em sua forma moderna.
A teoria da informação, a ciência da computação teórica e as estatísticas modernas (bayesianas) datam de Claude Shannon e Jon von Neumann em meados do século XX. Alan Turing também fez importantes contribuições. A teoria sobre computadores, sinalização de rádio e design de antenas depende dos marcos alcançados por esses pensadores. Essas áreas são todas partes importantes das ciências formais.
Após muitas décadas de confusão nos métodos e análises experimentais, recentemente as “ciências moles” (ciências sociais, ciências políticas etc.) tornaram-se mais quantitativas, anunciando uma mudança fundamental na maneira como as coisas são feitas. A psicologia tornou-se mais experimental, e muitos desses resultados estão varrendo a sabedoria tradicional de pensadores mais velhos, como Freud. A psicologia experimental geralmente cai sob a bandeira da "psicologia cognitiva".
A física teórica parece altamente dependente do desenvolvimento da matemática para progredir. A física teórica geralmente usa a matemática disponível mais avançada do dia e descreve seus resultados e previsões nesses termos.