shopkeeper/korean_wiki_content_only_120125 huggingface dataset:
카렐리야의 농촌 지역에서는 정교회 신앙이 다소 초대 교회적인 상태로 남아있었기 때문에 신심 면에서 좀 더 오래된 요소가 없잖아있었다. 정교회 신자들의 문맹률은 낮았다. 1900년 당시 핀란드에서 15세 이상의 인구 중 32퍼센트가 문맹이었다. 정교회 신자들은 기초적인 것을 제외하고는 자신들의 신앙에 대해 잘 알지 못했다. 사제들은 대개 핀란드어를 거의 알지 못하는 러시아인들이었다. 카렐리야와 경작지는 가난한 곳이었기 때문에 뛰어난 성직자들이 잘 가려고 하지 않았다. 이 당시 전례 언어는 옛 불가리아어 형태인 교회 슬라브어였다. 전례에 참여할 때, 러시아인들은 그 내용의 일부분을 이해할 수 있었지만, 핀란드어 화자들은 전혀 알아듣지 못했다.
핀란드 독립국.
1917년 핀란드가 러시아로부터의 독립을 선언한지 얼마 지나지 않아서, 핀란드 정교회는 러시아 정교회로부터의 독립을 선언했다. 핀란드의 최초 헌법(1919년)은 핀란드 정교회에 핀란드 루터교와 동등한 지위를 부여했다.
1923년 핀란드 정교회는 러시아 정교회와 완전히 분리되어 콘스탄티노폴리스 총대주교청에 소속된 자치 교회가 되었다. 동시에 그레고리오력을 채택하였다. 독립 후 또다른 개혁으로는 전례 언어를 교회 슬라브어에서 핀란드어로 바꾸고, 대주교좌를 비보르크에서 소르타발라로 옮긴 것이었다.
제2차 세계대전 때까지 핀란드 정교회 신자 대다수는 카렐리야에 거주하였다. 전후 소련에 양도된 지역의 주민들은 다른 지역으로 피난을 떠났다. 발라모 수도원 수사들은 1940년 피난길에 올라 1941년 핀란드의 새 국경에 포함된 헤이내베시에 새 수도원을 세웠다. 나중에는 코네브스키와 페첸가 수도원의 수사들 또한 새 발라모 수도원에 합류했다. 페르보마이스코예 인근의 린투라(오늘날의 오곤키) 수녀원의 수녀들도 피난길에 올라, 1946년 헤이내베시에 새 수녀원을 세웠다.
새로운 본당 네트워크가 형성되었고, 1950년대에 많은 성당이 세워졌다. 소르타발라와 비보르크를 소련에 빼앗긴 후, 관구 대주교좌는 쿠오피오로 이전했으며, 빌푸리에 있던 주교좌는 헬싱키로 이전했다. 세 번째 교구는 1979년 오울루에 설정되었다.
제2차 세계대전 후, 핀란드 정교회 신자 수는 천천히 감소했다. 카렐리야 피난민들은 핀란드의 루터교 주류 사이에 있으면서 자신들의 뿌리를 잃어가고 있었다. 정교회 신자와 루터교 신자가 혼인하는 경우가 흔해졌으며, 아이들은 종종 핀란드의 주류 종교인 루터교에서 세례를 받았다. 그러나 뜻밖에도 1970년대부터 정교회의 영광이 이어졌는데, 신비스럽고 시각적으로 아름다운 전례와 성화(이콘), 루터교보다 좀 더 기독교적이라는 시각이 생기면서 낭만적 운동이 핀란드에서 일어났다. 그리하여 영국의 가톨릭교회와 마찬가지로 핀란드에서는 정교회로 개종하는 것이 거의 유행처럼 번져 신자 수가 증가하기 시작했다.
이와 동시에 카렐리야와 전 핀란드의 관구 대주교 바울로(1960-1987)는 전례에 변화를 주어 평신도가 보다 능동적으로 전례에 참여하고 이해하도록 유도했다. 바울로 대주교는 또한 신자들에게 자주 성체와 성혈을 영하는 것이 중요하다고 강조했다.
2010년대부터 정교회 신자 수와 세례를 받는 신자 수가 감소하기 시작했다. 핀란드 루터교와 비교해봤을 때, 정교회는 냉담자가 루터교 냉담자보다 평균적으로 나이가 좀 더 많고, 성별로는 여성이 더 많다.
카렐리야 교구.
카렐리야와 전 핀란드의 관구 대주교좌는 쿠오피오에 있다. 관구 대주교는 카렐리야 교구 뿐만 아니라 핀란드 정교회의 수장 역할을 맡고 있다.
헬싱키 교구.
헬싱키 교구에는 28,000명의 신자가 있다. 교구는 50명의 사제와 8개의 본당으로 구성되어 있다. 헬싱키 교구의 대표적인 성당으로는 헬싱키에 있는 우스펜스키 성당이 있다. 헬싱키 교구만이 지니는 특징으로는 최근 핀란드로 오는 이민자들이 많아짐에 따라, 교구 성당들에서는 핀란드어 뿐만 아니라 러시아어와 영어, 그리스어, 루마니어 등도 전례 언어로 사용하고 있다는 점이다.
오울루 교구.
엘라 간디(, 1940년 7월 1일 더반 ~ )는 남아프리카 공화국의 정치인, 평화 활동가이다. 인도의 독립 운동 지도자인 마하트마 간디의 손녀이기도 하다.
나탈 대학교(University of Natal) 문학 학사 학위 출신이다. 남아프리카 공화국의 인종 차별 정책인 아파르트헤이트에 반대한 것이 문제가 되어 1975년부터 1990년까지 수감 생활을 했다. 1994년부터 2004년까지 아프리카 민족회의 소속 국민의회(남아프리카 공화국의 의회) 의원을 역임했다. 정계에서 은퇴한 뒤에는 가정폭력 근절 운동을 전개하고 있다.
레셰크 체자리 밀레르(, 1946년 7월 3일 지라르두프 ~ )는 폴란드의 정치인이다. 소속 정당은 민주좌파연합이다.
1969년부터 1990년까지 폴란드 연합노동자당 당원으로 활동했으며 1990년부터 1999년까지 폴란드 공화국 사회민주당 당원으로 활동했다. 1993년 10월 26일부터 1996년 2월 7일까지 폴란드 노동·사회 정책부 장관을 역임했고 1997년 1월 1일부터 1997년 10월 17일까지 폴란드 내무·행정부 장관을 역임했다.
1997년부터 1999년까지 폴란드 공화국 사회민주당 대표를 역임했으며 1999년 4월 15일부터 2004년 3월 6일까지 민주좌파연합 대표를 역임했다. 2001년 10월 19일부터 2004년 5월 2일까지 폴란드의 총리를 역임했다.
라트비아에서 남아프리카 공화국으로 이주한 유대인인 줄리어스 퍼스트(Julius First)와 마틸다 레베탄(Matilda Levetan)의 딸로 태어났다. 그의 부모는 남아프리카 공화국 공산당 당원으로 활동한 경력을 갖고 있다. 1946년에는 위트와테르스란트 대학교로부터 학사 학위를 취득했다.
1956년부터 1961년까지 반역 혐의로 재판을 받게 되면서 구금 생활을 했다. 1964년 3월 영국 런던으로 망명한 뒤부터 남아프리카 공화국의 인종 차별 정책인 아파르트헤이트에 반대하는 운동을 전개했다. 1982년 8월 17일 모잠비크 마푸투에서 남아프리카 공화국 출신 경찰관에 의해 암살당했다.
카지미에시 마르친키에비치(, 1959년 12월 20일 고주프비엘코폴스키 ~ )는 폴란드의 정치인이다. 소속 정당은 법과 정의이다.
브로츠와프 대학교 수학과, 물리학과, 화학과 출신이다. 2005년 10월 31일부터 2006년 7월 14일까지 폴란드의 총리를 역임했으며 2006년 7월 20일부터 2006년 12월 2일까지 바르샤바 시장을 역임했다.
요세프 토쇼프스키(, 1950년 9월 28일~)는 체코의 정치인, 경제학자이다.
나호트 출신으로 1968년부터 1973년까지 프라하 경제대학교에서 국제 무역을 전공했다. 1973년에 체코슬로바키아 국립은행에 입사했고 1989년에는 체코슬로바키아 국립은행 총재로 임명되었다. 1993년부터 체코 국립은행 총재를 역임하면서 체코의 시장 경제 이행, 체코의 통화 제도 및 은행 제도의 개혁에 착수했다.
1997년 바츨라프 클라우스 총리가 부패 사건으로 인해 사임하면서 1997년 12월 17일부터 1998년 7월 22일까지 제2대 체코의 총리를 역임했다. 이후 1993년부터 2000년까지 체코 국립은행 총재를 역임하기도 했다.
블라디미르 슈피들라(, 1951년 4월 21일~)는 체코의 정치인이다. 소속 정당은 체코 사회민주당이다.
1976년 프라하 카렐 대학교 역사학과를 졸업했다. 1989년 벨벳 혁명과 함께 창당한 체코 사회민주당의 설립 과정에 참여했다. 1996년부터 2006년까지 체코 의회 의원을 역임했다.
2001년 4월 7일부터 2004년 6월 26일까지 체코 사회민주당 대표를 역임했으며 2002년 7월 21일부터 2004년 8월 4일까지 제4대 체코의 총리를 역임했다. 2004년 11월 22일부터 2010년 2월 9일까지 유럽 연합 산하 유럽 위원회에서 고용·사회 정책·기회 균등 담당 위원을 역임했다.
스타니슬라프 그로스(, 1969년 10월 30일~2015년 4월 16일)는 체코의 정치인이다. 소속 정당은 체코 사회민주당이다.
1989년 벨벳 혁명과 함께 창당한 체코 사회민주당의 설립 과정에 참여했다. 1992년 6월 6일부터 2004년 9월 21일까지 체코 의회의 중앙보헤미아 주 대표 의원을 역임했다.
2004년 8월 4일에 제5대 체코의 총리로 취임했지만 자신의 저택 구입에 관한 의혹이 제기되었고, 이에 2005년 4월 25일 총리직에서 사임했다. 이후 2015년 4월 16일 근위축성 측색 경화증으로 인해 향년 45세를 일기로 사망했다.
이르지 루스노크(, 1960년 10월 16일~)는 체코의 정치인, 경제학자이다. 2013년부터 2014년까지 제10대 체코의 총리를 역임하였으며, 1998년부터 2010년까지는 체코 사회민주당 소속이었지만 현재는 무소속이다.
프라하 경제대학교 출신이다. 2001년 4월 13일부터 2002년 7월 15일까지 체코 재무부 장관을 역임했으며 2002년 7월 15일부터 2003년 3월 19일까지 체코 산업·통상부 장관을 역임했다.
2013년 7월 10일부터 2014년 1월 29일까지 체코의 총리를 역임했다. 2016년 1월 1일에는 체코 국립은행 총재로 임명되었다.
보후슬라프 소보트카(, 1971년 10월 23일~)는 체코의 정치인이다. 2014년부터 2017년까지 제11대 체코의 총리를 역임했으며, 소속 정당은 체코 사회민주당이다.
마사리크 대학교 법학과 출신이다. 1996년 6월 1일에는 체코 의회의 남모라바 주 대표 의원으로 선출되었으며, 2002년 7월 12일부터 2006년 9월 4일까지 체코 재무부 장관을 역임했다.
2010년 5월 29일부터 2017년 6월 15일까지 체코 사회민주당 당대표를 역임하였고, 2014년 1월 17일부터 체코의 총리를 역임하였다. 2017년 12월 6일 중도주의 정당인 ANO 2011의 당대표인 안드레이 바비시가 신임 총리로 선언된 후 2017년 12월 13일에 총리직을 사임하였다.
한나 옌센(, 1973년 2월 19일~)은 페로 제도의 정치인으로 소속 정당은 진보당이다. 2015년부터 페로 제도 의회 의원을 역임하고 있다. 에스투로이섬 레이르비크(Leirvík) 출신이다.
안톤 로프(, 1960년 12월 27일 유고슬라비아(현재의 슬로베니아) 류블랴나 ~ )는 슬로베니아의 정치인이다. 2007년 이전까지는 슬로베니아 자유민주당 소속이었지만 2007년부터 현재까지는 사회민주당 소속이다.
1984년 류블랴나 대학교 경제학과를 졸업했다. 1996년부터 2000년까지 슬로베니아 노동·가족·사회부 장관을 역임했고 2000년부터 2002년까지 슬로베니아 재무부 장관을 역임했다.
2002년 12월 19일부터 2004년 12월 3일까지 슬로베니아의 총리를 역임했다. 2010년 8월까지 슬로베니아 국민의회 의원을 역임했으며 현재는 유럽 투자 은행 부총재를 역임하고 있다.
풀앤베어(Pull&amp;Bear)는 인디텍스에서 전개하는 패션 브랜드이다. 젊은 여성과 남성을 대상으로 한다. 대한민국에서는 2011년에 첫 번째 매장을 열였다.
오이쇼는 인디텍스에서 전개하는 홈웨어와 속옷 브랜드이다. 여성을 대상으로 한다. 대한민국에서는 2015년에 첫 매장을 열었다.
유한 파르츠(, 1966년 8월 27일~)는 에스토니아의 정치인이다. 2003년부터 2005년까지 제15대 에스토니아의 총리를 역임했고 소속 정당은 조국과 공화국을 위한 연합이다.
타르투 대학교 법학과 출신이다. 1998년부터 2003년까지 에스토니아 감사원에서 근무했으며 2003년 4월 10일부터 2005년 4월 12일까지 에스토니아의 총리를 역임했다. 2007년 4월 4일부터 2014년 3월 26일까지 에스토니아 경제·통신부 장관을 역임했다.
로런스 곤지(, 1953년 7월 1일 발레타 ~ )는 몰타의 정치인이다. 소속 정당은 국민당이다.
1975년 몰타 대학교 법학과를 졸업했다. 1988년부터 1996년까지 몰타 의회 의장을 역임했으며 1998년부터 1999년까지 국민당 총서기를, 2004년부터 2013년까지 국민당 대표를 역임했다.
시벨 시베르(, 1960년 12월 13일 키프로스 니코시아 ~ )는 북키프로스의 정치인이다. 소속 정당은 공화 터키당이다.
2013년 6월 13일부터 2013년 9월 2일까지 북키프로스의 총리를 역임했다. 2013년 9월 4일부터 현재까지 북키프로스 의회 의장을 역임하고 있다.
《수상한 가수》는 2017년 7월 14일부터 2017년 11월 16일까지 tvN에서 방영된 예능 프로그램이다.
중부바위쥐("Zyzomys pedunculatus")는 쥐과에 속하는 설치류의 일종이다. 오스트레일리아에서만 발견된다. 바위가 드문드문 지상에 노출되어 있는 산악 경사면 지역과 구릉 초원, 앞이 트인 낮은 관목 지대 또는 삼림 지대에서 발견된다. 역사적으로 중부바위쥐는 노던준주 맥도넬산맥 서부 77km 지역에서만 발견되었다.
논리적 추론(logical reasoning)은 마음의 활동으로, 엄격한 방식으로 결론에 도달하는 것을 목표로 한다. 이것은 일련의 전제에서 시작하여 이 전제에 의해 뒷받침되는 결론으로 추론하거나 논증하는 형태로 일어난다. 전제와 결론은 명제이다. 즉, 사실에 대한 참 또는 거짓 주장이다. 이들은 함께 논증을 형성한다. 논리적 추론은 모든 합리적인 사람이 설득력 있다고 생각할 올바른 논증을 구성하는 것을 목표로 한다는 점에서 규범 지배적이다. 논리적 추론을 연구하는 주요 학문은 논리학이다.
서로 다른 유형의 논리적 추론은 사용하는 규범과 도달하는 결론의 확실성에 따라 서로 다르다. 연역은 가장 강력한 지지를 제공한다. 전제들이 결론을 보장하며, 이는 모든 전제가 참일 경우 결론이 거짓일 수 없다는 것을 의미한다. 이러한 논증을 타당한 논증이라고 한다. 예를 들어: 모든 인간은 죽는다; 소크라테스는 인간이다; 그러므로 소크라테스는 죽는다. 타당한 논증에 있어서는 전제가 실제로 참인지 여부가 중요하지 않고, 만약 전제가 참이라면 결론이 거짓일 수 없다는 것만이 중요하다. 타당한 논증은 전건 긍정 또는 후건 부정과 같은 추론 규칙을 따른다. 연역적 추론은 형식 논리학 및 수학에서 중심적인 역할을 한다.
비연역적 논리적 추론의 경우, 전제는 결론의 참을 보장하지 않으면서도 합리적으로 설득력 있게 만든다. 이는 종종 확률의 관점에서 이해된다. 전제는 결론이 참일 가능성을 높이며, 강력한 추론은 이를 매우 가능성 있게 만든다. 결론이 전제에서 이미 발견되지 않은 새로운 정보를 도입하기 때문에 어느 정도의 불확실성은 남는다. 비연역적 추론은 일상생활과 대부분의 과학에서 중심적인 역할을 한다. 자주 논의되는 유형으로는 귀납, 귀추법, 유추적 추론이 있다. 귀납적 추론은 많은 개별 사례에서 발견되는 패턴으로부터 보편적인 법칙을 추론하는 일반화의 한 형태이다. 많은 검은 까마귀에 대한 개별적인 관찰을 바탕으로 "모든 까마귀는 검다"는 결론을 내릴 수 있다. "최선의 설명에 대한 추론"으로도 알려진 귀추법은 관찰에서 시작하여 이 관찰을 설명하는 사실로 추론한다. 예를 들어, 의사가 환자의 증상을 검사하여 근본 원인에 대한 진단을 내리는 경우이다. 유추적 추론은 두 유사한 시스템을 비교한다. 한 시스템이 어떤 특징을 가지고 있음을 관찰하고, 다른 시스템도 이 특징을 가지고 있다고 결론짓는다.
논리적 추론의 기준에 미치지 못하는 논증을 오류라고 한다. 후건긍정의 오류와 같은 형식적 오류의 경우, 오류는 논증의 논리적 형식에 있다. 거짓 딜레마와 같은 비형식적 오류의 경우, 잘못된 추론의 원인은 주로 논증의 내용이나 맥락에서 발견된다. 일부 이론가들은 논리적 추론을 비판적 사고와 거의 동등한 넓은 의미로 이해한다. 이러한 관점에서, 그것은 전제로부터 결론을 도출하는 능력 외에도 인지적 기술을 포함한다. 예를 들어, 이유를 생성하고 평가하며 정보의 신뢰성을 평가하는 기술이 있다. 추가적인 요소로는 새로운 정보를 찾고, 불일치를 피하며, 결정을 내리기 전에 다양한 행동 방침의 장단점을 고려하는 것이 있다.
논리적 추론은 엄격한 방식으로 결론에 도달하는 것과 관련된 사고의 한 형태이다. 이것은 일련의 전제에 있는 정보를 변환하여 결론에 도달하는 추론의 형태로 일어난다. 이는 "주어진 맥락에서 정보를 선택하고 해석하며, 연결을 만들고, 제공된 및 해석된 정보와 관련 규칙 및 프로세스를 기반으로 결론을 검증하고 도출하는 것"으로 정의될 수 있다. 논리적 추론은 어떤 결론도 생성하지 않지만, 전제가 결론을 뒷받침하고 이를 믿을 이유가 되도록 보장한다는 점에서 엄격하다. 한 가지 핵심적인 측면은 이 지지가 특정 추론자에 국한되지 않고, 모든 합리적인 사람이 전제에 근거하여 결론을 설득력 있다고 생각할 것이라는 점이다. 이런 식으로 논리적 추론은 지식 확장에 역할을 한다.
논리적 추론을 연구하는 주요 학문은 논리학이라고 불린다. 이는 형식 논리학과 비형식 논리학으로 나뉘며, 형식적 및 비형식적 논리적 추론을 연구한다. 전통적으로 논리적 추론은 주로 형식 논리학이 연구하는 연역과 관련되었다. 그러나 더 넓은 의미에서, 그것은 귀납, 귀추법, 유추적 추론과 같은 비연역적 추론의 형태도 포함한다.
논리적 추론의 형태는 규범 지배적인 방식으로 추론을 하기 위해 전제를 사용한다는 공통점을 가지고 있다. 규범 지배적인 실천으로서, 그들은 규범의 적용에 대한 상호 주관적 동의, 즉 전제가 결론을 어느 정도 지지하는지에 대한 동의를 목표로 한다. 논리적 추론의 유형은 사용하는 정확한 규범과 도달하는 결론의 확실성에서 서로 다르다. 연역적 추론은 수학적 증명처럼 가장 강력한 지지를 제공하고 결론을 확실하게 함축한다. 비연역적 추론의 경우, 전제는 결론을 더 가능성 있게 만들지만 보장하지는 않는다. 이 지지는 정도에 따라 달라진다. 강력한 논증은 경험 과학의 잘 연구된 문제의 경우와 같이 결론을 매우 가능성 있게 만든다. 일부 이론가들은 논리적 추론에 대해 고품질 사고를 담당하는 인지적 능력으로서의 역할을 포함하는 매우 넓은 정의를 내린다. 이러한 관점에서, 그것은 비판적 사고와 거의 같은 의미를 갖는다.
논리적 추론의 연구 및 분석에는 다양한 기본 개념이 사용된다. 논리적 추론은 일련의 전제로부터 결론을 추론함으로써 일어난다. 전제와 결론은 일반적으로 명제로 간주된다. 명제는 사실에 대해 주장하는 진술이다. 이러한 점에서 명제는 진리값 지지자로서 작용한다. 즉, 명제는 참이거나 거짓이다. 예를 들어, "물이 끓고 있다"는 문장은 참이거나 거짓일 수 있으므로 명제를 표현한다. 반면에 "물이 끓고 있는가?" 또는 "물을 끓여라!"와 같은 문장은 참도 거짓도 아니므로 명제를 표현하지 않는다. 논리적 추론의 출발점으로 사용되는 명제를 전제라고 부른다. 그것들로부터 추론된 명제를 결론이라고 부른다. 예를 들어, "모든 강아지는 개이다; 모든 개는 동물이다; 그러므로 모든 강아지는 동물이다"라는 논증에서 "모든 강아지는 개이다"와 "모든 개는 동물이다"는 명제는 전제로 작용하며 "모든 강아지는 동물이다"는 명제는 결론이다.
일련의 전제와 결론을 함께 논증이라고 부른다. 추론은 전제에서 시작하여 결론에 도달하는 정신적 추론 과정이다. 그러나 "논증"과 "추론"이라는 용어는 논리학에서 종종 상호 교환적으로 사용된다. 논증의 목적은 어떤 믿음에 대한 이유를 제공함으로써 누군가에게 어떤 것이 사실임을 설득하는 것이다. 자연어로 된 많은 논증은 모든 전제를 명시적으로 진술하지 않는다. 대신, 전제는 특히 분명하고 상식에 속하는 경우 종종 암묵적으로 가정된다. 일부 이론가들은 단순 논증과 복합 논증을 구분한다. 복합 논증은 여러 하위 논증으로 구성된다. 이런 식으로, 이전 논증의 결론이 이후 논증의 전제로 작용하는 사슬이 형성된다. 이 사슬의 각 연결 고리가 성공해야 복합 논증이 성공한다.
논증은 전제가 결론에 대한 지지를 제공하는지 여부에 따라 올바르거나 올바르지 않다. 이는 종종 확률의 관점에서 이해된다. 올바른 논증의 전제가 참이라면, 결론도 참일 확률이 높아진다. 논리적 추론의 형태는 전제가 결론을 지지하는 방식에 따라 구별될 수 있다. 연역적 논증은 가능한 가장 강력한 지지를 제공한다. 비연역적 논증은 더 약하지만, 그럼에도 불구하고 올바른 추론 형태이다. "증명"이라는 용어는 종종 연역적 논증이나 매우 강력한 비연역적 논증에 사용된다. 올바르지 않은 논증은 지지를 제공하지 않거나 충분한 지지를 제공하지 않으며, 오류라고 불린다. 비록 올바르지 않은 논증을 사용하는 것이 결론이 올바르지 않다는 것을 의미하지는 않는다.
연역적 추론은 연역적 추론을 이끌어내는 정신적 과정이다. 연역적으로 타당한 추론은 가장 신뢰할 수 있는 추론 형태이다. 모든 전제가 참일 경우 결론이 거짓일 수 없다. 이는 전제의 참이 결론의 참을 보장한다는 것을 의미한다. 연역적 논증은 타당하고 모든 전제가 참일 경우 건전하다. 예를 들어, "모든 개구리는 양서류이다"와 "고양이는 양서류가 아니다"라는 전제에서 "고양이는 개구리가 아니다"라는 결론을 추론하는 것은 건전한 논증이다. 그러나 거짓 전제를 가진 논증도 연역적으로 타당할 수 있다. 예를 들어, "모든 개구리는 포유류이다"와 "고양이는 포유류가 아니다"라는 전제에서 "고양이는 개구리가 아니다"라는 결론을 추론하는 경우이다. 이러한 점에서, 전제가 실제로 참인지 여부가 아니라, 전제가 참이라면 결론이 거짓일 수 없다는 것만이 중요하다.
연역적으로 타당한 논증은 추론 규칙을 따른다. 추론 규칙은 전제와 결론의 특정 내용이 아니라 그들의 논리 형식에만 의존하는 결론 도출 방식이다. 가장 많이 논의되는 추론 규칙은 전건 긍정이다. 그 형식은 다음과 같다: p; 만약 p이면 q; 그러므로 q. 이 방식은 p와 q가 무엇을 나타내든 연역적으로 타당하다. 예를 들어, "오늘은 일요일이다; 만약 오늘이 일요일이면 나는 오늘 출근하지 않아도 된다; 그러므로 나는 오늘 출근하지 않아도 된다"라는 논증은 전건 긍정의 형식을 가지고 있기 때문에 연역적으로 타당하다. 다른 인기 있는 추론 규칙으로는 후건 부정 (q가 아니다; 만약 p이면 q; 그러므로 p가 아니다)과 선언적 삼단 논법 (p 또는 q; p가 아니다; 그러므로 q)이 있다.
연역적 추론을 지배하는 규칙은 종종 연역적 논증의 정확성을 평가하기 위한 논리 체계로 공식적으로 표현된다. 아리스토텔레스 논리학은 초기 체계 중 하나이며, 2000년 이상 서구 세계에서 논리학의 정전으로 취급되었다. 이는 "소크라테스는 인간이다"와 "모든 인간은 죽는다"라는 전제에서 "소크라테스는 죽는다"는 결론을 도출하는 것과 같은 삼단논법에 기반을 둔다. 현재 지배적인 체계는 고전 논리로 알려져 있으며, 삼단논법 외에 많은 추가적인 추론 형태를 다룬다. 확장 논리라고 불리는 것들은 고전 논리를 기반으로 하며 특정 영역을 위한 추가적인 추론 규칙을 도입한다. 예를 들어, 양상 논리는 무엇이 가능하고 무엇이 필요한지에 대해 추론하는 데 사용될 수 있다. 시간 논리는 사건 전, 중, 후에 일어난 일에 대해 추론하는 데 사용될 수 있다. 고전 논리와 그 확장들은 대부분의 논리학자들이 받아들이는 일련의 기본적인 논리적 직관에 기반을 둔다. 여기에는 배중률, 이중 부정 제거, 폭발의 원리, 진리의 양가성이 포함된다. 소위 이탈 논리라고 불리는 것들은 이러한 기본적인 직관 중 일부를 거부하고 논증의 타당성을 지배하는 대안적인 규칙을 제안한다. 예를 들어, 직관 논리는 배중률과 이중 부정 제거를 거부하는 반면, 초일관 논리는 폭발의 원리를 거부한다.
연역적 추론은 형식 논리학 및 수학에서 중심적인 역할을 한다. 수학에서는 일반적으로 공리라고 불리는 일련의 전제에 기반하여 수학적 정리를 증명하는 데 사용된다. 예를 들어, 페아노 산술은 연역적 추론을 사용하여 자연수의 모든 필수 속성을 추론할 수 있는 소수의 공리 집합에 기반을 둔다.
비연역적 추론.
비연역적 추론은 연역적 추론 외에 중요한 형태의 논리적 추론이다. 연역적 추론과 마찬가지로 전제로부터 추론을 도출하여 결론에 도달하고 지지하는 형태로 일어난다. 비연역적 추론의 특징은 이러한 지지가 불확실하다는 점이다. 이는 전제가 참일 경우 결론도 참일 가능성을 높이지만 확실하지는 않다는 것을 의미한다. 따라서 비연역적 논증의 경우 모든 전제가 참인데도 결론이 여전히 거짓일 수 있다. 비연역적 추론에는 귀납적, 귀추적, 유추적 등 다양한 유형이 있다. 비연역적 추론은 연역적 추론보다 일상생활에서 더 흔하게 나타난다.
비연역적 추론은 확대적이고 수정 가능하다. 때로는 비연역적 추론, 확대적 추론, 수정 가능 추론이라는 용어가 그 의미에 약간의 차이가 있음에도 불구하고 동의어로 사용되기도 한다. 비연역적 추론은 전제에 이미 존재하지 않는 정보를 도출한다는 점에서 확대적이다. 반대로 연역적 추론은 추가 정보를 추가하지 않고 전제에 이미 존재하는 정보만 추출하기 때문에 비확대적이다. 따라서 비연역적 추론을 통해 이전에는 알지 못했던 새로운 것을 배울 수 있다. 그러나 새로운 정보가 추가된다는 사실은 이 추가 정보가 거짓일 수 있음을 의미한다. 이것이 비연역적 추론이 연역적 추론만큼 확실하지 않은 이유이다.
밀접하게 관련된 측면은 비연역적 추론이 수정 가능하거나 비단조적이라는 점이다. 이는 새로운 정보를 알게 되면 결론을 철회해야 할 수도 있다는 것을 의미한다. 예를 들어, 어떤 사람이 지금까지 본 모든 새가 날 수 있다면, 이 사람은 모든 새가 날 수 있다는 귀납적 결론에 도달하는 것이 정당하다. 이 결론은 수정 가능하다. 왜냐하면 추론자는 펭귄이 날지 못하는 새라는 것을 알게 되면 이를 수정해야 할 수도 있기 때문이다.
귀납적 추론은 일련의 개별 사례에서 시작하여 일반화를 사용하여 모든 경우에 적용되는 보편적인 법칙에 도달한다. 일부 이론가들은 일반화가 포함되지 않은 경우에도 모든 형태의 비연역적 추론을 포함하는 매우 넓은 의미로 이 용어를 사용한다. 더 좁은 의미에서는 "특정 사례의 관찰로부터 일반적인 법칙이나 원리를 추론하는 과정"으로 정의될 수 있다. 예를 들어, "지금까지 내가 본 모든 까마귀는 검다"는 경험적 관찰에서 시작하여 귀납적 추론을 사용하여 "모든 까마귀는 검다"고 추론할 수 있다. 약간 약한 형태에서 귀납은 또한 단일 사례에 대한 개별적인 결론을 추론하는 데 사용될 수 있다. 예를 들어, "내가 다음에 볼 까마귀는 검다"는 것이다. 귀납적 추론은 통계적 추론 및 확률적 추론과 밀접하게 관련되어 있다. 다른 형태의 비연역적 추론과 마찬가지로 귀납은 확실하지 않다. 이는 전제가 결론의 진리(참)를 보장하지 않으면서도 더 그럴듯하게 만들음으로써 결론을 지지한다는 것을 의미한다. 이러한 점에서 귀납적 추론의 결론은 전제에 이미 없는 새로운 정보를 포함한다.
전제가 결론에 상당한 지지를 제공하도록 보장하는 데는 전제의 다양한 측면이 중요하다. 이러한 점에서 표본 크기는 결론을 도출하기 전에 많은 개별 사례를 고려했음을 보장할 만큼 충분히 커야 한다. 밀접하게 관련된 요인은 표본이 무작위적이고 대표적이어야 한다는 것이다. 이는 다양한 핵심 특성을 가진 개인들을 공정하고 균형 있게 선택하는 것을 의미한다. 예를 들어, 인간에 대해 일반화할 때 표본은 다른 인종, 성별, 연령대의 구성원을 포함해야 한다. 일상생활에서 많은 추론은 귀납적이다. 예를 들어, 어떤 사람이 어떤 상황에 어떻게 반응할지 예측할 때, 이 사람이 이전에 비슷한 상황에서 어떻게 반응했는지에 따라 귀납적 추론을 사용할 수 있다. 이는 또한 과학에서도 똑같이 중심적인 역할을 한다. 과학은 종종 많은 특정 관찰에서 시작하여 일반화 과정을 적용하여 보편적인 법칙에 도달한다.
귀납적 추론 분야에서 잘 알려진 문제는 소위 귀납의 문제이다. 이는 왜 또는 왜 귀납적 추론의 결론을 믿는 것이 정당한지에 대한 질문과 관련이 있다. 이 문제는 처음에 데이비드 흄에 의해 제기되었는데, 그는 미래 사건이 과거 관찰과 유사할 필요는 없다고 주장한다. 이러한 점에서 미래 사건에 대한 귀납적 추론은 자연이 균일하게 유지된다는 가정에 기반을 두는 것으로 보인다.
귀추법.
귀추법은 일반적으로 관찰에서 그 관찰을 설명하는 사실로의 추론으로 이해된다. 길거리가 젖어 있는 것을 보고 비가 왔다고 추론하는 것이 한 예이다. 종종 "최선의 설명에 대한 추론"이라는 표현이 동의어로 사용된다. 이 표현은 일반적으로 동일한 사실에 대한 많은 가능한 설명이 있으며, 추론자는 최선의 설명만을 추론해야 한다는 점을 강조한다. 예를 들어, 지진해일도 거리가 젖어 있는 이유를 설명할 수 있지만, 이것이 일반적으로 최선의 설명은 아니다. 비연역적 추론의 한 형태로서 귀추법은 전제가 참이라 할지라도 결론의 진리(참)를 보장하지 않는다.
설명이 타당할수록 전제에 의해 더 강력하게 지지된다. 이러한 점에서 설명이 간결해야 한다. 즉, 불필요한 주장을 포함하지 않고, 확립된 지식과 일치해야 한다. 좋은 설명의 다른 핵심 기준은 관찰되고 일반적으로 알려진 사실에 부합하고, 관련성이 있으며, 정확하고, 순환적이지 않아야 한다는 것이다. 이상적으로는 설명이 경험적 증거에 의해 검증 가능해야 한다. 만약 설명이 특이한 주장을 포함한다면 매우 강력한 증거가 필요하다.
귀추법적 추론은 연구자들이 설명되지 않는 현상을 발견할 때 과학에서 중요한 역할을 한다. 이 경우, 그들은 종종 관찰을 설명할 수 있는 일반적인 원리를 생각해내기 위해 일종의 추측에 의존한다. 그런 다음 가설을 테스트하고 비교하여 어떤 가설이 최상의 설명을 제공하는지 밝혀낸다. 이는 특히 원인과 결과의 관계를 밝혀내려는 인과적 추론의 경우에 해당한다. 귀추법은 일상생활에서도 매우 흔하다. 거기서는 유사하지만 덜 체계적인 형태로 사용된다. 이는 예를 들어 사람들이 다른 사람의 말에 신뢰를 두는 것과 관련이 있다. 어떤 사람이 주장을 하는 가장 좋은 설명은 일반적으로 그들이 그것을 믿고 그에 대한 증거를 가지고 있다는 것이다. 이러한 형태의 귀추법적 추론은 비록 이 추론이 명시적인 방식으로 이루어지지 않더라도, 왜 사람이 일반적으로 다른 사람의 말을 신뢰하는지와 관련이 있다. 화자의 진술이 모호하고 청중이 화자가 무엇을 의미했을지 알아내고 설명하려고 할 때도 비슷한 일이 일어난다. 귀추법적 추론은 의사가 환자의 증상을 조사하여 근본 원인에 대한 진단에 도달할 때 의학에서도 흔히 사용된다.
유추적.
유추적 추론은 두 시스템의 유사성을 비교하는 것을 포함한다. 한 시스템에 대한 정보에서 시작하여 두 시스템 간의 유사성을 기반으로 다른 시스템에 대한 정보를 추론한다. 도식적으로 표현하면, 유추에 의한 논증은 다음과 같은 형태를 갖는다: (1) a는 b와 유사하다; (2) a는 특징 F를 갖는다; (3) 그러므로 b도 아마 특징 F를 가질 것이다. 유추적 추론은 예를 들어 동물에 대한 의학 실험에서 인간에 대한 정보를 추론하는 데 사용될 수 있다: (1) 쥐는 인간과 유사하다; (2) 피임약은 쥐의 뇌 발달에 영향을 미친다; (3) 그러므로 피임약은 인간의 뇌 발달에도 영향을 미칠 수 있다.
유추적 추론을 통해 지식은 한 상황이나 영역에서 다른 상황이나 영역으로 전달될 수 있다. 유추에 의한 논증은 결론에 대한 지지를 제공하지만, 그 참을 보장하지는 않는다. 그들의 강도는 다양한 요인에 따라 달라진다. 시스템이 더 유사할수록 한 객체의 주어진 특징이 다른 객체도 특징지을 가능성이 더 높다. 또 다른 요인은 유사성의 정도뿐만 아니라 그 관련성도 포함한다. 예를 들어, 플라스틱으로 만든 인공 딸기는 모양, 색깔, 표면 구조를 포함하여 여러 면에서 실제 딸기와 유사할 수 있다. 그러나 이러한 유사성은 인공 딸기가 실제 딸기만큼 달콤한지 여부와는 관련이 없다.
유추적 추론은 문제 해결, 의사결정, 학습에서 중심적인 역할을 한다. 이는 단순한 물리적 특성과 복잡한 추상적 아이디어 모두에 사용될 수 있다. 과학에서 유추는 종종 모델에서 복잡한 현상을 단순하게 이해하는 데 사용된다. 예를 들어, 보어 모형은 행성이 태양 주위를 도는 방식에 유추하여 아원자 입자의 상호 작용을 설명한다.
오류는 올바르지 않은 논증이거나 결함 있는 추론 형태이다. 이는 전제가 결론에 대해 아무런 지지도 제공하지 않거나 충분한 지지를 제공하지 않는다는 것을 의미한다. 오류는 종종 첫인상에 올바른 것처럼 보여 사람들이 그것들을 받아들이고 사용하도록 유혹한다. 논리학에서 "오류"라는 용어는 결론이 거짓이라는 것을 의미하지 않는다. 대신, 그것은 결론에 도달하는 과정에서 어떤 종류의 오류가 저질러졌다는 것만을 의미한다. 논증은 우연히 결론이 참이라 할지라도 오류일 수 있다. 논리학 분야 밖에서는 "오류"라는 용어가 때때로 논증이 아니라 잘못된 믿음이나 이론에 대해 약간 다른 의미로 사용되기도 한다.
오류는 일반적으로 형식적 오류와 비형식적 오류로 나뉜다. 형식적 오류는 형식 언어로 표현되며 일반적으로 연역에 속한다. 그들의 결함은 논증의 논리적 형식에 있다. 즉, 타당한 추론 규칙을 따르지 않는다는 것이다. 잘 알려진 형식적 오류는 후건긍정의 오류이다. 그 형식은 다음과 같다: (1) q; (2) 만약 p이면 q; (3) 그러므로 p. 이 오류는 예를 들어, "강도들이 자물쇠를 부쉈다"와 "만약 강도들이 현관문으로 들어왔다면, 그들은 자물쇠를 부쉈을 것이다"라는 전제에 기반하여 어떤 사람이 "강도들이 현관문으로 들어왔다"고 주장할 때 저지른다. 이 오류는 전건 긍정으로 알려진 타당한 추론 규칙과 유사하다. 첫 번째 전제와 결론이 뒤바뀌어 있기 때문에 결함이 있다. 다른 잘 알려진 형식적 오류로는 전건 부정, 선언지 긍정, 연언지 부정, 그리고 중명사 부주연의 오류가 있다.&lt;/ref&gt;
비형식적 오류는 자연어로 표현된다. 그들의 주된 결함은 보통 논증의 형식에 있지 않고, 내용이나 맥락과 같은 다른 출처에 있다. 일부 비형식적 오류, 예를 들어 거짓 딜레마 및 허수아비 오류의 일부 사례는 형식적 수준에서는 올바른 연역적 추론을 포함하기도 한다. 논증의 내용은 그 안에 표현된 아이디어이다. 예를 들어, 거짓 딜레마는 전제 중 하나에 오류가 기반한 비형식적 오류이다. 결함 있는 전제는 현실을 지나치게 단순화한다. 즉, 상황이 이러저러하다고 주장하지만, 다른 많은 실행 가능한 대안을 무시한다. 거짓 딜레마는 종종 정치인들이 자신의 제안이 받아들여지지 않으면 심각한 결과가 초래될 것이라고 주장할 때 사용된다. 이러한 주장은 일반적으로 그러한 결과를 피하기 위한 다양한 대안이 존재한다는 사실, 즉 자신의 제안이 유일한 실행 가능한 해결책이 아니라는 사실을 무시한다.
허수아비 오류는 또 다른 비형식적 오류이다. 그 오류는 맥락 수준에서 발생한다. 상대방의 견해를 왜곡한 다음 이 견해를 반박하는 것으로 구성된다. 반박 자체는 종종 올바르지만, 오류는 상대방이 실제로 이 견해를 옹호한다는 잘못된 가정에 있다. 예를 들어, 주류 로비스트는 텔레비전 주류 광고를 금지하자는 제안에 대해 사람들이 음주를 포기하도록 만드는 것은 불가능하다고 주장함으로써 응답할 수 있다. 이것은 허수아비 오류이다. 왜냐하면 그 제안은 단지 광고를 금지하는 것이었을 뿐, 모든 알코올 소비를 중단시키는 것이 아니었기 때문이다.
모호하고 모호한 자연어 표현은 종종 비형식적 오류에서 잘못된 추론의 원인이 된다. 예를 들어, 이는 "(1) 깃털은 가볍다; (2) 빛은 어둠에 반대된다; (3) 그러므로 깃털은 어둠에 반대된다"는 논증과 같은 모호성의 오류의 경우이다. 오류는 모호한 용어 "light"에 있다. 이 용어는 첫 번째 전제에서는 하나의 의미("무겁지 않다")를 가지고 있고, 두 번째 전제에서는 다른 의미("가시 전자기 복사")를 가지고 있기 때문이다.
능력으로서.
일부 이론가들은 논리적 추론을 고품질 사고를 담당하는 광범위한 능력으로서의 역할을 포함하는 매우 넓은 의미로 논의한다. 이러한 의미에서 그것은 비판적 사고와 거의 동등하며 특정 상황에 적절한 논리 규칙을 선택하고 적용하는 능력을 포함한다. 그것은 전제로부터 결론을 도출하는 것 외에 매우 다양한 능력을 포함한다. 예를 들어, 입장을 이해하고, 그에 대한 찬성 및 반대 이유를 생성하고 평가하며, 특정 정보를 받아들일지 거부할지 비판적으로 평가하는 능력이다. 그것은 신중한 평가 후에 판단을 내리고 결론을 도출하는 것이며, 비판적이지 않은 성급한 판단이나 직감과는 대조된다. 논리적 추론과 관련된 다른 핵심 능력은 주장을 받아들이기 전에 이유를 평가하고, 신뢰할 수 있는 결론에 도달하기 위해 더 많은 정보가 필요하다면 새로운 정보를 찾는 것이다. 또한 다양한 행동 방침을 고려하고 그 결과의 장단점을 비교하는 능력, 상식을 사용하는 능력, 불일치를 피하는 능력도 포함된다. 논리적 추론을 담당하는 능력은 배우고, 훈련하고, 향상될 수 있다.&lt;/ref&gt;
논리적 추론은 이론적 수준과 실천적 수준 모두에서 관련성이 있다. 이론적 수준에서는 잘못된 믿음의 수를 줄이는 데 도움이 된다. 핵심적인 측면은 사실과 단순한 의견을 구별하는 데 사용되는 능력과 관련이 있다. 예를 들어, 자신의 결론에 도달하기 위해 어떤 입장에 대한 찬성 및 반대 이유를 찾고 평가하는 과정이다. 여기에는 신뢰할 수 있는 정보원과 신뢰할 수 없는 정보원을 구별할 수 있는 능력이 포함된다. 이는 효과적인 추론에 중요하다. 왜냐하면 모든 사실을 스스로 확인하는 대신 다른 사람들이 제공하는 정보에 의존해야 하는 경우가 많기 때문이다. 이러한 방식으로 논리적 추론은 개인이 선전의 영향이나 다른 사람에 의한 조종을 피하는 데 도움이 될 수 있다. 중요한 정보가 부족할 때는 결론으로 성급하게 뛰어들기보다는 판단을 보류하는 것이 종종 더 낫다. 이러한 점에서 논리적 추론은 동시에 회의적이고 개방적이어야 한다.
실용적인 차원에서, 논리적 추론은 합리적이고 효과적인 의사결정의 문제와 관련이 있다. 많은 실생활 결정에서 행위자에게는 다양한 행동 방침이 가능하다. 각 가능한 행동에 대해, 일부는 찬성하고 다른 일부는 반대하는 상충되는 이유가 있을 수 있다. 이러한 경우, 논리적 추론은 잠재적인 이점과 단점을 저울질하고 그 가능성을 고려하여 균형 잡힌 모든 것을 고려한 결정에 도달하는 것을 포함한다. 예를 들어, 하이킹 중에 식수가 떨어진 사람은 논리적 추론과 관련된 능력을 사용하여 위험한 미생물을 포함할 수 있는 개울물을 끓여 마실지, 아니면 여행을 중단하고 주차장으로 돌아갈지 결정할 수 있다. 여기에는 미생물이 얼마나 위험한지, 끓이는 절차에서 미생물이 살아남을 가능성 등을 평가하는 요인들이 포함될 수 있다. 또한 이러한 평가를 위해 관련 정보를 수집하는 것도 포함될 수 있다. 예를 들어, 다른 등산객에게 묻는 것이다.
시간 또한 논리적 추론에서 중심적인 역할을 한다. 중요한 정보가 부족하다면, 결론에 도달하기 전에 결정을 미루고 새로운 정보를 찾는 것이 종종 더 낫다. 반면에 결정이 시간에 민감하다면, 논리적 추론은 현재 이용 가능한 증거가 매우 제한적이라 할지라도 빠른 결정을 내리는 것을 의미할 수 있다. 예를 들어, 야구 경기 중에 친구가 "오리!"라고 외치면 가장 논리적인 반응은 설명이나 외침의 원인을 조사하는 대신 맹목적으로 그들을 믿고 몸을 굽히는 것일 수 있다. 일반적으로 말해서, 시간이 적을수록 직관과 직감을 신뢰하는 것이 더 중요하다. 반면에 시간이 더 많다면, 모호함을 검토하고 모순되는 정보를 평가하는 것이 중요해진다.
아프리카물쥐("Colomys goslingi")는 쥐과에 속하는 설치류의 일종이다. 아프리카물쥐속("Colomys")의 유일종이다. 아프리카의 토착종으로 앙골라와 부룬디, 카메룬, 콩고, 콩고민주공화국, 적도기니, 에티오피아, 가봉, 케냐, 라이베리아, 르완다, 남수단, 우간다, 잠비아에서 발견된다. 수생 설치류로 우림 서식지 주변의 물가와 웅덩이에서 발견되며, 초원과 사바나 지역에서도 서식한다.
에티오피아물쥐("Nilopegamys plumbeus")는 쥐과에 속하는 설치류의 일종이다. 에티오피아물쥐속("Nilopegamys")의 유일종이다. 에티오피아 북서부 고지대에서만 발견된다. 자연 서식지는 강가이다. 서식지 감소로 위협을 받고 있다. 민물에서 서식하는 쥐아과 종이다.
작업 스케줄러 또는 잡 스케줄러(job scheduler)는 작업의 무인 백그라운드 프로그램 실행을 제어하기 위한 컴퓨터 응용 프로그램이다. 비대화형 작업 실행을 일괄 처리라고 부르기도 하지만 이를 일반적으로 일괄 스케줄링(batch scheduling)이라고 한다. 하지만 전통적인 작업(job)과 일괄(batch)은 구별되고 대조된다. 다른 동의어로는 배치 시스템(batch system), 분산 리소스 관리 시스템(DRMS, distributed resource management system), 분산 리소스 관리자(DRM, distributed resource manager) 및 일반적으로 오늘날 워크로드 자동화(WLA, workload automation)가 있다. 실행할 작업의 데이터 구조를 작업 큐(job queue)라고 한다.
최신 작업 스케줄러는 일반적으로 분산 컴퓨터 네트워크에서 백그라운드 실행을 정의하고 모니터링하기 위한 단일 제어 지점과 그래픽 사용자 인터페이스를 제공한다. 다양한 운영체제 플랫폼과 비즈니스 애플리케이션 환경 전반에 걸쳐 기존 백그라운드 IT 처리와 실시간 비즈니스 활동의 통합을 조율하는 데 작업 스케줄러가 점점 더 필요해지고 있다.
작업 스케줄링은 운영 체제가 현재 실행 중인 프로세스를 CPU에 할당하는 프로세스 스케줄링과 구별한다.
라이언 딘 밀러(, 1980년 7월 17일~)는 미국의 은퇴한 아이스하키 선수로 포지션은 골텐더이다. 현역 시절에 내셔널 하키 리그(NHL)의 버펄로 세이버스, 세인트루이스 블루스, 밴쿠버 커넉스, 애너하임 덕스에서 뛰었다.
1992년 알스톰에서 TGV 아틀랑티크 모델을 기초로 발주해 현재는 18편성으로 운행하고 있다. 그 중 6편성의 경우 알스톰의 계약 문제에 따른 이를 무마하는 차원에서 주문 편성 중 표준궤로 변경과 동시에 2편성은 그대로 도입한 반면 6편성은 당초 주문대로 광궤용으로 납품받아 운행을 했는데 이 모델이 렌페 101급으로 2009년까지 유로메드로 운행했다. 시범 운행에서 최고 영업 속도 356,8km를 달성했다. 이 열차는 마드리드-세비야 고속선에 투입하고 있다. 2011년 2월에 렌페는 재정 문제로 신조 차량을 발주하지 않는 대신 프랑스 직결에 대비해 전기 및 신호 시스템을 개량을 시행했다. 2013년 12월에 TGV와 직결 운행하면서 마드리드, 바르셀로나에서 프랑스, 리옹, 툴루즈, 마르세유까지 연장 운행하고 있다.
렌페 100급 도입 당시 16편성을 표준궤로 주문을 변경했는데 알스톰의 계약 문제에 따른 이를 무마하는 차원에서 주문 편성 중 표준궤로 변경과 동시에 2편성은 그대로 도입한 반면 6편성은 당초 주문대로 광궤용으로 납품받았다. 2009년까지 유로메드로 운행하고 있으며 최고 영업 속도는 220km로 시범 운행 당시 최고 영업 속도는 254km를 기록했다. 2009년에 렌페 130급 차량이 도입하면서 기존에 유로메드에 운행했던 차량은 2010년까지 렌페 100급으로 개조된 이후 마드리드 ~ 알바세테 ~ 알리칸테 노선을 운행하게 되었다.
조지프 제임스 "조" 파벨스키(, 1984년 7월 11일 ~ )는 미국의 아이스하키 선수로 포지션은 센터이다. 현재 내셔널 하키 리그(NHL)의 댈러스 스타스에서 뛰고 있다. 위스콘신 대학교 매디슨을 졸업한 후 자신을 지명했던 산호세 샤크스에 입단하였다. 미국 국가대표팀의 일원으로 2010년 동계 올림픽에 참가하여 은메달을 획득했고, 2016년 월드컵 당시에는 미국 대표팀의 주장을 맡았다.
아베 요시노리(, 1972년 9월 10일 ~ )는 일본의 전 축구 선수이다.
1991년 일본 사커 리그의 요미우리(베르디 가와사키)에 입단했다. 3번의 J1리그 우승을 차지했다. 1995년부터 1996년까지 재팬 풋볼 리그의 브럼멜 센다이(베갈타 센다이)와 도스 퓨처스에서 뛰었다. 1997년 베르디 가와사키로 복귀했다. 1998년 재팬 풋볼 리그의 베갈타 센다이로 이적했다. 1999년 J2리그로 승격했다. 2000년부터 2001년까지 J2리그의 쇼난 벨마레와 가와사키 프론탈레에서 뛰었다. 2001년후 현역 은퇴.
고다 마사카즈(, 1969년 9월 12일 ~ )는 일본의 전 축구 선수이다.
1988년 일본 사커 리그의 마쓰다(산프레체 히로시마)에 입단했다. 1995년 재팬 풋볼 리그의 비셀 고베로 이적했다. 1996년 재팬 풋볼 리그 준우승으로 J1리그로 승격했다. 1998년까지 95경기에 출전하여, 3득점을 넣었다. 1999년 일본 풋볼 리그의 요코하마 FC로 이적했다. 2000년 일본 풋볼 리그 우승으로 J2리그로 승격했다. 2002년부터 2003년까지 일본 풋볼 리그의 에히메 FC에서 뛰었다. 2003년후 현역 은퇴.
다카다 마사아키(, 1973년 7월 26일 ~ )는 일본의 전 축구 선수이다.
1992년 J1리그의 요코하마 플뤼겔스에 입단했다. 1993년에 천황배 우승을 차지했다. 1996년까지 77경기에 출전하여, 3득점을 넣었다. 1997년 비셀 고베로 이적했다. 그후 요코하마 FC, 소니 센다이 FC에서 활동했다. 2006년후 현역 은퇴.
호리 다카후미(, 1967년 9월 10일 ~ )는 일본의 전 축구 선수이다.
1990년 일본 사커 리그의 도시바에 입단하였다. 1992년 J1리그의 우라와 레즈로 이적했다. 1998년까지 158경기에 나서 11득점을 넣었다. 1999년 벨마레 히라쓰카(쇼난 벨마레)로 이적했다. 2001년후 현역 은퇴.
은퇴 후에는 쇼난 벨마레의 코치를 거쳐, 2005년 우라와 레즈의 코치으로 취임하였다. 2011년 10월 성적 부진으로 물러난 젤코 페트로비치 감독을 대신해, 우라와 레즈의 감독으로 취임하였다. 2017년 성적 부진으로 물러난 미하일로 페트로비치 감독을 대신해, 우라와 레즈의 감독으로 취임하였다. 2017년 AFC 챔피언스리그 우승을 차지하였다. 2021년부터 2022년까지 도쿄 베르디에서 감독을 맡았다.
와타나베 준이치(, 1973년 5월 20일 ~ )는 일본의 전 축구 선수이다.
1992년 J1리그의 베르디 가와사키에 입단했다. 1998년까지 36경기에 출전하여, 1득점을 넣었다. 1999년 XV 노벰브루 자우로 이적했다. 2000년 J2리그의 쇼난 벨마레로 이적했다. 2002년후 현역 은퇴.
이토 스구루(, 1975년 9월 7일 ~ )는 일본의 전 축구 선수이다.
1996년 J1리그의 나고야 그램퍼스 에이트에 입단했다. 1999년까지 17경기에 출전하여, 2득점을 넣었다. 1999년 7월 교토 퍼플 상가로 이적했다. 2000년부터 2001년까지 J2리그의 베갈타 센다이와 쇼난 벨마레에서 뛰었다. 2001년후 현역 은퇴.
그는 1995년 FIFA 세계 청소년 축구 선수권 대회에 참가할 일본 U-20 국가대표팀에 발탁되었으며, 3경기에 출전했다.
유로메드()는 스페인의 철도 기업인 렌페에서 운행하고 있는 고속열차 등급이다. 스페인 카탈루냐 지방 바르셀로나에서 출발해 지중해 연안 지방의 발렌시아, 알리칸테까지 연결한다. 이 열차는 표준궤로 AVE에서 운행하고 있는 렌페 100급인 광궤용을 장착하고 있다. AVE와 달리 기존 노선으로 운행하고 있기 때문에 전기 방식의 경우 기존의 것에 맞춰서 직류 3,000V에 해당된다.
바르셀로나 산츠 역&lt;br&gt;
타라고나 역&lt;br&gt;
카스텔로 드 라 플라나 역&lt;br&gt;
발렌시아 호아킨 소로야 역&lt;br&gt;
알리칸테 역
렌페 101급.
렌페 130급.
산본스게 다카시(, 1978년 6월 5일 ~ )는 일본의 전 축구 선수이다.
과거 우라와 레즈, 미토 홀리호크, 방포레 고후에서 활동하였다.
이시하라 다이스케(, 1971년 12월 9일 ~ )는 일본의 전 축구 선수이다.
마쓰우라 히데아키(, 1971년 6월 25일 ~ )는 일본의 전 축구 선수이다.
우치다 뎃페이(, 1975년 5월 22일 ~ )는 일본의 전 축구 선수이다.
오타 와타루(, 1981년 3월 14일 ~ )는 일본의 전 축구 선수이다.
과거 방포레 고후, 에히메 FC에서 활동하였다.
요시다 사토루(, 1970년 12월 18일 ~ )는 일본의 전 축구 선수이다.
1990년 일본 사커 리그의 닛산 자동차(요코하마 마리노스)에 입단했다. 1995년 재팬 풋볼 리그의 오츠카 제약로 이적했다. 1998년 방포레 고후로 이적했다. 1999년 J2리그로 승격했다. 2001년까지 75경기에 출전하여, 7득점을 넣었다. 2001년후 현역 은퇴.
나카노 게이이치로(, 1976년 3월 29일 ~ )는 일본의 전 축구 선수이다.
다케다 나오타카(, 1978년 7월 13일 ~ )는 일본의 전 축구 선수이다.
고바야시 다카미치(, 1979년 1월 3일 ~ )는 일본의 전 축구 선수이다.
오니시 마사유키(, 1977년 7월 5일 ~ )는 일본의 전 축구 선수이다.
과거 요코하마 F. 마리노스, 알비렉스 니가타에서 활동하였다.
니시가야 다카유키(, 1973년 5월 12일 ~ )는 일본의 전직 축구 선수이자 현직 축구 지도자로 현역 시절 포지션은 미드필더 겸 수비수였으며 현재 태국 U-23 축구 국가대표팀의 사령탑을 맡고 있다.
1973년 5월 12일 일본 시즈오카현 시즈오카시에서 태어나 1996년 나고야 그램퍼스 에이트에서 프로 생활을 시작해 2001년 은퇴할 때까지 아비스파 후쿠오카, 베르디 가와사키, 제프 유나이티드 이치하라, 알비렉스 니가타 등에서 활동하며 나고야 그램퍼스의 J리그 1996 준우승, 1997년 J리그컵 4강, 1996-97년 아시안 컵위너스컵 준우승에 일조했다.
2012년 현역 시절 마지막으로 뛰었던 알비렉스 니가타의 코치로 영입되었으나 그 해 5월 코치직에서 물러났고 2013년 미토 홀리호크의 코치로 부임하여 2015년 6월 전까지 미토 홀리호크의 코치직을 수행하다가 하시라타니 데쓰지 감독이 미토 홀리호크의 감독직에서 경질되면서 그 지휘봉을 넘겨받은 뒤 2017년까지 미토 홀리호크의 감독을 역임했다.