비상(飛上)을 위하여

가설의 시험가능성, 논리적 비개연성 그리고 낮은 논리적 확률  우리는 단순한 가설들을 ㅡ 높은 내용, 높은 시험가능성의 등급을 지닌 가설들 ㅡ 원한다. 이것들은 또한 고도로 입증가능한 가설들인데 이유인즉 가설이 지닌 입증 등급이 주로 가설에 대한 시험들의 엄격함에 그리하여 가설이지닌 시험가능성에 의존하기 때문이다. 이제 우리는, 시험가능성이 높은 (절대적인) 논리적 비개연성이나 낮은 (절대적인) 논리적 확률과 동일하다는 것을 안다. 그러나 h1과 h2라는 두 가지 가설이 자체의 내용과 관련하여 그리하여 자체가 지닌 (절대적인) 논리적 확률과 관련하여 비교될 수 있다면 다음이 성립한다: h1이 지닌 (절대적인) 논리적 확률이 h2가 지닌 (절대적인) 논리적 확률보다 작게 하라. 그렇다면 증거 e가 무엇..

알프레드 타스키(Alfred Tarski)의 진리론  이것이 서술되고 오래지 않아 나는 알프레드 타스키(Alfred Tarski)를 만나는 행운을 누렸는데 그는 자신의 진리론에 관한 근본적인 개념들을 나에게 설명했다. 이 이론이 ㅡ 수학원리(Principia Mathematica) 이후 저술된 논리학 분야에서 두 가지 위대한 발견 중 한 가지 ㅡ 여전히 흔히 오해되고 잘못 제시된다는 것은 크게 애석한 일이다. 타스키(Tarski)의 진리 관념이 (형식화된 언어들과 관련하여 그 정의[定義]에 관하여 타스키[Tarski]는 방법을 제공했다) 아리스토텔레스가 염두에 두었고 정말로 대부분의 사람들이 (실용주의자들을 제외하고) 염두에 두었던 동일한 관념이라는 것은 아무리 강력하게 강조해도 지나치지 않는다: 진리가..