Document (#40215)

Author
Guerra-Pujol, E.
Title
Gödel's loophole
Source
Capital University law review. 41 (2013), S.637-673
Year
2013
Abstract
The mathematician and philosopher Kurt Gödel reportedly discovered a deep logical contradiction in the US Constitution. What was it? In this paper, the author revisits the story of Gödel's discovery and identifies one particular "design defect" in the Constitution that qualifies as a "Gödelian" design defect. In summary, Gödel's loophole is that the amendment procedures set forth in Article V self-apply to the constitutional statements in Article V themselves, including the entrenchment clauses in Article V. Furthermore, not only may Article V itself be amended, but it may also be amended in a downward direction (i.e., through an "anti-entrenchment" amendment making it easier to amend the Constitution). Lastly, the Gödelian problem of self-amendment or anti-entrenchment is unsolvable. In addition, the author identifies some "non-Gödelian" flaws or "design defects" in the Constitution and explains why most of these miscellaneous design defects are non-Gödelian or non-logical flaws.
Content
Vgl.: http://dx.doi.org/10.2139/ssrn.2010183. Vgl. auch_ Roznai, Y.: Towards a theory of unamendability. In: https://papers.ssrn.com/sol3/papers.cfm?abstract_id=2569292.
Field
Rechtswissenschaft
Logik
Location
USA

Similar documents (content)

  1. Guerra-Pujol, E.: Gödel's interbellum (2014) 0.28
    0.28351656 = sum of:
      0.28351656 = product of:
        1.0125592 = sum of:
          0.07694529 = weight(abstract_txt:gödel in 5215) [ClassicSimilarity], result of:
            0.07694529 = score(doc=5215,freq=1.0), product of:
              0.13531904 = queryWeight, product of:
                1.1613035 = boost
                9.097941 = idf(docFreq=12, maxDocs=42740)
                0.012807666 = queryNorm
              0.56862134 = fieldWeight in 5215, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.097941 = idf(docFreq=12, maxDocs=42740)
                0.0625 = fieldNorm(doc=5215)
          0.17205492 = weight(abstract_txt:constitutional in 5215) [ClassicSimilarity], result of:
            0.17205492 = score(doc=5215,freq=5.0), product of:
              0.13531904 = queryWeight, product of:
                1.1613035 = boost
                9.097941 = idf(docFreq=12, maxDocs=42740)
                0.012807666 = queryNorm
              1.271476 = fieldWeight in 5215, product of:
                2.236068 = tf(freq=5.0), with freq of:
                  5.0 = termFreq=5.0
                9.097941 = idf(docFreq=12, maxDocs=42740)
                0.0625 = fieldNorm(doc=5215)
          0.08126215 = weight(abstract_txt:kurt in 5215) [ClassicSimilarity], result of:
            0.08126215 = score(doc=5215,freq=1.0), product of:
              0.14033405 = queryWeight, product of:
                1.1826272 = boost
                9.264996 = idf(docFreq=10, maxDocs=42740)
                0.012807666 = queryNorm
              0.5790622 = fieldWeight in 5215, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.264996 = idf(docFreq=10, maxDocs=42740)
                0.0625 = fieldNorm(doc=5215)
          0.12255221 = weight(abstract_txt:contradiction in 5215) [ClassicSimilarity], result of:
            0.12255221 = score(doc=5215,freq=2.0), product of:
              0.14647886 = queryWeight, product of:
                1.2082416 = boost
                9.465666 = idf(docFreq=8, maxDocs=42740)
                0.012807666 = queryNorm
              0.83665454 = fieldWeight in 5215, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                9.465666 = idf(docFreq=8, maxDocs=42740)
                0.0625 = fieldNorm(doc=5215)
          0.068986975 = weight(abstract_txt:logical in 5215) [ClassicSimilarity], result of:
            0.068986975 = score(doc=5215,freq=2.0), product of:
              0.12581979 = queryWeight, product of:
                1.5836375 = boost
                6.2033052 = idf(docFreq=234, maxDocs=42740)
                0.012807666 = queryNorm
              0.5482999 = fieldWeight in 5215, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                6.2033052 = idf(docFreq=234, maxDocs=42740)
                0.0625 = fieldNorm(doc=5215)
          0.12671615 = weight(abstract_txt:anti in 5215) [ClassicSimilarity], result of:
            0.12671615 = score(doc=5215,freq=1.0), product of:
              0.2377582 = queryWeight, product of:
                2.176953 = boost
                8.527396 = idf(docFreq=22, maxDocs=42740)
                0.012807666 = queryNorm
              0.53296226 = fieldWeight in 5215, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.527396 = idf(docFreq=22, maxDocs=42740)
                0.0625 = fieldNorm(doc=5215)
          0.36404157 = weight(abstract_txt:constitution in 5215) [ClassicSimilarity], result of:
            0.36404157 = score(doc=5215,freq=2.0), product of:
              0.48048687 = queryWeight, product of:
                4.376602 = boost
                8.571848 = idf(docFreq=21, maxDocs=42740)
                0.012807666 = queryNorm
              0.75765145 = fieldWeight in 5215, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                8.571848 = idf(docFreq=21, maxDocs=42740)
                0.0625 = fieldNorm(doc=5215)
        0.28 = coord(7/25)
    
  2. Roznai, Y.: Towards a theory of unamendability (2013) 0.20
    0.20003024 = sum of:
      0.20003024 = product of:
        1.0001512 = sum of:
          0.13327315 = weight(abstract_txt:constitutional in 5213) [ClassicSimilarity], result of:
            0.13327315 = score(doc=5213,freq=3.0), product of:
              0.13531904 = queryWeight, product of:
                1.1613035 = boost
                9.097941 = idf(docFreq=12, maxDocs=42740)
                0.012807666 = queryNorm
              0.98488104 = fieldWeight in 5213, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                9.097941 = idf(docFreq=12, maxDocs=42740)
                0.0625 = fieldNorm(doc=5213)
          0.040576033 = weight(abstract_txt:identifies in 5213) [ClassicSimilarity], result of:
            0.040576033 = score(doc=5213,freq=1.0), product of:
              0.1112826 = queryWeight, product of:
                1.4893438 = boost
                5.833945 = idf(docFreq=339, maxDocs=42740)
                0.012807666 = queryNorm
              0.36462155 = fieldWeight in 5213, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.833945 = idf(docFreq=339, maxDocs=42740)
                0.0625 = fieldNorm(doc=5213)
          0.040009927 = weight(abstract_txt:article in 5213) [ClassicSimilarity], result of:
            0.040009927 = score(doc=5213,freq=3.0), product of:
              0.096307985 = queryWeight, product of:
                1.9594196 = boost
                3.8376453 = idf(docFreq=2502, maxDocs=42740)
                0.012807666 = queryNorm
              0.41543728 = fieldWeight in 5213, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                3.8376453 = idf(docFreq=2502, maxDocs=42740)
                0.0625 = fieldNorm(doc=5213)
          0.4222505 = weight(abstract_txt:amendment in 5213) [ClassicSimilarity], result of:
            0.4222505 = score(doc=5213,freq=3.0), product of:
              0.42100215 = queryWeight, product of:
                3.5478814 = boost
                9.264996 = idf(docFreq=10, maxDocs=42740)
                0.012807666 = queryNorm
              1.0029652 = fieldWeight in 5213, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                9.264996 = idf(docFreq=10, maxDocs=42740)
                0.0625 = fieldNorm(doc=5213)
          0.36404157 = weight(abstract_txt:constitution in 5213) [ClassicSimilarity], result of:
            0.36404157 = score(doc=5213,freq=2.0), product of:
              0.48048687 = queryWeight, product of:
                4.376602 = boost
                8.571848 = idf(docFreq=21, maxDocs=42740)
                0.012807666 = queryNorm
              0.75765145 = fieldWeight in 5213, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                8.571848 = idf(docFreq=21, maxDocs=42740)
                0.0625 = fieldNorm(doc=5213)
        0.2 = coord(5/25)
    
  3. Griffiths, D.N.: ¬The United Nations Classification Scheme (2005) 0.07
    0.07411533 = sum of:
      0.07411533 = product of:
        0.46322083 = sum of:
          0.03158735 = weight(abstract_txt:author in 716) [ClassicSimilarity], result of:
            0.03158735 = score(doc=716,freq=1.0), product of:
              0.081155196 = queryWeight, product of:
                1.2718605 = boost
                4.9820356 = idf(docFreq=796, maxDocs=42740)
                0.012807666 = queryNorm
              0.38922155 = fieldWeight in 716, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.9820356 = idf(docFreq=796, maxDocs=42740)
                0.078125 = fieldNorm(doc=716)
          0.050720043 = weight(abstract_txt:identifies in 716) [ClassicSimilarity], result of:
            0.050720043 = score(doc=716,freq=1.0), product of:
              0.1112826 = queryWeight, product of:
                1.4893438 = boost
                5.833945 = idf(docFreq=339, maxDocs=42740)
                0.012807666 = queryNorm
              0.45577693 = fieldWeight in 716, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.833945 = idf(docFreq=339, maxDocs=42740)
                0.078125 = fieldNorm(doc=716)
          0.18342824 = weight(abstract_txt:defects in 716) [ClassicSimilarity], result of:
            0.18342824 = score(doc=716,freq=1.0), product of:
              0.26219133 = queryWeight, product of:
                2.286075 = boost
                8.954841 = idf(docFreq=14, maxDocs=42740)
                0.012807666 = queryNorm
              0.69959694 = fieldWeight in 716, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.954841 = idf(docFreq=14, maxDocs=42740)
                0.078125 = fieldNorm(doc=716)
          0.19748521 = weight(abstract_txt:flaws in 716) [ClassicSimilarity], result of:
            0.19748521 = score(doc=716,freq=1.0), product of:
              0.2754211 = queryWeight, product of:
                2.3430412 = boost
                9.177984 = idf(docFreq=11, maxDocs=42740)
                0.012807666 = queryNorm
              0.71703005 = fieldWeight in 716, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.177984 = idf(docFreq=11, maxDocs=42740)
                0.078125 = fieldNorm(doc=716)
        0.16 = coord(4/25)
    
  4. Raphael, M.J.: ¬A guide to media law research (1992) 0.05
    0.051317077 = sum of:
      0.051317077 = product of:
        0.64146346 = sum of:
          0.15389058 = weight(abstract_txt:constitutional in 4885) [ClassicSimilarity], result of:
            0.15389058 = score(doc=4885,freq=1.0), product of:
              0.13531904 = queryWeight, product of:
                1.1613035 = boost
                9.097941 = idf(docFreq=12, maxDocs=42740)
                0.012807666 = queryNorm
              1.1372427 = fieldWeight in 4885, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.097941 = idf(docFreq=12, maxDocs=42740)
                0.125 = fieldNorm(doc=4885)
          0.48757288 = weight(abstract_txt:amendment in 4885) [ClassicSimilarity], result of:
            0.48757288 = score(doc=4885,freq=1.0), product of:
              0.42100215 = queryWeight, product of:
                3.5478814 = boost
                9.264996 = idf(docFreq=10, maxDocs=42740)
                0.012807666 = queryNorm
              1.1581244 = fieldWeight in 4885, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.264996 = idf(docFreq=10, maxDocs=42740)
                0.125 = fieldNorm(doc=4885)
        0.08 = coord(2/25)
    
  5. Griffin, A.; Burke, M.: Friend or foe? : An evaluation of the user-friendliness of Viewpoint, the Galaxy 2000 OPAC (1997) 0.05
    0.04697554 = sum of:
      0.04697554 = product of:
        0.39146286 = sum of:
          0.07100806 = weight(abstract_txt:identifies in 2437) [ClassicSimilarity], result of:
            0.07100806 = score(doc=2437,freq=1.0), product of:
              0.1112826 = queryWeight, product of:
                1.4893438 = boost
                5.833945 = idf(docFreq=339, maxDocs=42740)
                0.012807666 = queryNorm
              0.6380877 = fieldWeight in 2437, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.833945 = idf(docFreq=339, maxDocs=42740)
                0.109375 = fieldNorm(doc=2437)
          0.043975513 = weight(abstract_txt:design in 2437) [ClassicSimilarity], result of:
            0.043975513 = score(doc=2437,freq=1.0), product of:
              0.10186839 = queryWeight, product of:
                2.0151901 = boost
                3.9468753 = idf(docFreq=2243, maxDocs=42740)
                0.012807666 = queryNorm
              0.4316895 = fieldWeight in 2437, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.9468753 = idf(docFreq=2243, maxDocs=42740)
                0.109375 = fieldNorm(doc=2437)
          0.27647927 = weight(abstract_txt:flaws in 2437) [ClassicSimilarity], result of:
            0.27647927 = score(doc=2437,freq=1.0), product of:
              0.2754211 = queryWeight, product of:
                2.3430412 = boost
                9.177984 = idf(docFreq=11, maxDocs=42740)
                0.012807666 = queryNorm
              1.003842 = fieldWeight in 2437, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.177984 = idf(docFreq=11, maxDocs=42740)
                0.109375 = fieldNorm(doc=2437)
        0.12 = coord(3/25)