Combining Texts

All the ideas for 'fragments/reports', 'On Copernicanism and Relativity of Motion' and 'On the General Idea of Proof Theory'

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


6 ideas

3. Truth / A. Truth Problems / 8. Subjective Truth
Choose the true hypothesis, which is the most intelligible one [Leibniz]
     Full Idea: One should choose the more intelligible hypothesis, and the truth is nothing but its intelligibility.
     From: Gottfried Leibniz (On Copernicanism and Relativity of Motion [1689], p.91)
     A reaction: This apparently simple observation strikes me as being rather profound. Our picture of the world is shaped entirely by what is intelligible to us. An odd notion of truth, though. The age of reason. See Idea 13158.
5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence
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
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)
14. Science / D. Explanation / 3. Best Explanation / a. Best explanation
The Copernican theory is right because it is the only one offering a good explanation [Leibniz]
     Full Idea: The Copernican account is the truest theory, that is, the most intelligible theory and the only one capable of an explanation sufficient for a person of sound reason.
     From: Gottfried Leibniz (On Copernicanism and Relativity of Motion [1689], p.92)
     A reaction: The word 'intelligible' here seems to be linked to the notion of a best explanation.
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.