러셀의 역설(Russell's paradox)은 수학자 버트런드 러셀이 1901년 발견한 논리적 역설로 프레게의 논리체계와 칸토어의 소박한 집합론(naïve set theory)이 모순을 지닌다는 것을 보여준 예이다. 그 대략적인 내용은 다음과 같다.M이라는 집합을 "자신을 원소로 포함하지 않는 모든 집합들의 집합"으로 정의하자. 다시 말해, A가 M의 원소가 되기 위한 필요충분조건은 A가 A의 원소가 아닌 것으로 한다.칸토어의 공리체계에서 위와 같은 정의로 집합 M은 문제없이 잘 정의된다. 여기서 M이 자기 자신을 원소로 포함하는가?란 질문을 던져본다. 만약 포함한다고 가정하면 그 정의에 의해 M은 자신을 원소로 포함하지 않는다. 반대로 M이 자신을 원소로 포함하지 않는다고 가정했을 때에도 역시 그 정의에 의해 M은 자신에 포함되어야 한다.

PropertyValue
dbpedia-owl:abstract
  • 러셀의 역설(Russell's paradox)은 수학자 버트런드 러셀이 1901년 발견한 논리적 역설로 프레게의 논리체계와 칸토어의 소박한 집합론(naïve set theory)이 모순을 지닌다는 것을 보여준 예이다. 그 대략적인 내용은 다음과 같다.M이라는 집합을 "자신을 원소로 포함하지 않는 모든 집합들의 집합"으로 정의하자. 다시 말해, A가 M의 원소가 되기 위한 필요충분조건은 A가 A의 원소가 아닌 것으로 한다.칸토어의 공리체계에서 위와 같은 정의로 집합 M은 문제없이 잘 정의된다. 여기서 M이 자기 자신을 원소로 포함하는가?란 질문을 던져본다. 만약 포함한다고 가정하면 그 정의에 의해 M은 자신을 원소로 포함하지 않는다. 반대로 M이 자신을 원소로 포함하지 않는다고 가정했을 때에도 역시 그 정의에 의해 M은 자신에 포함되어야 한다. 즉 "M은 M의 원소이다"라는 명제와 "M은 M의 원소가 아니다"라는 명제는 둘 다 모순을 도출하여 맞다 혹은 그르다 중에 어떤 답으로 답할 수 없다.프레게의 공리체계에서 M은 "자신을 정의하는 개념에 포함되지 않는다(not fall under its defining concept)"라는 개념(concept)에 해당한다. 따라서, 프레게의 체계 역시 모순을 낳는다.
  • 러셀의 역설(Russell's paradox)은 수학자 버트런드 러셀이 1901년 발견한 논리적 역설로 프레게의 논리체계와 칸토어의 소박한 집합론(naïve set theory)이 모순을 지닌다는 것을 보여준 예이다. 그 대략적인 내용은 다음과 같다. M이라는 집합을 "자신을 원소로 포함하지 않는 모든 집합들의 집합"으로 정의하자. 다시 말해, A가 M의 원소가 되기 위한 필요충분조건은 A가 A의 원소가 아닌 것으로 한다.칸토어의 공리체계에서 위와 같은 정의로 집합 M은 문제없이 잘 정의된다. 여기서 M이 자기 자신을 원소로 포함하는가?란 질문을 던져본다. 만약 포함한다고 가정하면 그 정의에 의해 M은 자신을 원소로 포함하지 않는다. 반대로 M이 자신을 원소로 포함하지 않는다고 가정했을 때에는 다시 그 정의에 의해 M은 자신에 포함되어야 한다. 즉 "M은 M의 원소이다"라는 명제와 "M은 M의 원소가 아니다"라는 명제는 둘 다 모순을 도출하여 맞다 혹은 그르다 중에 어떤 답으로 답할 수 없다.프레게의 공리체계에서 M은 "자신을 정의하는 개념에 포함되지 않는다(not fall under its defining concept)"라는 개념(concept)에 해당한다. 따라서, 프레게의 체계 역시 모순을 낳는다.
dbpedia-owl:wikiPageID
  • 2513 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 1394 (xsd:integer)
  • 1631 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 19 (xsd:integer)
  • 21 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 11562867 (xsd:integer)
  • 14136668 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
prop-ko:wikiPageUsesTemplate
dcterms:subject
rdfs:comment
  • 러셀의 역설(Russell's paradox)은 수학자 버트런드 러셀이 1901년 발견한 논리적 역설로 프레게의 논리체계와 칸토어의 소박한 집합론(naïve set theory)이 모순을 지닌다는 것을 보여준 예이다. 그 대략적인 내용은 다음과 같다.M이라는 집합을 "자신을 원소로 포함하지 않는 모든 집합들의 집합"으로 정의하자. 다시 말해, A가 M의 원소가 되기 위한 필요충분조건은 A가 A의 원소가 아닌 것으로 한다.칸토어의 공리체계에서 위와 같은 정의로 집합 M은 문제없이 잘 정의된다. 여기서 M이 자기 자신을 원소로 포함하는가?란 질문을 던져본다. 만약 포함한다고 가정하면 그 정의에 의해 M은 자신을 원소로 포함하지 않는다. 반대로 M이 자신을 원소로 포함하지 않는다고 가정했을 때에도 역시 그 정의에 의해 M은 자신에 포함되어야 한다.
  • 러셀의 역설(Russell's paradox)은 수학자 버트런드 러셀이 1901년 발견한 논리적 역설로 프레게의 논리체계와 칸토어의 소박한 집합론(naïve set theory)이 모순을 지닌다는 것을 보여준 예이다. 그 대략적인 내용은 다음과 같다. M이라는 집합을 "자신을 원소로 포함하지 않는 모든 집합들의 집합"으로 정의하자. 다시 말해, A가 M의 원소가 되기 위한 필요충분조건은 A가 A의 원소가 아닌 것으로 한다.칸토어의 공리체계에서 위와 같은 정의로 집합 M은 문제없이 잘 정의된다. 여기서 M이 자기 자신을 원소로 포함하는가?란 질문을 던져본다. 만약 포함한다고 가정하면 그 정의에 의해 M은 자신을 원소로 포함하지 않는다. 반대로 M이 자신을 원소로 포함하지 않는다고 가정했을 때에는 다시 그 정의에 의해 M은 자신에 포함되어야 한다.
rdfs:label
  • 러셀의 역설
owl:sameAs
http://www.w3.org/ns/prov#wasDerivedFrom
foaf:isPrimaryTopicOf
is dbpedia-owl:notableIdea of
is dbpedia-owl:wikiPageRedirects of
is dbpedia-owl:wikiPageWikiLink of
is prop-ko:주요업적 of
is foaf:primaryTopic of