stanford-oval/wikipedia huggingface dataset:
논리사
현대 논리학의 융성

14세기부터 19세기 초의 사이의 기간은 대체로 쇠퇴와 부정의 시기이며, 논리학 역사가에 의해서 일반적으로 황폐기로 간주되고 있다. 논리학의 부활은 19세기 중반, 논리학이 수학으로 이용되는 정확한 증명법을 범으로 하는 엄밀하고 형식적인 학과로 발전하는 혁명기에 일어났다. 이 시기의 현대의 이른바 '기호' 또는 '수리'논리학의 발전은 논리학 2000년의 역사 중에서 가장 현저한 것이며, 논란의 여지는 있으나 인류의 지성의 역사 중에서 가장 중요하고 주목해야 할 사건이라고 말할 수 있다.
수많은 특징에 의해서 현대 논리학이 고전의 아리스토텔레스 논리학이나 전통적 논리학와 구별되지만, 이중에서도 특히 중요한 것은 이하와 같다:
현대 논리학은 근본적으로는 '계산'(calculus)이며, 이 계산을 수행하는 규칙은 이용되는 기호의 '의미'에 의해서가 아니라, 수학과 같이 기호의 '형식'에 의해서 정해진다. 현대 논리학자는 실로 수학적인 결과에 관해서 논쟁이 길어지지 않는 수학의 '성공'에 강하게 영향을 받고 있다. 라플라스가 정적분의 계산을 잘못했기 때문에 달의 궤도에 관한 잘못이 일어나 그것이 50년 가깝게 존속했다고 해도, 잘못이 한 번 찾아낼 수 있으면 큰 논쟁을 일으키는 일 없이 바로잡아진다고 C. S. 퍼스는 말하고 있다. 퍼스는 이를 전통 논리학에 관련되는 애매함과 그리고 특히 형이상학에서의 추론과 대비시키고 있는 것이다. 실로 '정확한' 논리학은 수학적인, 즉 '도식적'·'기호적'인 사고에 근거한다고 그는 주장했다. '이러한 방법에 준거하는 사람들은 [ ... ] 한번 의심되자마자 바로잡아지는 것을 제외해 모든 잘못으로부터 면할 것이다.
'또, 현대 논리학은 '추상적'(abstractive)인 것보다도 오히려 '구성적'(constructive)이다. 즉, 자연 언어 (혹은 타당성에 관한 심리학적 직관)로부터 이끌어낸 일반 원리를 추상화·정식화하는 것보다도 오히려, 형식적인 방법에 따라 일반 원리를 구성해, 그 후에 자연 언어에서의 해석을 모색하는 것이다. 이는 완전하게 기호적이다, 즉 (중세 논리학자가 공의어라고 부른) 논리적으로 불변인 물건과 자의어의 양쪽 모두가 기호로 나타내진다. 최종적으로, 현대 논리학은 심리적·인식론적·형이상학적인 물음을 강하게 물리친다.
현대 논리학의 시대

현대 논리학의 발전은 크게 다섯 개의 시기로 나눌 수 있다:
라이프니츠로부터 1847년까지의 태동기, 이 시기에는 논리 연산이라는 발상이 특히 라이프니츠에 의해서 논의되어 발전했지만 학파가 형성되지 않고, 고립한 단속적인 시도가 되어서는 포기 혹은 무시되었다.
불의 '해석'(Analysis)으로부터 슈뢰더의 '강의집' (독일: Vorlesungen)까지의 대수학의 시대. 이 시기에는 현대 논리학의 실천자가 증가해, 발전이 크게 계속하게 되었다.
프레게의 '개념 기법'(Begriffsschrift)으로부터 러셀과 화이트 헤드의 '프린키피아 마테마티카'까지의 논리주의자의 시대. 이 시기는 모든 수학적·과학적 담화의 논리를 하나의 통일된 체계에 정리하는 것을 목적으로 해, 모든 수학적 진리가 논리적이라고 말하는 것 근본적 원리로서 비논리적인 어법을 인정하지 않는 논리주의자에 의해서 지배되고 있었다. 주된 논리주의자에는 프레게, 러셀, 초기의 비트겐슈타인이 있다. 이 시대의 정점이 되는 것은 초기의 발전의 장해가 되고 있던 이율배반의 철저한 고찰을 하고 해결이 시도된 '프린키피아 마테마티카'이다.
1910년대부터 1930년대까지의 메타 수학의 시대, 히르베르트의 유한주의 체계나 레이베하임 및 스코렘의 비유한 주의적 체계에 대해 메타 논리학의 발전이 보여 한 층 더 괴델 및 타르스키의 저작 중에서 논리학과 메타 논리학이 합쳐졌다. 1931년에 발표된 괴델의 불완전성 정리는 논리학의 역사에서의 최대의 실적의 하나이다. 1930년대 후반에는 괴델은 집합론적 구성 가능성의 이론을 발전시켰다.
전후 논리학의 시대, 수리논리학이 서로 관계하지만 떨어져 있는 4개의 연구 영역, 모델 이론, 증명론, 계산 가능성 이론, 그리고 집합론으로 나뉘면서 그 개념·방법이 철학에 영향을 주기 시작했다.
현대 논리학의 시대 > 태동기

추론이 순수하게 기계적인 과정에 의해서 나타낼 수 있다는 발상은 동심환의 체계에 의해서 결론을 이끈다는 (약간 이색적인) 방법을 제안한 라몽 류이(카탈로니아어: Ramon Llull, 영어: Raymond Llull)에서 이미 찾아볼 수 있다. 옥스포드 계산가로 불리는 논리학자들의 작품에 의해서, 말로 논리적 계산 (라: calculationes)을 새로 쓰는 대신에 문자를 사용하는 방법이 만들어져서 예를 들면 베네치아의 파우르스의 '대논리학' (라: Logica magna)에서 사용되었다. 라몽 류이로부터 300년의 뒤에, 모든 논리학·추론은 덧셈과 뺄셈이라는 수학적 작업에 환원할 수 있다고 영국의 철학자·논리학자 토머스 홉스가 주장했다. 같은 발상은 라몽과 홉스의 저작을 읽은 적이 있는 라이프니츠의 저서에서도 찾아 볼 수 있지만, 논리는 편성 처리(combinatorial process) 혹은 계산에 의해서 나타낼 수 있다고 주장했다. 그러나, 라몽 및 홉스와 마찬가지로 그도 상세하고 포괄적인 체계를 구축하는데는 실패하고 있어, 이 화제에 관한 그의 저작은 사후 오랫동안 발간되지 않았다. 통상 언어는 '무수한 애매한 것'에 따르지 않으면 안되며 계산에는 적합하지 않다는, 계산의 역할은 추론에 대해 말의 형식·구조로부터 태어나는 잘못을 들추어내는 것이기 때문이라고 라이프니츠는 말한다; 그러므로, 그는 복잡한 개념을 표현하기 위해서 구성될 수 있는 기본적인 개념을 모두 포함한 인간의 사고에서의 알파벳을 판별하는 것과 '우리가 한눈에 잘못을 발견할 수 있도록, 그리고 사람들이 논쟁을 실시하고 있을 때 단지 '계산해 보자'라고만 말하기 위해서, 수학자가 하는 것과 같이 확실히' 추론을 실시하는 '추론 계산기'를 만드는 것을 제창했다.
제르곤누 (1816년)는 추론은 그에 대해 완전하게 명확한 관념을 가지고 있는 부분의 대상에 관한 것일 필요는 없다는, 대수적인 조작은 거기서 사용된 기호의 의미의 관념을 갖지 않고도 실행할 수 있기 때문이라고 말했다. 보르트노는 변수의 용어에 대해 논리적 귀결 즉 '연역 가능성'의 정의를 실시할 때에 현대의 증명론의 기본적인 관념을 예상했다: i, j, ... 등의 변수가 있을 때, 명제의 집합 a, b, c ... 가 실로 되는 임의의 값을 i, j, ... 에 대입했을 때 동시에 명제 n, o, p ... 도 실로 진정된다면 n, o, p ... 는 a, b, c ... 로부터 연역할 수 있다. 이는 오늘로는 의미론적 타당성(semantic validity)으로 알려져 있다.
현대 논리학의 시대 > 대수학의 시대

