4 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
12221 | 'Corner quotes' (quasi-quotation) designate 'whatever these terms designate' [Quine] |
19321 | We might do without names, by converting them into predicates [Quine, by Kirkham] |
8754 | Logic is dependent on mathematics, not the other way round [Heyting, by Shapiro] |