Formální věda je soubor racionálních a uspořádaných znalostí, které studují jevy z abstrakce as cílem zobecnit zákony nebo teorie.
Můžeme tedy říci, že jsou nezbytné pro poznání. Díky nim je lze aplikovat na realitu. Na druhou stranu, vzhledem ke svému přístupu ke znalostem je použitou metodou dedukce.
Matematika a formální věda
Možná lze matematiku považovat za formální vědu par excellence. Studují abstraktní struktury a vztahy. Aby dosáhli svého cíle, vycházejí z axiomů, které jsou vyvinuty logickým uvažováním. Proto je jejich učení zásadní.
Kromě toho používá formální a univerzální jazyk, který umožňuje každému, kdo jej zná, porozumět mu. Tímto způsobem každý zná nejčastější symboly, jako je sčítání (+), odčítání (-) nebo jiné, jako je odmocnina nebo integrál.
Logika a formální věda
Logika je obor filozofie, který studuje důkazy, omyly a další podobné otázky. V rámci ní část týkající se matematiky využívá své formální systémy k dosažení svých závěrů.
Proto je ve formální vědě logika více než nezbytná. Ve skutečnosti je v ekonomii velmi běžné používat tento typ uvažování. Například rakouská škola používá pro studium této společenské vědy praxeologii.
Počítačová věda
V tomto případě stojíme před formální vědou, která studuje teoretické základy výpočtu.
Tímto způsobem jsou algoritmy, jako jsou Google, založeny na zmíněných formálních předpisech, které je aplikují na skutečné problémy.
Proto je dnes digitální svět možný díky teorii, která je jeho základem. Bez těchto teoretických aspektů by šli slepě a s následným rizikem. Proto je důležitost tohoto typu vědy.
Příklad formální vědy
Podívejme se na závěr několik příkladů, které se mohou zdát zřejmé, ale které dokonale odrážejí deduktivní metodu používanou v tomto typu vědy.
- Představme si, že v biologii vycházíme z axiomu. Ovce nelétají. Na druhou stranu víme, že létající zvířata mají křídla. Dedukce je, že ovce nebudou mít křídla. Je to evidentní, ale ve skutečnosti jsou jevy mnohem komplikovanější.
- V kriminalistice. Vrah byl černý muž. Hlavní podezřelý je orientální. To nebude vrah. Realita je opět mnohem složitější, ale metoda je stejná.
- Tento poslední příklad by byl opačný, používající indukční metodu. Můj dědeček dostal zácpu, můj dědeček je muž, muži mají zácpu. Jak vidíme, v tomto případě přejdeme od konkrétního k obecnému.
Jsou to velmi jednoduché příklady, ale s nimi jsme chtěli ukázat, jak funguje deduktivní metoda používaná ve formální vědě, na rozdíl od indukční. Realita je ve skutečnosti, jak jsme již zmínili, mnohem složitější. Mnohokrát k tomu samozřejmě můžeme přistupovat jednoduše.