형식주의
Mathematical Formalism
수학은 규칙에 따라 기호를 다루는 활동이며 기호는 무엇도 가리킬 필요가 없다.
무엇을 주장하는가
수학의 내용을 추상적 대상에 대한 기술이 아니라, 명시된 규칙에 따른 형식 체계 안의 기호 조작으로 보는 입장이다. 부정하는 것은 수학 기호가 시공간 밖의 대상을 지시해야 한다는 플라톤주의적 전제다. 핵심 논변은 절약이다.
주변 지형
주요 논자
David Hilbert · Haskell Curry · John von Neumann · Paul Bernays · Abraham Robinson