12 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. |
3539 | Personal identity is just causally related mental states [Parfit, by Maslin] |
Full Idea: For Parfit all personal identity really amounts to is a chain of experiences and other psychological features causally related to each other in 'direct' sorts of ways. | |
From: report of Derek Parfit (Personal Identity [1971]) by Keith T. Maslin - Introduction to the Philosophy of Mind 10.5 | |
A reaction: When summarised like this, it strikes me that Parfit is just false to our experience, whatever Hume may say. I suspect that Parfit (and those like him) concentrate too much on rather passive perceptual experience, and neglect the will. |
1393 | One of my future selves will not necessarily be me [Parfit] |
Full Idea: If I say 'It will not be me, but one of my future selves', I do not imply that I will be that future self. He is one of my later selves, and I am one of his earlier selves. There is no underlying person we both are. | |
From: Derek Parfit (Personal Identity [1971], §5) | |
A reaction: The problem here seems to be explaining why I should care about my later self, if it isn't me. If the answer is only that it will be psychologically very similar to me, then I would care more about my current identical twin than about my future self. |
1392 | If we split like amoeba, we would be two people, neither of them being us [Parfit] |
Full Idea: In the case of the man who, like an amoeba, divides….we can suggest that he survives as two different people without implying that he is those people. | |
From: Derek Parfit (Personal Identity [1971], §1) | |
A reaction: Maybe an amoeba is a homogeneous substance for which splitting is insignificant, but when a person has certain parts that are totally crucial, splitting them is catastrophic, and quite different. I'm not sure that splitting a self would leave persons. |
1391 | Concern for our own lives isn't the source of belief in identity, it is the result of it [Parfit] |
Full Idea: Egoism, and the fear not of near but of distant death, and the regret that so much of one's life should have gone by - these are not, I think, wholly natural or instinctive. They are strengthened by a false belief in stable identity. | |
From: Derek Parfit (Personal Identity [1971], §6) | |
A reaction: This raises some very nice questions, about the extent to which various aspects of self-concern are instinctive and natural, or culturally induced, and even totally misguided and false. I can worry about the distant death of my guinea pig, or my grandson. |
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. |