현대 논리학은 불(Boole)을 기원으로 하여, 페어스(Peirce), 제본즈(Jevons), 슈뢰더, 존 벤(Venn)을 포함한 이른바 '대수학파'에 시작한다. 그들의 목적은 클래스, 명제, 확률의 영역에서 추론을 형식적으로 나타낼 수 있도록 계산을 발달시키는 것이었다. 이 학파는 1847년에 발표되어 매우 강한 영향력을 미친 불의 작품 '논리학의 수학적 분석' (영: Mathematical Analysis of Logic)과 함께 시작되었지만, 극히 가까운 선구자로서 드 모르간 (1847생)이 있다. 불의 체계의 기본적인 발상은, 대수학 수식은 논리적 관계를 나타내는 데 사용할 수 있다는 것이었다. 불은 이를 링컨의 사립학교 시절의 경비원으로 있던 10대 무렵에 생각해 내었다. 예를 들면, x와 y에 클래스를 나타내게 하고, '='에 클래스가 같은 성원을 가지는 것을 나타내게 하고, xy에는 x와 y의 모든 구성원을, 그리고 x와 y에는 각 구성원을 나타내는 등을 한다. 불은 이것들을 '선택 기호' 즉 고찰하기 위해서 어느 대상을 선택하는 기호라고 불렀다. 선택적 기호가 이용된 표현은 '선택 함수'라고 불려 선택적 함수를 포함하는 분 정도식은 '선택 방정식'이다. 선택 함수의 이론과 선택 함수의 '발전'은 진리 함수와 그 가법 표준형에 의한 표현이라는 본질적으로 현대적인 관념이다.
불의 체계는 클래스 논리학 및 명제 논리학이라는 2종류의 해석이 가능하게 된다. 불은 삼단논법의 이론으로 취급하는 '일차 명제'와 명제 논리학으로 취급하는 '2차 명제'를 구별해, 다른 '해석' 아래에서 대수계가 양자를 어떻게 나타낼 수 있는지를 나타냈다. 일차 명제는 예를 들면 '모든 주민이 유럽계나 아시아계이다'이다. 2차 명제는 예를 들면 '모든 주민이 유럽계이거나 모든 주민이 아시아계의 어느 쪽이다'이다. 이 둘은 현대적인 논리 연산에 대해 용이하게 구별할 수 있어 한 층 더 후자는 전자에 포함되는 일도 나타내 보일 수 있지만, 불의 체계로는 이를 나타낼 수 없는 것이 불의 체계의 큰 결점이다.
'기호논리학' (영: Symbolic Logic, 1881년)에서, 존 벤은 명제의 클래스 또는 진리 조건(truth-condition)의 불 대수 관계(Boolean relation)를 기술하는 데에 영역이 겹치는 도식을 이용했다. 1869년에 제본즈는 불의 방법이 기계적으로 진행되는 것을 나타내, '논리 기계'를 조립해 다음 해에 왕립 협회에 제출했다. 1885년에 알란 마칸드가 논리 기계의 전기식 버전을 제안했는데, 지금도 현존하고 있다.(picture at the Firestone Library)
(존재 명제를 나타내는 데 v라는 문자를 사용하는 등의) 불의 체계의 결점은 모두 그의 추종자들에 의해서 개선되었다. 제본즈는 1864년에 '순수 논리학, 또는 양과는 다른 질의 논리학' (영: Pure Logic; or, the Logic of Quality apart from Quantity)을 출판해, 그 중에 매우 간소화된 불의 체계에 준거해 배타적 논리합을 나타내는 기호를 제안했다. 이는 슈뢰더의 '강의집' (독일: Vorlesungen, 1890년 - 1905년) 속에서 parallel column에 정리를 적용할 때에 편리하게 이용되었다. 퍼스 (1880년)는 모든 불 선택 함수를 하나의 원시적인 2항연산 '부정 논리합'과, 동빈도로 '부정 논리곱'을 이용해 나타내는 방법을 나타냈지만, 퍼스의 다른 많은 업적과 마찬가지로, 1913년에 시파가 재발견할 때까지 알려지지 않은 채로 있었다. 불의 초기의 저작에서도 퍼스 (1867년), 슈뢰더 (1877년), 제본즈 (1890년)에 근원을 발하는 논리합의 지식이나, 제르곤누 (1816년)가 최초로 제안해 퍼스 (1870년)가 명확하게 표현한 내포의 개념이 부재하였다.
불 대수계의 성공에 의해, 모든 논리는 대수적으로 나타낼 수 있다고 주장이 되고, 그렇게 말한 형식에서 관계의 논리를 나타내려는 시도가 태어났는데, 그 중에서도 가장 야심적인 것은 슈뢰더의 기념비적 작품 '논리 대수 강의' (독일: Vorlesungenuber die Algebra der Logik, vol iii 1895)이다. 그러나 기본적인 생각은 역시 퍼스에 의해서 예견되고 있었다.
현대 논리학의 시대 > 논리주의자의 시대

