Ciências formais: características, objeto de estudo e exemplos

As ciências formais consistem em um conjunto sistemático de conhecimento coerente e racional. Seu objetivo não é o mundo físico-natural, mas os objetos totalmente abstratos; No entanto, o conhecimento das ciências formais pode ser aplicado na realidade físico-natural e é usado pelas ciências factuais ou empíricas.

O método usado pelas ciências formais é a dedução e, diferentemente das ciências factuais, as formais não admitem abdução nem indução. Portanto, uma ciência formal trabalha com formas; isto é, com objetos que existem apenas na mente humana e são obtidos por abstração.

Ciências formais: características, objeto de estudo e exemplos 1

A matemática é considerada uma ciência formal. Fonte: pixabay.com

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 maneiras pelas quais os fatos pré-estabelecidos poderiam ter sido combinados. Nesse contexto, exemplos de ciência formal podem ser matemática ou lógica.

Uma característica das ciências formais é que elas são ramos do conhecimento científico que estudam sistemas formais. Portanto, 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 empiricamente discutidas; isto é, eles exigem observação do mundo real para encontrar evidências a favor de uma teoria. Em vez disso, o conhecimento da ciência formal é chamado de “teoremas” e provém de provas matemáticas.

Além disso, as regras ou leis estipuladas pelas ciências formais são sempre respeitadas, independentemente do caso. Consequentemente, são leis universais que não estudam fenômenos específicos, como é o caso das ciências factuais. O conteúdo de uma ciência formal é vazio, pois permanece 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 usou a matemática e a lógica para organizar seu mundo. No entanto, eles começaram a receber o nome da Era Moderna, quando foram conceituados e classificados.

Caracteristicas

As características mais importantes das ciências formais são mencionadas abaixo:

– 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.

– As afirmações de uma ciência formal são sempre analíticas, o que significa que são deduzidas através de teoremas ou postulados.

– As entidades das ciências formais só podem existir dentro da mente humana.

Relacionado:  Isaac Newton: Biografia e Contribuições

– Matemáticos e lógicos constroem seus próprios objetos de estudo através 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.

Objeto de estudo

Em geral, pode-se dizer que o objeto de estudo das ciências formais são as formas; Estes podem ser apresentados como relacionamentos, abstrações ou objetos ideais que foram construídos na mente do homem.

Alguns cientistas dizem que a ciência formal não está tão interessada nas razões dos fenômenos, mas se concentra em como; isto é, a inclinação é para as formas e não para o próprio conteúdo.

Em conclusão, as ciências formais – também conhecidas como ciências ideais – são aquelas que não se concentram no mundo ou na natureza, nem nas leis químicas ou físicas que o governam.

Seu interesse reside em sistemas formais de relacionamento 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 exposto acima pode ser evidenciado pela física, que é uma ciência factual ou empírica responsável pelo estudo dos corpos, movimentos, 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.

Exemplos de ciências formais

-A estatística

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 a informação deve ser usada em determinadas situações práticas que geram incertezas. Em algumas ocasiões, as estatísticas foram definidas como “a ciência dos dados”, porque coleta, classifica e interpreta os últimos.

Da mesma forma, as estatísticas permitem que os pesquisadores tomem como ponto de partida uma série de dados para realizar seu trabalho, garantindo a análise objetiva e a obtenção de um conjunto de resultados.

As estatísticas podem ser divididas em dois grupos principais:

Estatística descritiva

Consiste em um método que descreve numericamente um conjunto de dados. Portanto, por ser um método numérico, a estatística descritiva usa o número como uma técnica para descrever.

A principal característica desse tipo de estatística é que ela não permite tirar conclusões concretas; Ele oferece apenas resultados numéricos.

Estatísticas dedutivas, analíticas ou inferenciais

É responsável por estudar as probabilidades de sucesso nas diferentes soluções possíveis para um problema específico. 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.

Relacionado:  O que é um ângulo perigonal? 5 exemplos para entender

Em contraste com a estatística descritiva, a estatística dedutiva ou inferencial nos permite tirar conclusões concretas.

-A geometria

