Combining Texts

All the ideas for 'works', 'reports' and 'Logical Necessity'

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


24 ideas

4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5
The logic of metaphysical necessity is S5 [Rumfitt]
     Full Idea: It is a widely accepted thesis that the logic of metaphysical necessity is S5.
     From: Ian Rumfitt (Logical Necessity [2010], §5)
     A reaction: Rumfitt goes on to defend this standard view (against Dummett's defence of S4). The point, I take it, is that one can only assert that something is 'true in all possible worlds' only when the worlds are all accessible to one another.
5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence
Soundness in argument varies with context, and may be achieved very informally indeed [Rumfitt]
     Full Idea: Our ordinary standards for deeming arguments to be sound vary greatly from context to context. Even the package tourist's syllogism ('It's Tuesday, so this is Belgium') may meet the operative standards for soundness.
     From: Ian Rumfitt (Logical Necessity [2010], Intro)
     A reaction: No doubt one could spell out the preconceptions of package tourist reasoning, and arrive at the logical form of the implication which is being offered.
There is a modal element in consequence, in assessing reasoning from suppositions [Rumfitt]
     Full Idea: There is a modal element in consequence, in its applicability to assessing reasoning from suppositions.
     From: Ian Rumfitt (Logical Necessity [2010], §2)
We reject deductions by bad consequence, so logical consequence can't be deduction [Rumfitt]
     Full Idea: A rule is to be rejected if it enables us to deduce from some premisses a purported conclusion that does not follow from them in the broad sense. The idea that deductions answer to consequence is incomprehensible if consequence consists in deducibility.
     From: Ian Rumfitt (Logical Necessity [2010], §2)
5. Theory of Logic / D. Assumptions for Logic / 3. Contradiction
Contradictions include 'This is red and not coloured', as well as the formal 'B and not-B' [Rumfitt]
     Full Idea: Overt contradictions include formal contradictions of form 'B and not B', but I also take them to include 'This is red all over and green all over' and 'This is red and not coloured'.
     From: Ian Rumfitt (Logical Necessity [2010], Intro)
5. Theory of Logic / H. Proof Systems / 2. Axiomatic Proof
Geometrical axioms in logic are nowadays replaced by inference rules (which imply the logical truths) [Rumfitt]
     Full Idea: The geometrical style of formalization of logic is now little more than a quaint anachronism, largely because it fails to show logical truths for what they are: simply by-products of rules of inference that are applicable to suppositions.
     From: Ian Rumfitt (Logical Necessity [2010], §1)
     A reaction: This is the rejection of Russell-style axiom systems in favour of Gentzen-style natural deduction systems (starting from rules). Rumfitt quotes Dummett in support.
6. Mathematics / B. Foundations for Mathematics / 3. Axioms for Geometry
Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz]
     Full Idea: Archimedes gave a sort of definition of 'straight line' when he said it is the shortest line between two points.
     From: report of Archimedes (fragments/reports [c.240 BCE]) by Gottfried Leibniz - New Essays on Human Understanding 4.13
     A reaction: Commentators observe that this reduces the purity of the original Euclidean axioms, because it involves distance and measurement, which are absent from the purest geometry.
10. Modality / A. Necessity / 3. Types of Necessity
A distinctive type of necessity is found in logical consequence [Rumfitt, by Hale/Hoffmann,A]
     Full Idea: Rumfitt argues that there is a distinctive notion of necessity implicated in the notion of logical consequence.
     From: report of Ian Rumfitt (Logical Necessity [2010]) by Bob Hale/ Aviv Hoffmann - Introduction to 'Modality' 2
10. Modality / A. Necessity / 6. Logical Necessity
Logical necessity is when 'necessarily A' implies 'not-A is contradictory' [Rumfitt]
     Full Idea: By the notion of 'logical necessity' I mean that there is a sense of 'necessary' for which 'It is necessary that A' implies and is implied by 'It is logically contradictory that not A'. ...From this, logical necessity is implicated in logical consequence.
     From: Ian Rumfitt (Logical Necessity [2010], Intro)
     A reaction: Rumfitt expresses a commitment to classical logic at this point. We will need to be quite sure what we mean by 'contradiction', which will need a clear notion of 'truth'....
