cyanic-selkie/wikianc huggingface dataset:
아스파시아
사적·법적 공격
페리클레스, 아스파시아와 그 동료들은 영향력을 가지고 있던 반면 비난에서 벗어날 수 없었다. 왜냐하면 아테네의 민주정 아래서 뛰어난 재능을 가진 자라도 절대적인 지배는 할 수 없기 때문이다. 아스파시아가 페리클레스와 관계를 갖고, 정치적으로도 상당한 영향력을 갖고 있었던 것에는 다양한 반응이 있었다. 아스파시아는 사모스 전쟁 직후 몇 년 간은 특히 지지가 낮았다고 예일 대학의 역사학자 도널드 케이건은 생각하고 있다. 기원전 440년에 사모스 섬에서 브리에네 (미칼레의 산기슭에 위치한 이오니아의 고대 도시)를 둘러싼 전투가 발발했다. 전국이 악화하자 밀레투스의 사람들은 사모스에 소송을 제기하기 위해 아테네로 왔다. 아테네인들이 양측에 휴전을 요구, 아테네에서 중재를 하도록 제기를 했지만 사모스 측은 그것을 거부했다. 그것을 받아 페리클레스는 사모스에 군대를 파견하는 법령을 통과시켰다. 그러나 그것을 실행하는 것은 곤란해서 사모스가 패배할 때까지 아테네인들은 많은 희생을 강요 당했다. 플루타르코스에 따르면, 아스파시아가 밀레투스 출신이기에 사모스 전쟁에 책임을 느끼고 그 모습을 본 페리클레스가 아스파시아를 기쁘게 하려고 사모스와 싸울 결심하고 사모를 공격한 것이라고 사람들은 생각한 듯하다.
펠로폰네소스 전쟁 (기원전 431년 ~ 기원전 404년) 발발 전에 페리클레스, 그와 가장 친한 동료들, 그리고 아스파시아는 일련의 인신 공격이나 법적 비난을 받게 된다. 특히 아스파시아는 페리클레스의 성적 도착을 만족시키기 위해 아테네의 여성을 타락으로 인도하고 있다고 비난했다. 플루타르코스에 의하면, 아스파시아는 괘씸죄로 희극 시인 헤르미포스에게 기소된 재판을 받았다고 한다. 아마도 이러한 비난은 모든 이유 없는 비방에 불과했지만 아테네 지도자 페리클레스에겐 이 사건 자체가 타격이 되었다. 페리클레스가 드물게 감정을 드러내 호소한 덕분에 아스파시아는 무죄가 되었지만 페리클레스의 친구 중 하나인 페이디아스는 옥중 사망했다. 또 다른 친구인 아낙사고라스는 신앙을 이유로 민회 (아테네인들의 모임)에서 비난을 받았다. 아스파시아의 재판과 석방은 나중에 날조된 사건이며 "이 사건 속에서 정말 아스파시아가 들은 비방, 아스파시아에 걸린 혐의, 추잡한 농담이 가상의 재판 형태로 변화하고 전해졌다"라는 견해를 케이건은 보이고 있다. 브리티시컬럼비아 대학교 고전학과 교수 앤서니 J. 포드레키의 주장에 따르면 플루타르코스 또는 그에게 정보를 전한 사람이 어떤 희극의 한 장면을 실화로 착각했을 가능성이 높다. 예의 이야기가 사실이라고 생각한 시점에서, 페리클레스의 도움 여부에 관계없이 아스파시아에게 상해를 초래할 수 없었다고 케이건은 주장하고 있다.
"아카르나이의 사람들"이라는 작품에서 아리스토파네스는 펠로폰네소스 전쟁의 원인은 아스파시아에 있다고 말한다. 아리스토파네스의 말에 따르면 페리클레스가 반포한 메가라 포령이란 것이 메가라 상인은 아테네와 동맹 도시는 무역하지 말라는 내용이었다지만, 이 포령은 아스파시아가 경영하는 유곽에서 일하던 창녀들이 메가라에 납치된 데에 대한 보복으로 내놓은 포령이라고 한다. 아리스토파네스가 스파르타 간의 전쟁이 일어난 것에 책임감을 느끼고 있는 인물로 아스파시아를 그린 것은 그 전에 밀레토스와 사모스 사이에서 일어난 사건의 기억을 반영했기 때문인지도 모른다. 또한 플루타르코스는 에우포리스나 크라티노스 등 다른 희극 시인의 아스파시아를 비웃는 듯한 논평을 보고하고 있다. 포드레키에 따르면 사모스 섬의 두리스는 아스파시아가 사모스 전쟁도 펠로폰네소스 전쟁도 선동했다는 생각을 보인 듯하다.
아스파시아는 "현대판 옴팔레","데이아네이라", "헤라", "헬레네" 등 다양한 낙인이 찍혔다. 페리클레스와 관계가 있었다는 것에 관해서는 더욱 비난을 받았다고 아테나이오스가 보고하고 있다. 페리클레스 자신의 아들 크산티포스 마저도 정치적 야망을 품고 있던 탓인지 아버지의 가정 사정에 접해 망설임 없이 아버지를 비난했다.
늘그막과 죽음
기원전 429년, 아테네의 페스트라는 전염병이 유행, 페리클레스는 자매 그리고 전처 사이에도 낳았던 적출자 파라로스과 크산티포스 모두 죽게 된다. 따라서 페리클레스는 약세가 됨에 따라 눈물을 흘리게 되고, 아스파시아가 옆에서 그를 지지했지만 그 상처가 아물 수는 없었다. 페리클레스가 죽기 직전 아테네 시민은 페리클레스와 아스파시아의 사이에서 태어난 반아테네인 어린 페리클레스를 아테네 시민으로 정식 유산 상속할 수 있도록 기원전 451년 제정한 시민권 법을 변경하는 것을 허가했다. 이 결정은 부모 모두 아테네인이어야 아테네 시민으로 인정한다는 시민권 법을 발의한 게 페리클레스 본인임을 감안하면 더욱 놀라운 것이다. 페리클레스 본인도 기원전 429년 가을에 전염병에 걸려 병사했다.
플루타르코스는 자신의 저서에서 아이스키네스 소크라티쿠스가 저술한 아스파시아와의 대화편 (현재는 소실)을 인용, 페리클레스 사후 아스파시아는 아테네의 장군 민주주의 지도자 리시쿠레스와 함께 생활하며 새로운 아이를 낳고 리시쿠레스를 정치 전문가로 만들었다는 취지의 일을 쓰고 있다. 기원전 428년에 리시쿠레스가 전사함에 따라 당시 사람들의 기록도 끊겼기에, 아들 어린 페리클레스가 장군에 선정된 때나 아루기누사이 해전 후 어린 페리클레스가 처형 당할 때 아스파시아가 생존했는지 여부 등 후속 아스파시아의 모습은 알 수 없다. 많은 역사 학자들은 추정하길 아스파시아의 몰년은 기원전 401년 - 기원전 400년인데, 이는 아이스키네스의 "아스파시아"라는 이야기 구조에서 그녀의 연보를 생각한 결과, 소크라테스가 기원전 399년에 처형되기 전에는 아스파시아는 죽은 것으로 생각되는 것이 토대가되고 있다.
고대 철학서
아스파시아의 진술은 플라톤과 크세노폰, 아이스키네스 소크라티쿠스, 안티스테네스 등이 쓴 철학서에 보인다. 플라톤은 아스파시아의 지성과 재치에 감격, "향연"의 등장인물 디오티마의 모델로 했다는 설도 학계에 존재하지만, 디오티마는 실제로 역사상 실존했던 인물의 이름이라는 설도 있다. 펜실베니아 대학 철학과 교수 찰스 칸에 의하면, 많은 점에서 디오티마는 플라톤이 아이스키네스의 "아스파시아"를 투영시킨 인물이다.
"메넥세노스"에서 플라톤은 아스파시아가 페리클레스와 관계를 가지고 있다는 것을 풍자, 아스파시아가 많은 연설자를 키운 일을 익살스럽게 주장할 때 소크라테스가 생전 남긴 말을 인용하고 있다. 소크라테스는 페리클레스의 입담의 명성에 의문을 호소, 그때 아스파시아가 아테네의 페리클레스를 키웠기에 페리클레스는 안티폰이 키운 누구보다 수사학에 출중한 것이라고 풍자스럽게 전하는 것을 목적으로 쓰여 있고, 펠로폰네소스 전쟁의 추모 연설도 아스파시아가 원고를 쓴 덕분이라고 말하며, 당시 그 연설의 영향으로 페리클레스가 숭배 받은 것도 비난하고 있다. 칸은 또한, 플라톤은 페리클레스와 소크라테스에 수사학을 가르친 스승으로서의 아스파시아의 모티브를 아이스키네스에서 따 왔다고 언급하고 있다. 플라톤의 "아스파시아"와 아리스토파네스의 "여성의 평화" 어느 것도 작중 인물에서 아테네 여성들의 실제 지위를 읽을 수 없지만, 당시의 여성이 연설하는 건 허용되지 않는다는 관습에 공개적으로 반하는 예외적인 작품이며, 트루먼 주립 대학 역사과 교수 마사 L. 로즈도 설명하고 있는 대로 "개가 소송하고 새가 정치하는 게 희극 밖에 없는 것처럼, 여성이 열변을 휘두르다니 희극이 아닐 리가 없다"이다.
크세노폰은 "소크라테스 회상 (메모라비리아)" "가사론 (오이코노미쿠스)"이라는 두 저서에서 아스파시아에 대해 언급하고 있다. 모두 아스파시아에 조언을 구함이 좋다고 소크라테스가 크리토브로스에게 권하는 장면이 있다. "소크라테스 회상"에서는 중개인은 소개하는 남자의 장점을 성실하게 전달한다고 씀에 있어서 아스파시아를 인용하고 있다. "가사론"은 소크라테스가 부부 간의 가계 수지를 맞춤에 보다 자세하다며, 아스파시아의 말에 따르는 장면이 있다.
아이스키네스 소크라티쿠스와 안티스테네스는 각각 아스파시아의 이름에서 소크라테스 대화편의 제목을 취한다 (단 현재는 모두 조각이 남아 있을 뿐이다). 아이스키네스 소크라티쿠스의 "아스파시아"에 관한 중요한 사료로 남아있는 저작의 저자는 아테나이오스, 플루타르코스, 그리고 키케로이다. 이 대화편에서는 카리아스에 아스파시아에게 그의 아들 히포니쿠스를 지도 시켜 달라고 소크라테스가 추천, 카리아스가 여성에게 지도를 맡김에 주저하면 아스파시아는 페리클레스의 활약에 기여하고 페리클레스 사후는 리시쿠레스에 좋은 영향을 준 여자라고 전하는 장면이 있다. 대화편의 일부는 키케로가 라틴어로 보관하고 있었는데, 그 보관된 부분에서 아스파시아는 "여자 소크라테스"로 등장, 크세노폰의 첫 번째 아내 그리고 크세노폰 (여기에서 다루는 크세노폰은 역사상 유명한 같은 크세노폰과는 다른 사람)이 자기 인식을 통해 덕을 얻기 위해서는 어쩌면 좋을까 고민하던 중 상담에 응했다는 기술이 있다. 아이스키네스는 아스파시아를 멋진 교육자·지도자라고 소개하고 헤타이라로서의 그녀의 높은 지위는 그 덕이 높은 까닭이라고 설명하고 있다. 아이스키네스의 "아스파시아"에 있는 어떤 이야기도 단순한 조작이 아니라 갑자기 믿기 어려운 이야기라고 칸은 말하고 있다.
안티스테네스의 "아스파시아" 조각은 3개 밖에 남아 있지 않다. 이 대화편에 아주 괘씸한 내용도 포함되어 있지만, 페리클레스의 일생에 관련된 일화도 수록되어 있다. 안티스테네스는 아스파시아뿐만 아니라 페리클레스 가족 모두를 (아들들도 포함하여) 비난한 것으로 보인다. 철학자 안티스테네스는 위대한 정치가 페리클레스가 고덕 생활이 아니라 쾌락에 탐닉 생활을 선택했다고 생각하고 비판하고 있다. 따라서 아스파시아는 성적 쾌락에 빠진 생활의 화신으로 표현되어 있다.
현대 문학
1836년에는 영국 작가·시인 월터 새비지 랜더가 그의 책 중 가장 유명한 작품 중 하나인 Pericles and Aspasia을 발표했다. 이 작품은 고대 아테네인의 모습을 상상한 편지를 통해 그렸으며, 그 편지에는 대량의 시도 적혀있다. 작품에 등장하는 편지는 실제 사실에 충실하지 않은 부분도 종종 볼 수 있지만, 페리클레스 시대의 시대 정신을 잡으려는 자세가 보인다. 로버트 하마링도 아스파시아의 매력에 자극을 받은 소설가·시인 중 하나이다. 그는 1876년에 Aspasia을 발표했지만, 이는 페리클레스 시대의 작법과 윤리관을 그린 소설로, 문화적·역사적 관심에 따른 작품이다. 낭만주의 운동에 영향을 받은 이탈리아 시인 자코모 레오파르디는 "아스파시아 시리즈 (the circle of Aspasia)"로 유명한 5편의 시를 발표했다. 이 구절은 레오파르디 자신이 패니 타루죠니 토체티라는 여성에 이뤄질 리 없는 짝사랑을 하고 있던 경험에서 태어난 시이다. 레오파르디는 이 여성을 페리클레스의 짝을 따서 아스파시아라고 불렀다.
1918년 소설가 겸 각본가 조지 크럼 쿡은 자신의 첫 장편극 "아테네의 여성들"을 제작했다. 이 작품은 아스파시아가 평화 운동의 일환으로 파업을 주도하는 모습이 그려져 있다. 쿡은 반전을 테마로 한 작품을 그리스를 무대로 그린 것이다. 미국의 작가 가틀드 애서튼은 The Immortal Marriage (1927년)라는 작품에서 페리클레스와 아스파시아의 이야기를 다루고, 사모스 전쟁과 펠로폰네소스 전쟁, 아테네의 페스트가 유행했던 시기에 대한 묘사도 실시했다. 아스파시아과 페리클레스의 역사적 관계를 그린 작품은 외에 테일러 코드웰의 Glory and the Lightning (1974년) 등이 있다. 2011년에는 이탈리아 작가 다니엘라 마츠온이 전기 에세이 Aspasia maestra e amante di Pericle을 발표하고, 2012년에는 고전체 극 ''Desiderata Aspasia. Rapsodia mediterannea''를 제작했다.
명성과 평가
아스파시아의 명성은 페리클레스가 손에 넣은 영예나 명성과 밀접한 관계가 있다. 플루타르코스는 아스파시아를 정치적으로도 학문적으로도 중요한 역할을 담당한 인물로 인정하고 "그리스 제일의 남자가 좋아할만한, 그리고 철학자들이 화제로 하고 장황하게 칭찬할 만큼 출세한 여성"이라고 칭찬의 뜻을 나타내고 있다. 플루타르코스가 말하는 바에 따르면, 아스파시아는 너무 유명해, 페르시아 왕 아르타크세르크세스 2세와 전쟁한 키루스조차도, 자신의 애인 중 하나이자 원래는 미루트라고 불리던 여성에게 아스파시아라는 이름을 줬다고 한다. 이 여성은 키루스 왕자가 전투에서 승리했을 때에 사로 잡혀 국왕에게 연행된 후 국왕에게 큰 영향을 준 인물이다. 루키아노스는 아스파시아를 "현자의 거울", "훌륭한 올림피아인 중에서도 특히 뛰어난 인물"이라며, "그녀의 정치 지식과 통찰력, 그녀의 날카 롭고 빈틈 없는 모습과 선견지명"에 찬사를 보내고 있다. 고대 시리아어의 어떤 문헌에는 아스파시아가 연설 원고를 작성하고 있는 사람에게 법정에서 그것을 읽도록 지시했다고 하며, 아스파시아의 수사학의 명성을 입증하는 증거가 있다. 아스파시아는 10세기에 비잔티움 제국에서 쓰인 수다라는 백과 사전에서 "어휘력이 뛰어난" 소피스트로 수사학을 가르쳤다고 쓰여 있다.
이상과 같은 평가를 받고, 펜실베이니아 주립 대학교 교수 셰릴 글렌이 주장하는 것에는 분명히 아스파시아는 고대 그리스에서 그 존재를 공개적으로 인정 받은 유일한 여성이며, 페리클레스의 연설 작성에도 종사하고 있던 것은 틀림 없는 듯하다. 아스파시아는 양가의 젊은 여성을 위한 아카데미를 열고 문답법을 짜기까지 했다고 생각하는 학자도 있다. 그러나 노스웨스턴 대학 고전 교수 로버트 W. 워렌스는 "아스파시아가 페리클레스를 연설 방식을 가르치고, 거기다 웅변가나 철학자로부터 지지 받고 있었다는 등의 농담을 사실로 인정할 수 없다"고 역설하고 있다. 그의 말로는 플라톤이 아스파시아에게 지적 역할을 준 것은 고대 그리스 희극을 참고로 했기 때문이라고 한다. 케이건은 아스파시아를 "아름답고 자립하고 재치있는 젊은 여성, 그리스에서 가장 뛰어난 사람들과 대화도 뒤지지 않고, 어떤 문제도 남편과 논의하고 해명할 수 있던 여성"이라고 표현하고 있다. 고전학자이자 켄트 대학 사회 인류학과 교수 로저 저스트의 생각에 따르면, 아스파시아는 예외적인 인물이지만, 아스파시아의 예를 보기만 해도 남성 수준의 지성과 사회적 지위를 손에 넣은 여자가 헤타이라가 될 수밖에 없었단 사실을 소리 높여 강조하기 위해 충분하다. 철학자로서 신학교에서 교수를 맡고 있는 수녀 프루든스 알렌의 말에 따르면, 아스파시아는 사포의 시에서 뜨며, 여성들이 철학자가 될 가능성을 한 발 앞으로 당겼다고 한다.
역사적 정보의 확증
네덜란드의 역사가 조나 렌더링의 지적에 있는 대로, 아스파시아 대해 알려져 있다고 여겨지는 대부분은 어디까지나 가설에 불과하다는 큰 문제점은 여전히 남아 있다. 고대 그리스 역사가 투키디데스의 책에는 아스파시아에 관한 진술은 없고, 문학가와 철학자 등 역사 고증에 전혀 주의를 기울이지 않는 사람들이 기록한 신빙성이 낮은 표현이나 추측을 단서로 할 수 밖에 없는 것이 현실이다. 따라서 아스파시아는 테아노 같은 양처였다는 설명도 있고 타루게리아 같은 기생이며 창녀였다는 설명도 있는 등, 아스파시아의 인물상에 어느 정도 모순된 설명도 볼 수 있다. 이러한 이유로 학자 사이에서 아스파시아의 생애에 관한 정보의 역사적 확실성이 의문시되고 있다.
출처
주 출처 (그리스와 로마)
부 출처
대한민국 철도청 2000호대 디젤 기관차
2000호대 디젤 기관차는 대한민국 철도청에서 운행했던 소형 디젤 기관차로서, 대한민국에 도입된 최초의 디젤 기관차이다. 원 제작사는 EMD이며, EMD 측의 기종명은 SW8이다. 현재는 국내에 보존된 1량과 미국에 보존된 5량을 제외하고 모두 폐차되었다.
역사
2000호대의 원 모델은 미국 EMD사에서 제작한 입환용의 디젤 전기 기관차 SW1 계열의 파생형 차량인 SW8 모델이다. 800마력형 입환기로서, 원 제작사에서는 1950년부터 1954년까지 생산된 기종이었다. 대한민국에서의 SW8, 즉 2000호대는 1951년 4월-6월에 제작되어 미군이 사용하던 SW8 기관차 41량을, 1951년 7월 15일 한국 전쟁 당시 UN군이 군사수송 목적으로 양륙한 것이 운행의 시초이다. 이후 1955년 3월에 UN군으로부터 이 중 4량을 기증받아 공식적인 운행을 개시하였다.
1956년에 부산공작창 기관차공장 제천분공장(현 제천기관차사무소)을 창설하여 검수 운용을 시작하였다. 디젤 기관차의 투입은 뛰어난 등판능력 및 적은 매연, 운전의 편리함 및 운전실 환경의 쾌적함 등으로 높게 평가받았다. 이에 1957년 10월, 미 국제협력처 차관(ICA)으로 10량을 추가로 도입하여 본선 운행에 투입하였다.
이후 성능 개량이 이뤄지고 중량이 조정된 2100호대, 또 본선용의 중·대형 디젤 기관차들이 투입되면서 차츰 소운전 및 구내 입환 용도로 전용되었다. 대한민국에서는 1990년대에 들어 차츰 폐차되어, 보존 처리중인 2001호 기관차를 제외하고 2003년까지 전 차량이 폐차되었다. 대한민국 최초로 운용된 디젤 기관차라는 데에 의의가 있다.
구조 및 특징
2000호대 디젤 기관차는 디젤-전기식의 동력구조를 갖추고 있으며 축당 중량이 크며 프레인 베어링을 유일하게 적용한 입환기이다. 주발전기로는 D15C형식을 사용하며 본선 운행 때 사용하는 운행스위치가 있고, 후방전이를 수동으로 하여야 하며, 특히 TM 고장시 한 대차를 차단할 수 있는 대차차단스위치와 기관냉각 팬을 벨트로 구동하는 방식이다. 공기 압축기는 WXE 형식으로 3개의 실린더가 공기를 압축하는 방식이며 총 용량은 분당 약 5,000리터를 압축할 수 있다. 제동배율은 5.58이며 4개의 제동통수가 작동하는 방식이다.
운전실은 차량 한쪽에 배치된 구조로, 차체의 기준면보다 한 단 높게 설치되어 있다. 단폐단 방면으로는 완전히 탁 트인 구조이며, 장폐단 방향으로는 엔진실이 일부 시야를 가리지만 전방 조망이 어느 정도 확보될 수 있도록 되어 있다. 입환용 차량으로서의 기능에 충실하도록 양 끝단 및 측면에 난간과 발판이 설치되어 있다. 초기 도입시에는 엔진실 상부에 미국식 증기 기관차와 유사한 경고용 종이 설치되어 있었으나, 사용 도중에 폐지되어 철거되었다.
사진으로 확인되는 2000호대 디젤 기관차의 도색은 크게 세 종류가 존재한다. 1955년 최초 도입시 1호 차량의 흑색 바탕에 당시 철도국 마크 및 "KNR" 레터링이 새겨진 도색, 1957년 이후 도입된 것으로 추정되는 흑색 바탕에 주황색 횡선이 두 개 그어진 도색(일명 '호랑이 도색'), 그리고 90년대 이후 도입된 구 철도청 CI도색(녹색+백색)이 존재한다.
운행 구간
당시 이 차량은 대개 전 노선에 걸쳐 투입된 것으로 생각되나, 어느 노선의 어느 선구에 투입되었는지는 불명확하다. 다만, 차량의 배치가 제천인 것으로 미루어 충북선, 중앙선 등에 화물 및 여객 양용으로 초기에 사용되었던 것으로 보이며, 경부선 구간에도 투입되었을 것으로 추정된다.
본선 운행용으로는 이후 중형 및 대형 디젤기관차 도입으로 일찌감치 철수한 듯하며, 이후 동해, 제천, 청량리 등 주요 역에서 입환 및 소운전 용도로 전환되어 사용되었다.
현황
1951년 한국 전쟁 중 UN군이 미국 내에서 미 육군이 사용하던 40량을 임시로 상륙시켜 운용한 것이 시초이다. 이 중 종전 이후 4량과 10량이 차례로 기증되었고, 나머지는 다시 미국으로 보내졌다. 전 차량이 퇴역하였으나 대한민국 내에서는 2001호 1량이 보존되고 있다.
LPH-6112 마라도
LPH-6112 마라도(馬羅島)는 독도급 대형수송함의 2번함으로 2020년 대한민국 해군에 인도 예정인 강습상륙함이다. 해군본부 함명제정위원회가 최외곽 도서명으로 대형수송함의 명칭을 붙이는 원칙을 들어 선정하였다.
역사
2021년 6월 28일 취역식을 가졌다.
F-35B
2017년 12월 25일, 한국군 수뇌부는 수직이착륙기인 F-35B 6대를 마라도함에 탑재하는 문제를 검토했다. 2014년 3월, 한국군은 F-35A 40대를 2018~2021년까지 도입하기로 결정하면서, 나머지 20대는 2023~2024년 전력화를 목표로 도입을 추후에 추진하기로 결정했는데, 추가 20대 중에서 6대를 수직이착륙기인 F-35B로 도입하는 것이 어떠한지 검토했다.
2017년 11월, 트럼프 대통령은 정상회담에서, 일본의 아베 신조 총리와 대한민국의 문재인 대통령에게 F-35 추가구매를 요구했다. 이에 일본이 F-35B 20-40대를 추가구매 하기로 결정하였으며, 이즈모함의 비행갑판을 수직이착륙기가 사용할 수 있게 개조하는 연구를 시작했다.
이에 한국도 F-35B를 20대 추가 구매하는 방안을 검토했다.
2017년 12월 26일, 화춘잉 중국 외교부 대변인은 정례 브리핑에서 일본의 F-35B 도입 검토와 관련해 일본은 평화헌법을 준수하고 신중히 행동해야 한다고 밝혔다.
F-35B는 400 ft(120 m) 이륙거리와 수직착륙 기능을 가진 STOVL(Short Take-Off and Vertical Landing)전투기로서, 마라도함의 길이가 199 m 이므로 이착륙이 가능하다. 언론 보도에 따르면, 마라도함이 독도함에는 없던 수직이착륙기용 비행갑판을 깔았다는 보도도 있고, 아니라는 보도도 있다. 마라도함의 비행갑판은 초고장력강(UHSS) 재질로 제작됐으며, 이는 MV-22 오스프리와 같은 수직이착륙기가 이착함 할 수 있도록 하기 위함이다. 독도함의 비행갑판은 고장력강이다. F-35B의 무게는 약 27톤으로 MV-22 오스프리의 최대이륙중량 27.4톤과 비슷하다. F-35B가 마라도함에 착함시엔 갑판에 가해지는 980도의 고열에 갑판이 부식되지 않도록 하기 위해 내열코팅이 필요하다. 내열 비행갑판이 아니라는 독도함도 MV-22 오스프리 이착륙을 쌍용훈련에서 하고 있다. F-35B는 꼬리에 항모 함재기들의 어레스팅 후크가 없다. 즉, 수직착륙만을 고려해서 개발되었다.
건조 규모
2010년 10월 18일, 독도함에서 열린 국회 국방위 국정감사에서 해군은 2018년 마라도함을 취역시킬 것이라고 밝혔다. 마라도함은 독도함 보다 30%이상 커져서, 헬기 10대가 동시작전 가능할 것이라고 보고했다. 독도함은 헬기 6대가 동시작전 가능하다. 만재배수량 18,800톤인 독도함 보다 1.3배 커지면, 마라도함의 만재배수량은 24,440톤 이상이 될 것이다. 만재배수량 27,000톤인 일본 이즈모함은 헬기 9대가 동시작전 가능하다.
대한민국 해군은 독도함(1만4000t) 1척만 운용 중인데, 군 일각에선 중국 항모인 랴오닝호(6만7500t)와 일본의 경항모급 헬기호위함인 이즈모형 호위함(1만9000t)에 대한 대응조치로서, 마라도함을 F-35B 수직이착륙 전투기를 탑재할 수 있는 경항모(2만t 이상)급으로 건조해야 한다는 주장을 하고 있다.
2014년 12월 23일, 대한민국 국방부는 한진중공업과 4,175억원에 마라도함 건조계약을 체결했다. 3,257억 7천만원에 계약한 독도함 보다 1.28배 비싸졌다. 마라도함은 배수량은 독도함과 같지만, 비행갑판을 개량하여 V-22 오스프리 수직이착륙기 2대가 이착륙할 수 있게 할 계획이다. F-35B 수직이착륙 전투기는 탑재할 수 없다. 일본의 이즈모함도 MV-22 오스프리 2대의 이착함이 가능하다. 록히드 마틴은 한국군 당국에 F-35B 수직이착륙 전투기 관련 자료를 전달했다.
2016년 3월, 한진중공업은 마라도함의 설계를 마쳤다.
2016년 4월, 북한이 한진중공업을 해킹해, 내부 정보가 유출되었다. 북한 인민무력부 정찰총국에 해킹 당한 것으로 추정되며, 한진중공업은 "10억원의 비용을 들여 망분리부터 하기로 했다"고 밝혔다. 한진중공업은 아직 마라도함의 기공식은 하지 않았으며, 2016년까지 설계를 진행 중이다.
2018년 2월 독도함급(1만4000t급)의 2번 함 이름이 ‘마라도함’으로 결정되었다.
2018년 4월, 부산광역시 영도의 조선소에서 건조중인 모습이 포착되었다. 5월 14일 진수되었으며, 2020년 대한민국 해군에 인도될 예정이다.
독도함과 비교
마라도함은 독도함과 배수량과 외양만 같지, 성능은 대폭 업그레이드 되었다.
대공 레이더는 이지스함처럼 4면에 다기능위상배열(AESA) 레이더를 단 이스라엘제 EL/M-2248 MF-STAR 레이더를 사용했다. 최대 탐지거리는 450 km이며 저고도로 날아오는 대함 순항미사일은 25 km 떨어진 곳에서 포착할 수 있다.
‘마지막 수문장’ 역할을 하는 근접방공시스템은 네덜란드산 골키퍼 CIWS에서 미국산 팰렁스 CIWS로 바뀌었다. 날아오는 대함미사일을 요격할 무기도 미국산 RIM-116 램 대신 국산 해궁을 장착했다. 전투체계도 성능개량이 이뤄져 최대 표적처리 개수가 두 배로 늘었고, 비행갑판을 강화해 미 해병대 MV-22 수직이착륙 항공기의 운용도 가능하다.
논리사
논리사는 타당한 추론을 탐구하는 학문인 논리학의 발전사를 말한다. 형식논리학은 고대의 중국, 인도, 그리스의 철학에서 그 유래를 찾아볼 수 있다. 그리스 논리학, 그 중에서도 아리스토텔레스식 논리학은 과학·수학에 넓게 수용·응용된 고전논리학이다.
아리스토텔레스 논리학은 중세의 이슬람권 및 기독교 서방 세계에 한 층 더 발전하여, 14세기 중반에 정점을 맞이했다. 14세기부터 19세기 초까지의 시기는 대체로 논리학이 쇠퇴하여 경시되었던 시기로, 적어도 한 명의 논리학 역사가에 의해서 논리학의 침체기로 간주되고 있다.
19세기 중반이 되면 논리학이 부흥, 혁명기가 시작되고, 수학에서 이용되는 엄밀한 증명을 표본으로 하는 엄격하고 형식적인 규칙으로 주제가 발전했다. 근현대에서의 이 시기의 발전, 이른바 '기호' 혹은 '수리' 논리학은 2천 년에 걸친 논리학의 역사에서 가장 현저한 것이며, 인류의 지성의 역사에서 가장 중요·현저한 사건의 하나라고 말할 수 있다.
논리학 전사
타당한 추론은 인류의 역사의 모든 시대에 이용되어 왔다. 그렇지만 논리학은 타당한 추론·논증·증명의 '원리'를 연구하는 것이다. 추론에 의해서 결론을 이끈다는 발상은 아마도 원래 '토지의 측량'을 의미한 기하학과 관련하여 생겨났다. 특히, 고대 이집트인은 경험적으로, 첨두부를 절단한 형태의 피라미드의 크기의 구하는 방법 등 몇개의 기하학적 진리를 발견하였다.
또 하나의 기원은 바빌로니아에서 찾을 수 있다. 기원전 11세기의 에사길-킨-어플리의 의학서인 '진단 안내서'는 일련의 논리적인 공리계·전제에 근거하여 구축되어 있고, 한편, 기원전 8-7세기의 바빌로니아 천문학자는 내적 논리를 행성 운행의 예측에 이용해 과학 철학에서의 중요한 업적을 올렸다.
플라톤 이전
고대 이집트인은 기하학적 진리를 경험적으로 발견했지만, 고대 그리스인에 의한 위대한 실적은 경험적으로 발견한 기하학적 사실들을 논증으로 체제화 한 것에 있다. 이 학문의 체계적인 학습은 기원전 6세기 후반의 피타고라스의 학교에서 시작되었다고 인정되고 있다. 기하학의 세 개의 기본 원리는, 첫째로 어느 체계 내의 확실한 명제는 논증되지 않아도 참으로서 받아 들여져야 하는 것, 둘째로 같은 체계 내의 다른 명제는 그들 확실한 명제로부터 도출돼야 하는 것, 세째로 그 도출은 '형식적' 즉 문제가 되고 있는 특정의 명제와는 독립인 방법으로 이루어져야 한다는 것이다. 초기의 그러한 증명의 단편이 플라톤이나 아리스토텔레스의 저작 안에 남아 있어, 연역적인 체계라는 발상이 피타고라스의 학교 및 플라톤의 아카데메이아에서 알려져 있었다고 볼 수 있다.
기하학과 별도로, 기본적인 논의의 패턴이 기원전 5세기의 소크라테스 이전 철학자 엘레아의 제논이 이용한 '배리법'으로 볼 수 있다. 이는 전제로부터 분명하게 잘못되어 있는 불합리·불가능한 결론을 이끄는 것에 의하여 전제의 잘못을 증명하는 방법이다. 플라톤 대화편의 '파르메니데스'에서는 제논을, 복수의 것이 존재한다는 전제로부터 불합리한 결론을 증명하는 것으로 파르메니데스의 일원론을 옹호하는 책을 저술했다고 주장하는 인물로 묘사하고 있다. 이러한 '변증적'인 추론을 실시한 다른 철학자로서는, 파르메니데스나 제논의 신봉자로 여겨지는 메가라의 에우클레이데스 등의 이른바 소소크라테스 학파가 있다. 이 학파의 성원은 '변증 학파'라고도 불렸다.
아리스토텔레스 이전의 사상가가 추론의 원리에 관심을 가졌다는 증거는 '양론'으로 불리는 단편에 볼 수 있다. 이는 기원전 4세기 초에 쓰여진 것으로 생각되는 것으로, 진위에 관한 매우 길어진 논의의 일부를 수록하고 있다.
플라톤의 논리학
기원전 4세기의 철학자 플라톤 (기원전 428년-기원전 347년)의 현존하는 저작 안에서 형식논리학을 취급한 것은 전무하지만, 철학적 논리학에 대한 수요인 공헌이 이루어지고 있다. 플라톤은 세 개의 물음을 세웠다: 첫번째 물음은 '테아이테투스'(Theaetetus)에서 나오는 것으로 것으로, 여기서 플라톤은 사고·의견을 대화·담화 (로고스)와 동일시하고 있다. 두번째 물음은 플라톤의 이데아론으로부터의 귀결이다. 이데아는 보통 의미로의 실태는 아니고, 엄밀하게는 마음 속의 관념도 아니다. 이데아는 오히려 후의 시대의 철학자가 보편이라고 부른 것, 즉 같은 이름의 개개의 것 모두에게 공유되는 추상적인 존재에 가깝다. '국가' 및 '소피스테스'에서 주장의 전제와 결론의 사이에 필요한 결합은 '형식'의 사이에 필요한 결합과 같다고 플라톤은 주장했다. 세번째 물음은 정의(定義)에 관한 것이다. 플라톤의 대화편에서는 많은 중요한 개념 (정의(正義), 진리, 선)의 정의(定義)가 탐구되고 있어, 플라톤은 수학에서 정의가 중요하다고 말하는 것으로부터 영향을 받았다고 생각된다. 모든 정의의 기초가 되는 것이 플라톤의 말하는 이데아, 즉 여러 가지 개개의 것에 대해 나타나는 공통의 본성이다. 그 때문에 정의는 인간의 이해의 궁극적인 대상을 나타내고 있어 모든 타당한 추론의 기초이기도 하다. 이 사상은 아리스토텔레스에 큰 영향을, 특히 아리스토텔레스의 사물의 형상 (어떤 종류로 특정하는 사물이 '무엇인가')의 관념에 큰 영향을 미쳤다.
아리스토텔레스의 논리학
아리스토텔레스의 논리학, 특히 그의 삼단논법의 이론은 서양사상에 거대한 영향을 줬다. 논리학에 관한 그의 저작, 이른바 '오르가논'은 최초의 형식적인 논리학의 연구서로 근현대에까지 전해졌다. 저작의 시기를 결정하는 것은 곤란하지만, 아리스토텔레스의 논리학 관계 저작의 집필 순서는 아래와 같이 생각되고 있다: 이상의 저작은 논리학의 역사 중에서도 두드러져 중요하다. 아리스토텔레스는 통사론을 명사와 동사로 하는 체계적인 분석을 실시하려고 한 최초의 논리학자이다.
'범주론'에서, 그는 명사가 지시할 수 있는 모든 것을 분류하려고 시도했다. 이 작업은 서양사상에 심대한 영향을 준 철학적 저작 '형이상학'의 주장을 보강하는 역할을 이루어 있다. 그는 체계를 세워 말하는데 최초로 모순율과 배중률을 취급한 인물이다. 또한 그는 최초의 형식논리학자이다 (즉, 그는 주장의 기반이 되는 논리 형식을 나타내기 위해서 변항을 이용해 추론의 원리를 주었다). 그는 필요한 추론의 특징이 되는 의존관계를 모색해, 그렇게 말한 관계에서의 타당성을 전제의 진위 (주장의 건전성)와 구별했다.
'분석론 전서'에서는 삼단논법에 대한 연구가 전개되어 역사상 처음 세 개의 원리, 즉 변항의 사용, 순수하게 형식적인 취급해, 공리계의 사용이 채용되고 있다.
'트피카' 및 '궤변 논박론'에서는 그는 비형식논리학 (예를 들면 오류의 이론)을 전개하고 있다.
스토아 논리학
그리스 논리학의 다른 큰 학파로서는 스토아 학파가 있다. 소크라테스의 제자로 플라톤보다 조금 연장자로 기원전 5세기 후반의 철학자 메가라의 에우클레이데스가 스토아 논리학의 기원이다. 에우크레이데스의 제자·계승자는 메가라 학파 혹은 논쟁자로 불려 후에는 변증학파라고도 불렸다. 메가라 학파 중에서도 가장 중요한 변증가로서 디오도루스 크로누스와 피론(Philo)이 있는데 그들은 기원전 4세기 후반에 활동했다. 스토아파는 메가라파의 논리학을 도입해 이를 체계화했다. 스토아 논리학으로 가장 중요한 인물은 스토아파 삼대째 학두인 크리시포스 (기원전 278년 경-기원전 206년 경)이며, 그는 스토아파의 교의의 대부분을 형식논리학적으로 표현했다. 그는 700 이상의 저작을 저술했다고 여겨지며 그 중 논리학 관계의 저서는 300을 넘고 있지만 거의 현존하지 않는다. 아리스토텔레스와 달리, 메가라파나 초기 스토아파의 저작은 완전한 형태로는 남지 않고, 그들에 대해 알려면 주로 디오게네스 라에르티오스, 섹스투스 엠피리쿠스, 갈레노스, 아울루스 겔리우스, 키케로 등 (때로는 적대적이기도 함) 후대의 문헌에 의한 설명에 많이 의존할 필요가 있다.
스토아파의 세 개의 중요한 실적은 (i) 그들의 양상의 설명, (ii) 그들의 논리 포함의 이론, 그리고 (iii) 그들의 의미와 진리의 설명이다.
인도의 논리학
인도의 6학파 가운데, 니야야 학파와 바이시시카 학파의 두 개가 논리학을 취급하고 있다. 아크사 팬더 가우타마 (2세기)의 '니야야 스트라'는 힌두 철학의 6개의 정통 학파의 하나 니야야 학파의 중심적인 문헌이 되고 있다. 이 실재론적인 학파는 최초의 전제, 근거, 사례, 응용, 결론이라는 5단계의 골조로부터 완성되는 엄밀한 추론을 발전시켰다. 관념론적인 불교 철학은 니야야 학파에 대한 주된 반론자가 되었다. 중관파의 창시자 나가르쥬나 (150년 경-250년 경)는 체트슈 코티카로서 알려진 분석을 발전시켰다. 이 논증법에서는 명제의 긍정, 부정, 긍정 및 부정, 긍정도 부정도 아닌 것의 4종류를 체계적으로 음미·기각한다. 그러나 한 편으로 형식적인 삼단논법을 발전시킨 디그나가 (480년 경-540년 경) 나 그 제자로 불교 논리학을 정점으로 이끈 다르마키르티 등의 사람들도 병행해 존재하고 있었다. 그들의 분석은 일정한 부수물 또 침투물로서도 알려진 필연적인 논리적 귀결, '비야프티 (편충)'의 정의에 중점을 두고 있었다. 이 목적을 위해서 '아포하' 즉 차별화로서 알려진 교설이 발전했다. 이는 물건의 특징을 정의할 때의 포함·제외로 불리는 것과 관련되어 있다.
이러한 시도에 수반하는 곤란이 부분적으로는 나비야-니야야라는 이름의 새로운 논리학파의 교류를 촉진하여, 같은 파가 16세기에 형식적인 분석을 전개하게 된다. 이 후발의 학파는 동인도·벤갈 지방에서 시작되어, 곳트로프 프레게의 '의의와 의미에 대해' 또는 '수의 정의'와 같은 현대 논리학과 유사한 이론을 발달시키고, 더욱이 그 뿐만 아니라 나비야-니야야 학파의 '보편의 제한 조건'의 이론은 근대적인 집합론의 발전에 대해서 몇 개의 점에서 선수를 치고 있었다. 1824년 이후 인도 논리학은 서양의 학자의 관심을 끌어, 찰스 배비지, 오거스터스 드 모르간, 그리고 특히 조지 불 등 19세기의 중요한 논리학자에게 영향을 미쳤다. 이는 조지 불의 처 메어리 에베레스트 불이 1901년에 쓴 '19세기의 인도 사상과 서양 과학'이라는 '보즈 박사에의 공개 편지'에서 증언되고 있다:  '1830년-1865년의 수학계에서의 배비지, 드 모르간, 조지 불의 세 명에 의한 강렬한 인도화의 영향이라는 것이 무엇이었을까를 생각해 보자'
중국의 논리학
중국에서는 공자와 동시대의 묵자가 묵가의 선조로 되어 있는데, 묵가의 경전에서는 올바른 결론을 이끄는 조건이나 타당한 추론이라는 문제를 취급하고 있다. 그 중에서도, 묵가로부터 분리된 학파인 명가는 원시적인 형식논리학을 연구한 것으로 몇 명의 연구자에게 생각되고 있다. 진왕조 성립에 계속되는 법가의 가열인 지배에 의해서 논리학의 연구는 일단 끊어져 불교도에 의해서 인도 철학이 도입되는 것을 기다리게 된다.
이슬람 철학에서의 논리학
파라비, 이븐 시나, 가잘리, 이븐 루시드 그 외의 이슬람 논리학자의 저작은 아리스토텔레스 논리학을 비판적으로 발전시키고 있어 고대의 사상과 중세의 서양사상이 사이를 주선한 점으로 중요시되어 왔다. 파라비 (873년 - 950년)는 아리스토텔레스 논리학자로, 미래의 불확정성, 범주의 수와 범주간의 관계, 논리학과 문법학의 관계, 비아리스토텔레스적인 추론 형식이라는 화제에 대해 논의했다. 파라비는 또 가말삼단논법이나 유추의 이론에 대해서도 생각하고 있지만, 고대에서는 이들은 아리스토텔레스보다 오히려 스토아파 논리학의 영역이다.
이븐 시나 (아위켄나, 아비센나, 980년 - 1037년)는 아비센나 논리학의 창시자이다. 아비센나 논리학은 이슬람 세계의 논리학에서의 주도적인 체계로서의 지위를 아리스토텔레스 논리학으로부터 빼앗고, 더욱이 아르베르투스 마그누스와 같은 중세 서구의 저술가에게 심대한 영향을 줬다. 이븐 시나는 가언 삼단논법 및 명제 논리에 관한 저작을 남기고 있는데, 이는 모두 스토아파 논리학의 영역이다. 그는 '시상적으로 양상화된' 삼단논법이라는 독자 이론을 발전시켜, 과학적 방법에 대해서 비판적인, 일치법, 차이법, 공변법 등의 귀납 논리를 이용했다. 이븐 시나의 개념의 하나는 서구의 논리학자 오컴의 윌리엄에 특히 중대한 영향을 미쳤다. 의미 혹은 관념을 가리키는 이븐 시나의 용어인 '맛나'는 스콜라 논리학자에 의해서 '인텐티오'로 라틴어 번역되었다. 중세의 논리학·인식론에서, 이 술어는 본래는 물건에 대응하는 마음 속의 상징이다. 이는 오컴의 개념론의 발전에서 결정적인 것이었다. 보편적인 명사 (예를 들면 '인간')는 실재하는 있는 것을 나타내는 것이 아니라, 오히려 실재하는 다수의 것에 대응하는 마음 속의 상징 (라: intentio in intellectu)을 나타낸다. 오컴은 이 견해를 지지하기 위해서 이븐 시나의 ' '형이상학 '주해' V를 인용하고 있다.
파흐르 알딘 알라즈 (Fakhr al-Din al-Razi, 1149년생)는 아리스토텔레스의 '제일격'을 비판해 원시적인 귀납 논리학을 조직 세우고 있어 존 스튜어트 밀 (1806년 - 1873년)에 의한 기능론 이학의 발전의 선구가 되고 있다. 알라즈의 저작은 포스트 아비센나 논리학으로 향하는 이슬람 논리학의 새로운 흐름의 착수라고 후대의 이슬람 학자에 의해서 보이고 있다. 이 흐름은 그의 제자로 개념과 동의라는 문제에 관련되는 논리 형식을 발전시킨 아프달라딘 알후나지 (Afdladdin al-Khunaji, 1249년몰)에 의해서 더욱 정교하게 되었다. 이 학파에 대한 응답 속에서, 나스르 알딘 알투시 (Nasir al-Din al_Tusi, 1201년 - 1274년)는 신아비센나 논리학파를 창시하였는데, 이 학파는 이븐 시나의 저작에 충실히 하여 그 후 수 세기의 사이 지배적인 포스트 아비센나 논리학파의 라이벌로서 존재했다.
그리스 논리학에 대한 체계였던 논박은 샤하브 알딘 스후라와르디 (Shahab al-Din Suhrawardi, 1155년 - 1191년)가 창시한 조명 학파에 의해서 집필되었다. 스후라와르디는 모든 양상 (필연성, 가능성, 우연성, 불가능성)을 유일개필연성의 양상에 환원해 버리는 '결정적 필연성'의 개념을 발전시켰다. 이븐 알나피스 (Ibn al-nafis, 1213년 - 1288년)가 아비센나 논리학의 연구서를 저술하고 있지만, 그것은 이븐 시나의 '알이샤라트' (상징)과 '알히다야' (안내)의 주석서라는 형태로 쓰여져 있다. 그리스 논리학에 대한 또 하나의 체계적인 논박으로서 이븐 타이미야 (1263년 - 1328년)의 '알랏드 아라 알만티키인' (그리스 논리학자에 대한 논박)이 있지만, 본서에서는 삼단논법의 타당성은 아니라 유용성이 문제시되고 있어, 귀납 추론 쪽이 바람직한 것으로 되어 있다. 이븐 타이미야는 삼단논법의 확실함에도 의문을 나타내고 있어 비교를 바람직한 것으로 했다. 그의 주장은, 귀납에 근거하는 개념은 그 자체로서 확실하지 않게 일어날 것 같다는 만큼 지나지 않고, 그 때문에 그러한 개념에 근거한 삼단논법은 비교에 근거한 주장과 확실함에 바뀌는 부분이 없다는 것이었다. 게다가 귀납은 그 자체 비교적인 과정을 거쳐 행해지는 것이라고 그는 주장했다. 그의 유추의 모델은 법정 변론에 근거해 구성되어 있었다. 이 유추의 모델은 존 F. 소와의 근년의 저작으로 이용되어 왔다.
15세기의 무하마드 이븐 파이드 알라 이븐 무하마드 아민 알샤르와니에 의한 '샤르 알타크밀 필만티크'는 아랍인에 의한 논리학서로 연구가 좋게 되어 왔지만 안으로는 마지막 저명한 작품이다. 그렇다고 해도 논리학에 관해서 '수천 페이지 위에 한 층 더 수천 페이지'가 14세기부터 19세기의 사이에 쓰여져 있지만, 이 시기에 쓰여진 작품의 아주 일부가 역사가에 의해서 연구되고 있는 것이 현상이며, 그 때문에 이 시대의 이슬람 논리학서의 원전은 거의 알려지지 않았다.
중세 서구의 논리학
13세기 초까지는 아리스토텔레스의 '오르가논'의 나머지의 작품 ('분석론 전서', '분석론 뒷말', '궤변 논박론')이 서구에서 부활했다. 지금까지의 논리학서는 그 대부분이 아리스토텔레스의 저작의 환언이나 주석이었다. 13세기 중순부터 14세기 중순까지는 논리학의 현저한 발전이 보였던 시대의 하나이며, 특히 지금까지의 아리스토텔레스 주의에 별로 기초를 두지 않은 독창적인 세 개의 분야에서의 발전이 보였다. 그 3개의 분야는 아래와 같다. 이 흐름의 마지막에 위치하는 중요한 작품으로서는 요하네스 포인소트 (1586년-1664년, 성토마스의 요하네스로 알려진다)의 '논리학', 프란시스코 수아레스 (1548년 - 1617년)의 '형이상학적 논쟁', 죠반니 지로라모 삭케이리 (1667년 - 1733년)의 '실증 논리학' (라: Logica Demonstrativa)이 있다.
교과서의 전통
전통적 논리학은 일반적으로는 안토와느 알노와 피에르 니콜의 '논리학, 혹은 사고의 기법', 통칭 '폴 로와이얄 논리학'에 시작하는 교과서의 전통이다. '폴 로와이얄 논리학'은 1662년에 출판되어 19세기까지의 사이 잉글랜드에서 가장 영향력의 큰 논리학서가 되었다. 본서는 아리스토텔레스 및 중세의 명사 논리학의 골조 안에 데카르트의 교설 (예를 들면, 명제는 명사보다 오히려 관념의 결합이다, 등)을 대략적으로 나타내고 있다. 1664년부터 1700년까지의 사이에 8쇄를 거듭해 그 이후의 시기에도 현저한 영향을 미쳤다. 존 로크가 '인간 오성론'으로 준 명제의 설명은 근본적으로는 '폴 로와이얄 논리학'의 것과 같다: '음성적인 명제, 즉 말[은], 우리가 가지는 관념의 상징[이며], 긍정문 혹은 부정문을 구성하거나 분리한다. 그 때문에 명제는 긍정 혹은 부정을 의미하는 것에 따라서, 이러한 상징을 구성하거나 분리하는 것에 있다.' (Locke, An Essay Concerning Human Understanding, IV. 5. 6)
또 하나의 영향력이 높은 작품은 프랜시스 베이컨의 1620년에 발표된 '노붐 오르가눔'이다. 서명은 '신기관'이라고 번역할 수 있지만, 이는 아리스토텔레스의 작품 '오르가논'을 의식한 것이다. 본서 속에서 베이컨은 아리스토텔레스의 삼단논법을 부정해 대신에 '천천히 하고 있어 매우 수고스럽지만 성실한 작업에 의하여 사물로부터 정보를 모아 그 정보를 이해로 이끄는' 방법을 바람직한 것으로 했다. 이 방법은 귀납 추론으로 불리는 것이다. 귀납법은 경험적 관찰로부터 시작되어 하류의 자연법칙이나 명제로 진행된다. 하류의 자연법칙으로부터 보다 상류의, 보다 일반적인 법칙이 (귀납에 의해서) 도출된다. 열과 같은 '현상하는 자연'의 원인을 발견할 때, 열이 찾아내지는 모든 경우를 목록화 해야 한다. 여기로부터 또하나의 목록을 기술할 수 있고, 그 목록에는 열이 없는 경우를 제외하고 최초의 목록에 있는 것과 같은 모든 조건이 쓰여져 있다. 셋째의 표에는 열이 변화하는 경우가 목록화되어 있다. 열의 '양식적 자연', 즉 원인은 제일의 표에 포함되는 모든 경우에 공통되어, 제2의 표에 포함되는 어느 경우에도 존재하지 않고, 제3표에 포함되는 각각의 경우로 정도로 차이가 있어야 한다.
교과서의 전통에 속하는 다른 작품으로서 아이작 와츠의 '논리학: 혹은 이성의 올바른 사용법'(, 1725년), 리처드 와틀리의 '논리학' (영: Logic, 1826년), 존 스튜어트 밀의 '논리학 체계' (1843년)가 있다. '논리학 체계'는 이 흐름에서의 마지막 주요 작품의 하나이지만, 논리학의 기초는 내관에 있다는 밀의 사상 은, 논리학은 심리학의 한 분야로서 보면 가장 잘 이해할 수 있다고 한다, 특히 독일에서의 그 앞으로 50년의 논리학의 발전을 지배하게 되는 사상·접근에 영향을 주었다.
헤겔 철학에서의 논리학
게오르크 빌헬름 프리드리히 헤겔은 그의 방대한 저서 '대논리학'을 요약한 작품으로 1817년에 발표한 '철학 백과사전'(Encyclopaedia of the Philosophical sciences) 제1부에서 자신의 철학 체계에 대한 논리학의 중요성을 시사하고 있다. '소론 이학'이라고도 불리는 '백과사전' 안의 '논리학'은 잘 알려져 있듯이, 범주 안의 가장 공허하고 추상적인 물건으로부터 태어나는 일련의 변화를 전개하고 있다: 헤겔은 '순수 존재'와 '순수무', 즉 자신에 앞서는 모든 범주를 포함·해명하는 범주로부터 시작한다 (그리고 절대에 도달한다). 표제에 반해 헤겔의 '논리학'은 사실은 타당한 추론의 학문에 대한 연구는 아니다. 전제로부터 타당한 추론을 통해서 개념에 관한 결론을 이끄는 것보다도 오히려, 하나의 개념에 대해 생각하면 다른 개념도 생각하게 되는 것을 나타내려고 헤겔은 시도하고 있다 (예를 들면 '양'의 개념 없이 '질'의 개념을 가질 수 없다고 그는 주장한다); 또, 여기서 충동은 개인의 심리적인 문제가 아니고, 개념 자체의 내용물로부터 거의 조직적으로 일어서 오는 것이다. 그의 목적은-실로 이성 자체의- '절대'의 이성적 구조를 나타내는 것에 있다. 하나의 개념으로부터 그 대의적 개념으로, 그리고 한 층 더 다른 개념으로 사고가 흘러 가는 방법은 헤겔의 변증법으로 알려져 있다.
헤겔의 '논리학'은 주류파의 논리학 연구에 거의 영향을 미치지 않았지만, 그 영향을 볼 수 있는 작품으로서 카를 폰 프란틀의 '서양 논리학사'(, 1855년-1867년) 나 영국 관념론자의 작품-예를 들면 프랜시스 브래들리의 '논리학의 제원리' (영: Principles of Logic, 1883년) -, 그리고 카를 마르크스 및 마르크스주의 제학파의 경제학, 정치학, 철학 등의 연구 등이 있다.
논리학과 심리학
밀과 프레게의 저작의 사이로, 논리학이 넓게 기술 과학으로서 혹은 추론의 구조의 경험적 연구, 또 근본적으로는 심리학의 한 분야로서 다루어진 기간은 반세기에 이른다. 예를 들어 독일의 심리학자 빌헬름 분트는 '심리학적인 사고법칙으로부터 논리 형식을' 이끌어내는 것을 주장하고, '심리학적 사고는 언제나 보다 알기 쉬운 형태의 사고이다'라고 강변 했다. 이 사상은 당시의 독일의 철학자의 사이에 퍼져서, 테오도어 립스는 논리학을 '심리학 중의 어느 특정한 규칙' 이라고 평가하였고, 크리스토프 폰 지그바르트는 논리적 필연성을 인간이 어느 방법으로 생각하려고 하는 충동에 기초 마련된 것으로 이해하였다. 또한 벤노 에르드만은 '논리적 법칙은 우리의 사고의 범위 내에서만 존속한다' 고 주장했다. 이러한 것이 밀의 저작이 발표된 이후 시기의 지배적인 견해이다. 하지만 이러한 논리학에 대한 심리적 접근은 고틀로프 프레게에 의해서 부정되었다. 같은 접근은 에드문트 후설에 의해서도 그의 저서 '논리학 연구' (1900년) 제일권에서 포괄적이며 파괴적인 비판을 이루고 있는데, 이 비판은 '압도적'이라고 평가 되고 있다. 논리학을 심리학적 고찰에 의해서 기초 마련한 일은 모든 논리학적 진리를 증명되어 있지 않은 상태로 해 버리는 것이나 회의주의·상대주의가 불가피한 결과인 것을 시사하고 있다고 후설은 강력하게 주장했다.
현대 논리학의 융성
14세기부터 19세기 초의 사이의 기간은 대체로 쇠퇴와 부정의 시기이며, 논리학 역사가에 의해서 일반적으로 황폐기로 간주되고 있다. 논리학의 부활은 19세기 중반, 논리학이 수학으로 이용되는 정확한 증명법을 범으로 하는 엄밀하고 형식적인 학과로 발전하는 혁명기에 일어났다. 이 시기의 현대의 이른바 '기호' 또는 '수리'논리학의 발전은 논리학 2000년의 역사 중에서 가장 현저한 것이며, 논란의 여지는 있으나 인류의 지성의 역사 중에서 가장 중요하고 주목해야 할 사건이라고 말할 수 있다.
수많은 특징에 의해서 현대 논리학이 고전의 아리스토텔레스 논리학이나 전통적 논리학와 구별되지만, 이중에서도 특히 중요한 것은 이하와 같다:
현대 논리학은 근본적으로는 '계산'(calculus)이며, 이 계산을 수행하는 규칙은 이용되는 기호의 '의미'에 의해서가 아니라, 수학과 같이 기호의 '형식'에 의해서 정해진다. 현대 논리학자는 실로 수학적인 결과에 관해서 논쟁이 길어지지 않는 수학의 '성공'에 강하게 영향을 받고 있다. 라플라스가 정적분의 계산을 잘못했기 때문에 달의 궤도에 관한 잘못이 일어나 그것이 50년 가깝게 존속했다고 해도, 잘못이 한 번 찾아낼 수 있으면 큰 논쟁을 일으키는 일 없이 바로잡아진다고 C. S. 퍼스는 말하고 있다. 퍼스는 이를 전통 논리학에 관련되는 애매함과 그리고 특히 형이상학에서의 추론과 대비시키고 있는 것이다. 실로 '정확한' 논리학은 수학적인, 즉 '도식적'·'기호적'인 사고에 근거한다고 그는 주장했다. '이러한 방법에 준거하는 사람들은 [ ... ] 한번 의심되자마자 바로잡아지는 것을 제외해 모든 잘못으로부터 면할 것이다.
현대 논리학의 시대
현대 논리학의 발전은 크게 다섯 개의 시기로 나눌 수 있다:
태동기
추론이 순수하게 기계적인 과정에 의해서 나타낼 수 있다는 발상은 동심환의 체계에 의해서 결론을 이끈다는 (약간 이색적인) 방법을 제안한 라몽 류이(카탈로니아어: 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년에 시작한 퍼지 논리가 있다.
FIFA 월드컵 기록
다음은 FIFA 월드컵에서 작성된 기록들이다.
대회
모든 팀이 전부 1패 이상 기록한 대회 가장 많은 관중을 동원한 단일경기가 있는 대회 가장 적은 관중을 동원한 단일경기가 있는 대회 해트트릭이 없는 대회 가장 많은 해트트릭이 나온 대회 경기장 수가 가장 적은 대회 경기장 수가 가장 많은 대회
종합
최다 출전 최다 우승 최다 결승 진출 최다 준결승 진출 최다 경기 팀 최저 경기 팀 최다 경기 개최국 최저 경기 개최국 최저 경기 우승팀 한 대회 최다 경기 팀 최다 승리 최다 패배 최다 무승부 전 경기 패배 전 경기 최다 연패 전 경기 최다 무승 최다 승률 최저 패배율 조별리그 최다 승점팀 토너먼트 최다 승점팀 최다 득점 최다 실점 최저 득점 최저 실점 최다 해트트릭 해트트릭을 가장 많이 허용한 팀 한 경기 최고 평균 득점 한 경기 최저 평균 실점 가장 많이 만난 두 팀 최다 무패 횟수 가장 많이 한 대회에서 무패를 기록하고도 탈락한 팀 가장 많이 한 대회에서 승리를 기록하지 못한 팀 결승전 최다 승리 팀 결승전 최다 패배 팀 결승전 최다 승률 팀 결승전 최소 승률 팀 준결승전 최다 승률 팀 준결승전 최소 승률 팀 우승한 적이 없는 팀 중 최다 준우승 팀 우승한 적이 없는 팀 중 최다 준결승 진출 팀 가장 많이 지역 예선에서 탈락한 팀 가장 적게 지역 예선에서 탈락한 팀 월드컵 본선 개근팀 1회 이상 본선에 진출한 팀 중 가장 많이 지역 예선에서 탈락한 팀 가장 많이 월드컵을 개최한 팀 가장 빨리 월드컵을 재개최한 팀 대륙별 최다 출전 대륙별 최고 성적 본선진출율이 가장 높은 대륙 평균성적이 가장 좋은 대륙 우승한 팀을 상대로 승리를 기록한 팀
조별리그에서 조 2위를 하고 우승한 팀
우승한 지 가장 오래된 팀
가장 최근에 우승한 팀
한 대회
한 대회 최다 승리 한 대회 최다 득점 한 대회 최다 무득점 한 대회 최다 연속 무득점 한 대회 최다 득점 기록 중 최저 기록 한 대회 최저 실점 한 대회 최다 실점 한 대회 최장 시간 무실점 한 대회 최고 골득실 한 대회 최고 골득실 우승 한 대회 최저 골득실 한 대회 최저 골득실 우승 한 경기 최고 평균 득점 최다 득점 우승 최저 득점 우승 최저 실점 우승 최다 실점 우승 최저 평균 득점 우승 한 대회 최다 무패팀 한 대회 최저 무패팀 최다 승리 우승 최저 승리 우승 최다 승리를 거두고도 우승하지 못한 팀 최저 경기 횟수로 4강전에 진출한 팀 디팬딩 챔피언의 연속 우승 지난 대회 우승 팀이 기록한 최악의 성적 (전체) 지난 대회 우승 팀이 기록한 최악의 성적 (본선 진출팀) 1라운드에서 탈락한 디펜딩 챔피언 개최국으로 우승 개최국이 기록한 최악의 성적 최다 경기 개최국 최저 경기 개최국 한 대회에서 두 번 만난 두 팀 개최국으로 지역 예선 참가 지역 예선에서 가장 많은 경기를 치르고 본선에 진출한 팀 지역 예선에서 가장 많은 경기를 치르고도 본선에 진출하지 못한 팀 지역 예선을 포함하여 가장 많은 경기를 치른 팀 본선 참가국 수가 가장 적은 대회 최저 경기 대회
연속
최다 연속 우승 최다 연속 결승전 진출 최다 연속 준우승 최다 연속 준결승 진출 최다 연속 1라운드 통과 최다 연속 1라운드 탈락 최다 연속 출전 최다 연속 지역 예선 통과 (자동 출전 제외) 최다 연속 지역 예선 탈락 최다 연속 승리(지역 예선 포함) 최다 연속 승리(본선) 최다 연속 무패 최다 연속 패배 최다 연속 무승 최다 연속 무승부 최다 연속 무승부 없음 최다 연속 득점 (1득점) 최다 연속 득점 (2득점) 최다 연속 득점 (3득점, 4득점) 최다 연속 득점 (6득점 이상) 최다 연속 무득점 최다 연속 무실점 최장 시간 무실점 최다 연속 실점 (1실점) 최다 연속 실점 (2실점) 최다 연속 실점 (3실점) 최다 연속 실점 (4실점) 최다 연속 실점 (5실점 이상) 가장 긴 기간 사이에 다시 우승한 팀 가장 긴 기간 사이에 다시 결승전에 진출한 팀 가장 긴 기간 사이에 다시 준결승전에 진출한 팀 가장 긴 기간 사이에 다시 준준결승전에 진출한 팀 가장 긴 기간 사이에 다시 본선에 진출한 팀 가장 긴 기간 사이에 지역예선 탈락한 팀
선수
월드컵 최다 출전 선수 월드컵 최다 우승을 경험한 선수 가장 많은 경기에 출전한 선수 가장 많은 시간 동안에 출전한 선수 최다 승리를 경험한 선수 월드컵 결승에 최다 출전한 선수 주장으로 최다 출전한 선수 교체선수로 최다 출전한 선수 최연소 선수 최연소 결승전 출전 선수 최연소 주장 최고령 선수 최고령 결승전 출전 선수 최고령으로 월드컵 첫 출전 선수 최고령 주장 선수 연령차가 가장 큰 팀 선수 연령차가 가장 큰 우승 팀 가장 긴 기간 사이에 월드컵에 출전한 선수 가장 긴 기간 동안에 월드컵에 출전한 선수 가장 긴 기간 사이에 선수와 감독으로 월드컵에 출전한 선수 가장 짧은 기간 사이에 선수와 감독으로 월드컵에 출전한 선수 가장 많은 슈팅을 하고도 득점을 기록하지 못한 선수
선수 득점
최다 득점
지역 예선 최다 득점(아시아) 지역 예선 최다 득점(유럽) 지역 예선 최다 득점(아프리카) 지역 예선 최다 득점(북중미) 지역 예선 최다 득점(남미) 지역 예선 최다 득점(오세아니아) 한 대회 최다 득점 한 경기 최다 득점(본선) 한 경기 최다 득점(지역 예선) 한 경기 최다 득점을 기록하고도 패한 경기에 출전한 선수 결승전 최다 득점 결승전 매 경기 최다 득점 최다 매 경기 최소 1득점 최다 매 경기 연속 최소 1득점 최다 매 경기 최소 2득점 최다 매 경기 연속 최소 2득점 최다 해트트릭 최다 연속 해트트릭 가장 빠른 해트트릭, 최다 득점 교체 선수 가장 늦은 해트트릭 매 경기 득점 최다 대회 최소 1득점 최다 대회 최소 2득점 최다 대회 최소 3득점 최다 대회 최소 4득점 최다 대회 최소 5득점 최장 기간 사이에 첫 득점과 마지막 득점을 기록 최연소 득점 최연소 해트트릭 최연소 결승전 득점 최고령 득점 최고령 해트트릭 최고령 결승전 득점 페널티킥 최다 득점 (승부차기 제외) 가장 빠른 득점 가장 빠른 교체 선수 득점 가장 빠른 결승전 득점 가장 늦은 득점 가장 늦은 결승전 득점 첫 골든골 마지막 골든골 가장 빠른 골든골 가장 늦은 골든골
팀 득점
최다 점수차 승리 지역 예선 최다 점수차 승리 한 팀의 한 경기 최다 득점 양 팀의 한 경기 최다 득점 최다 득점 무승부 경기(본선) 최다 득점 무승부 경기(지역 예선) 최다 점수차로 지고 있다가 승리를 기록한 경기 최다 점수차로 지고 있다가 무승부를 기록한 경기(본선) 최다 점수차로 지고 있다가 무승부를 기록한 경기(지역 예선) 양 팀의 한 경기 연장전 최다 득점 한 팀의 결승전 최다 득점 양 팀의 결승전 최다 득점 양 팀의 결승전 최저 득점 결승전 최다 점수차 승리 최다 점수차로 지고 있다가 승리를 기록한 결승전 경기 개최국으로 참가하여 최다 점수차로 승리한 경기 개최국으로 참가하여 최다 점수차로 패배한 경기 가장 짧은 시간에 가장 많은 골을 넣은 경기 한 경기 한 팀의 선수 최다 득점 한 대회 한 팀의 선수 최다 득점 최다 골든골 팀
대회 득점
월드컵 대회 최다 득점 월드컵 대회 최저 득점 월드컵 대회 한 경기 최고 평균 득점 월드컵 대회 한 경기 최저 평균 득점 월드컵 대회 최다 골든골
자책골
한 대회 최다 자책골 한 경기 최다 자책골 한 대회에서 양 팀에 득점한 선수 한 경기에서 양 팀에 득점한 선수
해트트릭
월드컵 대회 최다 해트트릭 월드컵 대회 최저 해트트릭 한 경기 최다 해트트릭 팀 한 경기에서 양 팀이 동시에 기록한 해트트릭 결승에서 해트트릭
골키퍼
최다 경기 무실점 기록 골키퍼 최장 시간 무실점 기록 골키퍼 최다 실점 골키퍼(본선) 최다 실점 골키퍼(지역 예선) 한 경기 최다 실점 골키퍼(본선) 한 경기 최다 실점 골키퍼(지역 예선) 한 대회의 모든 경기를 뛰고 최저 실점을 기록한 골키퍼 한 대회 최다 실점 골키퍼 최저 실점 우승 팀 골키퍼 최다 실점 우승 팀 골키퍼 한 대회 페널티킥 최다 선방 골키퍼(승부차기 제외) 최다 실점 결승전 골키퍼 결승전 해트트릭을 허용한 골키퍼
감독
최다 경기를 치른 감독 최다 승리 감독 최다 우승 감독 최다 출전 감독 가장 많은 나라를 맡은 감독 한 대회에서 가장 많은 팀을 맡아서 탈락시킨 감독 최다 연승 기록을 세운 감독 최다 무패 기록을 세운 감독 최연소 감독 최고령 감독 월드컵 우승을 이룬 최연소 감독 선수로 은퇴한 뒤 가장 빨리 월드컵 우승을 이룬 감독 가장 빠른 선수 교체 선수와 감독으로 최다 우승을 경험한 감독 선수와 감독으로 결승전에 최다 진출을 경험한 감독 선수와 감독으로 우승을 경험한 감독 대회 도중 경질된 감독
심판
최다 대회 심판 최다 경기 심판 한 대회 최다 경기 심판 최연소 심판 최고령 심판 최초의 여성 심판 대회 도중 경질된 심판
경고와 퇴장
가장 빠른 경고 가장 빠른 퇴장 가장 빠른 퇴장 (예선포함) 가장 늦은 경고 가장 늦은 퇴장 벤치에서 퇴장당한 선수 아무 이유 없는 퇴장 교체 도중 경고 선수 최다 카드 선수 최다 경고 선수 최다 경고 팀 최다 경고 경기 최다 경고 대회 최다 퇴장 선수 최다 퇴장 팀 최다 퇴장 경기 최다 퇴장 대회 최다 퇴장 결승전 한 경기 최다 경고 선수 한 경기 최다 경고 팀 한 대회 최다 경고 선수 첫 경고 감독 첫 퇴장 감독
관중
최다 관중 경기 최저 관중 경기 최다 관중 경기 (지역예선) 최저 관중 경기 (지역예선) 월드컵 대회 한 경기 최다 평균 관중 월드컵 대회 한 경기 최저 평균 관중
승부차기
승부차기를 가장 많이 치른 팀 한 대회에서 가장 많이 승부차기를 치른 팀 승부차기가 가장 많이 치러진 대회 승부차기 최다 승리 팀 한 대회 승부차기 최다 승리 팀 승부차기 최다 패배 팀 (전체) 최다 승부차기 키커로 나선 선수, 승부차기 최다 패배 팀 키커 한 팀의 승부차기 최다 득점 양 팀의 승부차기 최다 득점 승부차기 최다 득점팀 양 팀의 승부차기가 가장 많이 치러진 경기 승부차기를 가장 많이 치른 팀 한 대회에서 승부차기를 가장 많이 치른 팀 양 팀의 가장 많은 승부차기 실패 횟수 한 팀의 가장 많은 승부차기 실패 횟수 한 팀의 승부차기 최저 득점 , 2022년, 대 )
승부차기 최저 실점 골키퍼 승부차기 최다 선방 골키퍼 한 경기 승부차기 최다 선방 골키퍼 한 대회 승부차기 최다 선방 골키퍼
최다 득점 팀
승부차기를 통한 득점은 제외한다. 굵은 글씨는 월드컵 대회에서 우승한 팀이다.
최다 실점 팀
본선 진출 이후 최다실점한 팀이다. 굵은 글씨는 다음 라운드에 진출한 팀이다. 특히 1998년 FIFA 월드컵에서 브라질은 최다실점을 함에도 불구하고 준우승까지 차지했다. 2014년 FIFA 월드컵에서 브라질은 준결승전에서 독일에게 7:1로 패하며 개최국으로는 처음으로 월드컵 최다 실점 팀이 되었다.
최다 점수차 경기
여기서 특이 사항은 1990년 월드컵에서 카메룬이 소비에트 연방에게 0-4 패배를 당하고도 8강까지 진출한 반면 승리한 소비에트 연방은 조별 리그에서 탈락했다. 두 팀 다 아르헨티나, 루마니아와의 경기 때문이었다. 카메룬은 조별 리그에서 아르헨티나와 루마니아를 모두 이긴 반면, 소비에트 연방은 이 두 팀에게 모두 패했기 때문이다. 1998년 월드컵에 스페인은 불가리아를 6-1로 승리하고도 조별 리그에서 탈락했다. 아울러 1982년 월드컵에 출전한 헝가리 역시 엘살바도르에 무려 10-1로 크게 이기고도 아르헨티나에 밀려 조별 리그에서 탈락했다. 대승을 거두고도 조별 리그에서 탈락한 팀은 1998년 FIFA 월드컵에서 스페인을 끝으로 아직 없다. 2014년 FIFA 월드컵에서는 브라질이 독일에게 7:1로 패배를 당하며 개최국으로서는 처음으로 월드컵에서 최다 점수차로 패배한 팀이 되었다.
굵은 글씨는 해당 월드컵에서 우승한 팀이며 이탤릭체는 이렇게 승리함에도 불구하고 1라운드에서 탈락한 팀이다.
역대 월드컵 개최국
월드컵에서 개최국은 해당월드컵에서 무조건 자동으로 톱시드의 자격으로 진출한다. 게다가 개최국은 다른 팀에 비해 여러 부분에서 상당히 유리한 위치에 놓인다. 역대 월드컵에서 개최국이 거둔 기록의 총합은 보다 약간 우세할 정도로 성적이 매우 우수하다. 2010년 FIFA 월드컵과 2022년 FIFA 월드컵을 제외하고는 모든 팀이 16강 이상 진출했으며 우승도 6회에 달한다. 총 20개의 개최국 가운데 8강에 진출하지 못한 팀은 단 4팀에 불과하다.
월드컵 기록
^: 공동 개최.
마쓰나미촌
마쓰나미촌(松波村)은 이시카와현 스즈군에 설치되었던 촌이다.
김동철 (1965년)
김동철(金東哲, 1965년 8월 16일 ~ )은 대한민국 경기도의회 의원이다.
천희 (서요)
천희(天禧)는 서요 말제(末帝) 야율직로고(耶律直魯古)의 연호이다.
오이시 사토시
오이시 사토시 (1972년 6월 26일 ~ )는 일본의 축구 선수이다. 가시와 레이솔에서 활동하였다.
한다은
한다은(1990년 ~ )은 대한민국의 배우이다.
오타니촌 (이시카와현)
오타니촌(大谷村)은 이시카와현 스즈군에 설치되었던 촌이다.
아흐메드 알타예브
아흐메드 무하마드 아흐메드 알타예브(1946년 1월 6일 케나 ~, )는 이집트의 이슬람학자이다. 과거 알아즈하르 대학교 총장을 역임하였으며 현재는 알아즈하르의 대이맘을 역임하고 있다. 2010년 3월 10일 무하마드 사이드 탄타위가 사망한 뒤에 호스니 무바라크 대통령에 의해 알아즈하르의 대이맘으로 임명되었다.
파리 제4대학교에서 철학박사 학위를 취득했고 2003년부터 알아즈하르 대학교에서 대무프티를 맡았다. . 알아즈하르의 대이맘으로 임명되기 이전에 국민민주당의 정책위원회 위원을 역임하였다. 2010년 4월 국민민주당에서 탈당했다.
도쿄 소라마치
도쿄 소라마치는 도부 철도 주식회사의 자회사인 도부 타운 소라마치 주식회사가 운영하는 상업 시설이다. 2012년 5월 22일에 도쿄 스카이트리와 함께 개장하였다.
불교의 역사
이 문서는 네팔에서 전개된 불교의 역사인 네팔 불교의 역사, 즉 네팔 불교사에 대해 특히 다룬다. 한국중국일본 등 각 나라의 불교 역사는 한국 불교의 역사 등과 같은 문서에서 별도로 다루고 있다.
원시 불교의 성립
싯다르타는 카필라 성주(城主) 슈도다나(Suddhodana) 왕을 부친으로 하고 마야(Maya) 부인을 어머니로 하여 태어났으며, 샤카 족에 속하는 크샤트리아 계급이었다. 깨달음(覺각)을 성취한 후에는 "깨달은 자"라는 뜻인 붓다(불타부처)라는 칭호를 더하여 "고타마 붓다(Gautama Buddha)", 또는 "샤카 족의 성자"라는 뜻인 샤카무니(석가모니Śākyamuni) 혹은 석존(釋尊)이라고 불리었다.
고타마 붓다의 출생지는 룸비니(Lumbini)였고 성장지는 가비라성(Kapilavastu迦毘羅城가비라성)이었으나 불교가 종교로서의 요건을 갖추고 역사에 기록되기 시작한 것은 마가다 왕국에서였다. 고타마 붓다의 종교적 활동인 수도(修道)깨달음(正覺정각)포교(布敎) 등이 지금의 인도 비하르 주에 해당되는 마가다 왕국을 중심으로 전개되었기 때문에 출생지나 성장지보다는 마가다 왕국이 불교 발생의 중심지로 여겨지고 있다.
시대적 배경
불교가 일어날 당시 인도는 베다(Veda)와 우파니샤드(Upanisad)에 근거를 둔 브라만교가 지배하는 사회였다. 당시 브라만교는 우주의 궁극적 근원인 브라흐만(Brahman범梵)과 개인에 내재하는 아트만(Atman아我)이라는 두 원리가 동일한 것이라는 범아일여(梵我一如)의 사상을 가지고 있었다. 또 인간의 행위는 전생(前生)의 업|카르마(Karma업業)에 의해 지배된다는 교의를 가졌으며, 현재의 행위의 결과는 미래의 행위를 결정한다는 윤회 사상(輪廻思想)을 지니고 있었다. 당시의 사상가나 종교가들은 윤회로부터 해탈(解脫)해야 한다는 것을 이론이나 실천 수행을 통해 주장하였다. 브라만교의 업|카르마윤회해탈의 사상은 후대 인도 사상의 근간을 이루는 것으로 불교 역시 이러한 인도의 전통적 종교철학 사상을 근저로 하여 새로운 종교 사상으로 출현하였다.
붓다의 수행과 깨달음
싯다르타도 "깨달음(無上正等覺무상정등각阿耨多羅三藐三菩提아뇩다라삼먁삼보리 Anuttarā Samyaksaṃbodhi )"을 얻기 전까지는 이러한 종교적 풍토 속에서 브라만교의 수행 방법을 따랐다. 싯다르타는 29세에 부인인 야쇼다라(Yaśodhara)와 아들 라훌라(Rāhula)를 버리고 출가(出家)한 후 선정(禪定)과 고행(苦行)을 택하여 수행하였는데 이들은 당시에 유행되었던 수행법이었다.
싯다르타는 출가 후에 알라라 칼라마(Alara Kalama)와 우다카 라마푸타(Uddaka Ramaputta)에게 사사하다가 만족하지 못하여 스승을 버리고 5명의 수행자와 함께 고행의 길을 떠나 6년의 고행을 하였다. 하지만 싯다르타는 6년의 고행을 통해서도 깨달음을 성취하지 못하였으며, 이에 고행을 버리고 중도(中道)의 길을 택하였다. 이윽고 마침내 싯다르타는 35세의 해 12월 8일 이른 새벽에 부다가야(Buddhagaya)의 보리수 아래에서 "깨달음"을 성취하여 생노병사의 생사윤회(生死輪廻)의 근원을 단멸(斷滅)하고 열반(涅槃)의 세계를 체현하였다.
불교의 성립
고타마 붓다의 깨달음의 내용은 고(苦)집(集)멸(滅)도(道)의 사성제(四聖諦)와 생사윤회의 모습인 연기(緣起)이다. 고통(苦)의 원인인 집착(集)을 극복 또는 제거(滅)하여 생사윤회를 벗어나는 방법(道)으로 제시된 것이 정견(正見)정사(正思)정어(正語)정업(正業)정명(正銘)정정진(正定進)정념(正念)정정(正定)의 팔정도(八正道)이다. 고타마 붓다가 깨달은 진리를 법(法다르마)이라 하며 그는 이 법을 펴기 위해 녹야원(鹿野園사르나트)으로 가서 다섯 수행자에게 최초의 설법을 하고("초전법륜初轉法輪") 그들을 제자로 삼았다. 이로써 불법승의 삼보(三寶)가 갖추어지고 불교는 비로소 하나의 종교로서 교조(敎祖)교리(敎理)교단(敎團)을 갖추고 전파되기 시작하였다.
원시 불교의 발전
고타마 붓다는 45년 동안 교화 활동을 하며 승단을 이끌다가 80세에 쿠시나가르에서 입멸하여 반열반(般涅槃Parinirvana)에 들었다. 그 후 승단은 제자인 마하가섭 등이 중심이 되어 붓다의 율과 법을 유지하게 되었다.
경전의 결집
불멸후, 곧 붓다의 가르침을 정리하게 되었는데, 붓다가 듣는 사람의 근기에 따라 맞추어 설법한 것("수기설법隨機說法")을 결집을 통해 경전으로 편집하였다. 이것을 제1회 결집이라 한다. 라자기르(왕사성)에 500명의 비구들이 모여 마하가섭을 사회자로 하고 우바리가 율을, 아난다가 법을 암송하여 붓다의 설법을 정전화(正典化)하였다. 그 후 불교는 마가다 왕국을 근거지로 여러 도시의 왕과 제후 그리고 일반 서민의 귀의를 얻으며 각지로 전파되어 갔다.
아소카와 불교의 전파
기원전 321년경 찬드라굽타(Chandra Gupta)에 의해 인도 최초의 통일 국가인 마우리아 제국이 성립되고 제3대 황제인 아소카가 즉위한 후 불교는 비약적으로 팽창하여 캐시미르와 간다라 지방을 비롯한 인도 각 지역그리스의 식민지인 박트리아스리랑카(실론)미얀마(버마) 등 국외로까지 전파되었다. 특히 스리랑카에는 아소카 왕은 자신의 아들 마힌다(Mahinda)를 보내 불교를 전파했다. 아소카 왕은 열렬한 불교 신도로서 '법(法)인 진리'에 의한 통치를 지도 이념으로 삼는 등 불교 발전에 많은 공헌을 하였다.
상좌부와 대중부의 분열
싯다르타가 입멸한 후 100년이 지나자 계율(戒律) 해석을 놓고 전통적 보수파와 진보적 자유파가 대립되어 두 개의 부파(部派)로 갈라졌다. 전통적 보수파를 상좌부(上座部Theravada테라바다)라 하였고 진보적 자유파를 대중부(大衆部Mahasamghika마하상기카)라 하였다. 바이샬리(Vaisali毘舍離비사리)에서 비구계(比丘戒)로 10사(事)를 두고 합법(合法)을 주장하는 측과 비법(非法)이라고 반대하는 측이 대립되어 분열되었다. 이를 근본2부의 분열이라고 한다. 비법을 주장하는 측이 700명의 비구를 모아 집회를 열었는데 이것을 제2회 결집이라 한다.
소승 20부
근본2부의 분열이 가져온 분열의 기운은 교리상의 견해, 지도자간의 대립, 지리적 조건 등으로 인하여 더욱 심화되어 붓다의 입멸 후 약 200년 뒤에는 대중부 계통으로부터, 그리고 그 뒤에 이어서 상좌부 계통으로부터 교단의 파생적인 분열이 촉진되었다. 이에 따라 서력 기원을 전후하는 시기에는 18-20개 정도의 부파를 형성하였다.
이 여러 갈래로 분열하는 모습과 파의 이름 그리고 분파의 수에 관하여는 여러 설이 있다. 부파 발생의 주된 원인은 계율의 해석에 관한 학설 상의 차이에 있었지만, 학설보다는 지도적 장로(長老)를 중심으로 한 체제가 달랐거나 지리적으로 너무 떨어져 있었기 때문에 새로운 부파를 형성하는 일도 생겼다. 대표적 부파로는 설일체유부(說一切有部)설산부(雪山部)독자부(犢子部)화지부(化地部)음광부(飮光部)경량부(經量部) 등이 존재하였다.
일반적으로 소승20부로서는 대중부 계통의 대중부(大衆部)일설부(一說部)설출세부(說出世部)계윤부(鷄胤部)다문부(多聞部)설가부(說假部)제다산부(制多山部)북산주부(北山住部)의 9부와 상좌부 계통의 설일체유부(說一切有部)설산부(雪山部)독자부(犢子部)법상부(法上部)현주부(贅胄部)정량부(正量部)밀림산부(密林山部)화지부(化地部)법장부(法藏部)음광부(飮光部)경량부(輕量部)의 11부, 합계 20부를 들 수 있다. 이들의 성립 시기는 대략 서력 기원 전후였을 것으로 보인다.
대승 불교의 성립
대승 불교가 성립된 것은 기원전 1세기경이나 이 움직임의 태동은 그보다 훨씬 전부터 시작된 것으로 여겨지고 있다. 대승 불교의 대두로 인하여 이전의 6세기 간에 걸친 불교를 통칭하여 소승 불교라 불러 대승 불교와 함께 오늘날까지 불교의 성격을 규정하는 2대(二大) 유파로 간주하게 되었다.
그러나 대승 불교의 대두로 소승 불교는 쇠퇴소멸의 길을 달린 것이 아니라 소승 불교의 부파들은 서로 정통을 주장하며 계속 부파적 발전을 하여, 스리랑카와 같은 남방 국가로도 퍼져갔다. 스리랑카의 경우 기원후 4-5세기 동안 부다다타(Buddhadatta), 부다고사(Buddhaghosa覺音각음)와 같은 일단(一團)의 학자들에 의해 수많은 주석서들이 만들어졌다. 이러한 활동이 바탕이 되어 스리랑카의 소승 불교는 미얀마타이캄보디아라오스 등지의 소승 불교와 함께 남방 불교 문화권을 형성하였다.
소승에 대해 대립적 자세를 취하며 일어난 대승 불교는 종래의 관점을 혁신하였다. 수행관(修行觀)에 있어서 자기 완성을 주장하기 보다 대중의 구원을 우선할 것을 주장하였다. 열반의 상태에 안주해 버리는 아라한(阿羅漢Arhan) 대신에 보살(菩薩Bodhisattva)이라는 새로운 이상적 인간상을 제시하였고 이미 열반에 들어간 역사적 인물로서의 붓다 대신에 법신(法身)보신(報身)응신(應身) 또는 화신(化身)의 삼신설(三身說)과 같은 초월적 불신관(佛身觀)을 내세웠다. 이러한 변화는 자타카(Jataka本生譚본생담), 아바다나(Avadana譬喩文學비유문학) 및 아비달마의 우주론의 발달과 더불어 점진적으로 형성되었다.
대승 경전의 성립
기원전 1세기에서 기원후 3세기에 이르는 사이 대승 운동의 결실로 수많은 대승 경전들이 출현했다. 초기 대승 경전 가운데 중요한 것들은 《반야경(般若經)》《유마경(維摩經)》《법화경(法華經)》《아미타경(阿彌陀經)》 《십지경(十地經)》 등이다. 이 가운데 《반야경》은 대승 경전을 대표하는 경전으로, 이 경전에 실린 공 사상(空思想)은 대승 불교의 기본적 교리로서 불교 사상의 근본 사조를 이루었다.
중관파와 유가행파
용수 이후에 《승만경(勝鬘經)》《해심밀경(解深密經)》《능가경(楞伽經)》 등이 나타났다 특히 《해심밀경》의 유식설(唯識說Vijñapti-mātratā)은 270년과 480년 사이에 미륵(彌勒 Maitreya : c. 270-350)무착(無着 Asanga : c. 300-370)세친(世親 Vasubandhu : fl. 4세기) 등에 의해 체계적으로 정리되어 유가행파가 확립되었다. 그 결과 중관파의 공 사상과 유가행파의 유식설은 중기 대승 불교 사상의 2대 조류를 형성하는 학설이 되었다.
공 사상 또는 중관 사상(中觀思想)의 중관파와 유식 사상(唯識思想)의 유가행파는 7세기에 이르러 인도 대승 불교의 주요한 학파로 군림하게 되었다. 중관파는 용수(c.150-c.250) 이래 불호(佛護 Buddhapalita : c.470-540)의 계통과 청변(淸辨 Baviveka : c 490-570)의 계통으로 나뉘었고, 전자는 월칭(月稱 Candrakirti : 600-c.650)과 적천(寂天 Santideva : 6세기)이 계승하였으며, 후자는 적호(寂護 Santaraksita : 8세기)와 연화계(蓮華戒 Kamalasila : fl. 713-763)가 계승하였다. 유가행파는 세친(世親 Vasubandhu : fl. 4세기)을 계승한 진나(陳那 Dinnaga : c.480-540) 계통과 덕혜(德慧Gunamati)와 안혜(安慧 Sthiramati : 6세기)의 계통으로 나뉘었고 전자는 호법(護法 Dharmapala : 530-561)법칭(法稱 Dharmakirti : 7세기)이 계승하였다.
인도의 후기 대승 불교
7세기는 불교사상에 있어 난숙한 발달을 보인 시기였는데 중관파와 유가행파는 불교 내부에서 상호간에 활발한 논전을 벌였을 뿐 아니라 외부의 힌두교나 자이나교의 종파들과도 논쟁을 벌였다. 인도 불교는 이렇게 대승 불교의 학파들을 형성하여 발전을 계속하였으며 그 학문적 전승을 위해 나란타(那爛陀Nalanda) 사원이 국제 대학으로서의 역할을 하였으며 발라비(Valabhi) 사원도 불교학의 중심지가 되었다. 그러나 인도 불교의 종교적 열정은 감퇴되기 시작하여 종교 생활은 나란타( Nalanda )발라비(Valabhi)비크라마실라( Vikramasila )와 같은 대학으로 집중되었고 승단 중심의 불교는 쇠퇴의 길을 걷기 시작하였다.
밀교의 성립
밀교도 대승 불교로 분류되고 있으나 인도에서 대승 불교가 쇠퇴하고 있던 당시의 상황을 반영한 사상으로 평가된다. 그 이유는 세친(世親 Vasubandhu : fl. 4세기) 이후 대승 불교가 지나친 철학적이론적 경향으로 흘러 일반 대중과 유리되었는데 이에 대한 반작용으로 밀교가 발생한 것이기 때문이다. 이러한 상황은 아비달마 불교의 지나친 철학적이론적 경향에 대한 반작용으로 대승 불교가 발생한 것과 동일하다. 또 당시 인도에서 탄트라 문학이 유행되었고 그 풍조에 따라 불교의 밀교적 전개가 촉진되었다. 중관 사상도 밀교화되었으며 따라서 밀교는 힌두 사회에서 환영받아 급속히 보급되었다. 8세기 후반에 와서는 밀교가 대중화됨과 동시에 저급한 의례를 도입하기에 이르렀다.