중복성

모호함을 정리하고 오해를 줄이기 위해 자연 언어는 엄청나게 많은 중복(redundancy)을 허용한다. 그래서 자연 언어는 종종 장황해진다. 형식 언어는 중복이 적고, 더 간결하다.

리터럴

자연 언어는 관용구와 은유로 가득하다. “1페니가 떨어졌다(The penny dropped)”고 말한다면 아마도 1페니 동전이 없는 것도 아니고 떨어진 것도 아닐 것이다. 이 관용구는 누군가가 혼란 끝에 무언가를 이해했다는 뜻으로 쓰인다. 형식 언어는 언어가 말한 것만 있는 그대로(literalness) 의미해야 한다.

우리는 모두 자연 언어를 사용하면서 성장했기 때문에 형식 언어에 적응하는 게 어려울 수도 있다. 형식 언어와 자연 언어 사이의 차이점은 시와 산문의 차이점과 비슷하지만, 이 둘은 더 차이가 난다.

시

단어는 소리와 의미를 위해 사용되고, 단어가 모여 시는 효과나 정서적 반응을 만들어낸다. 모호성이 보통이지만, 종종 심사숙고해서 만든 것이기도 하다.