визначення формальних наук
Різні дисципліни, що складають науку, можна впорядкувати, виходячи з трьох параметрів: за об’єктом дослідження, за методом, що застосовується, та за призначенням. Інша класифікаційна модель складається з поділу наук на дві великі групи: формальні науки та фактичні чи емпіричні науки.
Формальні
Логіка та математика є двома формальними дисциплінами, оскільки вони не мають конкретного емпіричного змісту, як це відбувається з біологією, метеорологією чи історією.
Логіка - це чисто формальна та абстрактна дисципліна. У строгому розумінні він не має спостережуваного, вимірюваного та відчутного змісту. Це насправді набір правил, які застосовуються до будь-якого типу знань, будь то наукове чи повсякденне життя.
Правила логіки - це ті, що дозволяють мислити злагоджено та раціонально. Таким чином, я не можу сказати, що щось є і не є тим і іншим, оскільки я порушую принцип несуперечності, і я не можу стверджувати, що щось не є ідентичним самому собі, оскільки я йду проти принципу ідентичності.
Математика суто абстрактна, оскільки її зміст розумовий, а не матеріальний.
Пам’ятайте, що цифри не існують ніде в природі, оскільки це винаходи людського розуму, щоб щось підрахувати чи обчислити про реальність. У цьому сенсі арифметика, геометрія або алгебра - це математичні дисципліни, які базуються на ряді принципів, які можна раціонально продемонструвати.
Якщо взяти будь-яке математичне рівняння в якості посилання, його формулювання справедливо абсолютно незалежно від реальності.
Коротше кажучи, логіка та математика складають формальні системи, що включають ряд елементів: аксіоми, символи, правила висновку та теореми. Ці елементи виражаються у формі тверджень, які описуються за допомогою знаків.
Фактичні мають офіційні науки неявно
Сукупність дисциплін, що займаються вивченням фактів, потребує формальної структури, щоб об'єкт вивчення мав сенс. З іншого боку, щоб показати, що твердження біології або хімії формально відповідає дійсності, необхідно, щоб існувала кореляція з емпіричними даними.
Коротше кажучи, формальні науки проектуються на світ спостережуваних фактів. Якщо взяти теорему Піфагора за посилання, її формулювання справедливо для будь-якої реальності, в якій існує прямий кут, що утворює прямокутний трикутник.
Коротше кажучи, формальні науки та фактичні науки доповнюють один одного і не повинні розглядатися як окремі галузі знань.
Фотографії: Fotolia - Artisticco / Сергій Богданов