Combining Texts

All the ideas for 'Concerning the Author', 'Proslogion' and 'Constructibility and Mathematical Existence'

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


18 ideas

1. Philosophy / E. Nature of Metaphysics / 7. Against Metaphysics
The demonstrations of the metaphysicians are all moonshine [Peirce]
1. Philosophy / G. Scientific Philosophy / 3. Scientism
I am saturated with the spirit of physical science [Peirce]
4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory
We could talk of open sentences, instead of sets [Chihara, by Shapiro]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / b. Type theory
Chihara's system is a variant of type theory, from which he can translate sentences [Chihara, by Shapiro]
We can replace type theory with open sentences and a constructibility quantifier [Chihara, by Shapiro]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / a. Constructivism
Introduce a constructibility quantifiers (Cx)Φ - 'it is possible to construct an x such that Φ' [Chihara, by Shapiro]
11. Knowledge Aims / B. Certain Knowledge / 3. Fallibilism
Infallibility in science is just a joke [Peirce]
12. Knowledge Sources / D. Empiricism / 2. Associationism
Association of ideas is the best philosophical idea of the prescientific age [Peirce]
14. Science / B. Scientific Theories / 1. Scientific Theory
Duns Scotus offers perhaps the best logic and metaphysics for modern physical science [Peirce]
28. God / B. Proving God / 2. Proofs of Reason / a. Ontological Proof
Even the fool can hold 'a being than which none greater exists' in his understanding [Anselm]
An existing thing is even greater if its non-existence is inconceivable [Anselm]
Conceiving a greater being than God leads to absurdity [Anselm]
If that than which a greater cannot be thought actually exists, that is greater than the mere idea [Anselm]
A perfection must be independent and unlimited, and the necessary existence of Anselm's second proof gives this [Malcolm on Anselm]
The word 'God' can be denied, but understanding shows God must exist [Anselm]
Guanilo says a supremely fertile island must exist, just because we can conceive it [Anselm]
Nonexistence is impossible for the greatest thinkable thing, which has no beginning or end [Anselm]
28. God / B. Proving God / 2. Proofs of Reason / b. Ontological Proof critique
Anselm's first proof fails because existence isn't a real predicate, so it can't be a perfection [Malcolm on Anselm]