Combining Texts

All the ideas for 'Phaedo', 'Proslogion' and 'Intuitionism and Formalism'

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


39 ideas

1. Philosophy / A. Wisdom / 1. Nature of Wisdom
Wisdom makes virtue and true goodness possible [Plato]
     Full Idea: It is wisdom that makes possible courage and self-control and integrity or, in a word, true goodness.
     From: Plato (Phaedo [c.374 BCE], 069b)
     A reaction: Aristotle also says that prudence (phronesis) makes virtue possible.
1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / b. Philosophy as transcendent
Philosophy is a purification of the soul ready for the afterlife [Plato]
     Full Idea: Souls which have purified themselves sufficiently by philosophy will live after death without bodies.
     From: Plato (Phaedo [c.374 BCE], 114b)
     A reaction: Purifying it of what? Error, or desire, or narrow-mindedness, or the physical?
2. Reason / A. Nature of Reason / 3. Pure Reason
In investigation the body leads us astray, but the soul gets a clear view of the facts [Plato]
     Full Idea: When philosophers investigate with the help of the body they are led astray, but through reflection the soul gets a clear view of the facts.
     From: Plato (Phaedo [c.374 BCE], 065c)
The soul on its own enters a pure, unchanging and eternal realm, and experiences wisdom [Plato]
     Full Idea: When the soul investigates by itself it passes into the realm of the pure, ever existing, immortal and unchanging, …and its experience is then what is called wisdom
     From: Plato (Phaedo [c.374 BCE], 79d)
     A reaction: Plato is probably the main source of something we can call 'pure' reason. It is a bit surprising that it took 2,000 years before someone thought to attempt a critique of it.
2. Reason / A. Nature of Reason / 7. Status of Reason
The greatest misfortune for a person is to develop a dislike for argument [Plato]
     Full Idea: No greater misfortune could happen to anyone than developing a dislike for argument.
     From: Plato (Phaedo [c.374 BCE], 089d)
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).
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / f. Arithmetic
If you add one to one, which one becomes two, or do they both become two? [Plato]
     Full Idea: I cannot convince myself that when you add one to one either the first or the second one becomes two, or they both become two by the addition of the one to the other, ...or that when you divide one, the cause of becoming two is now the division.
     From: Plato (Phaedo [c.374 BCE], 097d)
     A reaction: Lovely questions, all leading to the conclusion that two consists of partaking in duality, to which you can come by several different routes.
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.
8. Modes of Existence / A. Relations / 2. Internal Relations
If Simmias is taller than Socrates, that isn't a feature that is just in Simmias [Plato]
     Full Idea: When you say Simmias is taller than Socrates but shorter than Phaedo, so you mean there is in Simmias both tallness and shortness? - I do. ...But surely he is not taller than Socrates because he is Simmias but because of the tallness he happens to have?
     From: Plato (Phaedo [c.374 BCE], 102b-c)
     A reaction: He adds that both people must be cited. This appears to be what we now call a rejection relative height as an 'internal' relation, which is it would presumably be if it was a feature of one or of both men.
8. Modes of Existence / D. Universals / 6. Platonic Forms / a. Platonic Forms
We must have a prior knowledge of equality, if we see 'equal' things and realise they fall short of it [Plato]
     Full Idea: We must have some previous knowledge of equality, before the time when we saw equal things, but realised that they fell short of it.
     From: Plato (Phaedo [c.374 BCE], 075a)
The Forms arise whenever we talk of something 'in itself'. [Plato]
     Full Idea: Our present argument is about …the Equal, the Beautiful itself, the Good itself, the Just, the Pious, and about all those things to which we can attach the word 'itself', both when we are putting questions and when we are answering them.
     From: Plato (Phaedo [c.374 BCE], 75d)
     A reaction: This identifies the Forms with ideas which emerge during philosophical conversation (either the 'elenchus' interrogation or the 'dialectic' discussion). So they arise from using language. The 'itself' test works quite well in English. Cf essentialism.