A logically necessary statement need not be a priori, as it could be unknowable [Rumfitt]
     Full Idea: There is no reason to suppose that any statement that is logically necessary (in the present sense) is knowable a priori. ..If a statement is logically necessary, its negation will yield a contradiction, but that does not imply that someone could know it.
     From: Ian Rumfitt (Logical Necessity [2010], §2)
     A reaction: This remark is aimed at Dorothy Edgington, who holds the opposite view. Rumfitt largely defends McFetridge's view (q.v.).
Narrow non-modal logical necessity may be metaphysical, but real logical necessity is not [Rumfitt]
     Full Idea: While Fine suggests defining a narrow notion of logical necessity in terms of metaphysical necessity by 'restriction' (to logical truths that can be defined in non-modal terms), this seems unpromising for broad logical necessity, which is modal.
     From: Ian Rumfitt (Logical Necessity [2010], §2)
     A reaction: [compressed] He cites Kit Fine 2002. Rumfitt glosses the non-modal definitions as purely formal. The metaphysics lurks somewhere in the proof.
10. Modality / E. Possible worlds / 1. Possible Worlds / e. Against possible worlds
If a world is a fully determinate way things could have been, can anyone consider such a thing? [Rumfitt]
     Full Idea: A world is usually taken to be a fully determinate way that things could have been; but then one might seriously wonder whether anyone is capable of 'considering' such a thing at all.
     From: Ian Rumfitt (Logical Necessity [2010], §4)
     A reaction: This has always worried me. If I say 'maybe my coat is in the car', I would hate to think that I had to be contemplating some entire possible world (including all the implications of my coat not being on the hat stand).
20. Action / C. Motives for Action / 3. Acting on Reason / b. Intellectualism
Jesus said learning was unnecessary, and only the spirit of the Law was needed [Jesus, by Johnson,P]
     Full Idea: Jesus was a learned Jew who said that learning was not necessary, who took the spirit and not the letter as the essence of the Law.
     From: report of Jesus (reports [c.32]) by Paul Johnson - The History of the Jews Pt II
     A reaction: This seems to me the perfect opposite of Socrates's intellectualism, offering the essence of morality as 'purity of heart', rather than careful thought about virtue or principles. On the whole I am with Socrates, but the idea is interesting.
22. Metaethics / B. Value / 2. Values / g. Love
Love your enemies [Jesus]
     Full Idea: Love your enemies.
     From: Jesus (reports [c.32]), quoted by St Matthew - 01: Gospel of St Matthew 05.44
     A reaction: The germ of this idea had been around for several hundred years, but this very forceful statement is perhaps Jesus' most distinctive contribution to moral thought. It has the same clarion call as the Stoic demand for pure virtue. What about deserving?
Love thy neighbour as thyself [Jesus]
     Full Idea: Love thy neighbour as thyself.
     From: Jesus (reports [c.32]), quoted by St Matthew - 01: Gospel of St Matthew 19.19
     A reaction: It would be stronger and better to say 'Love your neighbour, even if you don't love yourself'. Self-loathing and vicious hatred often go together. For once Jesus does not attach an instant heavenly reward to obedience of the command.
23. Ethics / B. Contract Ethics / 2. Golden Rule
Treat others as you would have them treat you [Jesus]
     Full Idea: All things whatsoever ye would that men should do to you, so ye even so to them: for this is the law and the prophets.
     From: Jesus (reports [c.32]), quoted by St Matthew - 01: Gospel of St Matthew 07.12
     A reaction: A problem which probably didn't occur to Jesus and the prophets is that of masochists. Personally I like buying philosophy books, but most people have no such desire. The Rule needs restricting to the basics of pleasure and pain.
