1 개요[ | ]
- 경험적 사실이나 경험적 개념을 대상으로 하지 않는 과학
- 논리학, 수학, 통계학, 이론 컴퓨터 과학, 인공지능, 정보 이론, 게임 이론, 시스템 이론, 결정 이론 및 이론 언어학과 같은 형식 시스템과 관련된 형식 언어 분야를 연구하는 과학의 한 분야
- 자연과학과 사회과학은 경험적 방법을 사용하여 각각 물리적 시스템과 사회 시스템을 특성화하려고 하는 반면, 형식과학은 상징적 시스템으로 설명되는 추상 구조를 특성화하고자 한다.
- 이론적 형식 체계와 관련된 학리적 연구, 이론적 상징과 규칙에 의해서 확립되었다.
- 형식 논리학 따위가 이에 속한다.