이것 을 위해 카르납 은 먼저 과학 용어 의 환원 가능 성 의 논리 를 설명 한다 . 만일 용어 x 가 그것 을 적용 할 수 있 는 조건 으로 용어 y , z 등 의 도움 으로 형식 화 될 수 있 다면 이 와 같 은 형식 을 y , z 등 을 통한 x 의 ' 환원 진술 '( reduction statement ) 이 라고 부르 고 " x 는 y , z 등등 으로 환원 될 수 있 다 " 고 부른다 . 이러 한 환원 가능 성 은 카르납 에 따르 면 여러 가지 로 생각 될 수 있 다 . 예컨대 x 는 y , z 등 으로 뿐 만 아니 라 u , v 등 으로 도 환원 가능 할 수 도 있 다 . 또한 집합 x 1 , x 2 는 집합 y 1 , y 2 로 또는 집합 y 1 , y 2 는 집합 x 1 , x 2 로 서로 환원 될 수 도 있 다 . 이어서 카르납 은 정의 ( 定義 ) 의 논리 를 서술 한다 . 정의 란 환원 진술 의 가장 단순 한 형식 으로 , ' 일 경우 에 오직 그 경우 에 만 ( if and only if ) ' 뜻 의 약어 인 동치 同値 , (≡) 를 사용 한다 . 이 와 같 은 정의 는 결국 이른바 ' 결정 방법 ' 에 의해 사용 된 용어 가 구체 적 으로 적용 가능 한 지 가 확인 되 어야 한다 . 가령 ' 기온 ' 이 라는 양 적 용어 를 결정 하 는 방법 은 실제로 온도계 를 통해 측정 해 보 는 것 이 다 . 이 와 같 은 논의 는 모든 과학 용어 를 결국 이른바 ' 사물 언어 '( thing - language ) 로 환원 하 기 위한 기제 를 고안 하 는 일 에 지나 지 않 는다 . 사물 언어 는 ' 우리 주변 의 관찰 가능 한 ( 비유기 체적 ) 사물 들 의 속성 ' 에 관해서 말 할 때 우리 가 사용 하 는 용어 들 이 다 . 예컨대 ' 덥 다 ', ' 춥다 ', ' 무겁 다 ', ' 가볍 다 ' 등 과 같 은 용어 는 사물 언어 로 분류 된다 . 이것 은 실제로 온도계 나 저울 을 사용 해야 쓸 수 있 는 ' 기온 ' 이나 ' 무게 ' 란 용어 와 구별 된다 . ' 빨갛 다 ', ' 크다 ', ' 작 다 ', ' 두껍 다 ', ' 얇 다 ' 와 같 은 용어 는 모두 카르납 이 사물 언어 로 예 를 들 고 있 는 용어 들 이 다 .