Combining Texts

All the ideas for 'fragments/reports', 'Philosophy of Mathematics' and 'Nietzsche: a philosophical biography'

unexpand these ideas     |    start again     |     specify just one area for these texts


7 ideas

1. Philosophy / C. History of Philosophy / 4. Later European Philosophy / d. Nineteenth century philosophy
Hegel, Fichte and Schelling wanted to know Kant's thing-in-itself, as ego, or nature, or spirit [Safranski]
     Full Idea: The 'thing in iself' acted on Kant's successors like a hole in the closed world of knowledge...Hegel, Fichte and Schelling wanted to penetrate into what they presumed to be the heart of things, by the invention of means of 'ego', or 'nature', or 'spirit.,
     From: Rüdiger Safranski (Nietzsche: a philosophical biography [2000], 07)
     A reaction: [a bit compressed] Although no scientist claims to know the ultimate essence of matter, the authority of science largely comes from persuasively moving us several steps closer to the thing in itself (more persuasively than these three).
2. Reason / D. Definition / 8. Impredicative Definition
Predicative definitions only refer to entities outside the defined collection [Horsten]
     Full Idea: Definitions are called 'predicative', and are considered sound, if they only refer to entities which exist independently from the defined collection.
     From: Leon Horsten (Philosophy of Mathematics [2007], §2.4)
5. Theory of Logic / J. Model Theory in Logic / 2. Isomorphisms
A theory is 'categorical' if it has just one model up to isomorphism [Horsten]
     Full Idea: If a theory has, up to isomorphism, exactly one model, then it is said to be 'categorical'.
     From: Leon Horsten (Philosophy of Mathematics [2007], §5.2)
6. Mathematics / B. Foundations for Mathematics / 2. Proof in Mathematics
Computer proofs don't provide explanations [Horsten]
     Full Idea: Mathematicians are uncomfortable with computerised proofs because a 'good' proof should do more than convince us that a certain statement is true. It should also explain why the statement in question holds.
     From: Leon Horsten (Philosophy of Mathematics [2007], §5.3)
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten]
     Full Idea: The notion of an ordinal number is a set-theoretic, and hence non-arithmetical, concept.
     From: Leon Horsten (Philosophy of Mathematics [2007], §2.3)
26. Natural Theory / A. Speculations on Nature / 5. Infinite in Nature
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
27. Natural Reality / G. Biology / 3. Evolution
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.