16 ideas
| 7893 | Our life is the creation of our mind [Anon (Dham)] |
| Full Idea: What we are today comes from our thoughts of yesterday, and our present thoughts build our life of tomorrow: our life is the creation of our mind. | |
| From: Anon (Dham) (The DhammaPada [c.250 BCE], §1.1) | |
| A reaction: I may adopt this as a second epigraph for the database. This idea records the subjective view, which now comes up against evolutionary psychology. Maybe philosophy is opposed to science, because it is committed to exploring the subjective view? |
| 15375 | If terms change their designations in different states, they are functions from states to objects [Fitting] |
| Full Idea: The common feature of every designating term is that designation may change from state to state - thus it can be formalized by a function from states to objects. | |
| From: Melvin Fitting (Intensional Logic [2007], 3) | |
| A reaction: Specifying the objects sounds OK, but specifying states sounds rather tough. |
| 15376 | Intensional logic adds a second type of quantification, over intensional objects, or individual concepts [Fitting] |
| Full Idea: To first order modal logic (with quantification over objects) we can add a second kind of quantification, over intensions. An intensional object, or individual concept, will be modelled by a function from states to objects. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.3) |
| 15378 | Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting] |
| Full Idea: Awareness logic enriched Hintikka's epistemic models with an awareness function, mapping each state to the set of formulas we are aware of at that state. This reflects some bound on the resources we can bring to bear. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.6.1) | |
| A reaction: [He cites Fagin and Halpern 1988 for this] |
| 15379 | Justication logics make explicit the reasons for mathematical truth in proofs [Fitting] |
| Full Idea: In justification logics, the logics of knowledge are extended by making reasons explicit. A logic of proof terms was created, with a semantics. In this, mathematical truths are known for explicit reasons, and these provide a measure of complexity. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.6.1) |
| 11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
| Full Idea: Mathematics is typically extensional throughout (we write 3+2=2+3 despite the two terms having different meanings). ..Classical first-order logic is extensional by design since it primarily evolved to model the reasoning of mathematics. | |
| From: Melvin Fitting (Intensional Logic [2007], §1) |
| 11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
| Full Idea: λ-abstraction can be used to abstract and disambiguate a predicate. De re is [λx◊P(x)](f) - f has the possible-P property - and de dicto is ◊[λxP(x)](f) - possibly f has the P-property. Also applies to □. | |
| From: Melvin Fitting (Intensional Logic [2007], §3.3) | |
| A reaction: Compare the Barcan formula. Originated with Church in the 1930s, and Carnap 1947, but revived by Stalnaker and Thomason 1968. Because it refers to the predicate, it has a role in intensional versions of logic, especially modal logic. |
| 15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
| Full Idea: Definite descriptions pick out different objects in different possible worlds quite naturally. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.4) | |
| A reaction: A definite description can pick out the same object in another possible world, or a very similar one, or an object which has almost nothing in common with the others. |
| 7898 | The world is just the illusion of an appearance [Anon (Dham)] |
| Full Idea: When a man considers this world as a bubble of froth, and as the illusion of an appearance, then the king of death has no power over him. | |
| From: Anon (Dham) (The DhammaPada [c.250 BCE], §13.170) | |
| A reaction: Strictly, of course, this says you can 'consider' things this way. Perhaps we could substitute 'pretends', but the world's great religions don't go in for that sort of thing. Berkeley would be shocked to learn he was approaching Buddhism. |
| 7894 | Hate is conquered by love [Anon (Dham)] |
| Full Idea: Hate is not conquered by hate: hate is conquered by love. This is the law eternal. | |
| From: Anon (Dham) (The DhammaPada [c.250 BCE], §1.5) | |
| A reaction: [N.B. This thought was not invented by Jesus] The challenge to this view might be the tit-for-tat strategy of game theory, which says that hate is actually conquered by a combination of hate and love, judiciously applied. |
| 7899 | Even divine pleasure will not satisfy the wise, as it is insatiable, and leads to pain [Anon (Dham)] |
| Full Idea: Since a shower of gold coins could not satisfy craving desires and the end of all pleasure is pain, how could a wise man find satisfaction even in the pleasures of the gods? | |
| From: Anon (Dham) (The DhammaPada [c.250 BCE], §14.186) | |
| A reaction: I'm never sure how so many ancient thinkers arrived at this implausible view. They seem to think that no one knows when to stop, and that every drink leads to hangover. What is actually wrong with moderate sensible pleasure? |
| 7896 | The foolish gradually fill with evil, like a slowly-filled water-jar [Anon (Dham)] |
| Full Idea: The falling of drops of water will in time fill a water-jar. Even so the foolish man becomes full of evil, although he gather it little by little. | |
| From: Anon (Dham) (The DhammaPada [c.250 BCE], §9.121) | |
| A reaction: This coincides closely with Aristotle's view of moral education. Maybe a wise man can maintain one small vice. Not all slopes are slippery. |
| 7897 | The wise gradually fill with good, like a slowly-filled water-jar [Anon (Dham)] |
| Full Idea: The falling of drops of water will in time fill a water-jar. Even so the wise man becomes full of good, although he gather it little by little. | |
| From: Anon (Dham) (The DhammaPada [c.250 BCE], §9.122) | |
| A reaction: Again, this is like Aristotle's proposal of how to educate people in virtue. In my experience, there is no guarantee that small acts of politeness and charity will eventually guarantee goodness of character. Thought is also needed. |
| 7895 | Don't befriend fools; either find superior friends, or travel alone [Anon (Dham)] |
| Full Idea: If on the great journey of life a man cannot find one who is better or at least as good as himself, let him joyfully travel alone: a fool cannot help him on his journey. | |
| From: Anon (Dham) (The DhammaPada [c.250 BCE], §5.61) | |
| A reaction: This is a slightly disturbing aspect of Buddhism, possibly leading to contradiction. It urges friendship and love, but the finest people will have virtually no friends, and solitude is presented as a finer state than friendship. |
| 7907 | Human killing is worse if the victim is virtuous [Buddhaghosa] |
| Full Idea: In the case of humans killing is the more blameworthy the more virtuous the victim is. | |
| From: Buddhaghosa (Papancasudani [c.400], 9.7-10) | |
| A reaction: This sentiment has almost become a taboo in western society, and yet it is present all the time. The greatest outcry is about murders of really good citizens. Occasionally the murder of a villain causes little regret. |
| 7900 | Speak the truth, yield not to anger, give what you can to him who asks [Anon (Dham)] |
| Full Idea: Speak the truth, yield not to anger, give what you can to him who asks: these three steps lead you to the gods | |
| From: Anon (Dham) (The DhammaPada [c.250 BCE], §17.224) | |
| A reaction: I don't recall either the Old or New Testament, or the Koran, placing great emphasis on speaking the truth. The injunction to give is not so simple. Give to greedy children, to alcoholics, to criminals, to the rich, to fools, to yourself? |