Rudolf Carnap (1891, 독일 출생) : 「세계의 이론적 구조.1928」. 「언어의 이론적 구문법,1934」. 「의미론 입문,1942」. 「의미와 필연성,1947」 등이 있다.
다음 글은 「철학과 논리적 구문법」에서 옮긴 것이다.
1. 검증가능성
흔히 취급되고 있는 철학의 문제는 그 종류가 심히 다양하다. 내가 여기서 취하고 있는 견지에서 보면 전통적인 철학의 문제와 이설은 주로 세 종류로 구별될 수 있을 것이다. 우리는 이 부분을 간편히 형이상학, 심리학, 론리학이라고 부르고자 한다. 아니 오히려 서로 구별되는 세 영역이 있는 것이 아니라 대부분의 논제나 문제와 서로 얽혀있는 세 가지 요소 즉 형이상학적 요소, 심리학적 요소, 논리학적 요소가 있다고 하겠다.
이하에서 고찰하는 것은 이중 세 째 영역에 속하는 것이니, 우리는 여기서 논리적 분석(Logical Analysis)을 수행하려고 한다. 논리적 분석의 기능은 모든 지식, 과학 및 일상 생활의 모든 주장을 분석하여 그런 주장의 의미와 그들간의 관련(관련)을 명백히 하는데 있다.
주어진 명제에 대한 논리적 분석의 주요 과제의 하나는 그 명제의 검증방법을 찾아내는 일이다. 문제는, 이 명제를 주장하기 위해서는 무슨 이유가 있을 수 있는가, 또는 우리는 어떻게 그 진이나 위(위)를 확신할 수 있는가 하는 것이다. 철학자들은 이 물음을 인식론적 물음이라고 부른다. 인식론 또는 지식에 관한 철학적 이론은 논리적 분석의 한 특수부분 외에 다른 것이 아니며, 보통 인식과정에 관한 심리학적 물음과 결합되어 있다.
....