Η τυπική επιστήμη είναι ένα σύνολο ορθολογικής και ταξινομημένης γνώσης, η οποία μελετά φαινόμενα από την αφαίρεση και με σκοπό τη γενίκευση νόμων ή θεωριών.
Επομένως, μπορούμε να πούμε ότι είναι απαραίτητα για τη γνώση. Χάρη σε αυτά μπορούν να εφαρμοστούν στην πραγματικότητα. Από την άλλη πλευρά, λόγω της προσέγγισής της στη γνώση, η μέθοδος που χρησιμοποιείται είναι η αφαίρεση.
Μαθηματικά και επίσημες επιστήμες
Ίσως τα μαθηματικά να θεωρούνται κατ 'εξοχήν τυπική επιστήμη. Μελετούν αφηρημένες δομές και σχέσεις. Για να επιτύχουν τον στόχο τους, ξεκινούν από αξιώματα που αναπτύσσονται μέσω λογικής συλλογιστικής. Επομένως, η μάθησή τους είναι απαραίτητη.
Επιπλέον, χρησιμοποιεί μια επίσημη και καθολική γλώσσα που επιτρέπει σε όλους όσους το γνωρίζουν να το καταλάβουν. Με αυτόν τον τρόπο, όλοι γνωρίζουν τα πιο συχνά σύμβολα, όπως η προσθήκη (+), η αφαίρεση (-) ή άλλα όπως η τετραγωνική ρίζα ή ένα ακέραιο.
Λογική και επίσημη επιστήμη
Η λογική είναι ένας κλάδος της φιλοσοφίας που μελετά αποδείξεις, παραπλανητικά και παρόμοια ερωτήματα. Μέσα σε αυτό, το μέρος που σχετίζεται με τα μαθηματικά χρησιμοποιεί τα επίσημα συστήματά του για να καταλήξει στα συμπεράσματά του.
Επομένως, στην επίσημη επιστήμη, η λογική είναι κάτι παραπάνω από απαραίτητο. Στην πραγματικότητα, είναι πολύ κοινό στα οικονομικά να χρησιμοποιείται αυτός ο τύπος συλλογισμού. Για παράδειγμα, το αυστριακό σχολείο χρησιμοποιεί την πραξολογία για τις σπουδές του σε αυτήν την κοινωνική επιστήμη.
Η επιστήμη του υπολογιστή
Σε αυτήν την περίπτωση, αντιμετωπίζουμε μια τυπική επιστήμη που μελετά τις θεωρητικές βάσεις της πληροφορικής.
Με αυτόν τον τρόπο, οι αλγόριθμοι, όπως οι Google, βασίζονται στις επίσημες αρχές που αναφέρονται, εφαρμόζοντας τους σε πραγματικά προβλήματα.
Ως εκ τούτου, σήμερα ο ψηφιακός κόσμος είναι δυνατός χάρη στη θεωρία που τον στηρίζει. Χωρίς αυτές τις θεωρητικές πτυχές, θα είχαν περπατήσει στα τυφλά και με τον συνακόλουθο κίνδυνο. Ως εκ τούτου, η σημασία αυτού του τύπου της επιστήμης.
Τυπικό παράδειγμα επιστήμης
Ας δούμε, για να ολοκληρώσουμε, μερικά παραδείγματα που μπορεί να φαίνονται προφανή, αλλά αντικατοπτρίζουν τέλεια την αφαιρετική μέθοδο που χρησιμοποιείται σε αυτόν τον τύπο επιστήμης.
- Ας φανταστούμε ότι στη βιολογία ξεκινάμε από ένα αξίωμα. Τα πρόβατα δεν πετούν. Από την άλλη πλευρά, γνωρίζουμε ότι τα ιπτάμενα ζώα έχουν φτερά. Η έκπτωση είναι ότι τα πρόβατα δεν πρόκειται να έχουν φτερά. Είναι προφανές, αλλά στην πραγματικότητα τα φαινόμενα είναι πολύ πιο περίπλοκα.
- Στην εγκληματολογία. Ο δολοφόνος ήταν μαύρος. Ο κύριος ύποπτος είναι ανατολίτικος. Δεν πρόκειται να είναι ο δολοφόνος. Για άλλη μια φορά η πραγματικότητα είναι πολύ πιο περίπλοκη, αλλά η μέθοδος είναι η ίδια.
- Αυτό το τελευταίο παράδειγμα θα ήταν το αντίθετο, χρησιμοποιώντας την επαγωγική μέθοδο. Ο παππούς μου πήρε δυσκοιλιότητα, ο παππούς μου είναι άντρας, οι άνδρες δυσκοιλιούνται. Όπως μπορούμε να δούμε, σε αυτήν την περίπτωση πηγαίνουμε από το συγκεκριμένο στο γενικό.
Είναι πολύ απλά παραδείγματα, αλλά μαζί τους θέλαμε να δείξουμε πώς λειτουργεί η αγωγική μέθοδος που χρησιμοποιείται στην επίσημη επιστήμη, σε αντίθεση με την επαγωγική. Στην πραγματικότητα, η πραγματικότητα, όπως έχουμε αναφέρει προηγουμένως, είναι πολύ πιο περίπλοκη. Φυσικά, πολλές φορές μπορούμε να το προσεγγίσουμε με απλότητα.