18 ideas
| 10476 | The idea that groups of concepts could be 'implicitly defined' was abandoned [Hodges,W] |
| Full Idea: Late nineteenth century mathematicians said that, although plus, minus and 0 could not be precisely defined, they could be partially 'implicitly defined' as a group. This nonsense was rejected by Frege and others, as expressed in Russell 1903. | |
| From: Wilfrid Hodges (Model Theory [2005], 2) | |
| A reaction: [compressed] This is helpful in understanding what is going on in Frege's 'Grundlagen'. I won't challenge Hodges's claim that such definitions are nonsense, but there is a case for understanding groups of concepts together. |
| 10478 | Since first-order languages are complete, |= and |- have the same meaning [Hodges,W] |
| Full Idea: In first-order languages the completeness theorem tells us that T |= φ holds if and only if there is a proof of φ from T (T |- φ). Since the two symbols express the same relationship, theorist often just use |- (but only for first-order!). | |
| From: Wilfrid Hodges (Model Theory [2005], 3) | |
| A reaction: [actually no spaces in the symbols] If you are going to study this kind of theory of logic, the first thing you need to do is sort out these symbols, which isn't easy! |
| 10477 | |= in model-theory means 'logical consequence' - it holds in all models [Hodges,W] |
| Full Idea: If every structure which is a model of a set of sentences T is also a model of one of its sentences φ, then this is known as the model-theoretic consequence relation, and is written T |= φ. Not to be confused with |= meaning 'satisfies'. | |
| From: Wilfrid Hodges (Model Theory [2005], 3) | |
| A reaction: See also Idea 10474, which gives the other meaning of |=, as 'satisfies'. The symbol is ALSO used in propositional logical, to mean 'tautologically implies'! Sort your act out, logicians. |
| 10474 | |= should be read as 'is a model for' or 'satisfies' [Hodges,W] |
| Full Idea: The symbol in 'I |= S' reads that if the interpretation I (about word meaning) happens to make the sentence S state something true, then I 'is a model for' S, or I 'satisfies' S. | |
| From: Wilfrid Hodges (Model Theory [2005], 1) | |
| A reaction: Unfortunately this is not the only reading of the symbol |= [no space between | and =!], so care and familiarity are needed, but this is how to read it when dealing with models. See also Idea 10477. |
| 10481 | Models in model theory are structures, not sets of descriptions [Hodges,W] |
| Full Idea: The models in model-theory are structures, but there is also a common use of 'model' to mean a formal theory which describes and explains a phenomenon, or plans to build it. | |
| From: Wilfrid Hodges (Model Theory [2005], 5) | |
| A reaction: Hodges is not at all clear here, but the idea seems to be that model-theory offers a set of objects and rules, where the common usage offers a set of descriptions. Model-theory needs homomorphisms to connect models to things, |
| 10473 | Model theory studies formal or natural language-interpretation using set-theory [Hodges,W] |
| Full Idea: Model theory is the study of the interpretation of any language, formal or natural, by means of set-theoretic structures, with Tarski's truth definition as a paradigm. | |
| From: Wilfrid Hodges (Model Theory [2005], Intro) | |
| A reaction: My attention is caught by the fact that natural languages are included. Might we say that science is model theory for English? That sounds like Quine's persistent message. |
| 10475 | A 'structure' is an interpretation specifying objects and classes of quantification [Hodges,W] |
| Full Idea: A 'structure' in model theory is an interpretation which explains what objects some expressions refer to, and what classes some quantifiers range over. | |
| From: Wilfrid Hodges (Model Theory [2005], 1) | |
| A reaction: He cites as examples 'first-order structures' used in mathematical model theory, and 'Kripke structures' used in model theory for modal logic. A structure is also called a 'universe'. |
| 10480 | First-order logic can't discriminate between one infinite cardinal and another [Hodges,W] |
| Full Idea: First-order logic is hopeless for discriminating between one infinite cardinal and another. | |
| From: Wilfrid Hodges (Model Theory [2005], 4) | |
| A reaction: This seems rather significant, since mathematics largely relies on first-order logic for its metatheory. Personally I'm tempted to Ockham's Razor out all these super-infinities, but mathematicians seem to make use of them. |
| 21515 | Incoherence may be more important for enquiry than coherence [Olsson] |
| Full Idea: While coherence may lack the positive role many have assigned to it, ...incoherence plays an important negative role in our enquiries. | |
| From: Erik J. Olsson (Against Coherence [2005], 10.1) | |
| A reaction: [He cites Peirce as the main source for this idea] We can hardly by deeply impressed by incoherence if we have no sense of coherence. Incoherence is just one of many markers for theory failure. Missing the target, bad concepts... |
| 21514 | Coherence is the capacity to answer objections [Olsson] |
| Full Idea: According to Lehrer, coherence should be understood in terms of the capacity to answer objections. | |
| From: Erik J. Olsson (Against Coherence [2005], 9) | |
| A reaction: [Keith Lehrer 1990] We can connect this with the Greek requirement of being able to give an account [logos], which is the hallmark of understanding. I take coherence to be the best method of achieving understanding. Any understanding meets Lehrer's test. |
| 21496 | Mere agreement of testimonies is not enough to make truth very likely [Olsson] |
| Full Idea: Far from guaranteeing a high likelihood of truth by itself, testimonial agreement can apparently do so only if the circumstances are favourable as regards independence, prior probability, and individual credibility. | |
| From: Erik J. Olsson (Against Coherence [2005], 1) | |
| A reaction: This is Olson's main thesis. His targets are C.I.Lewis and Bonjour, who hoped that a mere consensus of evidence would increase verisimilitude. I don't see a problem for coherence in general, since his favourable circumstances are part of it. |
| 21499 | Coherence is only needed if the information sources are not fully reliable [Olsson] |
| Full Idea: An enquirer who is fortunate enough to have at his or her disposal fully reliable information sources has no use for coherence, the need for which arises only in the context of less than fully reliable informations sources. | |
| From: Erik J. Olsson (Against Coherence [2005], 2.6.2) | |
| A reaction: I take this to be entirely false. How do you assess reliability? 'I've seen it with my own eyes'. Why trust your eyes? In what visibility conditions do you begin to doubt your eyes? Why do rational people mistrust their intuitions? |
| 21502 | A purely coherent theory cannot be true of the world without some contact with the world [Olsson] |
| Full Idea: The Input Objection says a pure coherence theory would seem to allow that a system of beliefs be justified in spite of being utterly out of contact with the world it purports to describe, so long as it is, to a sufficient extent, coherent. | |
| From: Erik J. Olsson (Against Coherence [2005], 4.1) | |
| A reaction: Olson seems impressed by this objection, but I don't see how a system could be coherently about the world if it had no known contact with the world. Olson seems to ignore meta-coherence, which evaluates the status of the system being studied. |
| 21512 | Extending a system makes it less probable, so extending coherence can't make it more probable [Olsson] |
| Full Idea: Any non-trivial extension of a belief system is less probable than the original system, but there are extensions that are more coherent than the original system. Hence more coherence does not imply a higher probability. | |
| From: Erik J. Olsson (Against Coherence [2005], 6.4) | |
| A reaction: [Olson cites Klein and Warfield 1994; compressed] The example rightly says the extension could have high internal coherence, but not whether the extension is coherent with the system being extended. |
| 20582 | World government needs a shared global identity [Oksala] |
| Full Idea: Critics have argued that a global 'demos' would require a shared global identity. | |
| From: Johanna Oksala (Political Philosophy: all that matters [2013], Ch.9 'Epi') | |
| A reaction: The great divisions are religion and language. The great unifiers are sport, arts and entertainment, plus basic human needs like food, health and housing. The reply is that there cannot be identity without differences, so global democracy is out. |
| 20568 | The principles Rawls arrives at do not just conform to benevolence, but also result from choices [Oksala] |
| Full Idea: The advantage of Rawls's method is that the principles the individual chooses are not only fair according to some abstract principle of benevolence, but also the result of rational choice. | |
| From: Johanna Oksala (Political Philosophy: all that matters [2013], Ch.5) | |
| A reaction: That is a very nice way of putting the beauty of Rawls's idea. In modern political philosophy you hear far more criticisms of Rawls than praise. If a philosopher is criticised a lot, it is probably because they have stated their views clearly. |
| 20578 | Anarchists prefer local and communal government [Oksala] |
| Full Idea: Anarchists advocate forms of governance such as communes and associations that are as local and close to the direct control of the people as possible. | |
| From: Johanna Oksala (Political Philosophy: all that matters [2013], Ch.8) | |
| A reaction: Which might explain why recent conservative governments have steadily eliminated local government in Britain. |
| 20574 | Utilitarianism neglects responsibility, duties and rights [Oksala] |
| Full Idea: A focus solely on utility excludes considerations of personal responsibility and duty, as well as considerations of the basic rights of individuals. | |
| From: Johanna Oksala (Political Philosophy: all that matters [2013], Ch.7) | |
| A reaction: [He cites these as the common modern criticisms] The defence is to explain the value of each of these in utilitarian terms. There is a general problem (conceded by Mill) of motivation in utilitarianism. There's not much in it for me! |