Визначення формальних наук

Різні дисципліни, що складають науку, можна впорядкувати, виходячи з трьох параметрів: за об'єктом дослідження, за методом, що використовується, і за його призначенням. Ще одна модель класифікація складається з поділу наук на дві великі групи: формальні науки та фактичні чи емпіричні.

Формальні

Логіка та математика є двома формальними дисциплінами, оскільки вони не мають конкретного емпіричного змісту, як у випадку з біологією, метеорологія або історії.

Логіка - це дисципліна суто формально та абстрактно. У строгому розумінні він не має спостережуваного, вимірюваного та відчутного змісту. Це насправді набір правил, які застосовуються до будь-якого типу знань, будь то наукове чи повсякденне життя.

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

Математика суто абстрактна, оскільки її зміст розумовий, а не матеріальний.

Пам’ятайте, що цифри не існують ніде в природі, оскільки це винаходи людського розуму, щоб підрахувати чи обчислити щось про реальність. У цьому сенсі арифметика, геометрія або алгебра - це математичні дисципліни, які базуються на ряді принципів, які можна раціонально продемонструвати.

Якщо взяти за посилання будь-яку рівняння Математичне, його формулювання є дійсним у абсолютно незалежному вигляді реальності.

Коротше кажучи, логіка та математика складають формальні системи, що включають ряд елементів: аксіоми, символи, правила умовивід і теореми. Ці елементи виражаються у формі тверджень, які описуються за допомогою знаків.

Фактичні мають офіційні науки неявно

Сукупність дисциплін, що займаються вивченням фактів, потребує формальної структури, щоб об'єкт вивчення мав сенс. З іншого боку, щоб показати, що твердження в біології або хімії є формально істинним, має існувати кореляція з емпіричними даними.

Коротше кажучи, формальні науки проектуються на світ спостережуваних фактів. Якщо взяти теорему Піфагора за посилання, її формулювання справедливо для будь-якої реальності, в якій існує прямий кут, що утворює прямокутний трикутник.

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

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