Combining Texts

All the ideas for 'fragments/reports', 'Metaphysical conseqs of principle of reason' and 'A Note on the entscheidungsproblem'

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

---

5 ideas

5. Theory of Logic / K. Features of Logics / 7. Decidability

18758	Validity is provable, but invalidity isn't, because the model is infinite [Church, by McGee]
	Full Idea: Church showed that logic has a proof procedure, but no decision procedure. If an argument is invalid, there is a model with true premises and false conclusion, but the model will typically be infinite, so there is no way to display it concretely.
	From: report of Alonzo Church (A Note on the entscheidungsproblem [1936]) by Vann McGee - Logical Consequence 5

7. Existence / C. Structure of Existence / 6. Fundamentals / c. Monads

5060	All substances analyse down to simple substances, which are souls, or 'monads' [Leibniz]
	Full Idea: What (in the analysis of substances) exist ultimately are simple substances - namely, souls, or, if you prefer a more general terms, 'monads', which are without parts.
	From: Gottfried Leibniz (Metaphysical conseqs of principle of reason [1712], §7)
	A reaction: This seems to me to be atomistic panpsychism. He is opposed to physical atomism, because infinite divisibility seems obvious, but unity is claimed to be equally obvious in the world of the mental. Does this mean bricks are made of souls? Odd.

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

26. Natural Theory / C. Causation / 3. Final causes

5059	Power rules in efficient causes, but wisdom rules in connecting them to final causes [Leibniz]
	Full Idea: In all of nature efficient causes correspond to final causes, because everything proceeds from a cause which is not only powerful, but wise; and with the rule of power through efficient causes, there is involved the rule of wisdom through final causes.
	From: Gottfried Leibniz (Metaphysical conseqs of principle of reason [1712], §5)
	A reaction: Nowadays this carrot-and-stick view of causation is unfashionable, but I won't rule it out. The deepest 'why?' we can ask won't just go away. This unity by a divine mind strikes me as too simple, but Leibniz is right to try to unify Aristotelian causes.

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.