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.27934387 = sum of:
     0.27934387 = product of:
       0.9976567 = sum of:
         0.07567099 = weight(abstract_txt:gödel in 4214) [ClassicSimilarity], result of:
           0.07567099 = score(doc=4214,freq=1.0), product of:
             0.13359976 = queryWeight, product of:
               1.0918212 = boost
               9.06241 = idf(docFreq=13, maxDocs=44421)
               0.013502384 = queryNorm
             0.56640065 = fieldWeight in 4214, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.06241 = idf(docFreq=13, maxDocs=44421)
               0.0625 = fieldNorm(doc=4214)
         0.17339055 = weight(abstract_txt:constitutional in 4214) [ClassicSimilarity], result of:
           0.17339055 = score(doc=4214,freq=5.0), product of:
             0.13579372 = queryWeight, product of:
               1.1007495 = boost
               9.1365185 = idf(docFreq=12, maxDocs=44421)
               0.013502384 = queryNorm
             1.2768673 = fieldWeight in 4214, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               9.1365185 = idf(docFreq=12, maxDocs=44421)
               0.0625 = fieldNorm(doc=4214)
         0.07959852 = weight(abstract_txt:kurt in 4214) [ClassicSimilarity], result of:
           0.07959852 = score(doc=4214,freq=1.0), product of:
             0.13818346 = queryWeight, product of:
               1.1103929 = boost
               9.216561 = idf(docFreq=11, maxDocs=44421)
               0.013502384 = queryNorm
             0.5760351 = fieldWeight in 4214, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.216561 = idf(docFreq=11, maxDocs=44421)
               0.0625 = fieldNorm(doc=4214)
         0.11938285 = weight(abstract_txt:contradiction in 4214) [ClassicSimilarity], result of:
           0.11938285 = score(doc=4214,freq=2.0), product of:
             0.14370461 = queryWeight, product of:
               1.1323587 = boost
               9.398883 = idf(docFreq=9, maxDocs=44421)
               0.013502384 = queryNorm
             0.8307517 = fieldWeight in 4214, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               9.398883 = idf(docFreq=9, maxDocs=44421)
               0.0625 = fieldNorm(doc=4214)
         0.067353375 = weight(abstract_txt:logical in 4214) [ClassicSimilarity], result of:
           0.067353375 = score(doc=4214,freq=2.0), product of:
             0.12362102 = queryWeight, product of:
               1.485285 = boost
               6.1641335 = idf(docFreq=253, maxDocs=44421)
               0.013502384 = queryNorm
             0.5448376 = fieldWeight in 4214, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.1641335 = idf(docFreq=253, maxDocs=44421)
               0.0625 = fieldNorm(doc=4214)
         0.12076447 = weight(abstract_txt:anti in 4214) [ClassicSimilarity], result of:
           0.12076447 = score(doc=4214,freq=1.0), product of:
             0.22987346 = queryWeight, product of:
               2.0253873 = boost
               8.405631 = idf(docFreq=26, maxDocs=44421)
               0.013502384 = queryNorm
             0.52535194 = fieldWeight in 4214, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.405631 = idf(docFreq=26, maxDocs=44421)
               0.0625 = fieldNorm(doc=4214)
         0.3614959 = weight(abstract_txt:constitution in 4214) [ClassicSimilarity], result of:
           0.3614959 = score(doc=4214,freq=2.0), product of:
             0.47745413 = queryWeight, product of:
               4.1280456 = boost
               8.565973 = idf(docFreq=22, maxDocs=44421)
               0.013502384 = queryNorm
             0.75713223 = fieldWeight in 4214, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               8.565973 = idf(docFreq=22, maxDocs=44421)
               0.0625 = fieldNorm(doc=4214)
       0.28 = coord(7/25)
   

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

   0.19996005 = sum of:
     0.19996005 = product of:
       0.99980026 = sum of:
         0.13430774 = weight(abstract_txt:constitutional in 4212) [ClassicSimilarity], result of:
           0.13430774 = score(doc=4212,freq=3.0), product of:
             0.13579372 = queryWeight, product of:
               1.1007495 = boost
               9.1365185 = idf(docFreq=12, maxDocs=44421)
               0.013502384 = queryNorm
             0.9890571 = fieldWeight in 4212, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               9.1365185 = idf(docFreq=12, maxDocs=44421)
               0.0625 = fieldNorm(doc=4212)
         0.039933484 = weight(abstract_txt:identifies in 4212) [ClassicSimilarity], result of:
           0.039933484 = score(doc=4212,freq=1.0), product of:
             0.10992274 = queryWeight, product of:
               1.4005784 = boost
               5.8125896 = idf(docFreq=360, maxDocs=44421)
               0.013502384 = queryNorm
             0.36328685 = fieldWeight in 4212, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.8125896 = idf(docFreq=360, maxDocs=44421)
               0.0625 = fieldNorm(doc=4212)
         0.038631964 = weight(abstract_txt:article in 4212) [ClassicSimilarity], result of:
           0.038631964 = score(doc=4212,freq=3.0), product of:
             0.09392838 = queryWeight, product of:
               1.8309525 = boost
               3.79935 = idf(docFreq=2702, maxDocs=44421)
               0.013502384 = queryNorm
             0.4112917 = fieldWeight in 4212, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               3.79935 = idf(docFreq=2702, maxDocs=44421)
               0.0625 = fieldNorm(doc=4212)
         0.4254312 = weight(abstract_txt:amendment in 4212) [ClassicSimilarity], result of:
           0.4254312 = score(doc=4212,freq=3.0), product of:
             0.42241463 = queryWeight, product of:
               3.3626275 = boost
               9.303573 = idf(docFreq=10, maxDocs=44421)
               0.013502384 = queryNorm
             1.0071412 = fieldWeight in 4212, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               9.303573 = idf(docFreq=10, maxDocs=44421)
               0.0625 = fieldNorm(doc=4212)
         0.3614959 = weight(abstract_txt:constitution in 4212) [ClassicSimilarity], result of:
           0.3614959 = score(doc=4212,freq=2.0), product of:
             0.47745413 = queryWeight, product of:
               4.1280456 = boost
               8.565973 = idf(docFreq=22, maxDocs=44421)
               0.013502384 = queryNorm
             0.75713223 = fieldWeight in 4212, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               8.565973 = idf(docFreq=22, maxDocs=44421)
               0.0625 = fieldNorm(doc=4212)
       0.2 = coord(5/25)
   

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

   0.0721743 = sum of:
     0.0721743 = product of:
       0.4510894 = sum of:
         0.031393323 = weight(abstract_txt:author in 715) [ClassicSimilarity], result of:
           0.031393323 = score(doc=715,freq=1.0), product of:
             0.08068898 = queryWeight, product of:
               1.1999711 = boost
               4.980042 = idf(docFreq=829, maxDocs=44421)
               0.013502384 = queryNorm
             0.38906577 = fieldWeight in 715, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.980042 = idf(docFreq=829, maxDocs=44421)
               0.078125 = fieldNorm(doc=715)
         0.049916856 = weight(abstract_txt:identifies in 715) [ClassicSimilarity], result of:
           0.049916856 = score(doc=715,freq=1.0), product of:
             0.10992274 = queryWeight, product of:
               1.4005784 = boost
               5.8125896 = idf(docFreq=360, maxDocs=44421)
               0.013502384 = queryNorm
             0.45410857 = fieldWeight in 715, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.8125896 = idf(docFreq=360, maxDocs=44421)
               0.078125 = fieldNorm(doc=715)
         0.18488961 = weight(abstract_txt:flaws in 715) [ClassicSimilarity], result of:
           0.18488961 = score(doc=715,freq=1.0), product of:
             0.26314658 = queryWeight, product of:
               2.1670182 = boost
               8.993418 = idf(docFreq=14, maxDocs=44421)
               0.013502384 = queryNorm
             0.70261073 = fieldWeight in 715, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.993418 = idf(docFreq=14, maxDocs=44421)
               0.078125 = fieldNorm(doc=715)
         0.18488961 = weight(abstract_txt:defects in 715) [ClassicSimilarity], result of:
           0.18488961 = score(doc=715,freq=1.0), product of:
             0.26314658 = queryWeight, product of:
               2.1670182 = boost
               8.993418 = idf(docFreq=14, maxDocs=44421)
               0.013502384 = queryNorm
             0.70261073 = fieldWeight in 715, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.993418 = idf(docFreq=14, maxDocs=44421)
               0.078125 = fieldNorm(doc=715)
       0.16 = coord(4/25)
   

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

   0.05170647 = sum of:
     0.05170647 = product of:
       0.6463309 = sum of:
         0.15508522 = weight(abstract_txt:constitutional in 4884) [ClassicSimilarity], result of:
           0.15508522 = score(doc=4884,freq=1.0), product of:
             0.13579372 = queryWeight, product of:
               1.1007495 = boost
               9.1365185 = idf(docFreq=12, maxDocs=44421)
               0.013502384 = queryNorm
             1.1420648 = fieldWeight in 4884, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.1365185 = idf(docFreq=12, maxDocs=44421)
               0.125 = fieldNorm(doc=4884)
         0.49124566 = weight(abstract_txt:amendment in 4884) [ClassicSimilarity], result of:
           0.49124566 = score(doc=4884,freq=1.0), product of:
             0.42241463 = queryWeight, product of:
               3.3626275 = boost
               9.303573 = idf(docFreq=10, maxDocs=44421)
               0.013502384 = queryNorm
             1.1629466 = fieldWeight in 4884, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.303573 = idf(docFreq=10, maxDocs=44421)
               0.125 = fieldNorm(doc=4884)
       0.08 = coord(2/25)
   

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

   0.049686242 = sum of:
     0.049686242 = product of:
       0.621078 = sum of:
         0.30268395 = weight(abstract_txt:gödel in 956) [ClassicSimilarity], result of:
           0.30268395 = score(doc=956,freq=1.0), product of:
             0.13359976 = queryWeight, product of:
               1.0918212 = boost
               9.06241 = idf(docFreq=13, maxDocs=44421)
               0.013502384 = queryNorm
             2.2656026 = fieldWeight in 956, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.06241 = idf(docFreq=13, maxDocs=44421)
               0.25 = fieldNorm(doc=956)
         0.3183941 = weight(abstract_txt:kurt in 956) [ClassicSimilarity], result of:
           0.3183941 = score(doc=956,freq=1.0), product of:
             0.13818346 = queryWeight, product of:
               1.1103929 = boost
               9.216561 = idf(docFreq=11, maxDocs=44421)
               0.013502384 = queryNorm
             2.3041403 = fieldWeight in 956, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.216561 = idf(docFreq=11, maxDocs=44421)
               0.25 = fieldNorm(doc=956)
       0.08 = coord(2/25)