Ciências formais

Ciência
Ciências físicas Física: Física moderna Física aplicada Física computacional Física atómica Física nuclear Física de partículas Física experimental Física teórica Física da matéria condensada Mecânica Mecânica clássica Mecânica quântica (introdução) Mecânica de meios contínuos Reologia Mecânica dos sólidos Mecânica dos fluidos Plasma Termodinâmica Relatividade geral Relatividade restrita Teoria das cordas Teoria-M Taquião Química Reação ácido-base Alquimia Química analítica Astroquímica Bioquímica Cristalografia Química ambiental Química alimentar Geoquímica Química verde Química inorgânica Ciência dos materiais Física molecular Química nuclear Química orgânica Fotoquímica Físico-química Radioquímica Química do estado sólido Estereoquímica Química supramolecular Ciência de superfícies Química teórica Astronomia Astrofísica Cosmologia Astronomia galáctica Astrogeologia Planetologia Astronomia estrelar Ciências da terra Meteorologia Climatologia Ecologia Ciência ambiental Geodesia Geologia Geomorfologia Geofísica Glaciologia Hidrologia Limnologia Oceanografia Paleoclimatologia Paleoecologia Palinologia Geografia física Pedologia Edafologia
Ciências da vida Biologia Anatomia Exobiologia Bioquímica Biogeografia Bioengenharia Biofísica Psicobiologia Biotecnologia Botânica Biologia celular Biologia da conservação Criobiologia Biologia do desenvolvimento Ecologia Etnobiologia Etologia Biologia evolutiva (introdução) Genética (introdução) Gerontologia Imunologia Biologia marinha Microbiologia Biologia molecular Neurociência Paleontologia Parasitologia Fisiologia Sistemática Toxicologia Zoologia
Ciências sociais Antropologia Arqueologia Criminologia Demografia Economia Educação Geografia humana História Relações internacionais Direito Linguística Ciência política Psicologia Sociologia
Ciências aplicadas Engenharia Aeroespacial Agrónoma Biomédica Química Civil Computação Elétrica Genética Industrial Mecânica Militar Mineração Nuclear Robótica Software Ciências da saúde Odontologia Epidemiologia Cuidados de saúde Medicina Enfermagem Farmácia Veterinária
Ciências formais Matemática Lógica Ciência da computação Inteligência artificial Estatística Linguística
Interdisciplinares Física aplicada Inteligência artificial Bioética Bioinformática Engenharia biomédica Bioestatística Ciência cognitiva Sistemas complexos Linguística computacional Cibernética Ciências do ambiente Psicologia evolucionista Engenharia florestal Saúde Biblioteconomia Lógica Ciência militar Modelo científico Análise de rede Neurociência Semiótica Sociobiologia Planeamento urbano
Filosofia e história Filosofia da ciência História da ciência Método científico Ciência Lixo Ciência marginal Pseudociência
Portal • Categoria

Modus ponens.

As ciências formais são os ramos da ciência que estudam os sistemas formais, como por exemplo, a lógica, matemática, teoria dos sistemas e os aspectos teóricos da ciência computacional, teoria da informação, microeconomia, teoria da decisão, estatística e linguística.

As ciências formais são construídas em cima de símbolos e regras.

A diferença entre as ciências formais e as ciências naturais é o fato das formais começarem com ideias teóricas que levam a outras ideias teóricas através do processo do pensamento, enquanto as naturais começam com a observação do mundo real que leva para modelos mais ou menos úteis para uma parte empírica da realidade. Nunca se aprende nada empírico através do estudo apenas das ciências formais. Nunca é possível provar nada empírico através do uso das ciências formais.

A matemática aplicada tenta aplicar alguns modelos matemáticos teóricos à realidade. Isso é possível dentro de certas limitações e com certas restrições e com certos limites de precisão.

Se o mapa e a realidade não se encaixam, é o mapa que está errado, e não a realidade. Um mapa é a representação teórica (modelo) da realidade.

História

