10 ideas
10882 | Predicative definitions only refer to entities outside the defined collection [Horsten] |
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] |
10884 | A theory is 'categorical' if it has just one model up to isomorphism [Horsten] |
10885 | Computer proofs don't provide explanations [Horsten] |
10881 | The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten] |
22419 | 'I' is a subject in 'I am in pain' and an object in 'I am bleeding' [Wittgenstein, by McGinn] |
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] |
6318 | The doctrine of indeterminacy of translation seems implied by the later Wittgenstein [Wittgenstein, by Quine] |