Combining Texts

All the ideas for 'works (all lost)', 'Quantification and Descriptions' and 'Intuitionism and Formalism'

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


13 ideas

1. Philosophy / D. Nature of Philosophy / 6. Hopes for Philosophy
If all laws were abolished, philosophers would still live as they do now [Aristippus elder]
     Full Idea: If all laws were abolished, philosophers would still live as they do now.
     From: Aristippus the elder (fragments/reports [c.395 BCE]), quoted by Diogenes Laertius - Lives of Eminent Philosophers 02.Ar.4
     A reaction: Presumably philosophers develop inner laws which other people lack.
2. Reason / D. Definition / 7. Contextual Definition
Contextual definitions eliminate descriptions from contexts [Linsky,B]
     Full Idea: A 'contextual' definition shows how to eliminate a description from a context.
     From: Bernard Linsky (Quantification and Descriptions [2014], 2)
     A reaction: I'm trying to think of an example, but what I come up with are better described as 'paraphrases' than as 'definitions'.
4. Formal Logic / E. Nonclassical Logics / 7. Paraconsistency
Our dislike of contradiction in logic is a matter of psychology, not mathematics [Brouwer]
     Full Idea: Not to the mathematician, but to the psychologist, belongs the task of explaining why ...we are averse to so-called contradictory systems in which the negative as well as the positive of certain propositions are valid.
     From: Luitzen E.J. Brouwer (Intuitionism and Formalism [1912], p.79)
     A reaction: Was the turning point of Graham Priest's life the day he read this sentence? I don't agree. I take the principle of non-contradiction to be a highly generalised observation of how the world works (and Russell agrees with me).
5. Theory of Logic / F. Referring in Logic / 2. Descriptions / b. Definite descriptions
Definite descriptions, unlike proper names, have a logical structure [Linsky,B]
     Full Idea: Definite descriptions seem to have a logical structure in a way that proper names do not.
     From: Bernard Linsky (Quantification and Descriptions [2014], 1.1.1)
     A reaction: Thus descriptions have implications which plain names do not.
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / g. Applying mathematics
Scientific laws largely rest on the results of counting and measuring [Brouwer]
     Full Idea: A large part of the natural laws introduced by science treat only of the mutual relations between the results of counting and measuring.
     From: Luitzen E.J. Brouwer (Intuitionism and Formalism [1912], p.77)
     A reaction: His point, I take it, is that the higher reaches of numbers have lost touch with the original point of the system. I now see the whole issue as just depending on conventions about the agreed extension of the word 'number'.
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / b. Intuitionism
Intuitionists only accept denumerable sets [Brouwer]
     Full Idea: The intuitionist recognises only the existence of denumerable sets.
     From: Luitzen E.J. Brouwer (Intuitionism and Formalism [1912], p.80)
     A reaction: That takes you up to omega, but not beyond, presumably because it then loses sight of the original intuition of 'bare two-oneness' (Idea 12453). I sympathise, but the word 'number' has shifted its meaning a lot these days.
Neo-intuitionism abstracts from the reuniting of moments, to intuit bare two-oneness [Brouwer]
     Full Idea: Neo-intuitionism sees the falling apart of moments, reunited while remaining separated in time, as the fundamental phenomenon of human intellect, passing by abstracting to mathematical thinking, the intuition of bare two-oneness.
     From: Luitzen E.J. Brouwer (Intuitionism and Formalism [1912], p.80)
     A reaction: [compressed] A famous and somewhat obscure idea. He goes on to say that this creates one and two, and all the finite ordinals.
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]
     Full Idea: The concern of mathematical intuitionists was that the use of certain forms of inference generates, not contradiction, but unjustified assertions.
     From: report of Luitzen E.J. Brouwer (Intuitionism and Formalism [1912]) by A.George / D.J.Velleman - Philosophies of Mathematics Ch.6
     A reaction: This seems to be the real origin of the verificationist idea in the theory of meaning. It is a hugely revolutionary idea - that ideas are not only ruled out of court by contradiction, but that there are other criteria which should also be met.
22. Metaethics / A. Ethics Foundations / 1. Nature of Ethics / h. Against ethics
Only the Cyrenaics reject the idea of a final moral end [Aristippus elder, by Annas]
     Full Idea: The Cyrenaics are the most radical ancient moral philosophers, since they are the only school explicitly to reject the importance of achieving an overall final end.
     From: report of Aristippus the elder (fragments/reports [c.395 BCE]) by Julia Annas - The Morality of Happiness 11.1
     A reaction: This looks like dropping out, but it could also be Keats's 'negative capability', of simply participating in existence without needing to do anything about it.
22. Metaethics / C. The Good / 2. Happiness / d. Routes to happiness
The road of freedom is the surest route to happiness [Aristippus elder, by Xenophon]
     Full Idea: The surest road to happiness is not the path through rule nor through servitude, but through liberty.
     From: report of Aristippus the elder (fragments/reports [c.395 BCE]) by Xenophon - Memorabilia of Socrates 2.1.9
     A reaction: The great anarchist slogan. Personally I don't believe it, because I agree a little with Hobbes that authority is required to make cooperation flourish, and that is essential for full happiness. If I were a slave, I would agree with Aristippus.
23. Ethics / A. Egoism / 3. Cyrenaic School
People who object to extravagant pleasures just love money [Aristippus elder, by Diog. Laertius]
     Full Idea: When blamed for buying expensive food he asked "Would you have bought it for just three obols?" When the person said yes, he said,"Then it is not that I am fond of pleasure, but that you are fond of money".
     From: report of Aristippus the elder (fragments/reports [c.395 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.7.4
Pleasure is the good, because we always seek it, it satisfies us, and its opposite is the most avoidable thing [Aristippus elder, by Diog. Laertius]
     Full Idea: Pleasure is the good because we desire it from childhood, when we have it we seek nothing further, and the most avoidable thing is its opposite, pain.
     From: report of Aristippus the elder (fragments/reports [c.395 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.Ar.8
25. Social Practice / D. Justice / 3. Punishment / b. Retribution for crime
Errors result from external influence, and should be corrected, not hated [Aristippus elder, by Diog. Laertius]
     Full Idea: Errors ought to meet with pardon, for a man does not err intentionally, but influenced by some external circumstances. We should not hate someone who has erred, but teach him better.
     From: report of Aristippus the elder (fragments/reports [c.395 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.Ar.9