13 ideas
| 10882 | Predicative definitions only refer to entities outside the defined collection [Horsten] |
| Full Idea: Definitions are called 'predicative', and are considered sound, if they only refer to entities which exist independently from the defined collection. | |
| From: Leon Horsten (Philosophy of Mathematics [2007], §2.4) |
| 10884 | A theory is 'categorical' if it has just one model up to isomorphism [Horsten] |
| Full Idea: If a theory has, up to isomorphism, exactly one model, then it is said to be 'categorical'. | |
| From: Leon Horsten (Philosophy of Mathematics [2007], §5.2) |
| 10885 | Computer proofs don't provide explanations [Horsten] |
| Full Idea: Mathematicians are uncomfortable with computerised proofs because a 'good' proof should do more than convince us that a certain statement is true. It should also explain why the statement in question holds. | |
| From: Leon Horsten (Philosophy of Mathematics [2007], §5.3) |
| 10881 | The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten] |
| Full Idea: The notion of an ordinal number is a set-theoretic, and hence non-arithmetical, concept. | |
| From: Leon Horsten (Philosophy of Mathematics [2007], §2.3) |
| 15797 | All structures are dispositional, objects are dispositions sets, and events manifest dispositions [Fetzer] |
| Full Idea: I propose a dispositional ontology for the physical world, according to which a) every structural property is a dispositional one, b) a physical object is an ordered set of dispositions, and c) every event manifests a dispositional property of the world. | |
| From: J.H. Fetzer (A World of Dispositions [1977], Intro) | |
| A reaction: Mumford says this is consistent with ontology as a way of describing the world, rather than being facts about the world. I like Fetzer's sketch, which sounds to have a lot in common with 'process philosophy'. |
| 15800 | All events and objects are dispositional, and hence all structural properties are dispositional [Fetzer] |
| Full Idea: Every atomic event in the world's history is a manifestation of some dispositional property of the world and every physical object is an instantiation of some set of dispositions; hence, every structural property is dispositional in kind. | |
| From: J.H. Fetzer (A World of Dispositions [1977], 5) | |
| A reaction: I quite like this drastic view, but there remains the intuition that there must always be something which has the disposition. That may be because I have not yet digested the lessons of modern physics. |
| 7257 | All modern social systems seem to be conspiracies of the rich [More,T] |
| Full Idea: When I consider any social system that prevails in the modern world, I can't see it as anything but a conspiracy of the rich to advance their own interests under the pretext of organizing society. | |
| From: Thomas More (Utopia [1516], Bk 2) | |
| A reaction: I'm afraid this is my own view of most conservative politics. I don't deny that there is a good case to be made for the conservative view (by Burke and Scruton, for example), but the rich will always latch onto its coat-tails. Cf. Idea 122. |
| 7254 | If you try to get elected, you should be permanently barred from seeking office [More,T] |
| Full Idea: In Utopia, anyone who deliberately tries to get himself elected to a public office is permanently disqualified from holding one. | |
| From: Thomas More (Utopia [1516], Bk 2) | |
| A reaction: This echoes a thought found in Plato (Idea 2149). I've always liked this idea. Why can't we have elections were a group of the best people are invited to stand? Well, yes, it would lead to corruption... Still, the best should be pushed to the front. |
| 7255 | Only Utopians fail to see glory in warfare [More,T] |
| Full Idea: Utopians are practically the only people on earth who fail to see anything glorious in war. | |
| From: Thomas More (Utopia [1516], Bk 2) | |
| A reaction: A refreshing thought for such an early date. Whatever dubious behaviour is nowadays attributed to Thomas More, you have to admire someone who writes this during the reign of Henry VIII. |
| 7253 | In Utopia, legal euthanasia is considered honourable [More,T] |
| Full Idea: In Utopia, officially sanctioned euthanasia is regarded as an honourable death. | |
| From: Thomas More (Utopia [1516], Bk 2) | |
| A reaction: A bit surprising coming from a writer who is now a Catholic martyr and saint. |
| 15798 | Kinds are arrangements of dispositions [Fetzer] |
| Full Idea: Kinds of things are specific arrangements of dispositions. | |
| From: J.H. Fetzer (A World of Dispositions [1977], 2) | |
| A reaction: A 'disposition' doesn't seem quite the right word for what is basic to the physical world, though Harré and Madden make a good case for the 'fields' of physic being understood in that way. I prefer 'power', though that doesn't solve anything. |
| 15799 | Lawlike sentences are general attributions of disposition to all members of some class [Fetzer] |
| Full Idea: Lawlike sentences are conceived as logically general dispositional statements attributing permanent dispositional properties to every member of a reference class. ...Their basic form is that of subjunctive generalizations. | |
| From: J.H. Fetzer (A World of Dispositions [1977], 3) | |
| A reaction: I much prefer talk of 'lawlike sentences' to talk of 'laws'. At least they imply that the true generalisations about nature are fairly fine-grained. Why not talk of 'generalisations' instead of 'laws'? Fetzer wants dispositions to explain everything. |
| 7256 | In Utopia, the Supreme Being is identical with Nature [More,T] |
| Full Idea: Everyone in Utopia agrees that the Supreme Being (which they call Mythras) is identical with Nature. | |
| From: Thomas More (Utopia [1516], Bk 2) | |
| A reaction: This sounds remarkably like full-blown Spinozean pantheism, though it should be interpreted with caution. It certainly seems to show that pantheism was a possibility in the minds of late medieval religious thinkers. |