研究自然现象的基本理论，作为应用科学的基础的科学。

研究思维规律的科学。已有两千多年历史。基本的分支是形式逻辑、数理逻辑和辩证逻辑。常用作形式逻辑的同义词。联合国教科文组织公布的学科分类，曾将逻辑学列为七大基础科学的第二位，仅次于数学。

研究自然界的物质形态、结构、性质和运动规律的科学。包括数学、物理学、化学、天文学、生物学等基础科学，以及材料科学、能源科学、农业科学、医学科学等应用技术科学。主要研究运动着的物质、物体，认识自然现象的本质和规律，预见新现象，指出利用自然规律的可能性等。