Определение формальных наук

Различные дисциплины, составляющие науку, можно упорядочить по трем параметрам: объекту изучения, используемому методу и его цели. Другая модель классификация состоит из разделения наук на две большие группы: формальные науки и фактические или эмпирические.

Формальные

Логика и математика - две формальные дисциплины, потому что они не имеют конкретного эмпирического содержания, как это происходит с биологией. метеорология или история.

Логика - это дисциплина чисто формальный и абстрактный. В строгом смысле слова у него нет наблюдаемого, измеримого и осязаемого содержания. На самом деле это набор правил, применимых к любому типу знания, будь то научное или повседневное.

Правила логики позволяют считать логично и рационально. Таким образом, я не могу сказать, что что-то есть и не одновременно, потому что я нарушаю принцип непротиворечивости, и я не могу утверждать, что что-то не идентично самому себе, потому что я против принципа непротиворечивости. личность.

Математика чисто абстрактна, поскольку ее содержание ментально, а не материально.

Помните, что числа не существуют нигде в природе, поскольку они являются изобретением человеческого разума для подсчета или вычисления чего-либо в реальности. В этом смысле, арифметика, то геометрия или алгебра - это математические дисциплины, основанные на ряде принципов, которые можно рационально продемонстрировать.

Если взять за ссылку любой уравнение математически, его формулировка действительна совершенно независимо от реальности.

Короче говоря, логика и математика составляют формальные системы, которые включают в себя ряд элементов: аксиомы, символы, правила вывод и теоремы. Эти элементы выражаются в форме утверждений, которые описываются знаками.

Фактические содержат неявные формальные науки.

Набор дисциплин, связанных с изучением фактов, нуждается в формальной структуре, чтобы их объект изучения имел смысл. С другой стороны, чтобы показать, что утверждение в биологии или химии формально верно, должна быть корреляция с эмпирическими данными.

Короче говоря, формальные науки проецируются на мир наблюдаемых фактов. Если мы возьмем теорему Пифагора за образец, ее формулировка верна для любой реальности, в которой есть прямой угол, образующий прямоугольный треугольник.

Короче говоря, формальные науки и науки о фактах дополняют друг друга и не должны рассматриваться как отдельные области знания.

Фото: Fotolia - Artisticco / Сергей Богданов