6 ideas
17750 | The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki] |
10670 | A 'singulariser' converts a plural like 'number of' to a syntactically neutral form [Cartwright,H, by Hossack] |
18969 | How do you distinguish three beliefs from four beliefs or two beliefs? [Quine] |
18967 | A 'proposition' is said to be the timeless cognitive part of the meaning of a sentence [Quine] |
18968 | The problem with propositions is their individuation. When do two sentences express one proposition? [Quine] |
18970 | The concept of a 'point' makes no sense without the idea of absolute position [Quine] |