32 ideas
| 7278 | Words of wisdom are precise and clear [Zhuangzi (Chuang Tzu)] |
| Full Idea: Words of wisdom are precise and clear. | |
| From: Zhuangzi (Chuang Tzu) (The Book of Chuang Tzu [c.329 BCE], Ch.2) | |
| A reaction: I can only approve of this. The issue of clarity is much discussed amongs philosophers, especially in the analytic v continental debate. Note, therefore, the additional requirement to be 'precise'. Should we be less clear in order to be precise? |
| 7281 | Don't even start, let's just stay put [Zhuangzi (Chuang Tzu)] |
| Full Idea: Don't even start, let's just stay put. | |
| From: Zhuangzi (Chuang Tzu) (The Book of Chuang Tzu [c.329 BCE], Ch.2) | |
| A reaction: What a remarkable proposal! He seems frightened to make an omelette, because he will have to break an egg, or he might burn himself. I can't relate to this idea, but it's existence must be noted, like other scepticisms. |
| 7282 | Disagreement means you do not understand at all [Zhuangzi (Chuang Tzu)] |
| Full Idea: The sage encompasses everything, while ordinary people just argue about things. Disagreement means you do not understand at all. | |
| From: Zhuangzi (Chuang Tzu) (The Book of Chuang Tzu [c.329 BCE], Ch.2) | |
| A reaction: This is why democracy and western analytical philosophy come as a package. We can't assume that our government is always right, and we can't assume that a 'sage' has managed to encompass everything. Criticism is essential! |
| 7284 | If you beat me in argument, does that mean you are right? [Zhuangzi (Chuang Tzu)] |
| Full Idea: If you get the better of me in a disagreement, rather than me getting the better of you, does this mean that you are automatically right and I am automatically wrong? | |
| From: Zhuangzi (Chuang Tzu) (The Book of Chuang Tzu [c.329 BCE], Ch.2) | |
| A reaction: Very nice. I don't, though, think that this invalidates the process of argument. What matters about such an exchange is the resulting reflection by the two parties. Only a fool thinks that he is right because he won, or wrong because he lost. |
| 10775 | The axiom of choice now seems acceptable and obvious (if it is meaningful) [Tharp] |
| Full Idea: The main objection to the axiom of choice was that it had to be given by some law or definition, but since sets are arbitrary this seems irrelevant. Formalists consider it meaningless, but set-theorists consider it as true, and practically obvious. | |
| From: Leslie H. Tharp (Which Logic is the Right Logic? [1975], §3) |
| 10766 | Logic is either for demonstration, or for characterizing structures [Tharp] |
| Full Idea: One can distinguish at least two quite different senses of logic: as an instrument of demonstration, and perhaps as an instrument for the characterization of structures. | |
| From: Leslie H. Tharp (Which Logic is the Right Logic? [1975], §2) | |
| A reaction: This is trying to capture the proof-theory and semantic aspects, but merely 'characterizing' something sounds like a rather feeble aspiration for the semantic side of things. Isn't it to do with truth, rather than just rule-following? |
| 10767 | Elementary logic is complete, but cannot capture mathematics [Tharp] |
| Full Idea: Elementary logic cannot characterize the usual mathematical structures, but seems to be distinguished by its completeness. | |
| From: Leslie H. Tharp (Which Logic is the Right Logic? [1975], §2) |
| 10769 | Second-order logic isn't provable, but will express set-theory and classic problems [Tharp] |
| Full Idea: The expressive power of second-order logic is too great to admit a proof procedure, but is adequate to express set-theoretical statements, and open questions such as the continuum hypothesis or the existence of big cardinals are easily stated. | |
| From: Leslie H. Tharp (Which Logic is the Right Logic? [1975], §2) |
| 10762 | In sentential logic there is a simple proof that all truth functions can be reduced to 'not' and 'and' [Tharp] |
| Full Idea: In sentential logic there is a simple proof that all truth functions, of any number of arguments, are definable from (say) 'not' and 'and'. | |
| From: Leslie H. Tharp (Which Logic is the Right Logic? [1975], §0) | |
| A reaction: The point of 'say' is that it can be got down to two connectives, and these are just the usual preferred pair. |
| 10776 | The main quantifiers extend 'and' and 'or' to infinite domains [Tharp] |
| Full Idea: The symbols ∀ and ∃ may, to start with, be regarded as extrapolations of the truth functional connectives ∧ ('and') and ∨ ('or') to infinite domains. | |
| From: Leslie H. Tharp (Which Logic is the Right Logic? [1975], §5) |
| 10774 | There are at least five unorthodox quantifiers that could be used [Tharp] |
| Full Idea: One might add to one's logic an 'uncountable quantifier', or a 'Chang quantifier', or a 'two-argument quantifier', or 'Shelah's quantifier', or 'branching quantifiers'. | |
| From: Leslie H. Tharp (Which Logic is the Right Logic? [1975], §3) | |
| A reaction: [compressed - just listed for reference, if you collect quantifiers, like collecting butterflies] |
| 10777 | Skolem mistakenly inferred that Cantor's conceptions were illusory [Tharp] |
| Full Idea: Skolem deduced from the Löwenheim-Skolem theorem that 'the absolutist conceptions of Cantor's theory' are 'illusory'. I think it is clear that this conclusion would not follow even if elementary logic were in some sense the true logic, as Skolem assumed. | |
| From: Leslie H. Tharp (Which Logic is the Right Logic? [1975], §7) | |
| A reaction: [Tharp cites Skolem 1962 p.47] Kit Fine refers to accepters of this scepticism about the arithmetic of infinities as 'Skolemites'. |
| 10773 | The Löwenheim-Skolem property is a limitation (e.g. can't say there are uncountably many reals) [Tharp] |
| Full Idea: The Löwenheim-Skolem property seems to be undesirable, in that it states a limitation concerning the distinctions the logic is capable of making, such as saying there are uncountably many reals ('Skolem's Paradox'). | |
| From: Leslie H. Tharp (Which Logic is the Right Logic? [1975], §2) |
| 10765 | Soundness would seem to be an essential requirement of a proof procedure [Tharp] |
| Full Idea: Soundness would seem to be an essential requirement of a proof procedure, since there is little point in proving formulas which may turn out to be false under some interpretation. | |
| From: Leslie H. Tharp (Which Logic is the Right Logic? [1975], §2) |
| 10763 | Completeness and compactness together give axiomatizability [Tharp] |
| Full Idea: Putting completeness and compactness together, one has axiomatizability. | |
| From: Leslie H. Tharp (Which Logic is the Right Logic? [1975], §1) |
| 10770 | If completeness fails there is no algorithm to list the valid formulas [Tharp] |
| Full Idea: In general, if completeness fails there is no algorithm to list the valid formulas. | |
| From: Leslie H. Tharp (Which Logic is the Right Logic? [1975], §2) | |
| A reaction: I.e. the theory is not effectively enumerable. |
| 10771 | Compactness is important for major theories which have infinitely many axioms [Tharp] |
| Full Idea: It is strange that compactness is often ignored in discussions of philosophy of logic, since the most important theories have infinitely many axioms. | |
| From: Leslie H. Tharp (Which Logic is the Right Logic? [1975], §2) | |
| A reaction: An example of infinite axioms is the induction schema in first-order Peano Arithmetic. |
| 10772 | Compactness blocks infinite expansion, and admits non-standard models [Tharp] |
| Full Idea: The compactness condition seems to state some weakness of the logic (as if it were futile to add infinitely many hypotheses). To look at it another way, formalizations of (say) arithmetic will admit of non-standard models. | |
| From: Leslie H. Tharp (Which Logic is the Right Logic? [1975], §2) |
| 10764 | A complete logic has an effective enumeration of the valid formulas [Tharp] |
| Full Idea: A complete logic has an effective enumeration of the valid formulas. | |
| From: Leslie H. Tharp (Which Logic is the Right Logic? [1975], §2) |
| 10768 | Effective enumeration might be proved but not specified, so it won't guarantee knowledge [Tharp] |
| Full Idea: Despite completeness, the mere existence of an effective enumeration of the valid formulas will not, by itself, provide knowledge. For example, one might be able to prove that there is an effective enumeration, without being able to specify one. | |
| From: Leslie H. Tharp (Which Logic is the Right Logic? [1975], §2) | |
| A reaction: The point is that completeness is supposed to ensure knowledge (of what is valid but unprovable), and completeness entails effective enumerability, but more than the latter is needed to do the key job. |
| 7289 | Do not try to do things, or to master knowledge; just be empty [Zhuangzi (Chuang Tzu)] |
| Full Idea: Do not try to do things. Do not try to master knowledge. ...Just be empty. | |
| From: Zhuangzi (Chuang Tzu) (The Book of Chuang Tzu [c.329 BCE], Ch.7) | |
| A reaction: Stands as a nice challenge to the assumption that knowledge is a good thing. Aristotle's views make a nice contrast (Ideas 548 and 549). Personally I totally agree with Aristotle, and with the western tradition. |
| 23403 | You know you were dreaming when you wake, but there might then be a greater awakening from that [Zhuangzi (Chuang Tzu)] |
| Full Idea: Often after waking do you know that your dream was a dream. Still, there may be an even greater awakening after which you will know that this, too, was just a greater dream. | |
| From: Zhuangzi (Chuang Tzu) (The Book of Chuang Tzu [c.329 BCE], 02), quoted by Bryan van Norden - Intro to Classical Chinese Philosophy 9.2 | |
| A reaction: This is the key to the full horror of dream scepticism (as dramatised in the film 'The Matrix'). We can never know whether there is yet another awakening about to occur. |
| 7285 | Did Chuang Tzu dream he was a butterfly, or a butterfly dream he was Chuang Tzu? [Zhuangzi (Chuang Tzu)] |
| Full Idea: Once I, Chuang Tzu, dreamt that I was a butterfly, flitting around and enjoying myself. Suddenly I woke and was Chuang Tzu again. But had I been Chuang Tzu dreaming I was a butterfly, or a butterfly dreaming I was now Chuang Tzu? | |
| From: Zhuangzi (Chuang Tzu) (The Book of Chuang Tzu [c.329 BCE], Ch.2) | |
| A reaction: Plato (Idea 2047) also spotted this problem, later made famous by Descartes (Idea 2250). Given the size of a butterfly's brain, this suggests that Chuang Tzu was a dualist. What can't I take the idea seriously, when reason says I should? |
| 7277 | The perfect man has no self [Zhuangzi (Chuang Tzu)] |
| Full Idea: As the saying goes, 'The perfect man has no self' | |
| From: Zhuangzi (Chuang Tzu) (The Book of Chuang Tzu [c.329 BCE], Ch.1) | |
| A reaction: This seems to be quoted with approval. This is interesting because it implies that lesser beings do have a self, and that having a self is a moral issue, and one which can be controlled. One could, I suppose, concentrate on externals. |
| 7286 | To see with true clarity, your self must be irrelevant [Zhuangzi (Chuang Tzu)] |
| Full Idea: When a man discerns his own self as irrelevant, he sees with true clarity. | |
| From: Zhuangzi (Chuang Tzu) (The Book of Chuang Tzu [c.329 BCE], Ch.6) | |
| A reaction: Seeing 'with clarity' is only one of the ways of seeing, and one mustn't unquestioningly assume that it is the best. Wisdom should contemplate vision with and without the self, and then rise higher and compare the two views. Compare Parfit (Idea 5518). |
| 7279 | If words can't be defined, they may just be the chirruping of chicks [Zhuangzi (Chuang Tzu)] |
| Full Idea: Our words are not just hot air. Words work because they are something, but the problem is that, if we cannot define a word's meaning, it doesn't really say anything. Can we make a case for it being anything different from the chirruping of chicks? | |
| From: Zhuangzi (Chuang Tzu) (The Book of Chuang Tzu [c.329 BCE], Ch.2) | |
| A reaction: This obviously points us towards Quine's challenge to analyticity, and hence the value of definitions (Ideas 1622 and 1624). Even for Chuang Tzu, it seems naïve to think that you cannot use a word well if you cannot define it. |
| 23404 | Words are for meaning, and once you have that you can forget the words [Zhuangzi (Chuang Tzu)] |
| Full Idea: Words are for meaning: when you've gotten the meaning, you can forget the words. | |
| From: Zhuangzi (Chuang Tzu) (The Book of Chuang Tzu [c.329 BCE], 26), quoted by Bryan van Norden - Intro to Classical Chinese Philosophy 9.VI | |
| A reaction: 'What exactly did this person say?' 'Don't know, but I've given you the accurate gist'. This is such an obvious phenomenon that I amazed by modern philosophers who deny propositions, or deny meaning entirely. |
| 7283 | Great courage is not violent [Zhuangzi (Chuang Tzu)] |
| Full Idea: Great courage is not violent. | |
| From: Zhuangzi (Chuang Tzu) (The Book of Chuang Tzu [c.329 BCE], Ch.2) | |
| A reaction: A very nice remark. This, I think, is what the Greeks were struggling to say about courage, but they never quite pinned it down as Chuang Tzu does. |
| 6005 | Animals are dangerous and nourishing, and can't form contracts of justice [Hermarchus, by Sedley] |
| Full Idea: Hermarchus said that animal killing is justified by considerations of human safety and nourishment and by animals' inability to form contractual relations of justice with us. | |
| From: report of Hermarchus (fragments/reports [c.270 BCE]) by David A. Sedley - Hermarchus | |
| A reaction: Could the last argument be used to justify torturing animals? Or could we eat a human who was too brain-damaged to form contracts? |
| 7280 | As all life is one, what need is there for words? [Zhuangzi (Chuang Tzu)] |
| Full Idea: As all life is one, what need is there for words? | |
| From: Zhuangzi (Chuang Tzu) (The Book of Chuang Tzu [c.329 BCE], Ch.2) | |
| A reaction: In a sense this is nonsense, but it has an appeal. I presume that God would not need words, any more than he would need arithmetic. Life is obviously a complex one, with parts which can be discussed. |
| 7288 | Go with the flow, and be one with the void of Heaven [Zhuangzi (Chuang Tzu)] |
| Full Idea: Don't struggle, go with the flow, and you will find yourself at one with the vastness of the void of Heaven. | |
| From: Zhuangzi (Chuang Tzu) (The Book of Chuang Tzu [c.329 BCE], Ch.6) | |
| A reaction: Ugh. I've got all eternity to do that. The underlying assumption of Taoism seems to be that it is better not to have been born, and if you are thus unfortunate, you should try to pretend that it never happened. Much too negative for my taste. |
| 7287 | Fish forget about each other in the pond and forget each other in the Tao [Zhuangzi (Chuang Tzu)] |
| Full Idea: Fish forget about each other in the pond and forget each other in the Tao. | |
| From: Zhuangzi (Chuang Tzu) (The Book of Chuang Tzu [c.329 BCE], Ch.6) | |
| A reaction: Strikingly different from Christianity. No wonder Europeans used to describe orientals as 'enigmatic'; the faces of Taoists presumably express indifference. Not for me, I'm afraid. I identify with my fellow humans, because of our shared predicaments. |