形式科学是指主要研究对象为抽象形态的科学，如逻辑、数学、计算理论、资讯理论、统计学等。