19 ideas
| 5893 | A wise man has integrity, firmness of will, nobility, consistency, sobriety, patience [Cicero] |
| Full Idea: The wise man does nothing of which he can repent, nothing against his will, does everything nobly, consistently, soberly, rightly, not looking forward to anything as bound to come, is not astonished at any novel occurrence, abides by his own decisions. | |
| From: M. Tullius Cicero (Tusculan Disputations [c.44 BCE], V.xxviii) | |
| A reaction: Notice that the wise man never exhibits weakness of will (an Aristotelian virtue), and is consistent (as Kant proposed), and is patient (as the Stoics proposed). But Cicero doesn't think he should busy himself maximising happiness. |
| 5891 | Philosophy is the collection of rational arguments [Cicero] |
| Full Idea: Philosophy consists in the collection of rational arguments. [Philosophia ex rationum collatione constet] | |
| From: M. Tullius Cicero (Tusculan Disputations [c.44 BCE], IV.xxxviii.84) | |
| A reaction: A nice epigraph for this database. Philosophy is, I trust, a little more than that, because you don't just hide them away in a drawer. But if you arrange them nicely in a museum (a website, for example), not a lot more can be done. |
| 10282 | Logic is the study of sound argument, or of certain artificial languages (or applying the latter to the former) [Hodges,W] |
| Full Idea: A logic is a collection of closely related artificial languages, and its older meaning is the study of the rules of sound argument. The languages can be used as a framework for studying rules of argument. | |
| From: Wilfrid Hodges (First-Order Logic [2001], 1.1) | |
| A reaction: [Hodges then says he will stick to the languages] The suspicion is that one might confine the subject to the artificial languages simply because it is easier, and avoids the tricky philosophical questions. That approximates to computer programming. |
| 10283 | A formula needs an 'interpretation' of its constants, and a 'valuation' of its variables [Hodges,W] |
| Full Idea: To have a truth-value, a first-order formula needs an 'interpretation' (I) of its constants, and a 'valuation' (ν) of its variables. Something in the world is attached to the constants; objects are attached to variables. | |
| From: Wilfrid Hodges (First-Order Logic [2001], 1.3) |
| 10284 | There are three different standard presentations of semantics [Hodges,W] |
| Full Idea: Semantic rules can be presented in 'Tarski style', where the interpretation-plus-valuation is reduced to the same question for simpler formulas, or the 'Henkin-Hintikka style' in terms of games, or the 'Barwise-Etchemendy style' for computers. | |
| From: Wilfrid Hodges (First-Order Logic [2001], 1.3) | |
| A reaction: I haven't yet got the hang of the latter two, but I note them to map the territory. |
| 10285 | I |= φ means that the formula φ is true in the interpretation I [Hodges,W] |
| Full Idea: I |= φ means that the formula φ is true in the interpretation I. | |
| From: Wilfrid Hodges (First-Order Logic [2001], 1.5) | |
| A reaction: [There should be no space between the vertical and the two horizontals!] This contrasts with |-, which means 'is proved in'. That is a syntactic or proof-theoretic symbol, whereas |= is a semantic symbol (involving truth). |
| 10288 | Down Löwenheim-Skolem: if a countable language has a consistent theory, that has a countable model [Hodges,W] |
| Full Idea: Downward Löwenheim-Skolem (the weakest form): If L is a first-order language with at most countably many formulas, and T is a consistent theory in L. Then T has a model with at most countably many elements. | |
| From: Wilfrid Hodges (First-Order Logic [2001], 1.10) |
| 10289 | Up Löwenheim-Skolem: if infinite models, then arbitrarily large models [Hodges,W] |
| Full Idea: Upward Löwenheim-Skolem: every first-order theory with infinite models has arbitrarily large models. | |
| From: Wilfrid Hodges (First-Order Logic [2001], 1.10) |
| 10287 | If a first-order theory entails a sentence, there is a finite subset of the theory which entails it [Hodges,W] |
| Full Idea: Compactness Theorem: suppose T is a first-order theory, ψ is a first-order sentence, and T entails ψ. Then there is a finite subset U of T such that U entails ψ. | |
| From: Wilfrid Hodges (First-Order Logic [2001], 1.10) | |
| A reaction: If entailment is possible, it can be done finitely. |
| 10286 | A 'set' is a mathematically well-behaved class [Hodges,W] |
| Full Idea: A 'set' is a mathematically well-behaved class. | |
| From: Wilfrid Hodges (First-Order Logic [2001], 1.6) |
| 5879 | The soul is the heart, or blood in the heart, or part of the brain, of something living in heart or brain, or breath [Cicero] |
| Full Idea: Some think the soul is the heart; Empedocles holds that the soul is blood in the heart; others said one part of the brain claimed the primacy of soul; others say the heart or brain are habitations of the soul; while others identify soul and breath. | |
| From: M. Tullius Cicero (Tusculan Disputations [c.44 BCE], I.ix.17-19) | |
| A reaction: A nice survey of views. Note that many of them identify the psuché/anima with physical parts of the body; only the fourth option seems to be dualist. This is despite the contemptuous response to Democritus' atomist theory of soul. |
| 5884 | How can one mind perceive so many dissimilar sensations? [Cicero] |
| Full Idea: Why is it that, using the same mind, we have perception of things so utterly unlike as colour, taste, heat, smell and sound? | |
| From: M. Tullius Cicero (Tusculan Disputations [c.44 BCE], I.xx.47) | |
| A reaction: This leaves us with the 'binding problem', of how the dissimilar sensations are pulled together into one field of experience. It is a nice simple objection, though, to anyone who simplistically claims that the mind is self-evidently unified. |
| 5887 | The soul has a single nature, so it cannot be divided, and hence it cannot perish [Cicero] |
| Full Idea: In souls there is no mingling of ingredients, nothing of two-fold nature, so it is impossible for the soul to be divided; impossible, therefore, for it to perish either; for perishing is like the separation of parts which were maintained in union. | |
| From: M. Tullius Cicero (Tusculan Disputations [c.44 BCE], I.xxix.71) | |
| A reaction: Cicero knows he is pushing his luck in asserting that perishing is a sort of division. Why can't something be there one moment and gone the next? He appears to be in close agreement with Descartes about being a 'thinking thing'. |
| 5886 | Like the eye, the soul has no power to see itself, but sees other things [Cicero] |
| Full Idea: The soul has not the power of itself to see itself, but, like the eye, the soul, though it does not see itself, yet discerns other things. | |
| From: M. Tullius Cicero (Tusculan Disputations [c.44 BCE], I.xxvii) | |
| A reaction: The soul is a complex item which contributes many layers of interpretation to what it sees, so there is scope for parts of the soul seeing other parts. Somewhere in the middle Cicero seems to be right - there is an elusive something we can't get at. |
| 5885 | Souls contain no properties of elements, and elements contain no properties of souls [Cicero] |
| Full Idea: No beginnings of souls can be found on earth; there is no combination in souls that could be born from earth, nothing that partakes of moist or airy or fiery; for in those elements there is nothing to possess the power of memory, thought, or reflection. | |
| From: M. Tullius Cicero (Tusculan Disputations [c.44 BCE], I.xxvi.66) | |
| A reaction: Interesting, but I think magnetism is an instructive analogy, which has weird properties which we never perceive in elements (though it is there, buried deep - suggesting panpsychism). Cicero would be disconcerted to find that fire isn't an element. |
| 468 | Musical performance can reveal a range of virtues [Damon of Ath.] |
| Full Idea: In singing and playing the lyre, a boy will be likely to reveal not only courage and moderation, but also justice. | |
| From: Damon (fragments/reports [c.460 BCE], B4), quoted by (who?) - where? |
| 5890 | We should not share the distress of others, but simply try to relieve it [Cicero] |
| Full Idea: We ought not to share distresses ourselves for the sake of others, but we ought to relieve others of their distress if we can. | |
| From: M. Tullius Cicero (Tusculan Disputations [c.44 BCE], IV.xxvi.56) | |
| A reaction: This strikes me as a sensible and balanced attitude. Some people, particularly in a Christian culture, urge that feeling strong and painful compassion for others is an intrinsic good, but the commonsense view is that that just increases human suffering. |
| 5894 | All men except philosophers fear poverty [Cicero] |
| Full Idea: All men are afraid of poverty, but not a single philosopher is so. | |
| From: M. Tullius Cicero (Tusculan Disputations [c.44 BCE], V.xxxi.88) | |
| A reaction: Not a thought which is encountered very often in modern philosophy journals. If a person is to be 'philosophical' in the way they live, calm endurance of the vicissitudes and hardships of life has to be a key prerequisite. |
| 5895 | If one despises illiterate mechanics individually, they are not worth more collectively [Cicero] |
| Full Idea: Can anything be more foolish than to suppose that those, whom individually one despises as illiterate mechanics, are worth anything collectively? | |
| From: M. Tullius Cicero (Tusculan Disputations [c.44 BCE], V.xxxvi.104) | |
| A reaction: Aristotle disagrees (Idea 2823). In 1906 a huge number of people guessed the weight of a cow at a fair, and the average was within one pound of the truth. In our world the healthy workings of the group are warped by the mass media. |