Things like the Equal and the Beautiful, which are real, must be unchanging [Plato]
     Full Idea: Are these things ever the same …or do they vary from one time to another; can the Equal itself, the Beautiful itself, …the real, ever be affected by any change? - It must remain the same. …They can only be grasped by the reasoning part of the mind.
     From: Plato (Phaedo [c.374 BCE], 78d)
     A reaction: Note the assertion that they are 'real', as well as unchanging. It is hard to make sense of 'the Equal' as a Form. We can more easily see what is in common among beautiful things. The number three is equal and unequal. But see 74d.
8. Modes of Existence / D. Universals / 6. Platonic Forms / b. Partaking
One and one can only become two by sharing in Twoness [Plato]
     Full Idea: You do not know how else [when one is added to one it becomes two] except by sharing in a particular reality, which does not have any other cause of becoming two except by sharing in Twoness, …as that which is one must share in Oneness.
     From: Plato (Phaedo [c.374 BCE], 101c)
     A reaction: Close readers of such passages have always been baffled by what sharing [partaking, metechein] could actually mean. How can two apples 'share' a pure eternal idea? The best approach is, I'm afraid, mental files.
Other things are named after the Forms because they participate in them [Plato]
     Full Idea: The reason why other things are called after the forms is that they participate in the forms.
     From: Plato (Phaedo [c.374 BCE], 102a)
There is only one source for all beauty [Plato]
     Full Idea: If anything is beautiful other than beauty itself, it is beautiful for no other reason but because it participates in that beautiful.
     From: Plato (Phaedo [c.374 BCE], 100c)
     A reaction: The Greek word will be 'kalon' (beautiful, fine, noble). Like Aristotle, I find it baffling that such diversity could have a single source. Beautiful things have diverse aims.
9. Objects / E. Objects over Time / 9. Ship of Theseus
The ship which Theseus took to Crete is now sent to Delos crowned with flowers [Plato]
     Full Idea: The day before the trial the prow of the ship that the Athenians send to Delos had been crowned with garlands. - Which ship is that? - It is the ship in which, the Athenians say, Theseus once sailed to Crete, taking the victims.
     From: Plato (Phaedo [c.374 BCE], 058a)
     A reaction: Not philosophical, but this is the Ship of Theseus whose subsequent identity, Plutarch tells us, became a matter of dispute.
12. Knowledge Sources / A. A Priori Knowledge / 3. Innate Knowledge / b. Recollection doctrine
People are obviously recollecting when they react to a geometrical diagram [Plato]
     Full Idea: The way in which people react to a geometrical diagram or anything like that is unmistakable proof of the theory of recollection.
     From: Plato (Phaedo [c.374 BCE], 073a)
If we feel the inadequacy of a resemblance, we must recollect the original [Plato]
     Full Idea: If someone sees a resemblance, but feels that it falls far short of the original, they must therefore have a recollection of the original.
     From: Plato (Phaedo [c.374 BCE], 074e)
12. Knowledge Sources / A. A Priori Knowledge / 6. A Priori from Reason
To achieve pure knowledge, we must get rid of the body and contemplate things with the soul [Plato]
     Full Idea: We are convinced that if we are ever to have pure knowledge of anything, we must get rid of the body and contemplate things by themselves with the soul by itself.
     From: Plato (Phaedo [c.374 BCE], 066c)
     A reaction: This seems to be the original ideal which motivates the devotion to a priori knowledge - that it will lead to a 'pure' knowledge, which in Plato's case will be eternal and necessary knowledge, like taking lessons from the gods. Wrong.
14. Science / D. Explanation / 2. Types of Explanation / g. Causal explanations
To investigate the causes of things, study what is best for them [Plato]
     Full Idea: If one wished to know the cause of each thing, why it comes to be or perishes or exists, one had to find what was the best way for it to be, or to be acted upon, or to act. Then it befitted a man to investigate only ...what is best.
     From: Plato (Phaedo [c.374 BCE], 097d)
     A reaction: A reversal of the modern idea of 'best explanation'. Socrates is citing Anaxagoras's proposal to understand things by interpreting the workings of a supreme Mind. It is the religious version of best explanation.
