수리논리학에서 무모순적이론(無矛盾的理論, 모든 문장을 증명하는 이론)은 항상 모순적이론이다. 반대로, 폭발 원리가 성립하는 형식 체계(예를 들어, 고전/직관 명제/1차 논리)에서, 모든 모순적이론은 자명한 이론이다. 관련된 개념으로 만족 가능 이론이 있다. 무모순성이 구문론적으로 정의되는 반면, 만족 가능...
그 가설에서 나오는 결과를 살펴야 한다는 것이다. 이 결과들이 참이며, 무모순적인 것으로 밝혀지면 '가설'은 잠정적으로 확정된다. 진리에 관한 문제는 최초의...가설'의 귀결로 연역함으로써 해결될 수 있다. 형상(形相)이론 플라톤에 따르면 소크라테스는 형상이론을 자신의 근본적인 '가설'로 제시한다. '선함...
경제학 이론들은 여러 경험적인 실험들로 인간의 비합리적인 판단 메커니즘(휴리스틱)을 밝혀냈다. 쉬운 예 몇 가지만 살펴보자. 첫 번째는 인간의 손실 회피(Loss Aversion) 성향이다. 아래 두 가지의 질문에 대해 속으로 먼저 선택을 해보자. A. 당신은 150만 원을 딸 확률이 50%, 100만 원을 잃을 확률이 50%인 내기...
구성했다. 한편 독일의 수학자 에른스트 체르멜로는 칸토어의 집합이론을 공리화하여, 유형이론에 의존하지 않고 역설을 피하는 데 성공했다. 그러나 무모순적 공리화가 집합개념의 의미를 더 명확히 해주는 것은 아니므로 집합이론은 이 모든 해석과 분리되는 경향을 보이고 있다. 하버드대학의 논리학자 W.V.O. 콰인도...
상황으로 정의한다. 귀류법은 어떠한 주장이 모순이기 때문에 그 주장의 부정이 참임을 논증하는 증명법이다. 한편 의미론에서는 어떠한 명제가 '충족불가능'한 경우로 정의한다. 이러한 모순이 도출되지 않는 이론을 무모순적(일관적)이라 하며, 이는 수학기초론의 중요한 개념이다. 역설 귀류법 비모순율 무모순성 토막글
존재와 무》는 존재에 대한 물음에서 시작한다. 그는 의식으로부터 독립된 사물 존재인 '즉자적 존재'를 위식에 의해 규정된 인간 존재인 '대자적 존재'와 구분한다. 즉자적 존재는 본질 그대로인 것으로 타자와 관계하지 않는다. 그리고 대자적인 존재는 기획과 무화가 가능하다. 사르트르는 "존재를 통해 무가 출현...
에 따르면, 무모순적인 공리적 집합론은 가산 모형을 갖는다. 이는 집합론 내에는 비가산 집합의 존재를 상정하는 진술들도 있는데 이들까지 가산 모형 내에서...관한 문제에 따른 현대 집합론의 가장 큰 의논은 구성 가능성 공리, 큰 기수 공리 등 새로운 공리들로 대표되며, 이러한 연구에 있어서 모형 이론은 핵심...
따라 설명하였다. 이에 따르면, 러시아 혁명은 러시아 자체만의 모순에 따른 촉발이라기보단, 세계 생산, 소유 구조의 일부이며 동시에 그러한 복합적인 양상의...형태의 모순이다. 불균등 발전 법칙은 일부 국가의 공산주의 혁명 이론에 영향을 주었다. 대표적으로, 일본 혁명적공산주의자동맹의 ‘국제혁명근거지론...
후자의 이론 근거인 동시에 당시 농업개혁론의 지표로, 중국 고대에 시행된 것으로 믿었던 정전제(井田制)가 거론되었다. 당시 정전제의 실현여부는 바로 기전론을 통하여 구체화되었다. 조선유학자들은 기자(箕子)를 왕도의 구현자, 교화정치의 실현자로서 공자와 비견되는 성인으로 칭송했고, 기자에 관한 전기적 사실...
이 무모순적이라면, “임의의 매트로이드에서, 기저들의 크기는 같다”라는 명제는 ZFC와 독립적이다.rp 작은 크기의 매트로이드의 동형류의 수 및 고리 없는 매트로이드의 동형류의 수 및 단순 매트로이드의 동형류의 수는 다음과 같다.rp 크기 매트로이드 동형류의 수OEIS 고리 없는 매트로이드 동형류의 수OEIS 단순...
팽창 이론은 완벽하게 대칭적인 우주를 생성하지 않고, 급팽창의 양자 요동이 생성되는 것으로 나타났다. 이러한 요동들은 이후 우주에서 생성된 모든 구조의 원시 씨앗들을 형성한다. 이러한 요동들은 비아체슬라프 무카노프Viatcheslav Mukhanov와 G. V. 치비소프Chibisov가 스타로빈스키의 유사한 모형을 분석하면서...
