12 ideas
| 22520 | You can't reason someone out of an irrational opinion [Swift] |
| Full Idea: Reasoning will never make a man correct an ill opinion, which by reasoning he never acquired. | |
| From: Jonathan Swift (Letters to a Young Clergyman [1720]) | |
| A reaction: It would be hard to prove this, and someone full of irrational beliefs may have their rationality awakened by a sound argument. Nice remark, but too pessimistic. |
| 9967 | 'Impure' sets have a concrete member, while 'pure' (abstract) sets do not [Jubien] |
| Full Idea: Any set with a concrete member is 'impure'. 'Pure' sets are those that are not impure, and are paradigm cases of abstract entities, such as the sort of sets apparently dealt with in Zermelo-Fraenkel (ZF) set theory. | |
| From: Michael Jubien (Ontology and Mathematical Truth [1977], p.116) | |
| A reaction: [I am unclear whether Jubien is introducing this distinction] This seems crucial in accounts of mathematics. On the one had arithmetic can be built from Millian pebbles, giving impure sets, while logicists build it from pure sets. |
| 9968 | A model is 'fundamental' if it contains only concrete entities [Jubien] |
| Full Idea: A first-order model can be viewed as a kind of ordered set, and if the domain of the model contains only concrete entities then it is a 'fundamental' model. | |
| From: Michael Jubien (Ontology and Mathematical Truth [1977], p.117) | |
| A reaction: An important idea. Fundamental models are where the world of logic connects with the physical world. Any account of relationship between fundamental models and more abstract ones tells us how thought links to world. |
| 9965 | There couldn't just be one number, such as 17 [Jubien] |
| Full Idea: It makes no sense to suppose there might be just one natural number, say seventeen. | |
| From: Michael Jubien (Ontology and Mathematical Truth [1977], p.113) | |
| A reaction: Hm. Not convinced. If numbers are essentially patterns, we might only have the number 'twelve', because we had built our religion around anything which exhibited that form (in any of its various arrangements). Nice point, though. |
| 9966 | The subject-matter of (pure) mathematics is abstract structure [Jubien] |
| Full Idea: The subject-matter of (pure) mathematics is abstract structure per se. | |
| From: Michael Jubien (Ontology and Mathematical Truth [1977], p.115) | |
| A reaction: This is the Structuralist idea beginning to take shape after Benacerraf's launching of it. Note that Jubien gets there by his rejection of platonism, whereas some structuralist have given a platonist interpretation of structure. |
| 9963 | If we all intuited mathematical objects, platonism would be agreed [Jubien] |
| Full Idea: If the intuition of mathematical objects were general, there would be no real debate over platonism. | |
| From: Michael Jubien (Ontology and Mathematical Truth [1977], p.111) | |
| A reaction: It is particularly perplexing when Gödel says that his perception of them is just like sight or smell, since I have no such perception. How do you individuate very large numbers, or irrational numbers, apart from writing down numerals? |
| 9962 | How can pure abstract entities give models to serve as interpretations? [Jubien] |
| Full Idea: I am unable to see how the mere existence of pure abstract entities enables us to concoct appropriate models to serve as interpretations. | |
| From: Michael Jubien (Ontology and Mathematical Truth [1977], p.111) | |
| A reaction: Nice question. It is always assumed that once we have platonic realm, that everything else follows. Even if we are able to grasp the objects, despite their causal inertness, we still have to discern innumerable relations between them. |
| 9964 | Since mathematical objects are essentially relational, they can't be picked out on their own [Jubien] |
| Full Idea: The essential properties of mathematical entities seem to be relational, ...so we make no progress unless we can pick out some mathematical entities wihout presupposing other entities already picked out. | |
| From: Michael Jubien (Ontology and Mathematical Truth [1977], p.112) | |
| A reaction: [compressed] Jubien is a good critic of platonism. He has identified the problem with Frege's metaphor of a 'borehole', where we discover delightful new properties of numbers simply by reaching them. |
| 9969 | The empty set is the purest abstract object [Jubien] |
| Full Idea: The empty set is the pure abstract object par excellence. | |
| From: Michael Jubien (Ontology and Mathematical Truth [1977], p.118 n8) | |
| A reaction: So a really good PhD on the empty set could crack the whole nature of reality. Get to work, whoever you are! |
| 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. |