stiinta formala constau dintr-un corp sistematic de cunoaștere coerentă și rațională. Obiectivul său nu este lumea fizico-naturală, ci obiecte complet abstracte; Cu toate acestea, cunoștințele științelor formale pot fi aplicate în realitatea fizico-naturală și sunt utilizate de științele factuale sau empirice..
Metoda folosită de științele formale este deducția și, spre deosebire de științele de fapt, științele formale nu admit nici răpire, nici inducție. Prin urmare, o știință formală funcționează cu forme; adică cu obiecte care există doar în mintea umană și sunt obținute prin abstractizare.
La fel, 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 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 că acestea sunt ramuri ale cunoașterii ș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 științei formale este numită „teoreme” și provine din dovezi matematice..
Mai mult, regulile sau legile stipulate de științele formale sunt întotdeauna respectate, indiferent de caz. În consecință, acestea sunt legi universale care nu studiază fenomene concrete, așa cum se întâmplă cu științele de fapt. Conținutul unei științe formale este gol, deoarece este menținut numai în 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 numiți astfel din Epoca Modernă, când au fost conceptualizați și clasificați.
Indice articol
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 consistență sau non-contradicție.
- Afirmațiile unei științe formale sunt întotdeauna analitice, ceea ce înseamnă că sunt deduse prin teoreme sau postulate.
- Entitățile științifice formale pot exista numai î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 rigorii.
În termeni generali, se poate spune că obiectul de studiu al științelor formale sunt formele; Acestea pot fi prezentate ca relații, abstracții 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 motivele fenomenelor, ci mai degrabă se concentrează pe cum; 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 propriul conținut, 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..
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 a unui obiectiv social..
Potrivit unor autori, statisticile pot fi definite și ca știința care studiază modul în care informațiile ar trebui utilizate în anumite situații practice care generează incertitudini. În unele ocazii, statisticile au fost definite ca „știința datelor”, deoarece colectează, clasifică și interpretează aceasta din urmă..
De asemenea, statisticile permit cercetătorilor să ia ca punct de plecare o serie de date 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:
Constă dintr-o metodă care descrie numeric un set de date. Prin urmare, fiind o metodă numerică, statisticile descriptive folosesc numărul ca tehnică de descriere.
Principala caracteristică a acestui tip de statistici este că nu permite să se tragă concluzii concrete; dă doar rezultate numerice.
Este responsabil pentru studierea probabilităților de succes î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 probelor..
Spre deosebire de statisticile descriptive, statisticile deductive sau inferențiale ne permit să tragem concluzii concrete.
Geometria este o știință formală care începe 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 constituite din simboluri care, respectând anumite reguli, se 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 să rețineți că geometria este una dintre cele mai vechi discipline care există, deoarece originile sale datează din Egiptul Antic. De fapt, matematicieni și cărturari importanți s-au bazat pe geometrie pentru a dezvolta studii privind volumele, ariile și lungimile lucrurilor; printre acești înțelepți se remarcă 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 ar putea fi exprimată sau reprezentată prin ecuații.
Geometria poate fi împărțită în două ramuri principale:
Se compune dintr-un tip de geometrie care studiază figurile printr-un sistem de coordonate. Acest studiu face acest lucru folosind metodologii din analiza matematică.
Geometria descriptivă constă dintr-o ramură 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.
Lingvistica teoretică este o știință formală care provine din lingvistică și este interesată de principalele aspecte ale limbilor 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, cum ar fi semantica, fonologia, morfologia și fonetica..
Această știință se bazează pe construirea unor 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 limbi specifice, ci mai degrabă indică universalitatea structurilor lingvistice..
Din acest motiv, se poate spune că lingvistica teoretică este o știință formală, deoarece, la fel ca statisticile, această disciplină este însărcinată cu colectarea datelor care permit interpretarea, analiza și catalogarea structurilor gramaticale și fonologice ale limbilor.
Mai mult, această ramură a lingvisticii folosește abstracții teoretice împreună cu scheme complexe care nu pot fi reținute în realitate, dar există doar ca ideal în mintea umană..
Inteligența artificială (AI) este o ramură a informaticii care constă în prelucrarea unei serii de date abstracte efectuate 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ă 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 responsabilă de studierea modelelor computerizate, 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 pentru computer.
Nimeni nu a comentat acest articol încă.