O estudo das ciências aplicadas começou antes que o das ciências formais e a formulação do método científico, com o texto matemático mais antigo datando de 1800 a.C. (matemática babilônia), 1600 a.C. (matemática egípcia) e 1000 a.C. (matemática indiana). A partir daí diferentes culturas como os matemáticos indianos, gregos e islâmicos fizeram grandes contribuições à matemática, enquanto os chineses e japoneses desenvolveram independentemente suas próprias tradições matemáticas.

Além da matemática, a lógica é outro dos assuntos mais antigos das ciências formais. A lógica como uma análise explícita do método de raciocínio recebeu um constante desenvolvimento originalmente em três locais : Índia no século VI a.C., China no século V a.C., e Grécia entre o século IV a.C. e século I a.C.. O tratamento sofisticado da lógica moderna descende das tradições gregas, sendo informada da transmissão da lógica aristoteliana, que foi posteriormente desenvolvida pelos islâmicos. A tradição indiana também continuou até o período moderno. As tradições chinesas nativas não sobreviveram além da antiguidade, apesar da lógica indiana ter sido posteriormente adotado na China medieval.

Como as outras disciplinas das ciências formais dependem muito da matemática, elas não existiam até que a matemática tivesse se desenvolvido até um nível relativamente avançado. Pierre de Fermat e Blaise Pascal (1654), e Christiaan Huygens (1657) iniciaram os estudos iniciais de teoria da probabilidade (estatística) no século XVII.

Na metade do século XX, estudos baseados na matemática como investigação operacional e engenharia de sistemas foram desenvolvidos. O surgimento dos computadores deu um grande impulso a essas ciências e para a teoria da computação e teoria da informação, permitindo que o estudo de sistemas complexos além do alcance das técnicas matemáticas tradicionais. O desenvolvimento dessas disciplinas deixou claro que a matemática era apenas uma das muitas ciências formais.

Relação com a ciência

É discutível se as ciências formais são, além das ciências naturais e ciências sociais, o terceiro ramo da ciência, e algumas das disciplinas das ciências formais como matemática e estatística são por vezes referenciadas como ciências naturais. Por exemplo, Carl Friedrich Gauss se referiu a matemática como "a Rainha das Ciências". Em algumas universidades notáveis, por exemplo Imperial College London e Tokyo University, seus departamentos de matemática/estatística estão como ciência natural ou ciência.

A mudança constante da definição da palavra ciência pode ser a causa primária para essa confusão. No latim original e em outras línguas, a palavra correspondente a ciência significa (campo de) conhecimento. Não há duvidas portanto que a matemática é, nesse sentido, uma ciência. A especialização restringindo o significado do método científico moderno foi feita posteriormente.

A noção que as ciências formais são também ciências naturais é também atribuída para a proximidade da relação entre a ciência formal e disciplinas como a física e química. Atualmente, matemática e estatística são muito aplicadas nas ciências naturais e sociais e são essenciais para a maioria dos pesquisadores nessas áreas.

A intenção original dos pesquisadores em estudar matemática seria outra razão. Desde o início da história da matemática, até os séculos mais recentes, os matemáticos acreditavam que o mundo físico era construído de acordo com a matemática. Por exemplo, Pitágoras acreditava que tudo estava relacionado com a matemática e que os números eram a última realidade. Mais tarde, Isaac Newton também pensou que Deus usou a matemática para modelar o mundo, e assim o estudo da matemática seria idêntico ao estudo da natureza. Então não é surpresa que a matemática e outras ciências formais relacionadas tenham sido consideradas como ramos das ciências naturais.

Por outro lado, muitos pesquisadores se opõem a inclusão das ciências formais como um ramo das ciências. Eles admitem que a ciência formal é uma ferramenta muito poderosa para as ciências naturais e sociais, mas isso não significa que a ciência formal é uma ciência. O principal motivo para isso é a definição que eles têm de ciência: disciplinas que usam o método científico que possui como bases a observação e o estudo empírico. Como o conhecimento nas ciências formais são a priori e sempre construídas por leis de dedução de axiomas e definições sem nenhum estudo empírico, eles não aceitam classificar as ciências formais como um ramo das ciências.

Campos

É aceito consensualmente a inclusão da Matemática, Estatística, Lógica, Ciência da computação e Ciência de sistemas. Pela definição tradicional também seriam incluídas a Química e Física, mas apenas as vertentes teóricas das mesmas.