14 ideas
14249 | Boolos reinterprets second-order logic as plural logic [Boolos, by Oliver/Smiley] |
Full Idea: Boolos's conception of plural logic is as a reinterpretation of second-order logic. | |
From: report of George Boolos (On Second-Order Logic [1975]) by Oliver,A/Smiley,T - What are Sets and What are they For? n5 | |
A reaction: Oliver and Smiley don't accept this view, and champion plural reference differently (as, I think, some kind of metalinguistic device?). |
10830 | Second-order logic metatheory is set-theoretic, and second-order validity has set-theoretic problems [Boolos] |
Full Idea: The metatheory of second-order logic is hopelessly set-theoretic, and the notion of second-order validity possesses many if not all of the epistemic debilities of the notion of set-theoretic truth. | |
From: George Boolos (On Second-Order Logic [1975], p.45) | |
A reaction: Epistemic problems arise when a logic is incomplete, because some of the so-called truths cannot be proved, and hence may be unreachable. This idea indicates Boolos's motivation for developing a theory of plural quantification. |
10829 | A sentence can't be a truth of logic if it asserts the existence of certain sets [Boolos] |
Full Idea: One may be of the opinion that no sentence ought to be considered as a truth of logic if, no matter how it is interpreted, it asserts that there are sets of certain sorts. | |
From: George Boolos (On Second-Order Logic [1975], p.44) | |
A reaction: My intuition is that in no way should any proper logic assert the existence of anything at all. Presumably interpretations can assert the existence of numbers or sets, but we should be able to identify something which is 'pure' logic. Natural deduction? |
10832 | '∀x x=x' only means 'everything is identical to itself' if the range of 'everything' is fixed [Boolos] |
Full Idea: One may say that '∀x x=x' means 'everything is identical to itself', but one must realise that one's answer has a determinate sense only if the reference (range) of 'everything' is fixed. | |
From: George Boolos (On Second-Order Logic [1975], p.46) | |
A reaction: This is the problem now discussed in the recent book 'Absolute Generality', of whether one can quantify without specifying a fixed or limited domain. |
10834 | Weak completeness: if it is valid, it is provable. Strong: it is provable from a set of sentences [Boolos] |
Full Idea: A weak completeness theorem shows that a sentence is provable whenever it is valid; a strong theorem, that a sentence is provable from a set of sentences whenever it is a logical consequence of the set. | |
From: George Boolos (On Second-Order Logic [1975], p.52) | |
A reaction: So the weak version says |- φ → |= φ, and the strong versions says Γ |- φ → Γ |= φ. Presumably it is stronger if it can specify the source of the inference. |
13841 | Why should compactness be definitive of logic? [Boolos, by Hacking] |
Full Idea: Boolos asks why on earth compactness, whatever its virtues, should be definitive of logic itself. | |
From: report of George Boolos (On Second-Order Logic [1975]) by Ian Hacking - What is Logic? §13 |
10833 | Many concepts can only be expressed by second-order logic [Boolos] |
Full Idea: The notions of infinity and countability can be characterized by second-order sentences, though not by first-order sentences (as compactness and Skolem-Löwenheim theorems show), .. as well as well-ordering, progression, ancestral and identity. | |
From: George Boolos (On Second-Order Logic [1975], p.48) |
16695 | Successive entities are in flux, flowing in existence, with different parts at different times [Oresme] |
Full Idea: For any time, some of a successive entity exists in one of its parts, and a totally different such exists in another part. …It is in continuous flux and transition, ..and flows in existence if it does not have the same existence over a whole time. | |
From: Nicole Oresme (On 'Physics' [1346], III.6, dist.1), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 18.1 | |
A reaction: Pasnau says the successive entity is the whole made up of these changing parts, so it sounds very like the temporal stages view of Sider and Hawley. |
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. |