Формальна наука - це сукупність раціональних і впорядкованих знань, яка вивчає явища з абстракції та з метою узагальнення законів чи теорій.
Тому ми можемо сказати, що вони є необхідними для знань. Завдяки їм їх можна застосувати до реальності. З іншого боку, завдяки підходу до знань, використовуваний метод - це дедукція.
Математика та формальна наука
Можливо, математику можна вважати формальною наукою par excellence. Вони вивчають абстрактні структури та відносини. Для досягнення своєї мети вони відштовхуються від аксіом, розроблених шляхом логічних міркувань. Тому їх навчання є надзвичайно важливим.
Крім того, він використовує офіційну та універсальну мову, яка дозволяє кожному, хто її знає, зрозуміти її. Таким чином, усі знають найпоширеніші символи, такі як додавання (+), віднімання (-) або інші, такі як квадратний корінь або інтеграл.
Логіка та формальна наука
Логіка - це розділ філософії, який вивчає докази, помилки та інші подібні питання. Всередині нього частина, що стосується математики, використовує свої формальні системи для досягнення висновків.
Тому у формальній науці логіка є більш ніж необхідною. Насправді в економічній науці дуже часто застосовується такий тип міркувань. Наприклад, австрійська школа використовує праксеологію для вивчення цієї соціальної науки.
Інформатика
У цьому випадку ми стикаємося з офіційною наукою, яка вивчає теоретичні основи обчислень.
Таким чином, алгоритми, як і Google, базуються на згаданих формальних заповідях, застосовуючи їх до реальних проблем.
Тому сьогодні цифровий світ можливий завдяки теорії, яка лежить в його основі. Без цих теоретичних аспектів вони ходили б наосліп і з подальшим ризиком. Звідси важливість цього виду науки.
Офіційний науковий приклад
Подивимось, на закінчення, кілька прикладів, які можуть здатися очевидними, але які чудово відображають дедуктивний метод, що застосовується у цьому виді науки.
- Уявімо, що в біології ми виходимо з аксіоми. Вівці не літають. З іншого боку, ми знаємо, що літаючі тварини мають крила. Висновок полягає в тому, що вівці не збираються мати крила. Це очевидно, але насправді явища набагато складніші.
- У криміналістиці. Вбивцею був чорношкірий самець. Головний підозрюваний - східний. Це не буде вбивцею. Знову ж таки реальність набагато складніша, але метод той самий.
- Цей останній приклад був би протилежним, використовуючи індуктивний метод. У мого діда запор, у діда чоловік, у чоловіків запор. Як бачимо, у цьому випадку ми переходимо від приватного до загального.
Це дуже прості приклади, але разом із ними ми хотіли показати, як працює дедуктивний метод, який використовується у офіційній науці, на відміну від індуктивного. Насправді реальність, як ми вже згадували раніше, набагато складніша. Звичайно, багато разів ми можемо підійти до цього просто.