A geometria é uma ciência formal que parte da matemática para estudar as medidas e propriedades de uma figura localizada em um determinado espaço ou 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 ser unidos e formar cadeias, que também podem ser ligadas entre si. Por exemplo, a geometria é baseada em noções abstratas, como curvas, pontos e linhas, entre outras.

É importante notar que a geometria é uma das disciplinas mais antigas que existem, desde que suas origens remontam ao Egito Antigo. De fato, matemáticos e estudiosos importantes confiavam na geometria para desenvolver estudos sobre os volumes, áreas e comprimentos das coisas; Esses homens sábios incluem Euclides e Heródoto.

Uma das figuras mais importantes nos estudos geométricos foi René Descartes, físico e filósofo francês que propôs que a geometria de uma forma pudesse ser expressa ou representada por equações.

A geometria pode ser dividida em dois ramos principais:

Geometria analítica

Consiste em um tipo de geometria que estuda as figuras através de um sistema de coordenadas. Este estudo é realizado através do uso de metodologias de análise matemática.

Geometria descritiva

A geometria descritiva consiste em um ramo dedicado à solução de problemas espaciais por meio de operações que são expressas e desenvolvidas em um plano; nisso, certas figuras de objetos sólidos da realidade são representadas.

-Lingüística teórica

A linguística teórica é uma ciência formal que provém da linguí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 linguístico dos falantes.

Da mesma forma, pode-se estabelecer que a linguística teórica é composta de outras disciplinas, como semântica, fonologia, morfologia e fonética.

Esta ciência é baseada 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 tem a intenção de explicar certos fatos particulares de uma língua específica, mas aponta para a universalidade das estruturas lingüísticas.

Relacionado:  Quais são as variáveis ​​de pesquisa?

Por esse motivo, pode-se dizer que a lingüística teórica é uma ciência formal, pois, como a estatística, essa disciplina é responsável pela coleta de dados que permitem interpretar, analisar e catalogar as estruturas gramaticais e fonológicas das línguas.

Além disso, esse ramo da linguística emprega abstrações teóricas juntamente com esquemas complexos que não podem ser apreendidos na realidade, mas existem apenas como um ideal na mente humana.

Inteligência artificial

A inteligência artificial (IA) é um ramo da ciência da computação que envolve o processamento de uma série de dados abstratos feitos por máquinas; Esses dados permitem que dispositivos eletrônicos executem uma tarefa ou objetivo.

Em outras palavras, por meio de uma série de dados abstratos e numéricos, a inteligência artificial fornece acesso às máquinas para que elas possam aprender, perceber, raciocinar ou resolver determinados problemas.

Alguns cientistas definem a inteligência artificial como um ramo computacional responsável pelo estudo de modelos computacionais para que eles possam realizar atividades características dos seres humanos através 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 a construção de programas de computador inteligentes.

Referências

  1. Castañeda, J. (sf) Características das ciências formais ou ideais . Retirado em 8 de agosto de 2019 de Características da ciência: caracteristicasdeciencia.blogspot.com
  2. Lowe, B. (2002 ) As ciências formais . Retirado em 8 de agosto de 2019 de Jstor: jstor.org
  3. Raffino, M. (2018) Conceito de ciências formais . Recuperado em 8 de agosto de 2019 de Concept: concept.de
  4. SA (sf) Ciências formais. Retirado em 8 de agosto de 2019 da Wikipedia: en.wikipedia.org
  5. SA (sf) Conceito de ciências formais. Retirado em 8 de agosto de De Conceptos: deconceptos.com
  6. SA (sf .) O que significa ciência formal? Retirado em 8 de agosto de 2019 de Definições: definition.net
  7. Soledispa, A. (sf) Características das ciências formais e factuais . Retirado em 8 de agosto de 2019 de Academia: academia.edu
  8. SA (sf) O que é estatística? Tipos e objetivos . Retirado em 11 de agosto de 2019 de Gestiopolis: Gestiopolis.com
  9. SA (2018). O que é lingüística teórica? Retirado em 11 de agosto de 2019 de Quora: quora.com
  10. Tegmark, M. Benefícios e riscos da inteligência artificial . Retirado em 11 de agosto de 2019 de Future of life: futureoflife.org
  11. Figueras, C. (Sf) Geometria . Retirado em 11 de agosto de 2019 de Monographs: monographs.com

Deixe um comentário