6 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
8447 | In 'Etna is higher than Vesuvius' the whole of Etna, including all the lava, can't be the reference [Frege] |
8448 | Any object can have many different names, each with a distinct sense [Frege] |
8446 | We understand new propositions by constructing their sense from the words [Frege] |
8449 | Senses can't be subjective, because propositions would be private, and disagreement impossible [Frege] |
6011 | There is a remote first god (the Good), and a second god who organises the material world [Numenius, by O'Meara] |