Document (#40214)

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.28149498 = sum of:
     0.28149498 = product of:
       1.0053391 = sum of:
         0.07610561 = weight(abstract_txt:gödel in 3214) [ClassicSimilarity], result of:
           0.07610561 = score(doc=3214,freq=1.0), product of:
             0.13443504 = queryWeight, product of:
               1.1664853 = boost
               9.05783 = idf(docFreq=13, maxDocs=44218)
               0.012723572 = queryNorm
             0.56611437 = fieldWeight in 3214, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.05783 = idf(docFreq=13, maxDocs=44218)
               0.0625 = fieldNorm(doc=3214)
         0.17438857 = weight(abstract_txt:constitutional in 3214) [ClassicSimilarity], result of:
           0.17438857 = score(doc=3214,freq=5.0), product of:
             0.13664384 = queryWeight, product of:
               1.1760291 = boost
               9.131938 = idf(docFreq=12, maxDocs=44218)
               0.012723572 = queryNorm
             1.2762271 = fieldWeight in 3214, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               9.131938 = idf(docFreq=12, maxDocs=44218)
               0.0625 = fieldNorm(doc=3214)
         0.08005772 = weight(abstract_txt:kurt in 3214) [ClassicSimilarity], result of:
           0.08005772 = score(doc=3214,freq=1.0), product of:
             0.13904974 = queryWeight, product of:
               1.1863371 = boost
               9.211981 = idf(docFreq=11, maxDocs=44218)
               0.012723572 = queryNorm
             0.5757488 = fieldWeight in 3214, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.211981 = idf(docFreq=11, maxDocs=44218)
               0.0625 = fieldNorm(doc=3214)
         0.12007505 = weight(abstract_txt:contradiction in 3214) [ClassicSimilarity], result of:
           0.12007505 = score(doc=3214,freq=2.0), product of:
             0.1446083 = queryWeight, product of:
               1.2098169 = boost
               9.394302 = idf(docFreq=9, maxDocs=44218)
               0.012723572 = queryNorm
             0.8303468 = fieldWeight in 3214, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               9.394302 = idf(docFreq=9, maxDocs=44218)
               0.0625 = fieldNorm(doc=3214)
         0.06808438 = weight(abstract_txt:logical in 3214) [ClassicSimilarity], result of:
           0.06808438 = score(doc=3214,freq=2.0), product of:
             0.12481488 = queryWeight, product of:
               1.5895392 = boost
               6.1714344 = idf(docFreq=250, maxDocs=44218)
               0.012723572 = queryNorm
             0.5454829 = fieldWeight in 3214, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.1714344 = idf(docFreq=250, maxDocs=44218)
               0.0625 = fieldNorm(doc=3214)
         0.12308772 = weight(abstract_txt:anti in 3214) [ClassicSimilarity], result of:
           0.12308772 = score(doc=3214,freq=1.0), product of:
             0.2333751 = queryWeight, product of:
               2.1735282 = boost
               8.43879 = idf(docFreq=25, maxDocs=44218)
               0.012723572 = queryNorm
             0.5274244 = fieldWeight in 3214, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.43879 = idf(docFreq=25, maxDocs=44218)
               0.0625 = fieldNorm(doc=3214)
         0.36354014 = weight(abstract_txt:constitution in 3214) [ClassicSimilarity], result of:
           0.36354014 = score(doc=3214,freq=2.0), product of:
             0.48041102 = queryWeight, product of:
               4.4102125 = boost
               8.561393 = idf(docFreq=22, maxDocs=44218)
               0.012723572 = queryNorm
             0.75672734 = fieldWeight in 3214, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               8.561393 = idf(docFreq=22, maxDocs=44218)
               0.0625 = fieldNorm(doc=3214)
       0.28 = coord(7/25)
   

2. Roznai, Y.: Towards a theory of unamendability (2013) 0.20

   0.20117445 = sum of:
     0.20117445 = product of:
       1.0058722 = sum of:
         0.13508081 = weight(abstract_txt:constitutional in 3212) [ClassicSimilarity], result of:
           0.13508081 = score(doc=3212,freq=3.0), product of:
             0.13664384 = queryWeight, product of:
               1.1760291 = boost
               9.131938 = idf(docFreq=12, maxDocs=44218)
               0.012723572 = queryNorm
             0.9885613 = fieldWeight in 3212, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               9.131938 = idf(docFreq=12, maxDocs=44218)
               0.0625 = fieldNorm(doc=3212)
         0.04030201 = weight(abstract_txt:identifies in 3212) [ClassicSimilarity], result of:
           0.04030201 = score(doc=3212,freq=1.0), product of:
             0.11086535 = queryWeight, product of:
               1.4980832 = boost
               5.8163543 = idf(docFreq=357, maxDocs=44218)
               0.012723572 = queryNorm
             0.36352214 = fieldWeight in 3212, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.8163543 = idf(docFreq=357, maxDocs=44218)
               0.0625 = fieldNorm(doc=3212)
         0.03905777 = weight(abstract_txt:article in 3212) [ClassicSimilarity], result of:
           0.03905777 = score(doc=3212,freq=3.0), product of:
             0.09484605 = queryWeight, product of:
               1.9595784 = boost
               3.8040617 = idf(docFreq=2677, maxDocs=44218)
               0.012723572 = queryNorm
             0.41180176 = fieldWeight in 3212, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               3.8040617 = idf(docFreq=2677, maxDocs=44218)
               0.0625 = fieldNorm(doc=3212)
         0.42789152 = weight(abstract_txt:amendment in 3212) [ClassicSimilarity], result of:
           0.42789152 = score(doc=3212,freq=3.0), product of:
             0.42506677 = queryWeight, product of:
               3.592628 = boost
               9.298992 = idf(docFreq=10, maxDocs=44218)
               0.012723572 = queryNorm
             1.0066454 = fieldWeight in 3212, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               9.298992 = idf(docFreq=10, maxDocs=44218)
               0.0625 = fieldNorm(doc=3212)
         0.36354014 = weight(abstract_txt:constitution in 3212) [ClassicSimilarity], result of:
           0.36354014 = score(doc=3212,freq=2.0), product of:
             0.48041102 = queryWeight, product of:
               4.4102125 = boost
               8.561393 = idf(docFreq=22, maxDocs=44218)
               0.012723572 = queryNorm
             0.75672734 = fieldWeight in 3212, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               8.561393 = idf(docFreq=22, maxDocs=44218)
               0.0625 = fieldNorm(doc=3212)
       0.2 = coord(5/25)
   

3. Griffiths, D.N.: ¬The United Nations Classification Scheme (2005) 0.07

   0.07330739 = sum of:
     0.07330739 = product of:
       0.4581712 = sum of:
         0.031580277 = weight(abstract_txt:author in 5715) [ClassicSimilarity], result of:
           0.031580277 = score(doc=5715,freq=1.0), product of:
             0.081204854 = queryWeight, product of:
               1.2821211 = boost
               4.9778743 = idf(docFreq=827, maxDocs=44218)
               0.012723572 = queryNorm
             0.38889644 = fieldWeight in 5715, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.9778743 = idf(docFreq=827, maxDocs=44218)
               0.078125 = fieldNorm(doc=5715)
         0.05037751 = weight(abstract_txt:identifies in 5715) [ClassicSimilarity], result of:
           0.05037751 = score(doc=5715,freq=1.0), product of:
             0.11086535 = queryWeight, product of:
               1.4980832 = boost
               5.8163543 = idf(docFreq=357, maxDocs=44218)
               0.012723572 = queryNorm
             0.4544027 = fieldWeight in 5715, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.8163543 = idf(docFreq=357, maxDocs=44218)
               0.078125 = fieldNorm(doc=5715)
         0.18594939 = weight(abstract_txt:defects in 5715) [ClassicSimilarity], result of:
           0.18594939 = score(doc=5715,freq=1.0), product of:
             0.26478976 = queryWeight, product of:
               2.3152006 = boost
               8.988837 = idf(docFreq=14, maxDocs=44218)
               0.012723572 = queryNorm
             0.7022529 = fieldWeight in 5715, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.988837 = idf(docFreq=14, maxDocs=44218)
               0.078125 = fieldNorm(doc=5715)
         0.19026403 = weight(abstract_txt:flaws in 5715) [ClassicSimilarity], result of:
           0.19026403 = score(doc=5715,freq=1.0), product of:
             0.2688701 = queryWeight, product of:
               2.3329706 = boost
               9.05783 = idf(docFreq=13, maxDocs=44218)
               0.012723572 = queryNorm
             0.707643 = fieldWeight in 5715, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.05783 = idf(docFreq=13, maxDocs=44218)
               0.078125 = fieldNorm(doc=5715)
       0.16 = coord(4/25)
   

4. Raphael, M.J.: ¬A guide to media law research (1992) 0.05

   0.052005157 = sum of:
     0.052005157 = product of:
       0.65006447 = sum of:
         0.15597789 = weight(abstract_txt:constitutional in 4885) [ClassicSimilarity], result of:
           0.15597789 = score(doc=4885,freq=1.0), product of:
             0.13664384 = queryWeight, product of:
               1.1760291 = boost
               9.131938 = idf(docFreq=12, maxDocs=44218)
               0.012723572 = queryNorm
             1.1414922 = fieldWeight in 4885, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.131938 = idf(docFreq=12, maxDocs=44218)
               0.125 = fieldNorm(doc=4885)
         0.49408656 = weight(abstract_txt:amendment in 4885) [ClassicSimilarity], result of:
           0.49408656 = score(doc=4885,freq=1.0), product of:
             0.42506677 = queryWeight, product of:
               3.592628 = boost
               9.298992 = idf(docFreq=10, maxDocs=44218)
               0.012723572 = queryNorm
             1.162374 = fieldWeight in 4885, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.298992 = idf(docFreq=10, maxDocs=44218)
               0.125 = fieldNorm(doc=4885)
       0.08 = coord(2/25)
   

5. Kuessner, T.: Logbuch Mathematik (2020) 0.05

   0.049972266 = sum of:
     0.049972266 = product of:
       0.62465334 = sum of:
         0.30442244 = weight(abstract_txt:gödel in 5956) [ClassicSimilarity], result of:
           0.30442244 = score(doc=5956,freq=1.0), product of:
             0.13443504 = queryWeight, product of:
               1.1664853 = boost
               9.05783 = idf(docFreq=13, maxDocs=44218)
               0.012723572 = queryNorm
             2.2644575 = fieldWeight in 5956, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.05783 = idf(docFreq=13, maxDocs=44218)
               0.25 = fieldNorm(doc=5956)
         0.32023087 = weight(abstract_txt:kurt in 5956) [ClassicSimilarity], result of:
           0.32023087 = score(doc=5956,freq=1.0), product of:
             0.13904974 = queryWeight, product of:
               1.1863371 = boost
               9.211981 = idf(docFreq=11, maxDocs=44218)
               0.012723572 = queryNorm
             2.3029952 = fieldWeight in 5956, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.211981 = idf(docFreq=11, maxDocs=44218)
               0.25 = fieldNorm(doc=5956)
       0.08 = coord(2/25)