- caracteristici
- Obiectul studiului
- Exemple de știință formală
- -Statistici
- Statisticile descriptive
- Statistici deductive, analitice sau inferențiale
- -Geometria
- Geometria analitică
- Geometrie descriptivă
- -Lingistică teoretică
- -Inteligență artificială
- Referințe
În științele formale constau într - un corp sistematic de cunoștințe coerente și raționale. Obiectivul său nu este lumea fizico-naturală, ci obiectele pe deplin abstracte; Cu toate acestea, cunoașterea științelor formale poate fi aplicată în realitatea fizico-naturală și sunt utilizate de științele faptice sau empirice.
Metoda folosită de științele formale este deducția și, spre deosebire de științele factuale, științele formale nu admit nici răpirea, nici inducerea. Prin urmare, o știință formală funcționează cu forme; adică cu obiecte care există doar în mintea umană și sunt obținute prin abstractizare.
Matematica este considerată o știință formală. Sursa: pixabay.com
De asemenea, adevărul pentru științele formale este înțeles ca un adevăr logic: este o serie de consecințe care urmează după luarea în considerare a tuturor posibilităților sau a modurilor în care faptele prestabilite ar fi putut fi combinate. În acest context, exemple de știință formală pot fi matematica sau logica.
O caracteristică a științelor formale este aceea că sunt ramuri ale cunoștințelor științifice care studiază sistemele formale. În consecință, o știință formală își validează teoria printr-un set de propoziții, axiome, definiții și reguli de inferență.
Științele formale sunt toate analitice. Acest lucru îi diferențiază de științele naturale și sociale, care sunt argumentate empiric; adică necesită observarea lumii reale pentru a găsi dovezi în favoarea unei teorii. În schimb, cunoașterea formală a științei se numește „teoreme” și provine din dovezi matematice.
În plus, regulile sau legile prevăzute de științele formale sunt întotdeauna respectate, indiferent de caz. În consecință, sunt legi universale care nu studiază fenomenele concrete, așa cum se întâmplă cu științele faptice. Conținutul unei științe formale este gol, deoarece este menținut doar sub formă și în relațiile cauzale.
În ceea ce privește originile sale, unii subliniază că științele formale sunt la fel de vechi ca umanitatea, deoarece de la început omul a folosit matematica și logica pentru a-și organiza lumea. Cu toate acestea, au început să fie numite astfel din epoca modernă, când au fost conceptualizate și clasificate.
caracteristici
Următoarele sunt cele mai importante caracteristici ale științelor formale:
- Metoda folosită de științele formale este cea a deducției.
- Criteriul unei științe formale pentru a stabili adevărul se bazează pe consecvență sau non-contradicție.
- Enunțurile unei științe formale sunt întotdeauna analitice, ceea ce înseamnă că sunt deduse prin teoreme sau postulate.
- Entitățile științelor formale pot exista doar în mintea umană.
- Matematicienii și logicienii își construiesc propriile obiecte de studiu prin simboluri goale.
- Demonstrația unei științe formale este completă, totală și finală.
- Studiul științelor formale revigorează obiceiul rigurozității.
Obiectul studiului
În linii generale, se poate spune că obiectul de studiu al științelor formale sunt formele; Acestea pot fi prezentate ca relații, abstractizări sau obiecte ideale care au fost construite în mintea omului.
Unii oameni de știință susțin că știința formală nu este atât de interesată de motivul fenomenelor, ci se concentrează mai degrabă asupra modului în care; adică înclinația este spre forme și nu spre conținutul în sine.
În concluzie, științele formale - cunoscute și sub numele de științe ideale - sunt cele care nu se concentrează asupra lumii sau naturii și nici asupra legilor chimice sau fizice care o guvernează.
Interesul său constă în sistemele formale de relații care nu au un conținut propriu, dar care pot fi utilizate în timpul analizei oricărui aspect al realității.
Un exemplu din cele de mai sus poate fi evidențiat cu fizica, care este o știință faptică sau empirică care este responsabilă pentru studiul corpurilor, mișcării, spațiului și materiei. Cu toate acestea, fizica folosește matematica - care este o știință formală - pentru a-și efectua analizele și concluziile.
Exemple de știință formală
-Statistici
Statistica este o disciplină formală însărcinată cu organizarea, interpretarea și prelucrarea unei serii de date pentru a stabili anumite caracteristici ale unei anumite populații sau obiective sociale.
După unii autori, statisticile pot fi definite și drept știința care studiază modul în care informațiile trebuie utilizate în anumite situații practice care generează incertitudini. În unele ocazii, statisticile au fost definite drept „știința datelor”, deoarece le colectează, clasifică și interpretează acestea din urmă.
De asemenea, statisticile permit cercetătorilor să ia o serie de date ca punct de plecare pentru a-și desfășura activitatea, garantând analiza și obținerea obiectivă a unui set de rezultate.
Statisticile pot fi împărțite în două grupe principale:
Statisticile descriptive
Constă dintr-o metodă care descrie numeric un set de date. Prin urmare, fiind o metodă numerică, statisticile descriptive utilizează numărul ca tehnică pentru a descrie.
Principala caracteristică a acestui tip de statistici este aceea că nu permite să tragă concluzii concrete; oferă numai rezultate numerice.
Statistici deductive, analitice sau inferențiale
Este responsabil de studierea probabilităților de reușită în cadrul diferitelor soluții posibile la o anumită problemă. În plus, statisticile inferențiale creează un model matematic care deduce comportamentul populației pe baza concluziilor obținute în timpul observării eșantioanelor.
Spre deosebire de statisticile descriptive, statisticile deductive sau inferențiale ne permit să tragem concluzii concrete.
-Geometria
Geometria este o știință formală care pornește de la matematică pentru a studia măsurătorile și proprietățile unei figuri situate într-un spațiu sau pe un anumit plan. La rândul său, geometria folosește sisteme axiomatice sau formale pentru a reprezenta diferite aspecte ale realității.
Aceste sisteme axiomatice sunt alcătuite din simboluri care, respectând anumite reguli, pot uni și forma lanțuri, care pot fi, de asemenea, legate între ele. De exemplu, geometria se bazează pe noțiuni abstracte precum curbe, puncte și linii, printre altele.
Este important de menționat că geometria este una dintre cele mai vechi discipline care există, deoarece originile sale datează din Egiptul Antic. De fapt, importanți matematicieni și savanți au apelat la geometrie pentru a dezvolta studii asupra volumelor, a zonelor și a lungimilor lucrurilor; printre acești înțelepți se evidențiază Euclides și Herodot.
Una dintre cele mai importante figuri din studiile geometrice a fost René Descartes, un fizician și filozof francez care a propus că geometria unei forme poate fi exprimată sau reprezentată prin ecuații.
Geometria poate fi împărțită în două ramuri principale:
Geometria analitică
Este format dintr-un tip de geometrie care studiază figurile printr-un sistem de coordonate. Acest studiu face acest lucru prin utilizarea metodologiilor din analiza matematică.
Geometrie descriptivă
Geometria descriptivă constă dintr-o ramură care este dedicată rezolvării problemelor spațiale prin operații care sunt exprimate și dezvoltate pe un plan; în aceasta sunt reprezentate anumite figuri din obiecte solide ale realității.
-Lingistică teoretică
Lingvistica teoretică este o știință formală care provine din lingvistică și care este interesată de aspectele principale ale limbajelor naturale, ținând cont de structura limbii și de caracteristicile cunoștințelor lingvistice ale vorbitorilor.
De asemenea, se poate stabili că lingvistica teoretică este alcătuită din alte discipline precum semantica, fonologia, morfologia și fonetica.
Această știință se bazează pe construcția de scheme și teorii universale, care pot fi valabile pentru toate limbile vorbite în lume. În consecință, lingvistica teoretică nu urmărește să explice anumite fapte particulare ale unei anumite limbi, ci mai degrabă indică universalitatea structurilor lingvistice.
Din acest motiv, se poate spune că lingvistica teoretică este o știință formală, deoarece, ca și statisticile, această disciplină este responsabilă de colectarea datelor care ne permit să interpretăm, analizăm și catalogăm structurile gramaticale și fonologice ale limbilor.
Mai mult, această ramură a lingvisticii folosește abstractizări teoretice împreună cu scheme complexe care nu pot fi percepute în realitate, dar există doar la fel de ideale în mintea umană.
-Inteligență artificială
Inteligența artificială (AI) este o ramură a informaticii care constă în prelucrarea unei serii de date abstracte realizate de mașini; Aceste date permit dispozitivelor electronice să îndeplinească o sarcină sau un obiectiv.
Cu alte cuvinte, printr-o serie de date abstracte și numerice, inteligența artificială vă oferă acces la mașini, astfel încât acestea să poată învăța, percepe, raționa sau rezolva anumite probleme.
Unii oameni de știință definesc inteligența artificială ca o ramură de calcul care este responsabilă de studierea modelelor de calculator, astfel încât să poată desfășura activități tipice ființelor umane prin două caracteristici principale: comportamentul și raționamentul.
Termenul „inteligență artificială” a fost inventat de informaticianul John McCarthy în 1956, care a stabilit că AI este știința ingeniozității, deoarece permite construirea de programe inteligente de calculator.
Referințe
- Castañeda, J. (sf) Caracteristicile științelor formale sau ideale. Adus pe 8 august 2019 din Caracteristicile științei: caracteristicasdeciencia.blogspot.com
- Lowe, B. (2002) Științele formale. Preluat pe 8 august 2019 de la Jstor: jstor.org
- Raffino, M. (2018) Conceptul de științe formale. Preluat pe 8 august 2019 din Concept: concept.de
- SA (sf) Științe formale. Adus 8 august 2019 de pe Wikipedia: es.wikipedia.org
- SA (sf) Conceptul de științe formale. Preluat pe 8 august de la De Conceptos: deconceptos.com
- SA (sf.) Ce înseamnă știința formală? Adus 8 august 2019 din Definiții: definiții.net
- Soledispa, A. (sf) Caracteristicile științelor formale și faptice. Preluat pe 8 august 2019 de la Academia: academia.edu
- SA (sf) Ce este statistica? Tipuri și obiective. Preluat pe 11 august 2019 de la Gestiopolis: Gestiopolis.com
- SA (2018). Ce este lingvistica teoretică? Preluat pe 11 august 2019 de la Quora: quora.com
- Tegmark, M. Beneficiile și riscurile inteligenței artificiale. Preluat pe 11 august 2019 din Viitorul vieții: futureoflife.org
- Figueras, C. (Sf) Geometrie. Preluat pe 11 august 2019 de pe Monografii: monogramas.com