狹義的科學是指數量、名稱、質量、力量等自然科學。廣義的科學是指包括自然科學和社會科學在內的知識體系。科學的對象是客觀現象，形式是語言，內容是形式化的科學理論，包括自然語言和數學語言。科學不受價值約束、與價值無關。科學的最早的起源可以追溯到古埃及和兩河流域。

現代科學通常分為三個主要分支，自然科學(例如：生物學，化學和物理學等)，研究個人和社會的社會科學(例如經濟學，心理學和社會學)，以及研究抽象概念的形式科學(例如邏輯，數學，計算機科學)。

但形式科學是否真正構成一門科學是有分歧的，因為它們不依賴經驗證據。另外，將現有科學知識用于工程和醫學等實際目的的學科被稱為應用科學。科學基于研究，通常在學術或研究機構以及政府機構和公司中進行。

在自然科學和社會科學中，數學對于假說，理論和定律的形成至關重要。例如，它用于定量科學建模中，可以生成新的假設和要測試的預測。它也廣泛用于觀察和收集測量值。統計學是數學的一個分支，用于匯總和分析數據，從而使科學家能夠評估其實驗結果的可靠性和可變性。