23. Ethics / B. Contract Ethics / 4. Value of Authority
Blessed are the merciful: for they shall obtain mercy [Jesus]
     Full Idea: Blessed are the merciful: for they shall obtain mercy.
     From: Jesus (reports [c.32]), quoted by St Matthew - 01: Gospel of St Matthew 05.07
     A reaction: This appears to be a straightforward application of social contract morality, with God playing the role of Hobbes' absolute monarch. It highlights the uncomfortable fact at the heart of Christian morality, that the motivation for altruism is selfish.
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / c. Motivation for virtue
Except ye become as little children, ye shall not enter heaven [Jesus]
     Full Idea: Except ye be converted, and become as little children, ye shall not enter into the kingdom of heaven.
     From: Jesus (reports [c.32]), quoted by St Matthew - 01: Gospel of St Matthew 18.03
     A reaction: The appeal of such purity of heart is undeniable, but essentially I dislike this remark. It is the opponent of education, reason, autonomy, responsibility, democracy and maturity. It confirms the view that religion is the opium of the people.
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / h. Right feelings
If you lust after a woman, you have committed adultery [Jesus]
     Full Idea: Whosoever look on a woman to lust after her hath committed adultery with her already in his heart.
     From: Jesus (reports [c.32]), quoted by St Matthew - 01: Gospel of St Matthew 05.28
     A reaction: Compare Democritus, Idea 503. Literally this idea seems absurd, but it is also at the heart of Greek virtue theory. Aristotle (Idea 34) defines virtue as an activity 'of the soul', not an action in the world. Excellence has become purity of soul.
23. Ethics / C. Virtue Theory / 3. Virtues / a. Virtues
Blessed are the meek; for they shall inherit the earth [Jesus]
     Full Idea: Blessed are the meek; for they shall inherit the earth.
     From: Jesus (reports [c.32]), quoted by St Matthew - 01: Gospel of St Matthew 05.05
     A reaction: If they are truly meek, why would they want to inherit the earth? This is the classic statement of Nietzsche's 'inversion of values', where the qualities of a good slave are elevated above those of the greatest human beings.
23. Ethics / C. Virtue Theory / 3. Virtues / c. Justice
Don't resist evil, but turn the other cheek [Jesus]
     Full Idea: Ye have heard it said, An eye for an eye, and a tooth for a tooth; But I say unto you, That ye resist not evil, but whosoever shall smite thee on thy right cheek, turn to him the other also.
     From: Jesus (reports [c.32]), quoted by St Matthew - 01: Gospel of St Matthew 05.38-9
     A reaction: Compare Socrates, Idea 346. The viciousness of many Hollywood movies is that they set up a character as thoroughly evil so that we can have the pleasure of watching him pulverised. On the whole, Jesus gives bad advice. 'Doormats' in game theory.
23. Ethics / C. Virtue Theory / 4. External Goods / c. Wealth
It is almost impossible for the rich to go to heaven [Jesus]
     Full Idea: It is easier for a camel to go through the eye of a needle, than for a rich man to enter into the kingdom of God.
     From: Jesus (reports [c.32]), quoted by St Matthew - 01: Gospel of St Matthew 19.24
     A reaction: Aristotle and others (Margaret Thatcher) have observed that you cannot practise charity if you are poor. Jesus implies that the human race should remain in poverty. No wonder autocratic medieval rulers taught Christianity to peasants. Cf. Matt 25.30.
28. God / A. Divine Nature / 6. Divine Morality / c. God is the good
No one is good except God [Jesus]
     Full Idea: Why callest thou me good? There is none good but one, that is, God.
     From: Jesus (reports [c.32]), quoted by St Matthew - 01: Gospel of St Matthew 19.17
     A reaction: This remark raises the problem that if God is good, there must be some separate moral standard by which he can be judged good. What is that standard? It is related to the problem of whether Plato's Form of the Beautiful is itself beautiful.
29. Religion / B. Monotheistic Religion / 4. Christianity / a. Christianity
Jesus turned the ideas of Hillel into a theology reduced to its moral elements [Jesus, by Johnson,P]
     Full Idea: Jesus was a member of the school of Hillel the Elder, and may have sat under him. He repeated some of the sayings of Hillel, ...and turned his ideas into a moral theology, stripping the law of all but its moral and ethical elements.
     From: report of Jesus (reports [c.32]) by Paul Johnson - The History of the Jews Pt II
     A reaction: The crucial move, it seems to me, is to strip Judaism of its complexity, and reduce it to very simple moral maxims, which means that ordinary illiterate people no longer need priests to understand and follow it. Jesus was, above all, a great teacher.