불 이후에 큰 발전은 독일의 수학자 고틀로프 프레게에 의해서 이루어졌다. 프레게의 목적은 논리주의의 계획, 즉 산술은 논리와 완전히 동일하다고 나타내 보이는 것에 있었다. 프레게는 그 분야의 선배에 비하여 논리학에서 훨씬 더욱 엄밀하고 형식적인 접근을 하고 있어 그의 계산법, 이른바 개념 표기법은 중요하다. 프레게는 수의 개념이 순수하게 논리학적인 수법으로 나타내지는 것을 나타내려고 시도해 그 결과 (그가 올바르면) 계산이나 계산에 환원할 수 있는 모든 수학의 분야는 논리학에 포함되게 되었다. 그는 이를 제안한 최초의 저술가는 아니다. 그의 선구적 작품 '산술의 기초'(Die Grundlagen der Arithmetik) (15장-17장)에서, 그는 라이프니츠, 밀, 제본즈의 실적을 인정하고 있어 제본즈의 '대수학은 고도로 발달한 논리학, 즉 논리적 구별이 부족한 수이다'라는 주장을 당기고 있다.
프레게의 처녀작 '개념 표기법'은 명제 논리를 엄밀하게 공리화한 체계이며, 단 두 개의 논리합 (부정과 논리 포함), 두 개의 추론 규칙 (모다스포넨스와 대입), 여섯 개의 공리만으로 구축되고 있다. 프레게는 이 체계의 '완전성'에 언급하고 있지만, 그것을 증명할 수 없었다. 그러나, 가장 현저한 혁신은 그에 의한, 수학의 함수의 개념을 사용한 양화자의 설명이었다. 전통적 논리학으로는 '카이사르는 인간이다'라는 문장을 '모든 인간은 죽을 것이다'라고 근본적으로는 같은 형식의 것으로 취급한다. 고유 명사를 주어로 하는 문장은 그 고유 명사가 보편을 나타내는 것으로서 다루어져 '모든 카이사르는 인간이다'라고 해석된다. 양화자에 의한 표현 '모든 인간'은 '모든 인간'과 논리적·의미론적 형식에서 달라, 보편 명제 '모든 A는 B이다'는 두 개의 '함수', 즉 '-은 A이다'와 '-은 B이다'의, 전자를 만족하는 모두 후자도 만족하는 합성 명제라고 프레게는 주장했다. 현대의 기법으로 이는 이하와 같이 표현된다.
한국어로 쓰면 '모든 (임의의) x에 대해서, Ax라면 Bx이다'가 된다. 단칭명제만은 주어-술어의 형식을 취해, 환원되지 못하고 단칭이다, 즉 일반 명제로 환원할 수 없다. 대조적으로 보편 명제와 특수 명제는 단순한 주어-술어의 형식을 결코 취하지 않는다. '모든 포유류'가 '모든 포유류는 육생이다'라는 문장의 논리적 주어이면, 문장 전체를 부정하기 위해서 술부를 부정해 '모든 포유류가 육생'은 아니다' '라는 문장을 줄 것이다. 그러나 이 경우는 그렇지 않다. 이러한 통상 언어문의 함수적인 분석은 후에 철학과 언어학에 심대한 영향을 주었다.
이는 프레게의 계산에서는, 불의 '일차' 명제가 '2차' 명제로부터 다른 형태로 나타낼 수 있는 것을 의미한다. '모든 주민은 유럽계나 아시아계의 어느 쪽이다'는
로과 나타낼 수 있는데 비해 '모든 주민이 유럽계거나 모든 주민이 아시아계의 어느 쪽이다'는
프레게는 불의 계산을 부정해 다음 같이 말하고 있다:
통일적·포괄적인 논리 체계를 제공했던 것 뿐만 아니라, 프레게의 계산은 고전적인 다중 보편성 문제도 해결했다. '모든 여자 아이가 사내 아이에게 키스를 했다'의 애매함은 전통적 논리학으로는 표현 곤란하지만, 프레게의 논리학이라면 이를 양화자의 사정의 틀림에 따라 파악할 수 있다. 그 때문에
는 거기에 있는 모든 여자 아이에게 대응하고 키스를 한 상대인 사내 아이 (모두가 그렇게 한다)가 존재하는 것을 의미한다. 대해
는 어떠한 특정의 소년이 있어 그에게 모든 여자 아이가 키스를 한 것을 의미한다. 이러한 도구 정리가 없으면 논리주의의 계획은 애매모호하거나 불가능했을 것이다. 이를 사용하는 것으로 프레게는 조상 관계, 다대일관계, 수학적 귀납법의 정의를 줬다.
이 시기는 데데킨트, 파슈, 페아노, 힐베르트, 트르메로, 한틴톤, 베브렌, 하이팅 등 이른바 수학파의 저작 간행과 겹치고 있다. 그들의 목적은기하학, 산술, 해석, 집합론과 같은 수학의 분야를 공리화하는 것이었다.
논리주의 계획은 1901년의 버트런드 러셀이 나타내 보인 역설에 의해 반치명적인 좌절을 경험했다. 이에 의해 프레게의 소박 집합론으로부터 모순이 이끌리는 것이 증명되었다. 프레게의 이론은 어떤 형식적 기준에 대해서도 기준에 적절한 것 모두를 포함한 집합이 존재한다는 것이었다. 그에 비해, 자신이 자신의 요소가 아닌 집합을, 그것들만을 포함한 집합은 자신의 정의와 모순된다 (그것이 자신의 요소가 아니라면 자신의 요소가 아니면 갈 수 없게 되고, 자신의 요소라면 자신의 요소여선 안 되게 된다)라는 것을 러셀이 증명했던 것이다. 오늘에는 이 모순은 러셀의 역설로서 알려져 있다. 이 역설을 해결하는 중요한 방법의 하나는 에른스트 트르메로에 의해 제안됐다. 트르메로 집합론은 최초의 공리계 집합론이다. 이것이 발전해 오늘 표준적인 물건이 되고 있는 트르메로후렌켈 집합론 (ZF)이 되었다.
1910년-1913년에 발표된 수학기초론에서 기념비적인 러셀과 알프레드 노스 화이트헤드에 의한 3권으로부터 되는 작품 '프린키피아 마테마티카'에서는 계형이론을 구축하는 것으로 역설을 구축하려고 시도되고 있다: 요소의 집합은 서로가 서로의 요소인 것보다도 오히려 다른 형태에 속하고 있어 (집합은 요소가 아니다; 요소는 집합은 아니다), '모든 집합의 집합'되는 개념에 대해 말할 수 없다. '프린키피아'는 기호논리학에서 자주 정의된 일련의 공리와 추론 규칙으로부터 모든 수학적 진리를 꺼내려는 시도였다.
현대 논리학의 시대 > 메타 수학의 시대

