Știința formală este un set de cunoștințe raționale și ordonate, care studiază fenomenele din abstractizare și cu scopul generalizării legilor sau teoriilor.
Prin urmare, putem spune că sunt esențiale pentru cunoaștere. Datorită lor, acestea pot fi aplicate realității. Pe de altă parte, datorită abordării sale către cunoaștere, metoda utilizată este deducția.
Matematica și știința formală
Poate că matematica poate fi considerată știința formală prin excelență. Ei studiază structurile și relațiile abstracte. Pentru a-și atinge obiectivul, ei pleacă de la axiome care sunt dezvoltate prin raționament logic. Prin urmare, învățarea lor este esențială.
În plus, folosește un limbaj formal și universal care permite tuturor celor care îl cunosc să îl înțeleagă. În acest fel, toată lumea cunoaște cele mai frecvente simboluri, cum ar fi adunarea (+), scăderea (-) sau altele precum rădăcina pătrată sau o integrală.
Logică și știință formală
Logica este o ramură a filozofiei care studiază dovezile, erorile și mai multe întrebări similare. În cadrul său, partea legată de matematică își folosește sistemele formale pentru a ajunge la concluziile sale.
Prin urmare, în știința formală, logica este mai mult decât necesară. De fapt, este foarte frecvent în economie să se utilizeze acest tip de raționament. De exemplu, școala austriacă folosește praxeologia pentru studiile sale despre această știință socială.
Informatica
În acest caz, ne confruntăm cu o știință formală care studiază bazele teoretice ale calculului.
În acest fel, algoritmii, precum Google, se bazează pe preceptele formale menționate, aplicându-le la probleme reale.
Prin urmare, astăzi lumea digitală este posibilă datorită teoriei care stă la baza ei. Fără aceste aspecte teoretice, ei ar fi mers pe oarbă și cu riscul consecvent. De aici, importanța acestui tip de știință.
Exemplu științific formal
Să vedem, pentru a termina, câteva exemple care pot părea evidente, dar care reflectă perfect metoda deductivă utilizată în acest tip de știință.
- Să ne imaginăm că în biologie plecăm de la o axiomă. Oile nu zboară. Pe de altă parte, știm că animalele zburătoare au aripi. Deducerea este că oile nu vor avea aripi. Este evident, dar în realitate fenomenele sunt mult mai complicate.
- În criminologie. Criminalul era un bărbat negru. Principalul suspect este oriental. Acesta nu va fi ucigașul. Încă o dată realitatea este mult mai complexă, dar metoda este aceeași.
- Acest ultim exemplu ar fi opusul, folosind metoda inductivă. Bunicul meu a avut constipație, bunicul meu este un bărbat, bărbații se constipează. După cum putem vedea, în acest caz trecem de la particular la general.
Sunt exemple foarte simple, dar cu ele am vrut să arătăm cum funcționează metoda deductivă folosită în știința formală, spre deosebire de cea inductivă. De fapt, realitatea, așa cum am menționat anterior, este mult mai complexă. Desigur, de multe ori îl putem aborda cu simplitate.