14 ideas
| 10911 | Part-whole is the key relation among truth-makers [Mulligan/Simons/Smith] |
| Full Idea: The most important (ontological) relations holding among truth-makers are the part and whole relations. | |
| From: Mulligan/Simons/Smith (Truth-makers [1984], §6) | |
| A reaction: Hence Peter Simons goes off and writes the best known book on mereology. Looks very promising to me. |
| 10909 | Truth-makers cannot be the designata of the sentences they make true [Mulligan/Simons/Smith] |
| Full Idea: Truth-makers cannot be the designata of the sentences they make true, because sentences with more than one truth-maker would then be ambiguous, and 'a' and 'a exists' would have the same designatum. | |
| From: Mulligan/Simons/Smith (Truth-makers [1984], §3) |
| 10906 | Moments (objects which cannot exist alone) may serve as truth-makers [Mulligan/Simons/Smith] |
| Full Idea: A 'moment' is an existentially dependent or non-self-sufficient object, that is, an object which is of such a nature that it cannot exist alone, ....... and we suggest that moments could serve as truth-makers. | |
| From: Mulligan/Simons/Smith (Truth-makers [1984], §2) | |
| A reaction: [These three writers invented the term 'truth-maker'] |
| 10907 | The truth-maker for a sentence may not be unique, or may be a combination, or several separate items [Mulligan/Simons/Smith] |
| Full Idea: A proposition may have a minimal truth-maker which is not unique, or a sentence may be made true by no single truth-maker but only by several jointly, or again only by several separately. | |
| From: Mulligan/Simons/Smith (Truth-makers [1984], §3) |
| 10912 | Despite negative propositions, truthmakers are not logical complexes, but ordinary experiences [Mulligan/Simons/Smith] |
| Full Idea: Because of negative propositions, investigators of truth-makers have said that they are special non-objectual entities with a logical complexity, but we think a theory is possible in which the truth relation is tied to ordinary and scientific experience. | |
| From: Mulligan/Simons/Smith (Truth-makers [1984], §6) |
| 10908 | Correspondence has to invoke facts or states of affairs, just to serve as truth-makers [Mulligan/Simons/Smith] |
| Full Idea: The correspondence theory of truth invokes a special category of non-objectual entities - facts, states of affairs, or whatever - simply to serve as truth-makers. | |
| From: Mulligan/Simons/Smith (Truth-makers [1984], §3) |
| 17499 | Theoretical models can represent, by mapping onto the data-models [Portides] |
| Full Idea: The semantic approach contends that theoretical models ...are candidates for representing physical systems by virtue of the fact that they stand in mapping relations to corresponding data-models. | |
| From: Demetris Portides (Models [2008], 'Current') | |
| A reaction: Sounds like a neat and satisfying picture. |
| 17498 | In the 'received view' models are formal; the 'semantic view' emphasises representation [Portides, by PG] |
| Full Idea: The 'received view' of models is that they are Tarskian formal axiomatic calculi interpreted by meta-mathematical models. The 'semantic' view of models gives equal importance to their representational capacity. | |
| From: report of Demetris Portides (Models [2008], 'background') by PG - Db (ideas) | |
| A reaction: The Tarskian view is the one covered in my section on Model Theory. Portides favours the semantic account, and I am with him all the way. Should models primarily integrate with formal systems, or with the world? Your choice... |
| 17501 | Representational success in models depends on success of their explanations [Portides] |
| Full Idea: Models are representational, independently of the strength of their relation to theory, depending on how well they achieve the purpose of providing explanations for what occurs in physical systems. | |
| From: Demetris Portides (Models [2008], 'Current') | |
| A reaction: This doesn't sound quite right. It seems possible to have a perfect representation of a system which remains quite baffling (because too complex, or with obscure ingredients). Does the stylised London tube map explain well but represent badly? |
| 17502 | The best model of the atomic nucleus is the one which explains the most results [Portides] |
| Full Idea: The unified model can be considered a better representation of the atomic nucleus in comparison to the liquid-drop and shell models, because it explains most of the known results about the nucleus. | |
| From: Demetris Portides (Models [2008], 'Current') | |
| A reaction: The point here is that models are evaluated not just by their accuracy, but by their explanatory power. Presumably a great model is satisfying and illuminating. Do the best models capture the essence of a thing? |
| 17496 | 'Model' belongs in a family of concepts, with representation, idealisation and abstraction [Portides] |
| Full Idea: A better understanding of 'model', as used in science, could be achieved if we examine it as a member of the triad of concepts of representation, idealisation and abstraction. | |
| From: Demetris Portides (Models [2008], 'Intro') | |
| A reaction: Abstraction seems to have a bad name in philosophy, and yet when you come to discuss things like models, you can't express it any other way. |
| 17497 | Models are theory-driven, or phenomenological (more empirical and specific) [Portides] |
| Full Idea: 'Theory-driven' models are constructed in a systematic theory-regulated way by supplementing the theoretical calculus with locally operative hypotheses. 'Phenomenological' models deploy semi-empirical results, with ad hoc hypotheses, and extra concepts. | |
| From: Demetris Portides (Models [2008], 'Intro') | |
| A reaction: [compressed] I am not at all clear about this distinction, even after reading his whole article. The first type of model seems more general, while the second seems tuned to particular circumstances. He claims the second type is more explanatory. |
| 17500 | General theories may be too abstract to actually explain the mechanisms [Portides] |
| Full Idea: If theoretical models are highly abstract and idealised descriptions of phenomena, they may only represent general features, and fail to explain the specific mechanisms at work in physical systems. | |
| From: Demetris Portides (Models [2008], 'Current') | |
| A reaction: [compressed] While there may be an ideal theory that explains everything, it sounds right capturing the actual mechanism (such as the stirrup bone in the ear) is not at all theoretical. |
| 20653 | Six reduction levels: groups, lives, cells, molecules, atoms, particles [Putnam/Oppenheim, by Watson] |
| Full Idea: There are six 'reductive levels' in science: social groups, (multicellular) living things, cells, molecules, atoms, and elementary particles. | |
| From: report of H.Putnam/P.Oppenheim (Unity of Science as a Working Hypothesis [1958]) by Peter Watson - Convergence 10 'Intro' | |
| A reaction: I have the impression that fields are seen as more fundamental that elementary particles. What is the status of the 'laws' that are supposed to govern these things? What is the status of space and time within this picture? |