괴델과 타르스키의 이름이 1930년대, 메타 수학 - 수학적 수법을 이용해 메타 이론, 즉 다른 수학적 이론에 관한 수학적 이론을 만들어 내는 수학-의 발전에 결정적인 시대를 지배했다. 메타 수학에 대한 초기의 연구는 힐베르트 프로그램에 의해서 추진되었다. 힐베르트 프로그램은 유한개의 공리로 모든 수학을 기초 마련하는 일로 수학의 기초부에 진행중인 위기를 해결하려는 것으로, '유한주의'적인 수법에 따라 수학에 무모순성을 주어 모든 수학적 언명의 진위를 판단하는 수속을 제공한다. 메타 수학의 연구가 정점으로 달한 것은 1층 술어 논리에 의한 임의의 문장은 논리적으로 타당할 때, 그리고 그 때만-즉, 그 문장이 그 언어에서의 어떠한 구조에서도 참일 때—도출 가능이다. 이는 괴델의 완전성 정리로서 알려진다. 그 후, 그는 두 개의 중요한 정리를 증명하고 있어, 힐베르트 프로그램은 그 원래의 형태로는 달성 불가능하다는 것이 그에 따라서 나타났다. 두 개 중 첫째는, 알고리즘이나 컴퓨터 프로그램과 같은 효과적 방법에 따라 그 정리를 늘어놓아 들 수 있는 모순되지 않은 공리계로 자연수에 관한 모든 사실이 주어지지 않는다는 정리이다. 그러한 모든 계에 대해서, 참이지만 그 계로부터 증명할 수 없는 자연수에 관한 명제가 항상 존재한다. 둘째는, 그러한 계가 자연수에 관한 기본적인 사실을 증명할 수 있다면, 그 계는 자신의 무모순성을 증명할 수 없다는 것이다. 이 두 개의 결과는 괴델의 불완전성 원리, 혹은 단지 '괴델의 정리'라고 불린다. 후에, 괴델은 선택 공리 및 연속체 가설이 트르메로후렌켈 집합론과 모순되지 않은 것의 증명의 일환으로서 집합론적 구성 가능성의 개념을 발달시켰다.
증명론에서는, 게르하르트 겐트가 자연 연역과 시크엔트 계산 등의 개념을 발달시켰다. 자연 연역은 논리적 추론을, 그것이 실천 중에서 '자연스럽게' 일어나 직관 논리에 가장 용이하게 적용할 수 있는 것이도록 조형하려는 시도이며, 시크엔트 계산은 임의의 형식적 체계에 대해 논리적 증명의 도출을 정식화하기 위해서 구축된다. 겐트의 저작 이후, 자연 연역과 시크엔트 계산은 증명론, 수학적 논리학, 계산기 과학 등의 분야에 넓게 적용되어 왔다. 또, 겐트는 정규화 정리와 컷 제거 정리를 증명했지만, 이는 논리적 증명을 정규의 형식에 환원하는데 사용되는 것으로 직관 논리 및 고전 논리에 나타나게 됐다.
얀 우카시에비치의 제자 알프레트 타르스키는 진리와 논리적 귀결의 정의, 논리적 충족이라는 의미론적 개념에 의해서 가장 잘 알려져 있다. 1933년에, 그는 (폴란드어로) '형식 언어에서의 진리의 개념'을 발표해, 그 중에 자신 진리의 의미론을 제안했다: '눈은 희다'와 같은 문장은 눈이 흴 때에, 그리고 그 때에만 참이다. 타르스키의 이론은 메타 렝귀지, 즉 언명을 실로 하는 것과 대상 언어, 즉 참이라고 주장되는 문장을 포함하는 것을 구별하고, 대상 언어의 어구와 해석의 요소와의 사이에 일치 (T-schema)를 주었다. 진리를 설명한다는 곤란한 과제에 대한 타르스키의 접근은 논리학과 철학에, 특히모델 이론의 발전에 영속적으로 영향을 주고 있다. 타르스키는 연역계의 방법론이나 완전성, 결정 가능성, 무모순성, 구조 등의 중요한 제원리에 관한 중요한 연구도 가고 있다. 아니타 페레르만(Anita Feferman)에 의하면, 타르스키는 '20세기의 논리학의 용모를 일변시켰다.'
알론조 처치와 앨런 튜링은 계산 가능성이 형식적인 모델을 제의해, 1936년 및 1937년에 각각 독자적으로 히르베르트의 '결정 문제'를 부정적으로 해결했다. '결정 문제'란, 임의의 형식적·수학적 언명이 주어졌을 때에 그 언명의 진위를 알고리즘적으로 결정할 수 있는 순서를 탐구하는 것이다. 교회와 튜링은 그러한 순서가 존재하지 않는 것을 증명했다; 튜링의 논문에서는 알고리즘적인 해결이 존재하지 않는 수학적 문제의 중요한 예로서 정지성 문제가 들어지고 있다.
처치의 계산 시스템은 발전하여 람다 계산이 되었고, 한 편 튜링 기계는 다목적 계산 장치의 표준적인 모델이 되었다. 그 밖에도 수많은 계산 모델이 제기되었지만, 그것들은 모두 처치나 튜링이 제안한 것과 동등의 능력을 가지고 있었다. 이 결과로부터, 인간이 실행할 수 있는 임의의 확정적 알고리즘은 튜링 기계도 실행할 수 있다는 처치-튜링 논제가 유도되었다. 처치는 보완적인 결정 불가능의 결과를 증명해, 페아노 계산도 1층 술어 논리도 결정 불가능인 것을 나타냈다. 그 후, 1940년대에 에밀 포스트와 스티븐 클레이니가 계산 가능성 이론의 사정을 확장해, 튜링 차수의 개념을 도입했다.
20세기 최초의 10년의 성과는 분석 철학이나 철학적 논리학에, 특히 1950년 이후의 양상 논리, 시제 논리, 의무 논리 등에 영향을 미쳤다.
현대 논리학의 시대 > 전후 논리학

