4 ideas
16886 | The truth of an axiom must be independently recognisable [Frege] |
Full Idea: It is part of the concept of an axiom that it can be recognised as true independently of other truths. | |
From: Gottlob Frege (On Euclidean Geometry [1900], 183/168), quoted by Tyler Burge - Frege on Knowing the Foundations 4 | |
A reaction: Frege thinks the axioms of arithmetic all reside in logic. |
18925 | If talking donkeys are possible, something exists which could be a talking donkey [Williamson, by Cameron] |
Full Idea: Williamson's view on modality is that everything that could exist does exist: since there could exist a talking donkey there actually exists some thing that could be a talking donkey. | |
From: report of Timothy Williamson (Modal Logic as Metaphysics [2013], n20) by Ross P. Cameron - Truthmaking for Presentists n20 | |
A reaction: Well that thing certainly isn't me, or Tim Williamson. I'm guessing that the thing is an actual donkey, probably a rather bright one. Actually, I think this is one of those views that invites the incredulous stare. (Barcan formulae). |
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. |