루돌프 카르납
1930년의 카르납
출생 1891년 5월 18일 론스도르프, 레네프, 뒤셀도르프, 라인, 프로이센, 독일 제국
사망 1970년 9월 14일(향년 79세) 미국 캘리포니아주 산타모니카
교육
교육 예나 대학교 (학사, 1914년; 박사, 1921)
프라이부르크 대학교 (청석생, 1911–12)[1]
베를린 대학교 (대학원 연구, 1917–18)[2]
빈 대학교 (박사 필학 hab., 1926)
논문
『우주: 과학 이론에 대한 기여』 (1921)
세계의 논리적 구조(Der logische Aufbau der Welt) (1926)
박사 지도교수 브루노 바우흐 (박사 지도교수)
모리츠 슐릭 (철학 박사 거주)
기타 지도교수 고틀로브 프레게 / 하인리히 리케르트
철학적 업적
시대 20세기 철학
지역 서양 철학
학교 분석적
명목론
빈 서클
논리실증주의
논리원론
논리적 행동주의
수학 철학에서의 형식주의
기관 비엔나
대학교 프라하
독일 대학교 시카고
고등연구
소 UCLA
박사과정 학생들 애브너 시모니
데이비드 카플란
주요 학생들 칼 구스타프 헴펠
피터 G. 오소리오
허버트 A. 사이먼
레이먼드 스멀리언
예호슈아 바-힐렐
리처드 로티.
주요 관심사 논리학 · 인식론
과학
철학 의미론
파울 루돌프 카르납
파울 루돌프 카르납 (/ˈkɑːrnæp/; 독일어: [ˈkaʁnaːp]; 1891년 5월 18일 – 1970년 9월 14일)는 1935년 이전 유럽에서, 그 이후에는 미국에서 활동한 독일의 철학자였다.
그는 비엔나 서클의 주요 회원이자 논리실증주의의 옹호자였다.
카르납의 출생지인 부퍼탈
초기 생애와 교육
카르납은 1891년 5월 18일 독일 뷔퍼탈의 론스도르프에서 파울 루돌프 카르납으로 태어났다.
카르납의 아버지는 가난한 리본 직조공에서 출발해 리본 공장 주인이 되었다.
어머니는 학문 가문 출신이었다; 아버지는 교육 개혁가였고, 장남은 고고학자 빌헬름 되르펠트였다.
열 살 때 카르납은 도르펠트와 함께 그리스 원정에 동행했다.
14세 때 카르납은 독학으로 에스페란토를 배웠고, 1908년 드레스덴에서 열린 세계 에스페란토 대회에 참석했다.
그는 이후 1924년 빈 대회에 참석하여 동료 에스페란토 오토 노이라트를 처음 만났다.
카르납은 매우 종교적인 개신교 가정에서 자랐으나 이후 무신론자가 되었다.
그는 예나의 바르멘 김나지움과 카롤로-알렉산드리눔 김나지움에서 정규 교육을 시작했다.
1910년부터 1914년까지 그는 예나 대학교에 다니며 물리학 논문을 쓸 계획이었다.
또한 브루노 바우흐가 가르치는 강의에서 임마누엘 칸트의 『순수 이성 비판』을 집중 연구했으며, 고틀로브 프레게의 수리논리학 강의를 수강한 몇 안 되는 학생 중 한 명이었다.
대학 시절 그는 독일 청년 운동에 매료되었다.
카르납은 제1차 세계대전에 도덕적·정치적으로 반대했으나, 독일군에서 복무했다.
3년간의 복무 후, 그는 1917년부터 1918년까지 베를린 대학교에서 물리학을 공부할 수 있는 허가를 받았으며, 그곳에서 알베르트 아인슈타인이 새로 임명된 교수였다.
1918년 8월 카르납은 독립 사회민주당에 가입하여 좌파 신문에서 기자로 일했다.
그 후 예나 대학교에 진학하여 시공간에 대한 공리적 이론을 정의하는 논문을 썼다.
물리학과에서는 그것이 너무 철학적이라고 했고, 철학과의 브루노 바우흐는 순수 물리학이라고 말했다.
카르납은 1921년 바우흐의 지도 아래 공간 이론에 관한 논문을 더 정통적인 칸트 스타일로 작성했으며, 『Der Raum(공간)』이라는 제목으로 『칸트-연구』(1922) 부록호에 실렸다.
프레게의 강의는 그에게 버트런드 러셀의 논리학과 철학 연구를 접하게 해주었고, 이는 그의 연구에 방향성을 부여했다. 그는 과학에 영향을 주는 논리적 혁신으로 전통 철학을 뛰어넘으려는 노력을 받아들였다.
그는 러셀에게 편지를 썼고, 러셀은 카르납과 그의 대학 모두 이 획기적인 저작의 사본을 구입할 여력이 없었기 때문에 그의 『수학의 원리』에서 긴 구절을 손으로 필사해 카르냅을 위해 답했다.
1924년과 1925년에는 현상학의 창시자인 에드문트 후설이 주도한 세미나에 참석했으며, 논리실증주의적 관점에서 물리학에 관한 글을 계속 썼다.
경력
카르나프는 1923년 회의에서 한스 라이헨바흐를 만나면서 동질감을 발견했다.
라이헨바흐는 카르납을 빈 대학교 교수 모리츠 슐릭에게 소개했고, 슐릭은 카르납에게 자신의 학과에 자리를 제안했고, 카르납은 1926년에 이를 수락했다.
이후 카르납은 비엔나 지식인 비공식 그룹인 빈 서클에 합류했으며, 이 그룹은 주로 슐릭이 이끌었고 한스 한, 프리드리히 바이스만, 오토 노이라트, 헤르베르트 파이글이 포함되었으며, 한의 제자 쿠르트 괴델도 가끔 방문했다.
비트겐슈타인이 빈을 방문할 때면 카르납은 그와 만났다.
그는 한, 노이라트와 함께 1929년 서클 선언문을 작성했으며, 한스 라이헨바흐와 함께 철학 저널 『에르켄트니스』를 창간했다.
1930년 2월, 알프레드 타르스키는 빈에서 강의했고, 1930년 11월에는 카르납이 바르샤바를 방문했다.
이 자리에서 그는 타르스키의 모델 이론적 의미론적 방법에 대해 많은 것을 배웠다.
빈 서클의 또 다른 철학자 로즈 랜드는 "카르납의 의미론 개념은 타르스키의 저작에서 제시된 기초에서 출발하지만, 논리적 상수와 비논리적 상수, 논리적 진리와 사실적 진리 사이에 구분이 있다..."라고 지적했다.
동시에 그는 내포와 확장의 개념을 다루었고, 이 두 개념을 새로운 의미론 방법의 기초로 삼았다."고 지적했다.
1931년, 카르납은 프라하 독일 대학교 교수로 임명되었다.
1933년, W. V. 콰인은 프라하에서 카르납을 만나 그의 연구에 대해 꽤 길게 논의했다.
이렇게 해서 두 사람은 평생 동안 상호 존중을 쌓았으며, 이는 콰인이 카르납의 철학적 결론들에 대해 강하게 의견을 다퉜 후에도 그 존중이 이어졌다.
사회주의적이고 평화주의적인 신념으로 나치 독일에서 위험에 처한 카르납은 1935년 미국으로 이주했고, 1941년에 귀화했다. 한편, 빈에서는 슐릭이 1936년에 살해당했다.
1936년부터 1952년까지 카르납은 시카고 대학교에서 철학 교수로 재직했다.
1930년대 후반, 카르납은 칼 구스타프 헴펠에게 철학 조교직을 제안했고, 헴펠은 이를 수락하여 그의 가장 중요한 지적 협력자 중 한 명이 되었다.
퀸의 도움 덕분에 카르냅은 1939년부터 1941년까지 하버드 대학교에서 시간을 보내며 타르스키와 재회했다.
카르냅(1963)은 시카고에서의 시절에 대해 다소 불만을 표했다.
그곳에서 그는 찰스 W. 모리스와 함께 과학과 논리의 우위에 헌신한 유일한 구성원이었다.
(시카고 동료들로는 리처드 맥키언, 찰스 하트혼, 맨리 톰슨이 포함되었다.)
그럼에도 불구하고 카르냅의 시카고에서의 시절은 매우 생산적이었다.
그는 의미론(Carnap 1942, 1943, 1956), 양상 논리, 그리고 확률 및 귀납 논리의 철학적 기초에 관한 책을 저술했다(Carnap 1950, 1952).
1952년부터 1954년까지 프린스턴 고등연구소에서 근무한 후, 1954년 UCLA 철학과에 합류했으며, 한스 라이헨바흐는 전년도에 사망했다.
그는 이전에 캘리포니아 대학교 버클리에서 비슷한 직책 제안을 거절했는데, 그 직책을 수락하려면 충성 서약에 서명해야 했기 때문이며, 그는 원칙적으로 이에 반대했다.
UCLA 재직 중 그는 과학적 지식, 분석-종합 구분, 검증 원리에 대해 저술했다.
그의 열역학과 확률 및 귀납 논리의 기초에 관한 저작은 사후에 『카르냅』(1971, 1977, 1980)으로 출판되었다.
미국에서는 카르냅이 어느 정도 정치적으로 관여했다. 카르냅은 로젠버그 사건에서 사면을 요청하는 국가 정의 확보 위원회가 배포한 공개 항소서에 서명한 인물이었다.
그는 미국 외국인 보호 위원회가 주최한 "월터-맥캐런 법에 항소하고 그 피해자 변호를 위한 전국 회의"의 '후원자'로 등재되었으며, 또한 미국 예술·과학·전문직 위원회가 주최한 "세계 평화를 위한 과학문화 회의"의 후원자로 등재되었다.
개인 생활
카르납은 첫 번째 결혼 엘리자베트 쇤두베와의 사이에서 네 자녀를 두었으나, 이 결혼은 1929년에 이혼했다. 그는 1933년에 두 번째 아내 엘리자베스 이나 스퇴거와 결혼했다.
이나는 1964년에 자살했다.
데어 라움
1919년부터 1921년까지 카르납은 『우주: 과학 이론에 대한 기여』(Der Raum: Ein Beitrag zur Wissenschaftslehre, 1922)라는 박사 논문을 집필했다.
이 논문에서 카르납은 기하학의 철학적 기초에 관한 논문으로, 물리학에서 시공간 이론의 논리적 기초를 제공하려 했다.
카르냅이 순수 수학, 자연과학, 철학에 관심이 있었던 점을 고려할 때, 그의 논문은 기하학, 물리학, 철학이라는 서로 다른 학문 분야 사이에 다리를 놓으려는 시도로 볼 수 있다. 카르냅은 많은 경우 이 학문들이 같은 개념을 사용하지만 완전히 다른 의미를 가진다고 생각했다.
카르냅 박사 논문의 주요 목적은 공간에 관한 이론들 간의 불일치가 철학자들, 수학자, 과학자들이 같은 '공간'이라는 단어를 사용하면서 서로 다른 주제를 이야기했기 때문에 존재한다는 점을 보여주는 것이었다.
따라서 카르냅은 공간에 대해 세 가지 별개의 개념이 있어야 한다고 주장했다.
"형식적" 공간은 수학의 의미에서 공간으로, 추상적인 관계 체계이다.
"직관적" 공간은 단일 경험과 독립적인 직관의 특정 내용으로 이루어져 있다.
"물리적" 공간은 경험에서 주어진 실제 공간적 사실들로 이루어져 있다.
결론은 이 세 가지 종류의 "공간"이 세 가지 서로 다른 종류의 지식, 즉 세 가지 다른 종류의 탐구를 의미한다는 것이다.
흥미로운 점은 이 논문에서 카르납 철학의 주요 주제들이 등장하는데, 가장 중요한 것은 많은 철학적 모순이 언어의 오용에서 비롯된다는 생각과 형식적 언어와 물질적 언어 양식을 구분하는 것의 중요성에 대한 강조라는 것이다.
1922년의 카르납
세계 기록 보관소
1922년부터 1925년까지 카르납은 그의 주요 저서 중 하나가 된 『세계의 논리적 구조』(Der logische Aufbau der Welt, 1967)라는 책 집필에 참여했으며, 이 책은 1926년 빈 대학교에서 그의 박사 후보 논문으로 채택되어 1928년에 책으로 출간되었다.
이 업적은 현대 인식론의 이정표가 되었으며, 논리실증주의라는 철학적 논제를 강력히 표현한 것으로 읽힐 수 있다.
실제로 아우프바우는 현대 기호 논리에 기반한 인식론이 과학적 명제의 논리적 분석에 관심을 가지는 반면, 경험에 기반한 과학 자체가 외부 세계, 즉 인간 지각 영역 밖의 세계에 대한 지식의 유일한 원천이라고 제안한다.
카르납에 따르면, 철학적 명제는 과학의 언어에 관한 진술이다;
이들은 참도 거짓도 아니며, 단지 특정 개념의 사용에 관한 정의와 관습으로 구성되어 있다.
반면, 과학적 명제는 외부 현실에 대한 사실적 진술이다. 이들은 감각의 지각에 기반하기 때문에 의미가 있다.
즉, 그 명제들의 진실성 또는 거짓성은 추가 관찰로 내용을 검증함으로써 검증할 수 있다.
아우프바우에서 카르납은 모든 과학적(사실적) 진술이 조직될 수 있는 논리적·개념적 구조를 보여주고자 한다.
카르납은 이 인식론적 프로젝트에 "구성 이론"이라는 명칭을 붙인다.
이는 기호 논리학 개념에 따라 과학 지식을 체계화하는 건설적 작업이다.
따라서 이 헌법 체계의 목적은 서로 다른 과학적 개념 범주를 식별하고 분별하며, 이를 연결하는 논리적 관계를 명시하는 것이다.
아우프바우에서는 개념이 객체, 관계, 속성, 클래스, 상태를 나타내는 데 사용된다.
카르납은 모든 개념이 계층 구조 위에 서열되어야 한다고 주장한다.
그 계층 구조 내에서 모든 개념은 개념이 축소되고 다른 기본 개념으로 변환될 수 있는 근본적 배열에 따라 조직된다. 카르납은 첫 번째 개념을 포함하는 모든 문장이 다른 개념을 포함하는 문장으로 변환될 수 있을 때 개념이 다른 개념으로 환원될 수 있다고 설명한다.
즉, 모든 과학적 문장은 원래 용어가 번역된 용어와 동일한 참조를 가지도록 다른 문장으로 번역 가능해야 한다.
가장 중요한 점은, 카르냅이 이 체계의 기초가 심리학적이라고 주장한다는 것이다.
그 내용은 '즉시 주어진 것'으로, 이는 기본 요소, 즉 지각 경험으로 이루어져 있다.
이 기본 요소들은 단일 인간 주체의 의식적 심리 상태로 구성된다.
결국 카르납은 자신의 헌법 프로젝트가 몇 가지 기본 개념을 바탕으로 모든 과학적 개념을 하나의 개념 체계로 정의하고 통합할 가능성을 보여준다고 주장한다.
1929년의 카르납
형이상학 극복
1928년부터 1934년까지 카르냅은 『철학의 문제』(Scheinprobleme in der Philosophie, 1928; 『철학의 유사문제』로 번역됨, 1967)를 발표했는데, 이 논문들에서 그는 신화적이고 종교적 사상에 뿌리를 둔 전통 철학의 목적과 방법에 대해 노골적으로 회의적인 태도를 보였다.
실제로 그는 많은 경우 형이상학이 무의미한 의사문제(pseudo-problems)에 대한 논의로 이루어져 있음을 논의한다.
카르납에게 의사문제란, 표면적으로는 우리 세계를 가리키는 개념들을 다루는 철학적 질문이지만, 실제로는 이 개념들이 실제적이고 입증된 대상을 의미하지 않는다.
즉, 이러한 의사문제들은 어떤 식으로든 경험적 함의를 갖지 않는 진술을 다룬다. 이들은 사태 상태를 언급하지 않으며, 그들이 나타내는 사물들은 인지될 수 없다.
따라서 카르납의 주요 목표 중 하나는 철학의 목적과 방법을 재정의하는 것이었다.
그에 따르면, 철학은 과학의 지식을 초월하는 어떤 지식을 생산하는 것을 목표로 해서는 안 된다.
반면, 과학의 언어와 명제를 분석함으로써 철학자들은 과학 지식의 논리적 기초를 정의해야 한다.
기호 논리를 사용하여 과학에 존재하는 개념, 방법, 정당화 과정을 설명해야 한다.
카르냅은 전통 철학의 어려움이 과학에 유용하지 않은 개념을 사용하는 데 있다고 믿었다.
카르냅에게 이 개념들의 과학적 정당성은 의문이었다. 왜냐하면 그 문장들이 사실을 표현하지 않기 때문이다.
실제로 그 문장들을 논리적으로 분석하면 그것들이 사태 상태의 의미를 전달하지 못한다는 것이 증명된다.
즉, 이 문장들은 (논리실증주의자에게) 무의미하다. 카르냅은 의미가 있으려면 문장이 사실적이어야 한다고 설명한다. 첫째로는 경험에 기반한 직접적인 관찰과 관련된 단어로 구성될 수 있기 때문이다.
또 다른 한편으로, 문장이 사실적이라는 것은 그 문장을 확인하거나 부정할 수 있는 관찰이 무엇인지 명확히 말할 수 있어야 한다.
결국 카르납은 의미의 특정 기준, 즉 비트겐슈타인의 검증 가능성 원칙을 전제로 한다.
실제로 그는 의미성의 전제 조건으로 모든 문장이 검증 가능해야 한다고 요구하는데, 이는 문장이 참인지 거짓인지 검증할 방법이 있을 때만 의미가 있음을 의미한다.
문장을 검증하려면 문장의 진리를 입증할 경험적 조건과 상황을 설명해야 한다.
결과적으로 카르냅은 형이상학적 문장이 무의미하다는 것이 분명하다.
"신", "영혼", "절대자"와 같은 개념들은 경험을 초월하며 직접 관찰과 연결되거나 추적할 수 없다.
이러한 문장들은 어떤 방식으로도 검증될 수 없기 때문에, 카르냅은 과학과 철학 모두 이를 고려하거나 포함해서는 안 된다고 제안한다.
언어의 논리적 분석
그 시점에서 카르납은 과학 언어의 논리 구조에 대한 완전한 이론을 발전시키려 시도했다.
이 이론은 『언어의 논리적 통사론』(Logische Syntax der Sprrache, 1934; 번역 제목: 『언어의 논리론』, 1937)에서 밝혀졌으며, 과학적 언어가 특정한 형식 구조를 가지며 그 기호가 연역적 논리의 규칙에 의해 지배된다는 그의 생각의 기초를 제공한다.
더불어, 논리적 통사 이론은 언어에 대해 이야기할 수 있는 방법을 제시하는데, 이는 언어의 순수한 형태에 관한 형식적 메타 이론이다.
결국 카르납은 철학이 과학 언어의 논리적 분석을 목표로 하며, 따라서 과학의 논리라고 주장하기 때문에, 논리 통사 이론은 철학의 명확한 언어이자 개념적 틀로 간주될 수 있다.
언어의 논리적 통사론은 형식 이론이다. 문장의 맥락화된 의미나 진리성에 관여하지 않는다.
반면, 주어진 언어의 일반 구조를 고려하고 그 언어의 요소들을 연결하는 다양한 구조적 관계를 탐구한다.
따라서 언어 내에서 특정 변형을 가능하게 하는 다양한 연산을 설명함으로써, 이 이론은 그 언어 내에서 작동하는 규칙들을 체계적으로 설명한다.
사실 이 규칙들의 기본 기능은 일관성을 보장하고 모순을 피하며 정당한 결론을 도출하는 원칙을 제공하는 것이다.
카르납은 언어를 계산학으로 본다.
이 계산법은 기호와 관계의 체계적인 배열이다.
언어의 기호들은 속한 클래스에 따라 조직되며, 이들을 결합함으로써 문장을 형성할 수 있다.
관계는 문장이 다른 문장의 뒤를 잇거나 결과라고 말할 수 있는 다양한 조건이다.
미적분학에 포함된 정의들은 특정 유형의 문장이 고려될 수 있는 조건과 그 문장들이 어떻게 변환될 수 있는지를 명시한다.
논리 구문론은 형식적 변환의 방법, 즉 기호를 계산하고 추론하는 방법으로 볼 수 있다.
마지막으로 카르납은 잘 알려진 "관용 원칙"을 소개한다.
이 원칙은 논리에 도덕성이 없다는 것을 시사한다. 언어를 사용할 때는 선악, 근본적으로 참 또는 거짓이 없다.
이 관점에서 철학자의 임무는 특정 개념의 사용을 금지하는 권위 있는 금지령을 내리는 것이 아니다.
반면 철학자들은 특정 논리적 장치의 관련성에 대해 일반적인 합의를 찾아야 한다.
카르납에 따르면, 이러한 합의는 언어의 의미와 표현의 상세한 제시를 통해서만 가능하다.
즉, 카르납은 모든 논리적 언어가 철학적 전제가 아닌 정확한 정의에 의해 뒷받침될 때만 옳다고 믿는다.
카르냅은 형식적 관습주의를 수용한다.
이는 형식 언어가 구성되어 있으며 모든 사람이 자신의 목적에 더 적합한 언어를 자유롭게 선택할 수 있음을 의미한다.
어떤 언어가 올바른 언어인지에 대해 논란이 있어서는 안 된다;
중요한 것은 특정 목적에 가장 적합한 언어에 대해 합의하는 것이다.
카르납은 언어 선택이 논리적 모순에 대한 안전에 따라 인도되어야 한다고 설명한다.
더 나아가, 특정 과제에서의 단순성과 생산성과 같은 실용적 요소들이 언어 선택에 영향을 미친다.
명백히, 관용 원리는 카르납이 철학에서 어떤 형태의 교조주의도 일축하기 위해 도입한 정교한 장치였다.
귀납 논리
의미론, 즉 의미와 진리 개념 이론(『논리학과 수학의 기초』, 1939; 『의미론 입문』, 1942; 『논리의 형식화』, 1943)에서 카르냅은 확률과 귀납 논리라는 주제에 관심을 돌렸다.
그의 이 주제에 대한 견해는 대부분 『확률의 논리적 기초』(1950)에서 드러나며, 카르냅은 확률에 대한 건전한 논리적 해석을 제공하고자 한다.
카르냅은 특정 조건에 따라 확률 개념은 순수하게 논리적인 개념으로 해석되어야 한다고 생각했다.
이 관점에서 확률은 모든 귀납적 추론에 기반한 기본 개념으로, 연역적 필연성 없이 성립하는 모든 추론의 결론이 더 많거나 덜 가능성이 있다고 말한다.
실제로 카르납은 귀납 문제는 가설과 이를 뒷받침하는 증거 사이에 성립하는 논리적 관계에 대한 정확한 설명을 찾는 문제라고 주장한다.
귀납적 논리는 확률이 두 유형의 명제, 즉 가설(결론)과 전제(증거) 사이의 논리적 관계라는 생각에 기반한다.
따라서 귀납 이론은 순수 논리 분석을 통해 특정 증거가 주어진 가설을 확인하기에 충분히 강력한 확인 정도를 확립할 수 있음을 어떻게 확인할 수 있는지 설명해야 한다.
카르냅은 과학에는 경험적 차원뿐만 아니라 논리적 차원도 존재한다고 확신했다.
그는 주어진 지식 체계의 경험적 요소와 논리적 요소를 분리해야 한다고 믿었다.
따라서 통계학에서 특정 현상의 일반적 특징을 설명하는 데 사용되는 경험적 개념인 빈도는, 단순히 문장 간의 논리적 관계를 설명하는 분석적 확률 논리와 구별될 수 있다.
카르냅에게 통계적 개념과 논리적 개념은 별도로 조사되어야 한다.
이 구분을 고수한 카르냅은 두 가지 확률 개념을 정의한다.
첫 번째는 논리적이며, 주어진 가설이 증거에 의해 얼마나 확인되는지를 다룬다.
즉, 확인 정도이다.
두 번째는 경험적이며, 자연의 한 관찰 가능한 특징이 다른 특징에 대한 장기적 비율과 관련된다.
문제는 상대적 빈도이다.
두 번째 개념에 속하는 진술은 현실에 관한 것이며 사태 상태를 설명한다. 이들은 경험적이므로 실험적 절차와 관련 사실의 관찰에 기반해야 한다.
반대로 첫 번째 개념에 속하는 진술은 사실에 대해 아무것도 말하지 않는다.
그 의미는 오직 그 안에 담긴 기호들을 분석해야만 파악할 수 있다.
이들은 논리적 의미에 의한 분석적 문장, 즉 참이다.
이 문장들이 사태 상태를 가리킬 수 있지만, 그 의미는 그 안에 담긴 기호와 관계에 의해 주어진다.
즉, 결론의 확률은 증거와의 논리적 관계에 의해 주어진다.
가설의 확인 정도 평가는 의미 분석의 문제이다.
분명히, 상대적 빈도에 관한 진술의 확률은 특정 현상의 관찰에 의존하기 때문에 알 수 없으며, 그 확률의 값을 확립할 정보를 갖고 있지 않을 수도 있다.
따라서 그 명제의 가치는 사실에 의해 입증될 때만 확인할 수 있다.
반면, 확인 정도에 관한 명제의 확률은 정확한 값을 평가하는 올바른 논리적 방법을 놓칠 수 있어 알 수 없다.
하지만 그러한 명제는 항상 특정 논리적 값을 받을 수 있는데, 그 값은 기호의 의미에만 의존하기 때문이다.
1차 자료
루돌프 카르납 문서에는 수천 통의 편지, 메모, 초안, 일기가 포함되어 있다.
그의 문서 대부분은 1974년 딸 한나 카르납-토스트로부터 피츠버그 대학교에 의해 구입되었으며, 이후 추가 자료가 추가로 수집되었다.
재정, 의료, 개인 정보가 담긴 문서는 제한된다.
이 문서들은 그의 평생과 경력 전반에 걸쳐 작성되었다
카르납은 수백 명의 다른 사람들과 철학적 문제를 논의하기 위해 정기적으로 우편을 이용했다.
가장 주목할 만한 인물로는 헤르베르트 파이글, 칼 구스타프 헴펠, 펠릭스 카우프만, 오토 노이라트, 모리츠 슐릭이 있다.
사진들도 컬렉션에 포함되어 있으며, 그의 평생 동안 촬영되었다
. 가족 사진과 동료 및 동료들의 사진도 컬렉션에 보관되어 있다.
일부 서신은 학생 노트, 프레게와의 세미나(베그리프슈리프트와 수학 논리를 설명함)로 구성되어 있어 주목할 만하다.
카르납이 시카고에서 러셀의 세미나에서 기록한 내용과 타르스키, 하이젠베르크, 퀸, 헴펠, 괴델, 제프리와의 토론에서 작성한 메모들도 피츠버그 대학교 도서관 시스템의 기록 보관소 및 특별 소장품에 포함되어 있습니다.
디지털화된 내용에는 다음이 포함됩니다:
노트 (구), 1958–1966
카르납이 미국, 프라하, 빈에서 가르친 강의를 다룬 1,000페이지가 넘는 강의 개요가 보존되어 있다.
그의 출판된 저작 초안과 미출간 저작의 초안도 이 컬렉션에 포함되어 있다.
추가 카르납 자료는 피츠버그 대학교 과학철학 아카이브 전역에서 찾아볼 수 있다.
출판된 저작물과 미출간 논문, 책의 원고 초안과 타자본이 포함되어 있다.
일부 목록에는 그의 아우프바우(Aufbau)의 초기 공식화가 포함되어 있다.
많은 자료가 오래된 독일어 속기인 스톨체-슈라이 체계로 작성되어 있다.
그는 학생 시절부터 이 문자 체계를 광범위하게 사용했다.
일부 내용은 디지털화되어 파인딩 에이드를 통해 이용할 수 있다.
캘리포니아 대학교는 루돌프 카르납 문서 컬렉션도 보유하고 있다.
그의 문서의 마이크로필름 사본은 독일 콘스탄츠 대학교 철학 기록 보관소에 보관되어 있다.
옥스퍼드 대학교 출판부는 총괄 편집자 리처드 크리스가 정리한 카르냅의 전집 14권을 출간하고 있다.
첫 번째 권인 『초기 저작들』은 2019년에 출간되었고, 일곱 번째 권(출판 순서상 두 번째)인 『의미론 연구』는 2024년에 출간되었다.
선택된 출판물
1922년. 『왕의 세계: 과학에 관한 한 연구, 칸트 연구, 경제 연구』. 56 (그의 1921년 박사 논문, 칸트 연구지 보록으로 출판됨).
English translation: "Space: A Contribution to the Theory of Science" (2005 draft), published version in: The Collected Works of Rudolf Carnap, Volume 1: Early Writings (2019) pp. 21–208 ISBN 978-0-19-874840-3
1926. Physikalische Begriffsbildung. Karlsruhe: Braun.
English translation: "Physical Concept Formation" (1992 draft), published version in: Collected Works (2019) pp. 339–440
1928. Scheinprobleme in der Philosophie (Pseudoproblems in Philosophy). Berlin: Weltkreis-Verlag.
1928. Der Logische Aufbau der Welt (his habilitation thesis). Leipzig: Felix Meiner Verlag.
English translation: Rolf A. George, 1967. The Logical Structure of the World. Pseudoproblems in Philosophy. University of California Press. ISBN 0-812-69523-2
1929. Abriss der Logistik, mit besonderer Berücksichtigung der Relationstheorie und ihrer Anwendungen.
(Revised) English translation: Introduction to Symbolic Logic (1958)
1931. "Überwindung der Metaphysik durch logische Analyse der Sprache" (PDF). Erkenntnis. 2: 219–241. 1931. doi:10.1007/BF02028153. S2CID 144658746.
English translation: "The Elimination of Metaphysics Through Logical Analysis of Language" Pap, Arthur (trans.) in: Ayer, A.J (ed.) Logical Positivism (1965) pp. 60–81 ISBN 978-0-02-901130-0
1934. Logische Syntax der Sprache.
English translation: 1937, The Logical Syntax of Language. Kegan Paul.
1935. Philosophy and Logical Syntax. Bristol UK: Thoemmes. Excerpt.
1939, Foundations of Logic and Mathematics in International Encyclopedia of Unified Science, Vol. I, No. 3. University of Chicago Press.[43]
1942. Introduction to Semantics. Harvard Uni. Press.
1943. Formalization of Logic. Harvard Uni. Press.
1945. "On Inductive Logic" in Philosophy of Science, Vol. 12, pp. 72–97.
1945. "The Two Concepts of Probability" Philosophy and Phenomenological Research, Vol. 5, No. 4, pp.513–532.
1947. "On the Application of Inductive Logic" in Philosophy and Phenomenological Research, Vol. 8, pp.133–148.
1947. Meaning and Necessity: a Study in Semantics and Modal Logic. University of Chicago Press. [enlarged edition published in 1956]
1950, (1962 2nd ed:) Logical Foundations of Probability. University of Chicago Press. pp. 3–15.
1950. "Empiricism, Semantics, Ontology", Revue Internationale de Philosophie 4: 20–40. JSTOR 23932367 reprinted in: Paul Benacerraf & Hilary Putnam (eds.), Philosophy of Mathematics: Selected Readings (1964)
1952. The Continuum of Inductive Methods. University of Chicago Press.
1958. Introduction to Symbolic Logic and its Applications. trans. W. H. Myer and J. Wilkinson, Dover publications, New York. ISBN 978-0-486-60453-4 [revised and translated version of Abriss der Logistik (1929)]
1962. "The Aim of Inductive Logic" in (eds.) Nagel, Suppes, and Tarski, Logic, Methodology and Philosophy of Science Stanford,, pp 303–318 (revised and expanded in Carnap & Jeffrey 1971).[44]
1963, "Intellectual Autobiography" in Schilpp. Paul A. (ed.) The Philosophy of Rudolf Carnap, Library Of Living Philosophers V. XI, Open Court p. 3–83 (1963) ISBN 0-8126-9153-9, 978-0812691535[45]
1964년. "수학의 논리주의적 기초", 폴 베나세라프 & 힐러리 퍼트남(편), 『수학 철학: 선별 도서』. 뉴저지주 잉글우드 클리프스: 케임브리지 대학교 출판부. 41-52쪽
1966년. 과학철학 입문. 기본 도서.
1966년. 물리학의 철학적 기초. 마틴 가드너 편집. 기본 도서. 온라인 발췌.
1971년. 귀납 논리와 확률 연구, 제1권. 제프리, R. C.와 공저, 캘리포니아 대학교 출판부.
1973년 "확률과 귀납에 관한 노트" Synthese 25 (3-4):269 - 298, Hintikka (1975)에 약간 수정되어 재출판됨
1975년 "관찰 언어와 이론적 언어", 야코 힌티카(편), 루돌프 카르납, 논리 경험주의자: 재료와 관점. 보스턴: D. 라이델 출판사.
75-85쪽 ["Beobachtungssprache und Theoretische Sprache" 번역, Dialectica, 12(3–4): 236–248 1958]
1977년. 엔트로피에 관한 두 편의 에세이. 시모니, 애브너 편집. 캘리포니아 대학교 출판부.
1980. "귀납 논리의 기본 체계 2부" Jeffrey, R. C. (편집) 귀납 논리와 확률 연구, 제2권. . 캘리포니아 대학교 출판부.
2000년. 『일반적 공리학 연구』. T. 본크와 J. 모스테린이 미출간 원고를 편집함. 다름슈타트: 과학 학술 부록. 167 ISBN 3-534-14298-5..
2017년, "가치 개념 (1958)", Synthese, 194(1): 185–194. doi:10.1007/s11229-015-0793-2
2019. 루돌프 카르납: 초기 저작, A.W. 카루스, 마이클 프리드먼, 볼프강 키엔츨러, 앨런 리처드슨, 스벤 슐로터 (편), (루돌프 카르납 전집, 1권), 뉴욕: 옥스퍼드 대학교 출판부
2024년. 루돌프 카르납: 의미론 연구, 스티브 아우디와 그렉 프로스트-아놀드 (편집), (루돌프 카르납 전집, 7권) 뉴욕: 옥스퍼드 대학교 출판부
*더 완전한 목록은 "링크된 참고문헌"의 카르냅 작품을 참조하세요.
Sources Wikipedia