형식과학

형식과학(形式科學, 영어: formal science)은 논리학, 수학, 통계학, 이론 컴퓨터 과학, 인공지능, 정보이론, 게임 이론, 시스템 이론, 결정 이론 및 이론 언어학과 같은 형식 시스템과 관련된 형식 언어 분야를 연구하는 과학의 한 분야이다. 자연과학과 사회과학은 경험적 방법을 사용하여 각각 물리적 시스템과 사회 시스템을 특성화하려고 하는 반면, 형식과학은 상징적 시스템으로 설명되는 추상 구조를 특성화하는 것과 관련된 분야이다.