Формальная наука - это набор рациональных и упорядоченных знаний, которые изучают явления от абстракции и с целью обобщения законов или теорий.
Следовательно, можно сказать, что они необходимы для познания. Благодаря им они могут быть применены к реальности. С другой стороны, из-за своего подхода к знаниям используется метод дедукции.
Математика и формальные науки
Возможно, математику можно считать формальной наукой по преимуществу. Они изучают абстрактные структуры и отношения. Для достижения своей цели они исходят из аксиом, которые развиваются посредством логических рассуждений. Следовательно, их обучение очень важно.
Кроме того, он использует формальный и универсальный язык, который позволяет всем, кто его знает, понять его. Таким образом, каждый знает наиболее часто встречающиеся символы, такие как сложение (+), вычитание (-) или другие, такие как квадратный корень или интеграл.
Логика и формальная наука
Логика - это раздел философии, изучающий доказательства, заблуждения и другие подобные вопросы. Внутри него часть, связанная с математикой, использует свои формальные системы, чтобы делать свои выводы.
Следовательно, в формальной науке логика более чем необходима. Фактически, в экономике очень распространено использование такого рода рассуждений. Например, австрийская школа использует праксиологию для изучения этой социальной науки.
Информатика
В этом случае мы имеем дело с формальной наукой, изучающей теоретические основы вычислений.
Таким образом, алгоритмы, подобные алгоритму Google, основаны на упомянутых формальных предписаниях, применяя их к реальным проблемам.
Таким образом, сегодня цифровой мир возможен благодаря лежащей в его основе теории. Без этих теоретических аспектов они пошли бы вслепую и с вытекающим отсюда риском. Отсюда важность этого типа науки.
Пример формальной науки
Давайте в заключение рассмотрим несколько примеров, которые могут показаться очевидными, но которые идеально отражают дедуктивный метод, используемый в этом типе науки.
- Представим себе, что в биологии мы исходим из аксиомы. Овцы не летают. С другой стороны, мы знаем, что у летающих животных есть крылья. Вывод таков: у овец не будет крыльев. Это очевидно, но на самом деле явления намного сложнее.
- В криминологии. Убийца был темнокожим мужчиной. Главный подозреваемый - восточный. Это не убийца. И снова реальность намного сложнее, но метод тот же.
- Этот последний пример был бы противоположным, используя индуктивный метод. У дедушки запор, дед - мужчина, у мужчин запор. Как видим, в этом случае мы переходим от частного к общему.
Это очень простые примеры, но с их помощью мы хотели показать, как работает дедуктивный метод, используемый в формальной науке, в отличие от индуктивного. На самом деле, как мы упоминали ранее, реальность намного сложнее. Конечно, во многих случаях мы можем подойти к этому просто.