Combining Texts

All the ideas for 'A Discourse on Method', 'Thinking About Mathematics' and 'Intuitionism and Formalism'

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


42 ideas

1. Philosophy / D. Nature of Philosophy / 1. Philosophy
Slow and accurate thought makes the greatest progress [Descartes]
1. Philosophy / D. Nature of Philosophy / 7. Despair over Philosophy
Most things in human life seem vain and useless [Descartes]
Almost every daft idea has been expressed by some philosopher [Descartes]
2. Reason / A. Nature of Reason / 4. Aims of Reason
Methodical thinking is cautious, analytical, systematic, and panoramic [Descartes, by PG]
2. Reason / F. Fallacies / 4. Circularity
Clear and distinct conceptions are true because a perfect God exists [Descartes]
3. Truth / A. Truth Problems / 8. Subjective Truth
Truth is clear and distinct conception - of which it is hard to be sure [Descartes]
4. Formal Logic / E. Nonclassical Logics / 7. Paraconsistency
Our dislike of contradiction in logic is a matter of psychology, not mathematics [Brouwer]
5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle
Intuitionists deny excluded middle, because it is committed to transcendent truth or objects [Shapiro]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / b. Types of number
The number 3 is presumably identical as a natural, an integer, a rational, a real, and complex [Shapiro]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / h. Reals from Cauchy
Cauchy gave a formal definition of a converging sequence. [Shapiro]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / g. Applying mathematics
Scientific laws largely rest on the results of counting and measuring [Brouwer]
6. Mathematics / B. Foundations for Mathematics / 1. Foundations for Mathematics
Categories are the best foundation for mathematics [Shapiro]
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / f. Zermelo numbers
Two definitions of 3 in terms of sets disagree over whether 1 is a member of 3 [Shapiro]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / a. Structuralism
Numbers do not exist independently; the essence of a number is its relations to other numbers [Shapiro]
A 'system' is related objects; a 'pattern' or 'structure' abstracts the pure relations from them [Shapiro]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
Logicism seems to be a non-starter if (as is widely held) logic has no ontology of its own [Shapiro]
6. Mathematics / C. Sources of Mathematics / 7. Formalism
Term Formalism says mathematics is just about symbols - but real numbers have no names [Shapiro]
Game Formalism is just a matter of rules, like chess - but then why is it useful in science? [Shapiro]
Deductivism says mathematics is logical consequences of uninterpreted axioms [Shapiro]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / b. Intuitionism
Intuitionists only accept denumerable sets [Brouwer]
Neo-intuitionism abstracts from the reuniting of moments, to intuit bare two-oneness [Brouwer]
Critics resent the way intuitionism cripples mathematics, but it allows new important distinctions [Shapiro]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / c. Conceptualism
Conceptualist are just realists or idealist or nominalists, depending on their view of concepts [Shapiro]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / d. Predicativism
'Impredicative' definitions refer to the thing being described [Shapiro]
11. Knowledge Aims / A. Knowledge / 4. Belief / a. Beliefs
We can believe a thing without knowing we believe it [Descartes]
11. Knowledge Aims / B. Certain Knowledge / 1. Certainty
In morals Descartes accepts the conventional, but rejects it in epistemology [Roochnik on Descartes]
11. Knowledge Aims / B. Certain Knowledge / 4. The Cogito
In thinking everything else false, my own existence remains totally certain [Descartes]
12. Knowledge Sources / A. A Priori Knowledge / 6. A Priori from Reason
I aim to find the principles and causes of everything, using the seeds within my mind [Descartes]
12. Knowledge Sources / C. Rationalism / 1. Rationalism
Understanding, rather than imagination or senses, gives knowledge [Descartes]
Rationalism tries to apply mathematical methodology to all of knowledge [Shapiro]
13. Knowledge Criteria / B. Internal Justification / 4. Foundationalism / a. Foundationalism
I was searching for reliable rock under the shifting sand [Descartes]
13. Knowledge Criteria / D. Scepticism / 6. Scepticism Critique
When rebuilding a house, one needs alternative lodgings [Descartes]
14. Science / A. Basis of Science / 3. Experiment
Only experiments can settle disagreements between rival explanations [Descartes]
15. Nature of Minds / A. Nature of Mind / 7. Animal Minds
Little reason is needed to speak, so animals have no reason at all [Descartes]
16. Persons / B. Nature of the Self / 3. Self as Non-physical
I am a thinking substance, which doesn't need a place or material support [Descartes]
17. Mind and Body / A. Mind-Body Dualism / 1. Dualism
I can deny my body and the world, but not my own existence [Descartes]
Reason is universal in its responses, but a physical machine is constrained by its organs [Descartes]
17. Mind and Body / A. Mind-Body Dualism / 2. Interactionism
The soul must unite with the body to have appetites and sensations [Descartes]
18. Thought / B. Mechanics of Thought / 6. Artificial Thought / c. Turing Test
A machine could speak in response to physical stimulus, but not hold a conversation [Descartes]
19. Language / A. Nature of Meaning / 5. Meaning as Verification
Intuitonists in mathematics worried about unjustified assertion, as well as contradiction [Brouwer, by George/Velleman]
23. Ethics / C. Virtue Theory / 1. Virtue Theory / d. Virtue theory critique
Greeks elevate virtues enormously, but never explain them [Descartes]
26. Natural Theory / D. Laws of Nature / 7. Strictness of Laws
God has established laws throughout nature, and implanted ideas of them within us [Descartes]