그라이스(Grice), 『Studies in the Way of Words』중 2~4장 제2장 : 논리와 대화(Conversation) 논리학에서의 ~, ∧, ∨이 일상언어와 어떤 관계를 맺는가? 형식주의자들(formalists)은 형식체계를 통해 다양한 문장을 생성하고 이를 자연언어와 대응시킨 후, 대응되는 부분이 없을 경우에는 자연언어에 결점이 있다고 한다. 반면 비형식주의자들(informalists)은 자연언어에는 형식체계로는 구현될 수 없는 고유한 특징이 있다고 주장한다. 그라이스가 생각하기에 형식주의자들․비형식주의자들 모두 대화를 지배하는 조건(이른바 함축implicature)에 충분히 주의를 기울이지 않았다. 함축(Implicature) 말해진 것과 함축된 것 사이에는 차이가 있다. 함축하다(..