제2차 세계대전 후, 수리논리학은 4개의 서로 관련하지만 서로 떨어진 영역, 즉 모델론, 증명론, 계산 가능성 이론, 그리고 집합론으로 나누어졌다.
집합론에서는 강제법이 모델을 구축해 독립한 결과를 얻기 위한 방법을 제공하고 혁명이 일어났다. 1962년에 폴 코엔이 이 방법을 도입해 연속체 가설과 선택 공리가 ZFC 집합론으로부터 독립인 것을 증명했다. 그의 기교는 도입하자마자 간소화 및 확장된 것이며, 이 이후 수리논리학의 모든 분야에서 다른 여러 가지 문제에 도입되어 왔다.
계산 가능성 이론의 기원은 1930년대-1940년대의 튜링, 처치, 클레이니, 그리고 포스트에 있다. 계산 가능성 이론은 추상적 계산 가능성의 연구로 발전해, 재귀 이론으로서 알려져 있는 것이 됐다. 우선도법(priority method)은 1950년대에 알버트 머크닉(Albert Muchnik)와 리처드 프리드베르그(Richard Friedberg)에 각각 독립에 발견되어 튜링 차수와 관련하는 구조의 이해에 큰 진전을 가져왔다. 고차 계산 가능성 이론의 연구에 의해 계산 가능성 이론과 집합론과의 관계가 증명되었다. 구성적 해석학 및 계산 가능성 해석학 등의 분야는 고전 수학의 정리의 유효한 내용을 연구하기 위해서 발전했다; 이들은 번갈아 역수학의 계획을 일으켰다. 계산 가능성 이론의 다른 분야인 계산 복잡도 이론(computational complexity theory)도 또한 기술 계산량의 연구의 결과로서 논리학적인 술어를 사용한다는 특징을 가진다.
모델 이론은 수리논리학의 수법을 이용해 특정의 수학 이론의 모델을 연구하는 분야이다. 알프레트 타르스키는 이 분야의 선구적인 저작을 많이 발표하고 있어 이 분야의 이름도 그가 발표한 일련의 저작의 제목 '모델 이론에의 공헌'에 연관되고 있다. 1960년대에, 아브라함 로빈슨은 모델 이론의 기법을 이용해 무한소, 즉 최초로 라이프니츠가 제의한 문제에 근거한 계산·해석을 발전시켰다.
증명론에서는 고전 수학과 직관적 수학과의 관계가 게오르크·쿠라이젤의 발명한 실현 가능성의 수법이나 괴델의 변증법 해석이라는 도구를 이용해 해명된다. 이 연구에 의해서 증명 채굴(proof mining)이라는 동시대의 영역이 여기되었다. 커리-하워드 대응(Curry-Howard correspondence)이 자연 연역과 계산기 과학으로 이용되는 형태 부착 람다 계산(typed Lambda caculus)와의 일치를 포함한, 논리와 계산과의 깊은 유사로서 일어났다. 결과적으로, 이 형식적 체계의 클래스가 논리학적인 면과 계산기적인 면과의 양쪽 모두를 설명하게 되었다; 이 연구 영역은 현대형 이론으로서 알려지게 되었다. 순서 해석이나, 파리스하린톤의 정리와 같은 산술에서의 독립한 결과의 연구에 의해서도 진전이 일어났다.
이 시기는, 특히 1950년대와 그 이후는 수리논리학의 개념이 철학적 사고에 영향을 주기 시작했던 시기이기도 하다. 예를 들면, 시제 논리는 시간에 수식된 문장을 표현해, 추리하기 위해서 형식화 된 체계이다. 철학자 아서 프라이어는 1960년대에 이 분야의 발전에 큰 역할을 완수했다. 양상 논리는 형식논리학의 사정을 확장해 모다리티의 요소 (예를 들면, 논리적 가능성이나 필요성)를 포함 하도록 했다. 솔 크립키의 사상, 특히 가능 세계에 관한 사상과 오늘 크립키 의미론으로 불리고 있는 형식적 체계는 분석 철학에 중대한 영향을 미쳤다. 그의 가장 잘 알려져 가장 영향력을 가진 저작은 '지명과 필연성' (1980년)이다. 의무 논리는 양상 논리와 긴밀히 관계하고 있다: 의무 논리는 의무, 허가, 그 외 관련하는 개념의 논리적 특징을 파악하려고 한다. 아레크시우스 마이농의 제자 에른스트 메리는 화이트 헤드와 러셀의 명제 계산의 통어론에 근거해 '의무의 기본법칙' (독일: Grundgesetze des Sollens)으로 처음으로 형식적인 의무 체계를 제의했다. 제2차 세계대전 후에 창시 된 다른 논리 체계로서 이란의 수학자 로트피 자데가 1965년에 시작한 퍼지 논리가 있다.
같이 보기

철학사
플라톤의 수염
수학의 역사
함수 개념의 역사
연역적 추론의 역사
귀납적 추론의 역사
수리논리학 연표
이집트의 피라미드는 기하학을 이용해 만들어졌다
플라톤의 아카데메이아
아리스토텔레스의 논리학은 르네상스기에도 영향력을 유지했다
크리시포스
아비센나 논리학의 창시자, 이븐 시나에 의한 교과서
브리트의 ' 구논리학'에 대한 질문장
잣드리 펜나 '논리학의 기예' (1584년)
게오르크 빌헬름 프리드리히 헤겔
라임두스 르르스의 생애. 14세기의 사본에서.
불 연산표
프레게의 '개념 표기법'
알프레트 타르스키
솔 크립키
신주인수권

신주인수권(新株引受權, 독일어: Bezugsrecht, preemptive right)이란 회사가 신주를 발행할 경우에 그 전부 또는 일부를 타인에 우선하여 인수할 수 있는 권리를 말한다. 인수에 우선할 권리일 뿐 발행가액이나 기타 인수 조건에서 우대받을 수 있는 권리는 아니다.:683  대한민국 상법 제418조에 의하면 주주는 정관에 다른 정함이 없으면 그가 가진 주식의 수에 따라서 신주의 배정을 받을 권리가 있다. 즉 주주는 법률의 규정에 따라서 당연히 신주인수권을 가지며, 주주 이외의 제3자의 신주인수권은 정관에 규정이 있어야 한다. :722
종류

신주인수권은 '주주의 신주인수권'과 '제3자의 신주인수권'으로 구분할 수 있는데 제3자에 대해 신주를 배정할 때는 정관의 규정이 있어야 하는 등 엄격한 절차에 의하여야 한다. 추상적 신주인수권은 주주권의 일부로서 주주권과는 독립되지 아니한 주주권의 지분적 권리에 불과한 것이나, 구체적 신주인수권은 주주권과는 독립된 별개의 채권적 권리이다.
인수권 침해에 대한 구제수단

회사가 신주를 발행하는 과정에서 주주의 신주인수권을 침해한 경우, (1) 주주는 회사에 대하여 손해배상을 청구할 수 있고(제389조 제3항, 제210조 또는 민법 제756조) (2) 그 침해에 관하여 이사에 대해서도 손해배상을 청구할 수 있다(제401조). 특히 이사에 대한 손해배상청구는 이사의 제3자에 대한 책임을 추궁하는 것인데, 주주의 신주인수권이 침해되어 주주에게 발생한 손해는 간접손해가 아닌 직접손해이므로 청구할 수 있다. 주주는 또한 사전적 구제수단으로서 신주발행유지청구권(제424조)을, 그리고 (4) 사후적 구제수단으로서 신주발행무효의 소(제429조 이하)를 각각 제기할 수 있다.
제3자의 신주인수권

회사는 법률이나 정관에 근거가 있으면 주주 아닌 제3자에게도 신주인수권을 부여할 수 있다.
판례

