6 ideas
7791 | The simplest of the logics based on possible worlds is Lewis's S5 [Lewis,CI, by Girle] |
Full Idea: C.I.Lewis constructed five axiomatic systems of modal logic, and named them S1 to S5. It turns out that the simplest of the logics based on possible worlds is the same as Lewis's S5. | |
From: report of C.I. Lewis (works [1935]) by Rod Girle - Modal Logics and Philosophy 2.1 | |
A reaction: Nathan Salmon ('Reference and Essence' 2nd ed) claims (on p.xvii) that "the correct modal logic is weaker than S5 and weaker even than S4". Which is the greater virtue, simplicity or weakness? |
4038 | Properties are sets of their possible instances (which separates 'renate' from 'cordate') [Lewis, by Mellor/Oliver] |
Full Idea: Lewis agrees that properties cannot be sets of their actual instances, but claims they can be sets of their possible instances. This would distinguish coextensive properties like being cordate and renate, since they might be separated. | |
From: report of David Lewis (Modal Realism at Work: Properties [1986]) by DH Mellor / A Oliver - Introduction to 'Properties' §10 | |
A reaction: Sounds wrong. Two properties could be obviously different even if they could never be separated. In this world a creature might briefly survive without kidneys. |
11002 | Equating necessity with informal provability is the S4 conception of necessity [Lewis,CI, by Read] |
Full Idea: C.I.Lewis's S4 system develops a sense of necessity as 'provability' in some fairly informal sense. | |
From: report of C.I. Lewis (works [1935]) by Stephen Read - Thinking About Logic Ch. 4 |
21093 | Friendship without community spirit misses out on the main part of virtue [Hume] |
Full Idea: A man who is only susceptible of friendship, without public spirit or a regard to the community, is deficient in the most material part of virtue. | |
From: David Hume (That Politics may be reduced to a Science [1750], p.21) | |
A reaction: I think this is aimed at the epicureans. If the highest virtues are focused on one's friends that can easily lead to injustice, because it can tolerate prejudice against people who are very unlike one's friends. |
21091 | It would be absurd if even a free constitution did not impose restraints, for the public good [Hume] |
Full Idea: A republican and free form of government would be an obvious absurdity, if the particular checks and controls, provided by the constitution, had really no influence, and made it not the interest, even of bad men, to act for the public good. | |
From: David Hume (That Politics may be reduced to a Science [1750], p.14) | |
A reaction: Presumably if you attain absolute power you can write any old constitution you like (Clause 1: the presidency is for life). But there does seem much point in doing it - unless it is to facilitate the use of the law for persecutions. |
21092 | Nobility either share in the power of the whole, or they compose the power of the whole [Hume] |
Full Idea: A nobility may possess power in two different ways. Either every nobleman shares the power as part of the whole body, or the whole body enjoys the power as composed of parts, which each have a distinct power and authority. | |
From: David Hume (That Politics may be reduced to a Science [1750], p.15) | |
A reaction: He says the first type is found in Venice, and is preferable to the second type, which is found in Poland. Presumably in the shared version there is some restraint on depraved nobles. The danger is each noble being an autocrat. |