Combining Texts

All the ideas for 'fragments/reports', 'The Evolution of Modern Metaphysics' and 'On the General Idea of Proof Theory'

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

6 ideas

1. Philosophy / E. Nature of Metaphysics / 1. Nature of Metaphysics
21959 Metaphysics is the most general attempt to make sense of things [Moore,AW]
     Full Idea: Metaphysics is the most general attempt to make sense of things.
     From: A.W. Moore (The Evolution of Modern Metaphysics [2012], Intro)
     A reaction: This is the first sentence of Moore's book, and a touchstone idea all the way through. It stands up well, because it says enough without committing to too much. I have to agree with it. It implies explanation as the key. I like generality too.
5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence
13827 Logical consequence isn't a black box (Tarski's approach); we should explain how arguments work [Prawitz]
     Full Idea: Defining logical consequence in the way Tarski does is a rather meagre result, treating an argument as a black box, observing input and output, while disregarding inner structure. We should define logical consequence on the basis of valid arguments.
     From: Dag Prawitz (On the General Idea of Proof Theory [1974], §2)
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
13826 Model theory looks at valid sentences and consequence, but not how we know these things [Prawitz]
     Full Idea: In model theory, which has dominated the last decades, one concentrates on logically valid sentences, and what follows logically from what, but one disregards questions concerning how we know these things.
     From: Dag Prawitz (On the General Idea of Proof Theory [1974], §1)
11. Knowledge Aims / C. Knowing Reality / 3. Idealism / b. Transcendental idealism
21958 Appearances are nothing beyond representations, which is transcendental ideality [Moore,AW]
     Full Idea: Appearances in general are nothing outside our representations, which is just what we mean by transcendental ideality.
     From: A.W. Moore (The Evolution of Modern Metaphysics [2012], B535/A507)
26. Natural Theory / A. Speculations on Nature / 5. Infinite in Nature
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
27. Natural Reality / G. Biology / 3. Evolution
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.