Sort:  

실제로 몬타구는 다양한 operator릉 이용한 함수로 모든 단어와 의미체계를 정리하려고 했고 상당 부분 이루었습니다. 그후 많은 철학자, 수학자, 언어학자이 형식 의미론이란 이름으로 여전히 언어를 손에들고 수학하고 있지요. ^^