As ciência formal eles consistem em um corpo sistemático de conhecimento coerente e racional. Seu objetivo não é o mundo físico-natural, mas objetos totalmente abstratos; Porém, os conhecimentos das ciências formais podem ser aplicados na realidade físico-natural e são utilizados pelas ciências factuais ou empíricas..
O método usado pelas ciências formais é a dedução e, ao contrário das ciências factuais, as ciências formais não admitem abdução nem indução. Portanto, uma ciência formal trabalha com formas; ou seja, com objetos que só existem na mente humana e são obtidos por abstração.
Da mesma forma, a verdade para as ciências formais é entendida como uma verdade lógica: é uma série de consequências que se seguem após considerar todas as possibilidades ou as formas pelas quais os fatos pré-estabelecidos poderiam ter sido combinados. Neste contexto, exemplos de ciência formal podem ser matemática ou lógica.
Uma característica das ciências formais é que são ramos do conhecimento científico que estudam sistemas formais. Consequentemente, uma ciência formal valida sua teoria por meio de um conjunto de proposições, axiomas, definições e regras de inferência..
As ciências formais são todas analíticas. Isso os diferencia das ciências naturais e sociais, que são discutidas empiricamente; isto é, eles requerem observação do mundo real para encontrar evidências a favor de uma teoria. Em vez disso, o conhecimento formal da ciência é chamado de "teoremas" e vem de provas matemáticas..
Além disso, as regras ou leis estipuladas pelas ciências formais são sempre seguidas, qualquer que seja o caso. Conseqüentemente, são leis universais que não estudam fenômenos concretos, como ocorre com as ciências factuais. O conteúdo de uma ciência formal é vazio, uma vez que é mantido apenas na forma e nas relações causais.
Quanto às suas origens, alguns apontam que as ciências formais são tão antigas quanto a humanidade, pois desde o início o homem utilizou a matemática e a lógica para organizar seu mundo. No entanto, passaram a ser denominados dessa forma a partir da Idade Moderna, quando foram conceituados e classificados..
Índice do artigo
A seguir estão as características mais importantes das ciências formais:
- O método usado pelas ciências formais é o da dedução.
- O critério de uma ciência formal para estabelecer a verdade é baseado na consistência ou não contradição.
- Os enunciados de uma ciência formal são sempre analíticos, o que significa que são deduzidos por meio de teoremas ou postulados.
- Entidades formais de ciência só podem existir dentro da mente humana.
- Matemáticos e lógicos constroem seus próprios objetos de estudo por meio de símbolos vazios.
- A demonstração de uma ciência formal é completa, total e final.
- O estudo das ciências formais revigora o hábito do rigor.
Em termos gerais, pode-se dizer que o objeto de estudo das ciências formais são as formas; Eles podem ser apresentados como relacionamentos, abstrações ou objetos ideais que foram construídos na mente do homem..
Alguns cientistas afirmam que a ciência formal não está tão interessada no porquê dos fenômenos, mas sim se concentra no como; ou seja, a inclinação é para as formas e não para o conteúdo em si.
Em conclusão, as ciências formais -também conhecidas como ciências ideais- são aquelas que não enfocam o mundo ou a natureza, nem as leis químicas ou físicas que a regem..
Seu interesse reside nos sistemas formais de relações que não possuem conteúdo próprio, mas que podem ser utilizados durante a análise de qualquer aspecto da realidade..
Um exemplo do acima pode ser evidenciado com a física, que é uma ciência factual ou empírica que é responsável pelo estudo dos corpos, movimento, espaço e matéria. No entanto, a física usa a matemática -que é uma ciência formal- para realizar suas análises e conclusões..
A Estatística é uma disciplina formal encarregada de organizar, interpretar e processar uma série de dados para estabelecer certas características de uma determinada população ou objetivo social..
Segundo alguns autores, a estatística também pode ser definida como a ciência que estuda como as informações devem ser utilizadas em determinadas situações práticas que geram incertezas. Em algumas ocasiões, a estatística foi definida como "ciência de dados", porque coleta, classifica e interpreta esta última..
Da mesma forma, a estatística permite que o pesquisador tome como ponto de partida uma série de dados para realizar seu trabalho, garantindo a análise e obtenção objetiva de um conjunto de resultados..
As estatísticas podem ser divididas em dois grupos principais:
Consiste em um método que descreve numericamente um conjunto de dados. Portanto, sendo um método numérico, a estatística descritiva usa o número como uma técnica para descrever.
A principal característica deste tipo de estatística é que não permite tirar conclusões concretas; só dá resultados numéricos.
É responsável por estudar as probabilidades de sucesso dentro das diferentes soluções possíveis para um determinado problema. Além disso, a estatística inferencial cria um modelo matemático que deduz o comportamento da população com base nas conclusões obtidas durante a observação das amostras..
Em contraste com as estatísticas descritivas, as estatísticas dedutivas ou inferenciais permitem-nos tirar conclusões concretas.
A geometria é uma ciência formal que parte da matemática para estudar as medidas e propriedades de uma figura localizada em um espaço ou em um determinado plano. Por sua vez, a geometria usa sistemas axiomáticos ou formais para representar diferentes aspectos da realidade.
Esses sistemas axiomáticos são constituídos por símbolos que, respeitando certas regras, podem se unir e formar cadeias, que também podem estar ligadas entre si. Por exemplo, a geometria é baseada em noções abstratas como curvas, pontos e linhas, entre outros..
É importante destacar que a geometria é uma das disciplinas mais antigas que existem, pois suas origens remontam ao Egito Antigo. Na verdade, importantes matemáticos e estudiosos dependiam da geometria para desenvolver estudos sobre os volumes, áreas e comprimentos das coisas; entre esses sábios destacam-se Euclides e Heródoto.
Uma das figuras mais importantes nos estudos geométricos foi René Descartes, um físico e filósofo francês que propôs que a geometria de uma forma poderia ser expressa ou representada por equações.
A geometria pode ser dividida em dois ramos principais:
É um tipo de geometria que estuda as figuras por meio de um sistema de coordenadas. Este estudo faz isso usando metodologias de análise matemática.
A geometria descritiva consiste em um ramo que se dedica a resolver problemas espaciais por meio de operações que são expressas e desenvolvidas em um plano; neste são representadas certas figuras de objetos sólidos da realidade.
A lingüística teórica é uma ciência formal que vem da lingüística e se interessa pelos principais aspectos das línguas naturais, levando em consideração a estrutura da língua e as características do conhecimento lingüístico dos falantes..
Da mesma forma, pode-se estabelecer que a lingüística teórica é composta por outras disciplinas como semântica, fonologia, morfologia e fonética..
Essa ciência se baseia na construção de esquemas e teorias universais, que podem ser válidos para todas as línguas faladas no mundo. Consequentemente, a lingüística teórica não visa explicar certos fatos particulares de uma língua específica, mas sim aponta para a universalidade das estruturas lingüísticas..
Por isso, pode-se dizer que a lingüística teórica é uma ciência formal, pois, como a estatística, esta disciplina se encarrega de coletar dados que permitam a interpretação, análise e catalogação das estruturas gramaticais e fonológicas das línguas..
Além disso, este ramo da linguística emprega abstrações teóricas junto com esquemas complexos que não podem ser apreendidos na realidade, mas existem apenas como ideais na mente humana..
A inteligência artificial (IA) é um ramo da ciência da computação que consiste no processamento de uma série de dados abstratos realizados por máquinas; esses dados permitem que dispositivos eletrônicos realizem uma tarefa ou objetivo.
Ou seja, através de uma série de dados abstratos e numéricos, a inteligência artificial dá acesso às máquinas para que possam aprender, perceber, raciocinar ou resolver determinados problemas.
Alguns cientistas definem a inteligência artificial como um ramo computacional responsável por estudar modelos computacionais para que possam realizar atividades próprias do ser humano por meio de duas características principais: comportamento e raciocínio..
O termo "inteligência artificial" foi cunhado pelo cientista da computação John McCarthy em 1956, que estabeleceu que a IA é a ciência da engenhosidade, porque permite construir programas de computador inteligentes.
Ainda sem comentários