Зміст
офіційна наука Це ті, де аналітичні пропозиції беруть твердження математики та логіки. Таким чином, його область дослідження - це не реальний світ, а, скоріше, ідеальний світ, порожні форми вмісту, які у багатьох випадках не можуть бути повністю спостережуваними, але які є дійсними аналітичними інструментами для розуміння реальності.
Формальні науки характеризуються тим, що не вступають у конфлікт з реальністю, оскільки вони не несуть відповідальності за перевірку. Навпаки, офіційними науками потрібно користуватися пропозиції, які можна логічно довести, і це може статися: інакше ці науки використовують «аксіоми», які є очевидними положеннями, які приймаються без попереднього підтвердження.
Використання аксіом пов'язане із звичним методом цього типу науки, яким є Дедуктивний метод: прийняття аксіом за вихідну точку, а потім похідний спосіб, виходячи з пропозицій як необхідних логічних наслідків попередніх тверджень. Тоді кажуть, що формальна система складається з наступного:
- Кінцевий набір символи які використовуються для побудови формул.
- A граматика формальний, як механізм побудови чітко сформованих формул.
- Набір аксіоми
- Набір правила умовиводу
- Набір теореми що включає все, що можна вивести з аксіом.
Вони виступають проти Фактичних наук
Зазвичай поняття формальних наук виступає в опозиції до фактична наука, які вивчають факти. І те, і інше є дуже важливими в сучасному світі, оскільки вони є доповненням між ними: внесок деяких фундаментальних наук у те, що є технологічним прогресом (наприклад, хімія чи інформатика), підтримується формальними системами, такими як математики.
Приклади офіційної науки
- Теоретична інформатика: Підрозділ в галузі інформатики, який фокусується на найбільш абстрактних та математичних аспектах області. Він включає аналіз алгоритмів і особливо формальну семантику мов програмування.
- Статистика: Наука, яка відповідає за збір, організацію, обробку, аналіз та інтерпретацію даних з метою визначення характеристик цільової сукупності.
- Логіка: Дисципліна, яка вивчає формальні процедури розуму, намагаючись дізнатися, який тип процедур використовується людським мозку за допомогою формальних пропозицій.
- Математика: Дедуктивна наука, яка присвячена вивченню властивостей абстрактних сутностей та їх взаємозв’язків. Працює з цифрами, символами та геометричними фігурами.
- Теорія систем: Міждисциплінарне вивчення систем загалом, з метою вивчення принципів, застосовних до систем будь-якого рівня у всіх галузях досліджень.
Інші види науки:
- Приклади чистих та прикладних наук
- Приклади твердих і м’яких наук
- Приклади точних наук
- Приклади із соціальних наук
- Приклади природничих наук