15. Nature of Minds / A. Nature of Mind / 8. Brain
Do we think and experience with blood, air or fire, or could it be our brain? [Plato]
     Full Idea: Is it with the blood that we think, or with the air or the fire that is in us? Or is it none of these, but the brain that supplies our senses of hearing and sight and smell.
     From: Plato (Phaedo [c.374 BCE], 097a)
     A reaction: In retrospect it seems surprising that such clever people hadn't worked this one out, given the evidence of anatomy, in animals and people, and given brain injuries. By the time of Galen they appear to have got the answer.
16. Persons / D. Continuity of the Self / 1. Identity and the Self
One soul can't be more or less of a soul than another [Plato]
     Full Idea: Is one soul, even minutely, more or less of a soul than another? Not in the least.
     From: Plato (Phaedo [c.374 BCE], 093b)
     A reaction: This idea is attractive because unconsciousness and death seem to be abrupt procedures, and so appear to be all-or-nothing, but I would personally view extreme Alzheimer's as an erasing of the soul, though a minimum level of it seems all-or-nothing.
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 / C. The Good / 3. Pleasure / e. Role of pleasure
It is a mistake to think that the most violent pleasure or pain is therefore the truest reality [Plato]
     Full Idea: When anyone's soul feels a keen pleasure or pain it cannot help supposing that whatever causes the most violent emotion is the plainest and truest reality - which it is not.
     From: Plato (Phaedo [c.374 BCE], 084c)
     A reaction: Do people think that? Most people distinguish subjective from objective. Wounded soldiers are also aware of victory or defeat.
23. Ethics / C. Virtue Theory / 4. External Goods / c. Wealth
War aims at the acquisition of wealth, because we are enslaved to the body [Plato]
     Full Idea: All wars are undertaken for the acquisition of wealth, and we want this because of the body, to which we are slave.
     From: Plato (Phaedo [c.374 BCE], 066c)
26. Natural Theory / C. Causation / 2. Types of cause
Fancy being unable to distinguish a cause from its necessary background conditions! [Plato]
     Full Idea: Fancy being unable to distinguish between the cause of a thing, and the condition without which it could not be a cause.
     From: Plato (Phaedo [c.374 BCE], 099c)
     A reaction: Not as simple as he thinks. It seems fairly easy to construct a case where the immediately impacting event remains constant, and the background condition is changed. Even worse when negligence is held to be the cause.
27. Natural Reality / E. Cosmology / 1. Cosmology
If the Earth is spherical and in the centre, it is kept in place by universal symmetry, not by force [Plato]
     Full Idea: If the earth is spherical and in the middle of the heavens, it needs neither air nor force to keep it from falling. The uniformity of heaven and equilibrium of earth are sufficient support.
     From: Plato (Phaedo [c.374 BCE], 108e)
28. God / B. Proving God / 2. Proofs of Reason / a. Ontological Proof
An existing thing is even greater if its non-existence is inconceivable [Anselm]
     Full Idea: Something can be thought of as existing, which cannot be thought of as not existing, and this is greater than that which cannot be thought of as not existing.
     From: Anselm (Proslogion [1090], Ch 3)
     A reaction: This is a necessary addition, to single out the concept of God as special. But you really must give reasons for saying God's non-existence is inconceivable. Atheists seem to manage.
Conceiving a greater being than God leads to absurdity [Anselm]
     Full Idea: If some mind could think of something better than thou, the creature would rise above the Creator and judge its Creator; but this is altogether absurd.
     From: Anselm (Proslogion [1090], Ch 3)
     A reaction: An error, revealing a certain desperation. If a greafer being could be conceived than the being so far imagined as God (a necessarily existing being), that being would BE God, by his own argument (and not some arrogant 'creature').
