Ciências formais

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.

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
v d e

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.