CIÈNCIES FORMALS: CARACTERÍSTIQUES, OBJECTE D'ESTUDI I EXEMPLES - CIÈNCIA - 2025

Les ciències formals consisteixen en un conjunt sistemàtic de coneixements coherents i racionals. El seu objectiu no és el món físic-natural, sinó els objectes plenament abstractes; però, els coneixements de les ciències formals poden ser aplicats a la realitat físic-natural i són utilitzats per les ciències fàctiques o empíriques.

El mètode emprat per les ciències formals és la deducció i, a diferència de les ciències fàctiques, les formals no admeten ni l'abducció ni la inducció. Per tant, una ciència formal treballa amb les formes; és a dir, amb objectes que només existeixen en la ment humana i s'obtenen per abstracció.

Les matemàtiques són considerades una ciència formal. Font: pixabay.com

Així mateix, la veritat per a les ciències formals és entesa com una veritat lògica: es tracta d'una sèrie de conseqüències que segueixen després de considerar totes les possibilitats o les formes en les quals es van poder haver combinat els fets preestablerts. En aquest context, exemples de ciència formal poden ser la matemàtica o la lògica.

Una característica de les ciències formals és que són branques de el coneixement científic que estudien als sistemes formals. Per tant, una ciència formal valida la seva teoria mitjançant un conjunt de proposicions, axiomes, definicions i regles d'inferència.

Les ciències formals són totes analítiques. Això les diferència de les ciències naturals i socials, que són argumentades de manera empírica; és a dir, requereixen de l'observació de l'món real per a trobar evidència a favor d'una teoria. En canvi, els coneixements de les ciències formals són anomenats "teoremes" i procedeixen de demostracions matemàtiques.

A més, les regles o lleis estipulades per les ciències formals sempre es compleixen, sense importar quin sigui el cas. En conseqüència, es tracta de lleis universals que no estudien fenòmens concrets, com passa amb les ciències fàctiques. El contingut d'una ciència formal és buit, ja que es manté només en la forma i en les relacions causals.

Quant als seus orígens, alguns assenyalen que les ciències formals són tan antigues com la humanitat, ja que des del començament l'home s'ha servit de les matemàtiques i de la lògica per organitzar el seu món. No obstant això, van començar a cridar-se així a partir de l'Edat Moderna, quan van ser conceptualitzades i classificades.

Característiques

A continuació s'esmenten les característiques més importants de les ciències formals:

- El mètode que empren les ciències formals és el de la deducció.

- El criteri d'una ciència formal per establir la veritat es basa en la consistència o en la no contradicció.

- Els enunciats d'una ciència formal sempre són analítics, el que vol dir que es dedueixen a través de teoremes o postulats.

- Les entitats de les ciències formals només poden existir dins de la ment humana.

- Els matemàtics i els lògics construeixen els seus propis objectes d'estudi a través de símbols buits.

- La demostració d'una ciència formal és completa, total i final.

- L'estudi de les ciències formals vigoritza l'hàbit de rigor.

Objecte d'estudi

En línies generals, es pot dir que l'objecte d'estudi de les ciències formals són les formes; aquestes es poden presentar com a relacions, abstraccions o objectes ideals que han estat construïts en la ment de l'home.

Alguns científics asseguren que la ciència formal no s'interessa tant en el perquè dels fenòmens, sinó que s'enfoca en el com; és a dir, la inclinació està cap a les formes i no al contingut en si.

En conclusió, les ciències formals -també conegudes com ciències ideals- són aquelles que no s'enfoquen en el món o la natura, tampoc en les lleis químiques o físiques que la regeixen.

El seu interès reposa en els sistemes formals de relacions que no compten amb contingut propi, però que poden ser utilitzats durant l'anàlisi de qualsevol aspecte de la realitat.

Un exemple d'això pot evidenciar-se amb la física, que és una ciència fàctica o empírica que s'encarrega de l'estudi dels cossos, el moviment, l'espai i la matèria. No obstant això, la física es val de les matemàtiques -que és una ciència formalment per dur a terme les seves anàlisis i conclusions.

Exemples de ciències formals

-La estadística

L'estadística és una disciplina formal encarregada d'organitzar, interpretar i processar una sèrie de dades amb la finalitat d'establir certes característiques d'una determinada població o objectiu social.

Segons alguns autors, l'estadística també pot definir com la ciència que estudia de quina manera s'hauria de fer servir la informació en certes situacions pràctiques que generen incerteses. En algunes ocasions l'estadística ha estat definida com "la ciència de les dades", perquè recol·lecta, classifica i interpreta aquests últims.

Així mateix, l'estadística els permet als investigadors prendre com a punt de partida una sèrie de dades per emprendre els seus treballs, garantint l'anàlisi i l'obtenció objectiva d'un conjunt de resultats.

L'estadística es pot dividir en dos grups principals:

Estadística descriptiva

Consisteix en un mètode que descriu de forma numèrica un conjunt de dades. Per tant, a l'tractar-se d'un mètode numèric, l'estadística descriptiva empra el nombre com a tècnica per descriure.

La característica principal d'aquest tipus d'estadística és que no permet extreure conclusions concretes; només ofereix resultats numèrics.

Estadística deductiva, analítica o inferencial

S'encarrega d'estudiar les probabilitats d'èxit dins de les diferents possibles solucions a un problema en particular. A més, l'estadística inferencial crea un model matemàtic que dedueix el comportament poblacional partint de les conclusions obtingudes durant l'observació de les mostres.

