形式科学（数理逻辑）及自然科学相关学科的统称，有别于工科、技术。其对应概念为文科。此词适用于文理分科的制度，但是在西方科学的学术概念里并没有理科这一概念。因为科学哲学在知识论影响下，很难断定数学在科学里的本体。数学通常被归纳为形式科学而不同于物理、化学、生物等学科所属的自然科学，因为自然科学是遵循从观察或实验、提出假设、做出预计到检验假设的一套完整的方法所得出的有组织体系的知识理论。一般在西方术语中会将其称为“数学与自然科学”。可见: 人类学, 心理学