21 ideas
| 192 | Only one thing can be contrary to something [Plato] |
| Full Idea: To everything that admits of a contrary there is one contrary and no more. | |
| From: Plato (Protagoras [c.380 BCE], 332c) | |
| A reaction: The sort of thing for which a modern philosopher would demand a proof (and then reject when the proof couldn't be found), where a Greek is happy to assert it as self-evident. I can't think of a counterexample. |
| 14970 | Normal system K has five axioms and rules [Cresswell] |
| Full Idea: Normal propositional modal logics derive from the minimal system K: wffs of PC are axioms; □(p⊃q)⊃(□p⊃□q); uniform substitution; modus ponens; necessitation (α→□α). | |
| From: Max J. Cresswell (Modal Logic [2001], 7.1) |
| 14971 | D is valid on every serial frame, but not where there are dead ends [Cresswell] |
| Full Idea: If a frame contains any dead end or blind world, then D is not valid on that frame, ...but D is valid on every serial frame. | |
| From: Max J. Cresswell (Modal Logic [2001], 7.1.1) |
| 14972 | S4 has 14 modalities, and always reduces to a maximum of three modal operators [Cresswell] |
| Full Idea: In S4 there are exactly 14 distinct modalities, and any modality may be reduced to one containing no more than three modal operators in sequence. | |
| From: Max J. Cresswell (Modal Logic [2001], 7.1.2) | |
| A reaction: The significance of this may be unclear, but it illustrates one of the rewards of using formal systems to think about modal problems. There is at least an appearance of precision, even if it is only conditional precision. |
| 14973 | In S5 all the long complex modalities reduce to just three, and their negations [Cresswell] |
| Full Idea: S5 contains the four main reduction laws, so the first of any pair of operators may be deleted. Hence all but the last modal operator may be deleted. This leaves six modalities: p, ◊p, □p, and their negations. | |
| From: Max J. Cresswell (Modal Logic [2001], 7.1.2) |
| 14976 | Reject the Barcan if quantifiers are confined to worlds, and different things exist in other worlds [Cresswell] |
| Full Idea: If one wants the quantifiers in each world to range only over the things that exist in that world, and one doesn't believe that the same things exist in every world, one would probably not want the Barcan formula. | |
| From: Max J. Cresswell (Modal Logic [2001], 7.2.2) | |
| A reaction: I haven't quite got this, but it sounds to me like I should reject the Barcan formula (but Idea 9449!). I like a metaphysics to rest on the actual world (with modal properties). I assume different things could have existed, but don't. |
| 14974 | A relation is 'Euclidean' if aRb and aRc imply bRc [Cresswell] |
| Full Idea: A relation is 'Euclidean' if aRb and aRc imply bRc. | |
| From: Max J. Cresswell (Modal Logic [2001], 7.1.2) | |
| A reaction: If a thing has a relation to two separate things, then those two things will also have that relation between them. If I am in the same family as Jim and as Jill, then Jim and Jill are in the same family. |
| 190 | If asked whether justice itself is just or unjust, you would have to say that it is just [Plato] |
| Full Idea: If someone asked me 'Is justice itself just or unjust?' I should answer that it was just, wouldn't you? I agree. | |
| From: Plato (Protagoras [c.380 BCE], 330c) |
| 14975 | A de dicto necessity is true in all worlds, but not necessarily of the same thing in each world [Cresswell] |
| Full Idea: A de dicto necessary truth says that something is φ, that this proposition is a necessary truth, i.e. that in every accessible world something (but not necessarily the same thing in each world) is φ. | |
| From: Max J. Cresswell (Modal Logic [2001], 7.2.1) | |
| A reaction: At last, a really clear and illuminating account of this term! The question is then invited of what is the truthmaker for a de dicto truth, assuming that the objects themselves are truthmakers for de re truths. |
| 20185 | The most important things in life are wisdom and knowledge [Plato] |
| Full Idea: It would be shameful indeed to say that wisdom and knowledge are anything but the most powerful forces in human activity. | |
| From: Plato (Protagoras [c.380 BCE], 352d) | |
| A reaction: He lumps wisdom and knowledge together, and I think we can take 'knowledge' to mean something like understanding, because obviously mere atomistic propositional knowledge can be utterly trivial. |
| 20184 | The only real evil is loss of knowledge [Plato] |
| Full Idea: The only real kind of faring ill is the loss of knowledge. | |
| From: Plato (Protagoras [c.380 BCE], 345b) | |
| A reaction: This must crucially involve the intellectualist view (of Socrates) that virtuos behaviour results from knowledge, and moral wickedness is the result of ignorance. It is hard to see how forgetting a phone number is evil. |
| 191 | Everything resembles everything else up to a point [Plato] |
| Full Idea: Everything resembles everything else up to a point. | |
| From: Plato (Protagoras [c.380 BCE], 331d) |
| 203 | Courage is knowing what should or shouldn't be feared [Plato] |
| Full Idea: Knowledge of what is and is not to be feared is courage. | |
| From: Plato (Protagoras [c.380 BCE], 360d) |
| 202 | No one willingly and knowingly embraces evil [Plato] |
| Full Idea: No one willingly goes to meet evil, or what he thinks is evil. | |
| From: Plato (Protagoras [c.380 BCE], 358d) | |
| A reaction: Presumably people who actively choose satanism can override this deep-seated attitude. But their adherence to evil usually seems to be rather restrained. A danger of tautology with ideas like this. |
| 193 | Some things are good even though they are not beneficial to men [Plato] |
| Full Idea: 'Do you mean by good those things that are beneficial to men?' 'Not only those. I call some things which are not beneficial good as well'. | |
| From: Plato (Protagoras [c.380 BCE], 333e) | |
| A reaction: Examples needed, but this would be bad news for utilitarians. Good health is not seen as beneficial if it is taken for granted. Not being deaf. |
| 197 | Some pleasures are not good, and some pains are not evil [Plato] |
| Full Idea: There are some pleasures which are not good, and some pains which are not evil. | |
| From: Plato (Protagoras [c.380 BCE], 351d) | |
| A reaction: Sadism and child birth. Though Bentham (I think) says that there is nothing good about the pain, since the event would obviously be better without it. |
| 200 | People tend only to disapprove of pleasure if it leads to pain, or prevents future pleasure [Plato] |
| Full Idea: The only reason the common man disapproves of pleasures is if they lead to pain and deprive us of future pleasures. | |
| From: Plato (Protagoras [c.380 BCE], 354a) | |
| A reaction: Plato has a strong sense that some pleasures are just innately depraved and wicked. If those pleasure don't hurt anyone, it is very hard to pinpoint what is wrong with them. |
| 188 | Socrates did not believe that virtue could be taught [Plato] |
| Full Idea: Socrates: I do not believe that virtue can be taught. | |
| From: Plato (Protagoras [c.380 BCE], 320b) |
| 204 | Socrates is contradicting himself in claiming virtue can't be taught, but that it is knowledge [Plato] |
| Full Idea: Socrates is contradicting himself by saying virtue is not teachable, and yet trying to demonstrate that every virtue is knowledge. | |
| From: Plato (Protagoras [c.380 BCE], 361b) |
| 189 | If we punish wrong-doers, it shows that we believe virtue can be taught [Plato] |
| Full Idea: Athenians inflict punishment on wrong-doers, which shows that they too think it possible to impart and teach goodness. | |
| From: Plato (Protagoras [c.380 BCE], 324c) |
| 19945 | Jew and Greeks, bond and free, male and female, are all one in Christ [Paul] |
| Full Idea: There is neither Jew nor Greek, there is neither bond nor free, there is neither male nor female; for ye are all one in Christ Jesus. | |
| From: St Paul (09: Galatians [c.55], 3.28) | |
| A reaction: No wonder women and slaves were enthusiastic about Christianity. This verse is powerful and influential, even if it was largely ignored by Christian rulers. Consider the relative positions of women in Islam and Christendom. |