If that than which a greater cannot be thought actually exists, that is greater than the mere idea [Anselm]
     Full Idea: Clearly that than which a greater cannot be thought cannot exist in the understanding alone. For it it is actually in the understanding alone, it can be thought of as existing also in reality, and this is greater.
     From: Anselm (Proslogion [1090], Ch 2)
     A reaction: The suppressed premise is 'something actually existing is greater than the mere conception of it'. As it stands this is wrong. I can imagine a supreme evil. But see Idea 21243.
Even the fool can hold 'a being than which none greater exists' in his understanding [Anselm]
     Full Idea: Even the fool must be convinced that a being than which none greater can be thought exists at least in his understanding, since when he hears this he understands it, and whatever is understood is in the understanding.
     From: Anselm (Proslogion [1090], Ch 2)
     A reaction: Psalm 14.1: 'The fool hath said in his heart, there is no God'. But how does the fool interpret the words, if he has limited imagination? He might get no further than an attractive film star. He would need prompting to think of a spiritual being.
A perfection must be independent and unlimited, and the necessary existence of Anselm's second proof gives this [Malcolm on Anselm]
     Full Idea: Anselm's second proof works, because he sees that necessary existence (or the impossibility of non-existence) really is a perfection. This is because a perfection requires no dependence or limit or impediment.
     From: comment on Anselm (Proslogion [1090], Ch 3) by Norman Malcolm - Anselm's Argument Sect II
     A reaction: I have the usual problem, that it doesn't seem to follow that the perfect existence of something bestows a perfection. It may be necessary that 'for every large animal there exists a disease'. Satan may exist necessarily.
The word 'God' can be denied, but understanding shows God must exist [Anselm]
     Full Idea: We think of a thing when we say the world, and in another way when we think of the very thing itself. In the second sense God cannot be thought of as nonexistent. No one who understands can think God does not exist.
     From: Anselm (Proslogion [1090], Ch 4)
     A reaction: It seems open to the atheist to claim the exact opposite - that you can commit to God's existence if it is just a word, but understanding shows that God is impossible (perhaps because of contradictions). How to arbitrate?
Guanilo says a supremely fertile island must exist, just because we can conceive it [Anselm]
     Full Idea: Guanilo supposes that we imagine an island surpassing all lands in its fertility. We might then say that we cannot doubt that it truly exists is reality, because anyone can conceive it from a verbal description.
     From: Anselm (Proslogion [1090], Reply 3)
     A reaction: Guanilo was a very naughty monk, who must have had sleepless nights over this. One could further ask whether an island might have necessary existence. Anselm needs 'a being' to be a special category of thing.
Nonexistence is impossible for the greatest thinkable thing, which has no beginning or end [Anselm]
     Full Idea: If anyone does think of something a greater than which cannot be thought, then he thinks of something which cannot be thought of as nonexistent, ...for then it could be thought of as having a beginning and an end. And this is impossible.
     From: Anselm (Proslogion [1090], Reply 3)
     A reaction: A nice idea, but it has a flip side. If the atheist denies God's existence, then it follows that (because no beginning is possible for such a being) the existence of God is impossible. Anselm adds that contingent existents have parts (unlike God).
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]
     Full Idea: Anselm's first proof fails, because he treats existence as being a perfection, which it isn't, because that would make it a real predicate.
     From: comment on Anselm (Proslogion [1090], Ch 2) by Norman Malcolm - Anselm's Argument Sect I
     A reaction: Not everyone accepts Kant's claim that existence cannot be a predicate. They all seem to know what a perfection is. Can the Mona Lisa (an object) not be a perfection? Must it be broken down into perfect predicates?
29. Religion / D. Religious Issues / 2. Immortality / a. Immortality
Whether the soul pre-exists our body depends on whether it contains the ultimate standard of reality [Plato]
     Full Idea: The theory that our soul exists even before it enters the body surely stands or falls with the soul's possession of the ultimate standard of reality.
     From: Plato (Phaedo [c.374 BCE], 092d)