상법 제335조 제2항 소정의 주권발행 전에 한 주식의 양도는 회사성립후 또는 신주의 납입기일 후 6월이 경과한 때에는 회사에 대하여 효력이 있는 것으로서, 이 경우 주식의 양도는 지명채권의 양도에 관한 일반원칙에 따라 당사자의 의사표시만으로 효력이 발생하는 것이고, 상법 제337조 제1항에 규정된 주주명부상의 명의개서는 주식의 양수인이 회사에 대한 관계에서 주주의권리를 행사하기 위한 대항요건에 지나지 아니하므로, 주권발행 전 주식을 양수한 사람은 특별한 사정이 없는 한 양도인의 협력을 받을 필요 없이 단독으로 자신이 주식을 양수한 사실을 증명함으로써 회사에 대하여 그 명의개서를청구할 수 있으므로, 주주명부상의 명의개서가 없어도 회사에 대하여 자신이 적법하게 주식을 양수한 자로서 주주권자임을 주장할 수 있다. . [2] 상법 제416조 제5호에 의하면, 회사의 정관 또는 이사회의 결의로 주주가 가지는 신주인수권을 양도할 수 있는 것에 관한 사항을 결정하도록 되어있는바, 신주인수권의 양도성을 제한할 필요성은 주로 회사측의 신주발행사무의 편의를 위한 것에서 비롯된 것으로 볼 수 있고, 또 상법이 주권발행 전 주식의 양도는 회사에 대하여 효력이 없다고 엄격하게 규정한 것과는 달리 신주인수권의 양도에 대하여는 정관이나 이사회의 결의를 통하여 자유롭게 결정할 수 있도록 한 점에 비추어 보면, 회사가 정관이나 이사회의 결의로 신주인수권의 양도에 관한 사항을 결정하지 아니하였다 하여 신주인수권의 양도가 전혀 허용되지 아니하는 것은 아니고, 회사가 그와 같은 양도를 승낙한 경우에는 회사에 대하여도 그 효력이 있다. [3] 주권발행 전의 주식의 양도는 지명채권 양도의 일반원칙에 따르고, 신주인수권증서가 발행되지 아니한 신주인수권의 양도 또한 주권발행 전의 주식양도에 준하여 지명채권 양도의 일반원칙에 따른다고 보아야 하므로, 주권발행 전의 주식양도나 신주인수권증서가 발행되지 아니한 신주인수권 양도의 제3자에 대한 대항요건으로는 지명채권의 양도와 마찬가지로 확정일자 있는 증서에 의한 양도통지 또는 회사의 승낙이라고 보는 것이 상당하고, 주주명부상의 명의개서는 주식 또는 신주인수권의 양수인들 상호간의 대항요건이 아니라적법한 양수인이 회사에 대한 관계에서 주주의 권리를 행사하기 위한 대항요건에 지나지 아니한다.
판례 > 현물출자와 주주의 신주인수권

주주의 신주인수권은 주주가 종래 가지고 있던 주식의 수에 비례하여 우선적으로 인수의 배정을 받을 수 있는 권리로서 주주의 자격에 기하여 법률상 당연히 인정되는 것이지만 현물출자자에 대하여 발행하는 신주에 대하여는 일반주주의 신주인수권이 미치지 않는다.
입법례

미국의 모범회사법에서는 회사의 주주는 정관에서 규정하지 않는 한, 회사의 미발행 주식을 취득할 우선권을 가지지 아니한다고 규정한다. 캘리포니아주 회사법에서도 신주인수권은 정관에 기재되지 아니하면 효력이 없다고 규정하고 있다. 그러나, 뉴욕 주법에서는 주주의 신주인수권을 인정하고 있다.
같이 보기

옵션계약
우선매수청구권
리카르디 도서관

리카르디 도서관의 열람실
리카르디 도서관 (Biblioteca Riccardiana)은 이탈리아 피렌체에 있는 도서관이다. 메디치 리카르디궁에 위치해 있다.
역사

1600년에 리카르도 로몰로 리카르디 (Riccardo Romolo Riccardi)가 지었다. 과거에는 리카르디 가문에게 속해있었다. 1670년부터 라르가 거리 (Via Larga)의 메디치 궁전에 위치하고 있다. 1715년부터 대중들에게 개방됐다. 1813년부터 지금까지 아카데미아 델라 크루스카에 속해있다.
월드 디지털 라이브러리와 협력 관계이다.
필사본

리카르디 도서관은 10세기의 것으로 추정되는 플리니우스의 《박물지》 복사본과 니콜로 마키아벨리가 서명을 남긴 그의 《피렌체사》를 소장하고 있다. 또한 성서 필사본들도 소장하고 있다: Minuscule 368, 369, 370.
갤러리

지노리 거리의 입구
루카 조르다노의 프레스코화
다른 이의 프레스코화
크리스티나 포플라우스카야

크리스티나 포플라우스카야(리투아니아어: Kristina Poplavskaja, 1972년 7월 24일 ~ )는 리투아니아의 조정 선수로 시드니에서 열린 2000년 하계 올림픽 더블 스컬에서 동메달을 획득했다.
인물 정보

포플라우스카야는 세게드에서 열린 1989년 세계 주니어 선수권 대회 쿼드러플 스컬에서 동메달을 획득했으며, 1992년 하계 올림픽에서 11위를 했다. 1997년에 더블 스컬로 전향했고 1997년과 1998년 세계 선수권 대회 더블 스컬에서 비루테 샤키츠키에네와 함께 7위를 했다. 이후 1999년 세계 선수권 대회에서 4위를 했다.
포플라우스카야는 2000년 하계 올림픽 더블 스컬에서 동메달을 땄다.
리곤 던칸

| 리곤 던칸 Jennings Ligon Duncan III |
| --- | --- |
로마자 표기: Ligon Duncan
출생: 1960년 미국
성별: 남성
국적: 미국
경력: 리폼드 신학교 총장
직업: 신학자, 목사
소속: 제일 장로교회
종교: 장로교
리곤 던칸
리곤 던칸 (Jennings Ligon Duncan III, 1960년- ) 은 미국의 장로교 신학자이며 목사이다.  현재 리폼드 신학교의 총장으로 재직중이다.  미시시피 잭슨에 위치한 제일 장로교회의 은퇴목사이다. 한국의 채이석 박사, 안명준 박사를 비롯한 여러 동문들이 있다.
교육

Greenville Senior High School in 1979
Furman University in 1983 (B.A., History).
Covenant Theological Seminary with an M.Div. in 1986 and an MA in historical theology in 1987.
Reformed Theological Seminary 1990
University of Edinburgh, New College in 1995
신학

그는 남성과 여성 간의 관계에 대하여 보수적인 상호보완론을 고수한다.  그는 내쉬빌 협정에 서명하였다.
또한 웨스트민스터 신앙고백을 존중하고 교회에서 가르치는 것을 중시한다.
저서

The Westminster Confession into the 21st Century Volum I, II, III General Editor
활동 기관

TGC Korea
활동 기관 > 저서및 공저

Does Grace Grow Best in Winter? (co-author with J. Nicholas Reid). P & R Publishing, 2009.
Fear Not! (foreword by Jerry Bridges). Christian Focus, 2008.
The Westminster Assembly: A Guide to Basic Bibliography (co-author with David W. Hall). Reformed Academic Press, 1993.
A Short History of the Westminster Assembly(co-author/editor with William Beveridge). Reformed Academic Press, 1993.
The Genesis Debate: Three Views of the Days of Creation (co-author with David W. Hall, Meredith Kline, Lee Irons, Hugh Ross, and Gleason Archer). Crux Press, 2000.
Should We Leave Our Churches? (co-author with Mark Talbot). P&R, 2004.
Women’s Ministry in the Local Church (co-author). Crossway, 2006.
활동 기관 > 편집

Matthew Henry’s Method for Prayer (editor). Christian Focus Publications/Christian Heritage, 1994.
The Westminster Confession in the 2lst Century: Essays in Remembrance of the 350th Anniversary of the Westminster Assembly, (general editor and contributor) Mentor, Vol. 1, 2003; Vol. 2, 2004; Vol. 3, 2008.
Give Praise to God: A Vision for Reforming Worship, (editor and contributor) P&R, 2003.
활동 기관 > Contributor