Per contra a l'estadística descriptiva, l'estadística deductiva o inferencial si permet extreure conclusions concretes.

-La geometria

La geometria és una ciència formal que parteix de les matemàtiques per estudiar les mesures i les propietats d'una figura localitzada en un espai o en un pla determinat. Al seu torn, la geometria recorre a uns sistemes axiomàtics o formals per poder representar diferents aspectes de la realitat.

Aquests sistemes axiomàtics estan constituïts per uns símbols que, respectant certes regles, poden unir-se i formar cadenes, que a més es poden vincular entre si. Per exemple, la geometria es basa en nocions abstractes com corbes, punts i rectes, entre d'altres.

És important acotar que la geometria és una de les disciplines més antigues que existeixen, ja que els seus orígens es remunten a l'Antic Egipte. De fet, importants matemàtics i estudiosos es van basar en la geometria per desenvolupar estudis sobre els volums, les àrees i les longituds de les coses; entre aquests savis destaquen Euclides i Heròdot.

Una de les figures més importants dins dels estudis geomètrics va ser René Descartes, un físic i filòsof francès que va proposar que la geometria d'una manera podia expressar-se o ser representada mitjançant les equacions.

La geometria es pot dividir en dues branques principals:

geometria analítica

Consisteix en un tipus de geometria que estudia les figures a través d'un sistema de coordenades. Aquest estudi ho fa mitjançant l'ús de metodologies procedents d'anàlisi matemàtics.

geometria descriptiva

La geometria descriptiva consisteix en una branca que es dedica a la solució de problemes espacials a través d'operacions que s'expressen i es desenvolupen en un pla; en aquest es troben representades certes figures provinents d'objectes sòlids de la realitat.

-La lingüística teòrica

La lingüística teòrica és una ciència formal que procedeix de la lingüística i que s'interessa en els aspectes principals de les llengües naturals, tenint en compte l'estructura de l'llenguatge i les característiques dels coneixements lingüístics dels parlants.

Així mateix, es pot establir que la lingüística teòrica està conformada per altres disciplines com la semàntica, la fonologia, la morfologia i la fonètica.

Aquesta ciència es basa en la construcció d'esquemes i teories universals, que poden ser vàlids per a totes les llengües parlades al món. En conseqüència, la lingüística teòrica no té com a objectiu explicar certs fets particulars d'un idioma en concret, sinó que apunta a la universalitat de les estructures lingüístiques.

Per aquesta raó es pot afirmar que la lingüística teòrica és una ciència formal ja que, a l'igual que l'estadística, aquesta disciplina s'encarrega de recopilar dades que permeten interpretar, analitzar i catalogar les estructures gramaticals i fonològiques de les llengües.

A més, aquesta branca de la lingüística empra abstraccions teòriques juntament amb esquemes complexos que no poden ser confiscats en la realitat, sinó que existeixen solament com a ideal en la ment humana.

-La intel·ligència artificial

La intel·ligència artificial (IA) és una branca de la ciència de la computació que consisteix en el processament d'una sèrie de dades abstractes realitzats per les màquines; aquestes dades els permeten als artefactes electrònics realitzar una tasca o objectiu.

En altres paraules, mitjançant una sèrie de dades abstractes i numèrics, la intel·ligència artificial li dóna l'accés a les màquines perquè aquestes puguin aprendre, percebre, raonar o resoldre certs problemes.

Alguns científics defineixen a la intel·ligència artificial com una branca computacional que s'encarrega d'estudiar els models de còmput perquè aquests puguin realitzar activitats que són pròpies dels éssers humans a través de dues característiques principals: la conducta i el raonament.

El terme "intel·ligència artificial" va ser encunyat per l'informàtic John McCarthy en 1956, que va establir que la IA és la ciència de l'enginy, perquè permet construir programes de còmputs intel·ligents.

referències

1. Castañeda, J. (sd) Característiques de les ciències formals o ideals. Recuperat el 8 d'agost de 2019 de Característiques de la ciència: caracteristicasdeciencia.blogspot.com
2. Lowe, B. (2002) The formal sciences. Recuperat el 8 d'agost de 2019 de JSTOR: jstor.org
3. Raffino, M. (2018) Concepte de ciències formals. Recuperat el 8 d'agost de 2019 de Concepte: concepto.de
4. SA (sf) Ciències formals. Recuperat 8 agost 2019 de Wikipedia: es.wikipedia.org
5. SA (sf) Concepte de ciències formals. Recuperat el 8 d'agost de De Conceptes: deconceptos.com
6. SA (sf.) What does formal science pixen? Recuperat 8 agost 2019 de Definitions: definitions.net
7. Soledispa, A. (sf) Característiques de les ciències formals i fàctiques. Recuperat el 8 d'agost de 2019 d'Acadèmia: academia.edu
8. SA (sf) Què és l'estadística? Tipus i objectius. Recuperat l'11 d'agost de 2019 de Gestiopolis: Gestiopolis.com
9. SA (2018). Què és el Theoretical linguistics? Recuperat l'11 d'agost de 2019 de Quora: quora.com
10. Tegmark, M. Benefits and risks of artificial intelligence. Recuperat l'11 d'agost de 2019 de Future of life: futureoflife.org
11. Figueres, C. (Sf) Geometria. Recuperat l'11 d'agost de 2019 de Monografies: Monografías.com