13 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) |
| 14348 | An 'antidote' allows a manifestation to begin, but then blocks it [Corry] |
| Full Idea: An 'antidote' (or 'mask') to a disposition (unlike a 'finkish' one) leaves the disposition intact, but interferes with the causal chain between the disposition and its manifestation so that the manifestation doesn't come about. | |
| From: Richard Corry (Dispositional Essentialism Grounds Laws of Nature? [2010], 2) | |
| A reaction: [He cites Bird 1997] Thus the disposition of the poison at least begins to manifest, but its disposition to kill is blocked. So what was the disposition of the poison? |
| 14347 | A 'finkish' disposition is one that is lost immediately after the appropriate stimulus [Corry] |
| Full Idea: An object's disposition is said to be 'finkish' if the object loses the disposition after the occurrence of the appropriate stimulus, but before the manifestation has had time to come about. | |
| From: Richard Corry (Dispositional Essentialism Grounds Laws of Nature? [2010], 2) | |
| A reaction: [He cites Lewis 1997] An example would be some sort of safety device which only cuts in if the disposition seems about to operate (e.g. turns off electricity). It seems to block analyses of dispositions simply in terms of their outcomes. |
| 14350 | If a disposition is never instantiated, it shouldn't be part of our theory of nature [Corry] |
| Full Idea: If we have no good reason to believe that a disposition is instantiated, then the disposition should play no role in our theorizing about the world. | |
| From: Richard Corry (Dispositional Essentialism Grounds Laws of Nature? [2010], 3) | |
| A reaction: It is part of our theory that a substantial lump of uranium will explode, but also that a galaxy-sized lump of uranium would explode. Surely we are committed to the latter, even though it never happens? |
| 14351 | Maybe an experiment unmasks an essential disposition, and reveals its regularities [Corry] |
| Full Idea: The dispositional essentialist can argue that what happens in laboratory conditions is that, by controlling external influences, we effectively 'unmask' the relevant dispositions, and thus observe the regularities to which those dispositions give rise. | |
| From: Richard Corry (Dispositional Essentialism Grounds Laws of Nature? [2010], 5) | |
| A reaction: That seems to me to be exactly right, though Corry dislikes it, and even suggests that dispositional essentialist might not like it. |
| 7903 | The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna] |
| Full Idea: The six perfections are of giving, morality, patience, vigour, meditation, and wisdom. | |
| From: Nagarjuna (Mahaprajnaparamitashastra [c.120], 88) | |
| A reaction: What is 'morality', if giving is not part of it? I like patience and vigour being two of the virtues, which immediately implies an Aristotelian mean (which is always what is 'appropriate'). |
| 14346 | Dispositional essentialism says fundamental laws of nature are strict, not ceteris paribus [Corry] |
| Full Idea: Dispositional essentialism implies that the fundamental laws of nature must be strict, not ceteris paribus. | |
| From: Richard Corry (Dispositional Essentialism Grounds Laws of Nature? [2010], 1) | |
| A reaction: I am not keen on the 'laws' of nature, but since essentialism seems to make them necessary, you can't get stricter than that. |