Combining Texts

All the ideas for 'Intensional Logic', 'fragments/reports' and 'Virtues and Vices'

unexpand these ideas     |    start again     |     specify just one area for these texts


16 ideas

1. Philosophy / A. Wisdom / 1. Nature of Wisdom
We take courage, temperance, wisdom and justice as moral, but Aristotle takes wisdom as intellectual [Foot]
     Full Idea: For us there are four cardinal moral virtues: courage, temperance, wisdom and justice. But Aristotle and Aquinas call only three of these virtues moral virtues; practical wisdom (phronesis, prudentia) they class with the intellectual virtues.
     From: Philippa Foot (Virtues and Vices [1978], p.2)
     A reaction: I'm not sure about 'for us'. How many of us rank temperance as a supreme virtue? Aristotle ranks phronesis (which I think of as 'common sense') as the key enabler of the moral virtues, making it unlike the other intellectual virtues.
1. Philosophy / A. Wisdom / 2. Wise People
Wisdom is open to all, and not just to the clever or well trained [Foot]
     Full Idea: Knowledge that can be acquired only by someone who is clever or who has access to special training is not counted as part of wisdom.
     From: Philippa Foot (Virtues and Vices [1978], p.6)
     A reaction: Consider Pierre's peasant friend Platon Karatayev in 'War and Peace'. I assume 'special training' rules out anyone with a philosophy degree.
4. Formal Logic / E. Nonclassical Logics / 8. Intensional Logic
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.
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)
4. Formal Logic / E. Nonclassical Logics / 9. Awareness Logic
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]
4. Formal Logic / E. Nonclassical Logics / 10. Justification Logics
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)
5. Theory of Logic / A. Overview of Logic / 8. Logic of Mathematics
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)
5. Theory of Logic / F. Referring in Logic / 3. Property (λ-) Abstraction
λ-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.
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
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.
23. Ethics / C. Virtue Theory / 1. Virtue Theory / a. Nature of virtue
Most people think virtues can be displayed in bad actions [Foot]
     Full Idea: Hardly anyone sees any difficulty in the thought that virtues may sometimes be displayed in bad actions. The courage of the villain can be spoken of as quite unproblematic.
     From: Philippa Foot (Virtues and Vices [1978], III)
     A reaction: She cites Peter Geach as a sole opponent of this view. The courage of the entire German army in WWII seems to fall into this category. The boldness of villains has to impress the virtuous but timid.
Virtues are intended to correct design flaws in human beings [Foot, by Driver]
     Full Idea: A popular view (expressed by Philippa Foot) is that the virtues work to 'correct' for the baser human impulses and motives. …Virtues are solutions to design flaws in human beings.
     From: report of Philippa Foot (Virtues and Vices [1978]) by Julia Driver - The Virtues and Human Nature 1
     A reaction: Quite a plausible thought. Not so much design flaws, though, as natural traits of character that suited hunter gatherers but not modern cosmopolitan capitalists. Driver disagrees.
Actions can be in accordance with virtue, but without actually being virtuous [Foot]
     Full Idea: Some actions are in accordance with virtue without requiring virtue for their performance, whereas others are both in accordance with virtue and such as to show possession of a virtue.
     From: Philippa Foot (Virtues and Vices [1978], p.13)
     A reaction: She cites the case of an honest trader, who is honest because of self-interest. She is disentangling Kant from his daft idea that only dutiful (and reluctant) actions are virtuous. Kant was only thinking of 'in accordance' cases.
23. Ethics / C. Virtue Theory / 1. Virtue Theory / b. Basis of virtue
Virtues are corrective, to resist temptation or strengthen motivation [Foot]
     Full Idea: The virtues are corrective, each one standing at a point at which there is some temptation to be resisted or deficiency of motivation to be made good.
     From: Philippa Foot (Virtues and Vices [1978], II)
     A reaction: A beautifully simple and accurate observation, which I don't remember meeting in Aristotle (...though she cites him as saying that virtues concern what is difficult for us). Justice and charity are given as examples of inadequate motivation.
23. Ethics / C. Virtue Theory / 3. Virtues / a. Virtues
The cardinal virtues are theoretical (based on knowledge), and others are 'non-theoretical' [Hecato, by Dorandi]
     Full Idea: Hecato defined the cardinal virtues as 'theoretical', that is, based on knowledge, and to these he opposed those that are 'non-theoretical', for example, health, beauty, strength of spirit, and courage.
     From: report of Hecato (fragments/reports [c.70 BCE]) by Tiziano Dorandi - Hecato of Rhodes
     A reaction: Mostly these are Aristotle's external and non-external virtues, except that courage is here included among the former, implying, presumably, that it is more of a natural gift than an intellectual achievement.
23. Ethics / C. Virtue Theory / 3. Virtues / b. Temperance
Temperance is not a virtue if it results from timidity or excessive puritanism [Foot]
     Full Idea: In some people temperance is not a virtue, but is rather connected with timidity or with a grudging attitude to the acceptance of good things.
     From: Philippa Foot (Virtues and Vices [1978], III)
     A reaction: Timidity seems right. The grudging attitude may result from some larger doubts about pleasure, which could be plausible.
23. Ethics / C. Virtue Theory / 3. Virtues / d. Courage
Courage overcomes the fears which should be overcome, and doesn't overvalue personal safety [Foot]
     Full Idea: The fears that count against a man's courage are those that we think he should overcome, and among them, in a special class, those that reflect the fact that he values his safety too much.
     From: Philippa Foot (Virtues and Vices [1978], II)
     A reaction: I think that sentence tells us more accurately what courage is than anything in Aristotle's discussion. Ask yourself which of your fears really ought to be overcome, and particularly beware of over-valuing your own safety. But stay safe if you can!