Определение формальных наук
Разное / / July 04, 2021
Текст: Хавьер Наварро, февраль. 2018
Различные дисциплины, составляющие науку, можно упорядочить по трем параметрам: объекту изучения, используемому методу и его цели. Другая модель классификация состоит из разделения наук на две большие группы: формальные науки и фактические или эмпирические.
Формальные
Логика и математика - две формальные дисциплины, потому что они не имеют конкретного эмпирического содержания, как это происходит с биологией. метеорология или история.
Логика - это дисциплина чисто формальный и абстрактный. В строгом смысле слова у него нет наблюдаемого, измеримого и осязаемого содержания. На самом деле это набор правил, применимых к любому типу знания, будь то научное или повседневное.
Правила логики позволяют считать логично и рационально. Таким образом, я не могу сказать, что что-то есть и не одновременно, потому что я нарушаю принцип непротиворечивости, и я не могу утверждать, что что-то не идентично самому себе, потому что я против принципа непротиворечивости. личность.
Математика чисто абстрактна, поскольку ее содержание ментально, а не материально.
Помните, что числа не существуют нигде в природе, поскольку они являются изобретением человеческого разума для подсчета или вычисления чего-либо в реальности. В этом смысле, арифметика, то геометрия или алгебра - это математические дисциплины, основанные на ряде принципов, которые можно рационально продемонстрировать.
Если взять за ссылку любой уравнение математически, его формулировка действительна совершенно независимо от реальности.
Короче говоря, логика и математика составляют формальные системы, которые включают в себя ряд элементов: аксиомы, символы, правила вывод и теоремы. Эти элементы выражаются в форме утверждений, которые описываются знаками.
Фактические содержат неявные формальные науки.
Набор дисциплин, связанных с изучением фактов, нуждается в формальной структуре, чтобы их объект изучения имел смысл. С другой стороны, чтобы показать, что утверждение в биологии или химии формально верно, должна быть корреляция с эмпирическими данными.
Короче говоря, формальные науки проецируются на мир наблюдаемых фактов. Если мы возьмем теорему Пифагора за образец, ее формулировка верна для любой реальности, в которой есть прямой угол, образующий прямоугольный треугольник.
Короче говоря, формальные науки и науки о фактах дополняют друг друга и не должны рассматриваться как отдельные области знания.
Фото: Fotolia - Artisticco / Сергей Богданов
Темы формальных наук