The Practice of Confessional Subscription (contributor). University Press of America, 1995.
Reclaiming the Gospel and Reforming Churches, (contributor) Founders Press, 2003.
Letters to Timothy, (contributor) Founders Press, 2004.
Confessing Our Hope, (contributor) GPTS Press, 2004.
The Devoted Life: An Invitation to the Puritan Classics, (contributor) IVP, 2004.
Preaching the Cross (contributor), Crossway, 2007.
Fear Not: Death and the Afterlife from a Christian Perspective (contributor), Christian Focus, 2008.
In My Place Condemned He Stood (contributor), Crossway, 2008.
Wii 스포츠 리조트

| Wii Sports Resort  |
| --- | --- |

개발사: 닌텐도
배급사: 닌텐도
디렉터: Takayuki Shimamura Yoshikazu Yamashita 
프로듀서: 에구치 가쓰야 
시리즈: Wii 게임 시리즈 Wii Sports 
플랫폼: Wii
출시일:  일본 : 2009년 6월 25일   오스트레일리아 : 2009년 7월 23일  유럽 : 2009년 7월 24일  미국 : 2009년 7월 26일  대만 : 2009년 12월 12일  대한민국 : 2010년 6월 24일
장르: 스포츠
모드: 1~4명
미디어: 위 디스크
Wii Sports Resort는 닌텐도가 개발한 Wii용 스포츠 게임 소프트웨어이다. 게임을 플레이하기 위해서는 Wii 리모컨과 눈차크, Wii 모션 플러스, Wii 리모컨 플러스가 필요하다.
현재 한국에서 Wii 모션 플러스를 이용해 할 수 있는 게임은 레드 스틸 3, Wii Sports Resort이다.
일본에서는 4일만에 35만장이 팔렸다.
기니비사우-스페인 관계

기니비사우와 스페인의 관계는 양국 간의 양자 및 외교관계다. 기니비사우는 마드리드에 대사관을, 바르셀로나와 빌바오에 영사관을 2개 갖고 있다. 스페인은 비사우에 대사관을 가지고 있다.
외교 관계

스페인은 1974년 기니비사우 독립 후 바로 기니비사우를 승인하고 수교했다. 2007년 비사우의 스페인 대사관 개관 후 관계가 깊어진 것은 틀림없다. 기니비사우는 2012년 초 후안 카를로스 1세에게 신임장을 제출한 마드리드 거주 대사를 임명했다.
두 나라 사이에서 가장 중요한 문제는 이민이다. 2008년 1월 27일 모라티노스 장관의 방문에 신세대 이주협력 협정이 서명되었다. 이들 당국은 출입국 준비를 하는 이민중개업자의 송환억류 분야에서 문제없이 협조하고 있다. 기니비사우를 떠나는 이민은 적은 게 사실이지만 세네갈에 프론텍스가 설치됐기 때문에 이민은 이 나라로 옮겨갔다. 2010년, 「시호스」프로그램이 운용을 개시했다. 이 프로그램은 유럽의 기금에 의해 자금이 제공되고 시빌 가드에 의해 실행되며 프로젝트 WEST-SAHEL로 개명되고 스페인의 시빌 가드 직원이 비사우에 배치되어 있습니다. 이는 위성통신프로그램으로 세네갈 모리타니 카보베르데에서 이미 실시되고 있는 마드리드에 기술지원이 설치돼 있고 스페인 시민경비대가 버그니아 직원들을 위한 훈련코스를 실시하고 있다. 기니 비사우 섬 국경 관리와 출입국 관리에 도움이 될 뿐 아니라 카나리아 섬으로 가는 밀항선 정보도 실시간으로 얻을 수 있다.
대사관에는 이 지역에서 매우 유용한 내장 어태치먼트가 있는 낚시 : 2015년 1월 EU와 체결한 어업의정서에 대해 이미 언급되어 있다. 지금까지 가맹국 선박에 대해 발급된 어업면허증은 스페인의 어선에 대해서만 발급되어 왔다.
경제 관계

경제·상업 분야에서 스페인과 기니비사우의 2국간 관계는 축소. 기니비사우에서 스페인 기업의 존재감은 여전히 작지만 스페인 대사관 개설 이후 2008년부터 2012년까지는 프랑스의 경제상황 개선과 비즈니스 찬스의 악화 등으로 스페인에 대한 투자의욕이 높아지고 있다. 이와 같이, 2010년부터 2012년 사이에, 비사구인의 법률상의 기업에 대한 스페인으로부터의 직접 투자가 이루어질 전망이다.
협력

2007년부터 2011년에 걸쳐, 스페인은 포르투갈과 함께 동국 최초의 양자 원조국이 되었다. 첫 번째 히스패닉-기니 합동위원회는 2007년 7월 개최됐으며 스페인은 기니 비사우에 1500만유로(2007년부터 2009년 사이)를 제공하기로 약속했다. 최초 3개 마스터플랜(2001~2012)에서는 G-B가 우선국으로 꼽혔지만, 마스터플랜 2013~2016에서는 효과와 원조의 질적 기준, 예산상의 이유로 출국국으로 분류되고 있다.
우선 과제로 정의되는 주제는 보건, 교육, 어업, 물과 위생이다. 또, EU서사헬 계획을 통해서, 8개월에 1회 갱신되는 시민 경비관이, 현지의 법집행 기관과 협력해 이주 서비스나 국경의 정비에 임하는 것이 지적되고 있다.
상업 분야에서는 기니비사우가 WTO 강화통합체제(MIM) 프로그램에서 스페인을 지원국으로 지정했다. 이 협력 프로그램은 300만달러 이상을 거출하고 이 나라의 상업능력, 특히 세관의 근대화를 목적으로 하고 있다.
같이 보기

기니 비사우의 대외 관계
스페인의 대외 관계
비사우에 있는 스페인 대사관
이홍장 (1926년)

| 이홍장 |
| --- | --- |

출생: 1926년 일제강점기 조선 전라남도 해남군 삼산면
사망: 1945년 8월 12일 일제강점기 조선 전라남도 해남군 삼산면
사인: 고문 후유증
성별: 남성
국적: 대한민국
학력: 일본 도쿄 정칙학원 중학교
직업: 학생, 독립운동가
친척: 동생 이창훈
상훈: 건국훈장 애국장
이홍장(李洪章, 1926년 ~  1945년 8월 12일)은 한국의 독립운동가이다.
생애 > 독립운동

전라남도 해남군 삼산면에서 거부 집안의 장남으로 태어났다. 어려서 총명했다고 하며, 일본 도쿄 정칙학원 중학교로 유학했다. 중학교 3학년인 1942년에 지하 결사조직이던 일진회를 결성하여 독립운동을 벌였다. 만주로 망명하려다 적발되면서 체포되었다. 재판에서 '나는 이미 나라에 목숨을 바쳤다'라며 법관을 향해 침을 뱉었다고 한다. 1944년 6월 대구지방법원에서 치안유지법 및 육군형법 위반 혐의로 5년형을 선고받고 소년원에서 복역했다.
김천소년원에서 복역 중 1945년 4월에 형집행정지로 석방되었다. 하지만 고문 후유증으로 나날이 수척해지던 이홍장은 "살 날이 얼마 남지 않았다."라고 털어놓으면서, 전기고문 등 각종 고초를 당했고 정체 모를 주사들을 맞았다고 한다. 출옥하는 날에는 한 간수가 "아까운 사람아, 당신이 맞은 주사가 좋은 게 아니오. 얼마 남지 않았으니 좋은데 가서 사시오." 하며 눈물을 흘렸다고도 한다. 8·15 광복을 3일 앞둔 8월 12일에 사망했다.
생애 > 사후

