Nauka formalna jest zbiorem racjonalnej i uporządkowanej wiedzy, która bada zjawiska z abstrakcji i ma na celu uogólnienie praw lub teorii.
Dlatego możemy powiedzieć, że są niezbędne dla wiedzy. Dzięki nim można je zastosować do rzeczywistości. Z drugiej strony, ze względu na podejście do wiedzy, stosowaną metodą jest dedukcja.
Matematyka i nauki formalne
Być może matematykę można uznać za formalną naukę par excellence. Badają abstrakcyjne struktury i relacje. Aby osiągnąć swój cel, zaczynają od aksjomatów, które są rozwijane poprzez logiczne rozumowanie. Dlatego ich nauka jest niezbędna.
Ponadto używa formalnego i uniwersalnego języka, który pozwala zrozumieć go każdemu, kto go zna. W ten sposób każdy zna najczęstsze symbole, takie jak dodawanie (+), odejmowanie (-) lub inne, jak pierwiastek kwadratowy czy całka.
Logika i nauka formalna
Logika to gałąź filozofii, która bada dowody, błędy i inne podobne pytania. W jej ramach część związana z matematyką wykorzystuje swoje systemy formalne do wyciągania wniosków.
Dlatego w nauce formalnej logika jest więcej niż konieczna. W rzeczywistości w ekonomii bardzo często stosuje się tego typu rozumowanie. Na przykład szkoła austriacka wykorzystuje prakseologię do swoich badań nad tą nauką społeczną.
Informatyka
W tym przypadku mamy do czynienia z nauką formalną, która bada teoretyczne podstawy obliczeń.
W ten sposób algorytmy, takie jak Google, opierają się na wspomnianych formalnych zasadach, stosując je do rzeczywistych problemów.
Dlatego dziś cyfrowy świat jest możliwy dzięki teorii, która go u podstaw. Bez tych teoretycznych aspektów szliby na oślep iz wynikającym z tego ryzykiem. Stąd znaczenie tego typu nauki.
Formalny przykład nauki
Na koniec zobaczmy kilka przykładów, które mogą wydawać się oczywiste, ale doskonale odzwierciedlają metodę dedukcyjną stosowaną w tego typu nauce.
- Wyobraźmy sobie, że w biologii zaczynamy od aksjomatu. Owce nie latają. Z drugiej strony wiemy, że zwierzęta latające mają skrzydła. Wniosek jest taki, że owce nie będą miały skrzydeł. To oczywiste, ale w rzeczywistości zjawiska są znacznie bardziej skomplikowane.
- W kryminologii. Mordercą był czarny mężczyzna. Główny podejrzany jest orientalny. To nie będzie zabójca. Po raz kolejny rzeczywistość jest znacznie bardziej złożona, ale metoda jest taka sama.
- Ten ostatni przykład byłby odwrotny, przy użyciu metody indukcyjnej. Mój dziadek ma zaparcia, mój dziadek jest mężczyzną, mężczyźni mają zaparcia. Jak widać, w tym przypadku przechodzimy od szczegółu do ogółu.
Są to bardzo proste przykłady, ale za ich pomocą chcieliśmy pokazać, jak działa metoda dedukcyjna stosowana w nauce formalnej, a nie indukcyjna. W rzeczywistości rzeczywistość, jak wspomnieliśmy wcześniej, jest znacznie bardziej złożona. Oczywiście wiele razy możemy podejść do tego z prostotą.