31 ideas
| 14179 | The finest branch of wisdom is justice and moderation in ordering states and families [Plato] |
| Full Idea: By far the greatest and fairest branch of wisdom is that which is concerned with the due ordering of states and families, whose name is moderation and justice. | |
| From: Plato (The Symposium [c.384 BCE], 209a) | |
| A reaction: ['Justice' is probably 'dikaiosune'] It is hard to disagree with this, and it relegates ivory tower philosophical contemplation to second place, unlike the late books of Aristotle's Ethics. |
| 13838 | A decent modern definition should always imply a semantics [Hacking] |
| Full Idea: Today we expect that anything worth calling a definition should imply a semantics. | |
| From: Ian Hacking (What is Logic? [1979], §10) | |
| A reaction: He compares this with Gentzen 1935, who was attempting purely syntactic definitions of the logical connectives. |
| 13833 | 'Thinning' ('dilution') is the key difference between deduction (which allows it) and induction [Hacking] |
| Full Idea: 'Dilution' (or 'Thinning') provides an essential contrast between deductive and inductive reasoning; for the introduction of new premises may spoil an inductive inference. | |
| From: Ian Hacking (What is Logic? [1979], §06.2) | |
| A reaction: That is, inductive logic (if there is such a thing) is clearly non-monotonic, whereas classical inductive logic is monotonic. |
| 13834 | Gentzen's Cut Rule (or transitivity of deduction) is 'If A |- B and B |- C, then A |- C' [Hacking] |
| Full Idea: If A |- B and B |- C, then A |- C. This generalises to: If Γ|-A,Θ and Γ,A |- Θ, then Γ |- Θ. Gentzen called this 'cut'. It is the transitivity of a deduction. | |
| From: Ian Hacking (What is Logic? [1979], §06.3) | |
| A reaction: I read the generalisation as 'If A can be either a premise or a conclusion, you can bypass it'. The first version is just transitivity (which by-passes the middle step). |
| 13835 | Only Cut reduces complexity, so logic is constructive without it, and it can be dispensed with [Hacking] |
| Full Idea: Only the cut rule can have a conclusion that is less complex than its premises. Hence when cut is not used, a derivation is quite literally constructive, building up from components. Any theorem obtained by cut can be obtained without it. | |
| From: Ian Hacking (What is Logic? [1979], §08) |
| 13845 | The various logics are abstractions made from terms like 'if...then' in English [Hacking] |
| Full Idea: I don't believe English is by nature classical or intuitionistic etc. These are abstractions made by logicians. Logicians attend to numerous different objects that might be served by 'If...then', like material conditional, strict or relevant implication. | |
| From: Ian Hacking (What is Logic? [1979], §15) | |
| A reaction: The idea that they are 'abstractions' is close to my heart. Abstractions from what? Surely 'if...then' has a standard character when employed in normal conversation? |
| 13840 | First-order logic is the strongest complete compact theory with Löwenheim-Skolem [Hacking] |
| Full Idea: First-order logic is the strongest complete compact theory with a Löwenheim-Skolem theorem. | |
| From: Ian Hacking (What is Logic? [1979], §13) |
| 13844 | A limitation of first-order logic is that it cannot handle branching quantifiers [Hacking] |
| Full Idea: Henkin proved that there is no first-order treatment of branching quantifiers, which do not seem to involve any idea that is fundamentally different from ordinary quantification. | |
| From: Ian Hacking (What is Logic? [1979], §13) | |
| A reaction: See Hacking for an example of branching quantifiers. Hacking is impressed by this as a real limitation of the first-order logic which he generally favours. |
| 13842 | Second-order completeness seems to need intensional entities and possible worlds [Hacking] |
| Full Idea: Second-order logic has no chance of a completeness theorem unless one ventures into intensional entities and possible worlds. | |
| From: Ian Hacking (What is Logic? [1979], §13) |
| 13837 | With a pure notion of truth and consequence, the meanings of connectives are fixed syntactically [Hacking] |
| Full Idea: My doctrine is that the peculiarity of the logical constants resides precisely in that given a certain pure notion of truth and consequence, all the desirable semantic properties of the constants are determined by their syntactic properties. | |
| From: Ian Hacking (What is Logic? [1979], §09) | |
| A reaction: He opposes this to Peacocke 1976, who claims that the logical connectives are essentially semantic in character, concerned with the preservation of truth. |
| 13839 | Perhaps variables could be dispensed with, by arrows joining places in the scope of quantifiers [Hacking] |
| Full Idea: For some purposes the variables of first-order logic can be regarded as prepositions and place-holders that could in principle be dispensed with, say by a system of arrows indicating what places fall in the scope of which quantifier. | |
| From: Ian Hacking (What is Logic? [1979], §11) | |
| A reaction: I tend to think of variables as either pronouns, or as definite descriptions, or as temporary names, but not as prepositions. Must address this new idea... |
| 13843 | If it is a logic, the Löwenheim-Skolem theorem holds for it [Hacking] |
| Full Idea: A Löwenheim-Skolem theorem holds for anything which, on my delineation, is a logic. | |
| From: Ian Hacking (What is Logic? [1979], §13) | |
| A reaction: I take this to be an unusually conservative view. Shapiro is the chap who can give you an alternative view of these things, or Boolos. |
| 1607 | Diotima said the Forms are the objects of desire in philosophical discourse [Plato, by Roochnik] |
| Full Idea: According to Diotima, the Forms are the objects of desire operative in philosophical discourse. | |
| From: report of Plato (The Symposium [c.384 BCE], 210a4-) by David Roochnik - The Tragedy of Reason p.199 |
| 174 | True opinion without reason is midway between wisdom and ignorance [Plato] |
| Full Idea: There is a state of mind half-way between wisdom and ignorance - having true opinions without being able to give reasons for them. | |
| From: Plato (The Symposium [c.384 BCE], 202a) | |
| A reaction: Compare Idea 2140, where Plato scorns this state of mind. What he describes could be split into two - purely lucky true beliefs, and 'externalist knowledge', with non-conscious justification. |
| 180 | We call a person the same throughout life, but all their attributes change [Plato] |
| Full Idea: During the period from boyhood to old age, man does not retain the same attributes, though he is called the same person. | |
| From: Plato (The Symposium [c.384 BCE], 207d) | |
| A reaction: This precisely identifies the basic problem of personal identity over time. If this is the problem, DNA looks more and more significant for the answer, though it would be an awful mistake to think a pattern of DNA was a person. |
| 181 | Only the gods stay unchanged; we replace our losses with similar acquisitions [Plato] |
| Full Idea: We retain identity not by staying the same (the preserve of gods) but by replacing losses with new similar acquisitions. | |
| From: Plato (The Symposium [c.384 BCE], 208b) | |
| A reaction: Any modern student of personal identity should be intrigued by this remark! It appears to take a rather physical view of the matter, and to be aware of human biology as a process. Are my continuing desires token-identical, or just 'similar'? |
| 172 | Love of ugliness is impossible [Plato] |
| Full Idea: There cannot be such a thing as love of ugliness. | |
| From: Plato (The Symposium [c.384 BCE], 201a) |
| 4026 | Beauty is harmony with what is divine, and ugliness is lack of such harmony [Plato] |
| Full Idea: Ugliness is out of harmony with everything that is godly; beauty, however, is in harmony with the divine. | |
| From: Plato (The Symposium [c.384 BCE], 206d) | |
| A reaction: This remark shows how the concept of 'harmony' is at the centre of Greek thought (and is a potential bridge of the is/ought gap). |
| 173 | Beauty and goodness are the same [Plato] |
| Full Idea: What is good is the same as what is beautiful. | |
| From: Plato (The Symposium [c.384 BCE], 201c) |
| 183 | Stage two is the realisation that beauty of soul is of more value than beauty of body [Plato] |
| Full Idea: The second stage of progress is to realise that beauty of soul is more valuable than beauty of body. | |
| From: Plato (The Symposium [c.384 BCE], 210b) |
| 184 | Progress goes from physical beauty, to moral beauty, to the beauty of knowledge, and reaches absolute beauty [Plato] |
| Full Idea: One should step up from physical beauty, to moral beauty, to the beauty of knowledge, until at last one knows what absolute beauty is. | |
| From: Plato (The Symposium [c.384 BCE], 211c) | |
| A reaction: Presumably this is why Socrates refused sexual favours to Alcibiades. The idea is inspiring, and yet it is a rejection of humanity. |
| 171 | Music is a knowledge of love in the realm of harmony and rhythm [Plato] |
| Full Idea: Music may be called a knowledge of the principles of love in the realm of harmony and rhythm. | |
| From: Plato (The Symposium [c.384 BCE], 187c) |
| 179 | Love is desire for perpetual possession of the good [Plato] |
| Full Idea: Love is desire for perpetual possession of the good. | |
| From: Plato (The Symposium [c.384 BCE], 206a) | |
| A reaction: Even the worst human beings often have lovers. 'Perpetual' is a nice observation. |
| 14177 | Love assists men in achieving merit and happiness [Plato] |
| Full Idea: Phaedrus: Love is not only the oldest and most honourable of the gods, but also the most powerful to assist men in the acquisition of merit and happiness, both here and hereafter. | |
| From: Plato (The Symposium [c.384 BCE], 180b) | |
| A reaction: Maybe we should talk less of love as a feeling, and more as a motivation, not just in human relationships, but in activities like gardening and database compilation. |
| 176 | Love follows beauty, wisdom is exceptionally beautiful, so love follows wisdom [Plato] |
| Full Idea: Wisdom is one of the most beautiful of things, and Love is love of beauty, so it follows that Love must be a love of wisdom. | |
| From: Plato (The Symposium [c.384 BCE], 204b) | |
| A reaction: Good, but wisdom isn't the only exceptionally beautiful thing. Music is beautiful partly because it is devoid of ideas. |
| 177 | If a person is good they will automatically become happy [Plato] |
| Full Idea: 'What will be gained by a man who is good?' 'That is easy - he will be happy'. | |
| From: Plato (The Symposium [c.384 BCE], 205a) | |
| A reaction: Suppose you tried to assassinate Hitler in 1944 (a good deed), but failed. Happiness presumably results from success, rather than mere good intentions. |
| 14178 | Happiness is secure enjoyment of what is good and beautiful [Plato] |
| Full Idea: By happy you mean in secure enjoyment of what is good and beautiful? - Certainly. | |
| From: Plato (The Symposium [c.384 BCE], 202c) | |
| A reaction: We seem to have lost track of the idea that beauty might be an essential ingredient of happiness. |
| 170 | The only slavery which is not dishonourable is slavery to excellence [Plato] |
| Full Idea: The only form of servitude which has no dishonour has for its object the acquisition of excellence. | |
| From: Plato (The Symposium [c.384 BCE], 184c) |
| 182 | The first step on the right path is the contemplation of physical beauty when young [Plato] |
| Full Idea: The man who would pursue the right way to his goal must begin, when he is young, by contemplating physical beauty. | |
| From: Plato (The Symposium [c.384 BCE], 210a) |
| 6570 | Imagine millions made happy on condition that one person suffers endless lonely torture [James] |
| Full Idea: Consider a case in which millions could be made permanently happy on the one simple condition that a certain lost soul on the far-off edge of things should lead a life of lonely torture. | |
| From: William James (The Will to Believe [1896], p.188), quoted by Robert Fogelin - Walking the Tightrope of Reason Ch.2 | |
| A reaction: This seems to be one of the earliest pinpointings of a key problem with utilitiarianism, which is that other values than happiness (in this case, fairness) seem to be utterly overruled. If we ignore fairness, why shouldn't we ignore happiness? |
| 175 | Gods are not lovers of wisdom, because they are already wise [Plato] |
| Full Idea: No god is a lover of wisdom or desires to be wise, for he is wise already. | |
| From: Plato (The Symposium [c.384 BCE], 204a) |