7 ideas
| 10558 | Abstract objects are actually constituted by the properties by which we conceive them [Zalta] |
| Full Idea: Where for ordinary objects one can discover the properties they exemplify, abstract objects are actually constituted or determined by the properties by which we conceive them. I use the technical term 'x encodes F' for this idea. | |
| From: Edward N. Zalta (Deriving Kripkean Claims with Abstract Objects [2006], 2 n2) | |
| A reaction: One might say that whereas concrete objects can be dubbed (in the Kripke manner), abstract objects can only be referred to by descriptions. See 10557 for more technicalities about Zalta's idea. |
| 3597 | Foundations need not precede other beliefs [Wittgenstein] |
| Full Idea: I do not explicitly learn the propositions that stand fast for me. I can discover them subsequently like the axis around which a body rotates. | |
| From: Ludwig Wittgenstein (On Certainty [1951], §152), quoted by Michael Williams - Problems of Knowledge Ch.14 | |
| A reaction: A nice metaphor for the way in which axioms are derived. It is also close to Quine's metaphor of the 'net' of understanding, with the centre area 'standing fast'. Not neat and tidy, though. |
| 3596 | Total doubt can't even get started [Wittgenstein, by Williams,M] |
| Full Idea: Wittgenstein remarked that if you tried to doubt everything, you would not get as far as doubting anything. | |
| From: report of Ludwig Wittgenstein (On Certainty [1951]) by Michael Williams - Problems of Knowledge Ch.14 |
| 10557 | Abstract objects are captured by second-order modal logic, plus 'encoding' formulas [Zalta] |
| Full Idea: My object theory is formulated in a 'syntactically second-order' modal predicate calculus modified only so as to admit a second kind of atomic formula ('xF'), which asserts that object x 'encodes' property F. | |
| From: Edward N. Zalta (Deriving Kripkean Claims with Abstract Objects [2006], p.2) | |
| A reaction: This is summarising Zalta's 1983 theory of abstract objects. See Idea 10558 for Zalta's idea in plain English. |
| 4721 | If you are not certain of any fact, you cannot be certain of the meaning of your words either [Wittgenstein] |
| Full Idea: If you are not certain of any fact, you cannot be certain of the meaning of your words either. | |
| From: Ludwig Wittgenstein (On Certainty [1951], §114) | |
| A reaction: A wonderfully challenging aphorism. I suspect that it is true, but not really a problem. We all know the meaning of 'Loch Ness Monster', as long as we don't get too fussy. And for local objects I am happy that I know the facts. |
| 1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
| Full Idea: Archelaus was the first person to say that the universe is boundless. | |
| From: report of Archelaus (fragments/reports [c.450 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.Ar.3 |
| 5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |
| Full Idea: Archelaus wrote that life on Earth began in a primeval slime. | |
| From: report of Archelaus (fragments/reports [c.450 BCE]) by Malcolm Schofield - Archelaus | |
| A reaction: This sounds like a fairly clearcut assertion of the production of life by evolution. Darwin's contribution was to propose the mechanism for achieving it. We should honour the name of Archelaus for this idea. |