Formell vetenskap är en uppsättning rationell och ordnad kunskap som studerar fenomen från abstraktion och i syfte att generalisera lagar eller teorier.
Därför kan vi säga att de är väsentliga för kunskap. Tack vare dem kan dessa tillämpas på verkligheten. Å andra sidan, på grund av sitt förhållningssätt till kunskap, är metoden som används deduktion.
Matematik och formell vetenskap
Kanske kan matematik betraktas som den formella vetenskapen vid excellens. De studerar abstrakta strukturer och relationer. För att uppnå sitt mål utgår de från axiom som utvecklas genom logiskt resonemang. Därför är deras lärande viktigt.
Dessutom använder den ett formellt och universellt språk som gör det möjligt för alla som känner det att förstå det. På det här sättet känner alla till de vanligaste symbolerna, som tillägget (+), subtraktionen (-) eller andra som kvadratroten eller en integral.
Logik och formell vetenskap
Logik är en gren av filosofin som studerar bevis, misstag och mer liknande frågor. Inom den använder den del som rör matematik sina formella system för att nå sina slutsatser.
Därför, i formell vetenskap, är logik mer än nödvändigt. I själva verket är det mycket vanligt i ekonomin att använda denna typ av resonemang. Till exempel använder den österrikiska skolan praxeologi för sina studier om denna samhällsvetenskap.
Datavetenskap
I det här fallet står vi inför en formell vetenskap som studerar de teoretiska grunderna för databehandling.
På detta sätt bygger algoritmer, som Googles, på de nämnda formella föreskrifterna och tillämpar dem på verkliga problem.
Därför är den digitala världen idag möjlig tack vare teorin som ligger till grund för den. Utan dessa teoretiska aspekter hade de gått blindt och med den därmed följande risken. Därför betydelsen av denna typ av vetenskap.
Formellt vetenskapligt exempel
Låt oss till slut se några exempel som kan verka uppenbara men som perfekt återspeglar den deduktiva metoden som används i denna typ av vetenskap.
- Låt oss föreställa oss att i biologin börjar vi från ett axiom. Får flyger inte. Å andra sidan vet vi att flygande djur har vingar. Avdraget är att får inte kommer att ha vingar. Det är uppenbart, men i verkligheten är fenomenen mycket mer komplicerade.
- I kriminologi. Mördaren var en svart hane. Huvudmisten är orientalisk. Det här blir inte mördaren. Än en gång är verkligheten mycket mer komplex, men metoden är densamma.
- Det sista exemplet skulle vara motsatsen med den induktiva metoden. Min farfar fick förstoppning, min farfar är en man, män blir förstoppade. Som vi kan se går vi i detta fall från det specifika till det allmänna.
De är mycket enkla exempel, men med dem ville vi visa hur den deduktiva metoden som används i formell vetenskap fungerar, i motsats till den induktiva. Faktum är att verkligheten, som vi har nämnt tidigare, är mycket mer komplex. Naturligtvis kan vi många gånger närma oss det med enkelhet.