장지는 일본 경찰의 횡포로 장례도 제대로 치르지 못하고 뒷산에 안장되었다. 모친은 3년 후에 화병으로 사망했다. 이홍장은 일본의 횡포로 자료가 없어 오랫동안 공적을 인정받지 못하다가 동생 이창훈이 한 향토 사학자가 쓴 삼산면 역사책에 이홍장 항목에 '반일 학생운동 주모자로 징역 5년형을 선고받았으며, 병보석으로 귀가했으나 사망했다.'라는 내용의 자료를 발견하면서 차츰 추가 자료를 보완 중 국가보훈처에서도 수감 기록확인이 되면서 2011년에 공적을 인정받아 건국훈장 애국장이 추서되었다.
같이 보기

윤동주
자니 카슨 쇼

《자니 카슨 쇼》는 미국에서 1955-56년도에 방영되었던 30분짜리 프라임 타임 텔레비전 버라이어티 쇼이다. 코미디언 자니 카슨이 진행했다.
그 전까지 자니 카슨은 로스앤젤레스의 지역 텔레비전 방송국의 프로그램 《레드 스켈튼 쇼》(The Red Skelton Show)의 작가로 일하고 있었다. 레드 스켈튼이 쇼 리허설 도중 부상을 당하자 자니 카슨이 대타로 나서 쇼를 진행하였다. 자니 카슨의 진행이 너무나도 훌륭했기 때문에 CBS가 프라임 타임 버라이어티 프로그램으로서 《자니 카슨 쇼》를 만들었다.
당시, 자니 카슨 쇼는 코미디, 음악, 댄스, 촌극, 1인극이 함께 어우러진 전형적인 쇼였다.
이 쇼는 뉴욕 시에 있는 CBS 스튜디오 52(스튜디오 54 항목 참조)에서 제작되었다.
1955년-56년도에 방영되었던 이 쇼는 자니 카슨의 유명한 쇼인 《The Tonight Show Starring Johnny Carson》 (1962년-1992년)의 전편 격이 되었다. 이 쇼는 《The Tonight Show Starring Johnny Carson》 쇼에서 자니 카슨과 그의 Mighty Carson Art Players들이 공연할 촌극들의 초기작 역할을 하였다.  하지만, 이 쇼에 대한 시청률은 맥없이 주저앉았고 오래지 않아 이 쇼는 종영하였다.
1978년 《뉴요커》 잡지의 케네스 타이넌(Kenneth Tynan)은 자니 카슨에 대한 인물 소개 기사에서 이 쇼를 다음과 같이 기술하였다: "자니 카슨 쇼는 방송 시간 30분짜리 프로그램으로서, 7명의 감독, 8명의 작가가 참가한 프로그램이었다. 1956년 봄 종영되기 전까지 39주간 활력을 점점 잃어간 프로그램이었다.  " 카슨은 이후 낮시간대의 게임 쇼 《Who Do You Trust?》 (1957년-62년)에 출연하였다. 마침내, 1962년 NBC가 《The Tonight Show》의 진행자로 - 잭 파(Jack Paar) 후임으로 그를 데려갔다.
《자니 카슨 쇼》 시리즈 중 10개의 에피소드가 샤우트 팩토리 사에 의해 2007년 DVD로발매되었다. 자니 카슨의 두 번째 아내였던 조앤 카슨이 벽장에서 발견해 발매한 것이었다. 조앤 카슨은 이 키네스코프 레코딩들이 카슨이 쇼 에피소드 중 가장 좋아했던 것만 손수 골라 그녀에게 구애용 선물로 준 것이라고 전하였다.
쇼의 주제곡은 제롬 컨이 작곡하고 도로시 필즈가 가사를 붙인  〈Pick Yourself Up〉이었다.
대흥군

1914년까지 존재한 충청남도 대흥군에 대해서는 대흥군 (충청남도) 문서를 참고하십시오.
| --- | --- |
 대흥군의 위치
현황
국가: 조선민주주의인민공화국
면적: 1,232.6 km2
총인구: 32,915 명 (2008)
읍: 1개
리: 16개
대흥군(大興郡)은 평안남도 동북단에 있는 군이다.
지리

북쪽은 자강도 룡림군 및 함경남도 장진군, 동쪽은 함경남도 함흥시 래일구와 영광군 및 함주군, 남쪽은 함경남도 요덕군, 서쪽은 녕원군, 자강도 동신군과 닿아있다.
역사

1952년 12월 녕원군의 성룡면, 대흥면, 소백면, 신창면, 온화면의 5개리, 덕화면의 3개리에 대흥군(대흥읍, 24개리)을 신설하였다. 1954년 10월에 함경남도에 편입되면서 옛 온화면과 성룡면 지역을 녕원군에 반환하였다. 1972년 11월에 다시 평안남도로 복귀했다.
2001년에 흑수리 일부가 함경남도 함흥시에 편입되어 옛 함주군 상창리와 통합, 래일로동자구로 승격되었다.
행정 구역

1읍(대흥읍), 1로동자구(경수로동자구), 16리(랑림리, 평화리, 소백리, 대동리, 인룡리, 복흥리, 흑수리, 광통리, 룡평리, 운흥리, 창현리, 덕흥리, 신남리, 문삼리, 도흥리, 금성리)로 구성된다.
같이 보기

조선민주주의인민공화국의 지리
척준경

|  척준경   拓俊京 |
| --- | --- |
조봉대부 검교 호부상서 문하시랑평장사
신상정보
출생일 : 미상
출생지 : 고려
사망일 : 1144년 2월 (음력)
사망지 : 고려 개성
국적 : 고려
성별 : 남성
가문 : 곡산 척씨
부친 : 척위공
모친 : 미상
배우자 : 미상
자녀 : 척순
척준경(拓俊京, ?~1144년 음력 2월)은 고려 중기의 관리이자, 무신이다. 본관은 곡산(谷山)이며, 검교대장군(檢校大將軍) 척위공의 아들이다.
황해도 곡주(谷州: 황해북도 곡산군) 출신이다. 1104년(숙종 9)부터 1109년까지 윤관, 오연총, 왕자지 등과 함께 함경도에 침입한 여진족을 몰아내고 동북 9성을 쌓는데 기여하였다. 뛰어난 용맹으로 여진족 정벌에 종군하여 많은 공을 세웠으나, 이자겸과 함께 전횡을 일삼아 나라를 어지럽게 만들었다.