3 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
14296 | Dispositions are physical states of mechanism; when known, these replace the old disposition term [Quine] |
20329 | A work of art is an artifact created for the artworld [Dickie] |