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) |
| 1457 | Morality requires a minimum commitment to the self [Rashdall] |
| Full Idea: A bare minimum of metaphysical belief about the self is found to be absolutely presupposed in the very idea of morality. | |
| From: Hastings Rashdall (Theory of Good and Evil [1907], II.III.I.4) | |
| A reaction: This may not be true of virtue theory, where we could have a whole creature which lacked any sense of personhood, but yet had clear virtues and vices in its social functioning. Even if choices are central to morality, that might not need a self. |
| 6674 | All moral judgements ultimately concern the value of ends [Rashdall] |
| Full Idea: All moral judgements are ultimately judgements as to the value of ends. | |
| From: Hastings Rashdall (Theory of Good and Evil [1907], VII.I) | |
| A reaction: I am increasingly struck by this, especially when observing that it is the great gap in Kant's theory. For some odd reason, he gives being rational the highest possible value. Why? Nietzsche is good on this. 'Eudaimonia' seems a good start, to me. |
| 6673 | Ideal Utilitarianism is teleological but non-hedonistic; the aim is an ideal end, which includes pleasure [Rashdall] |
| Full Idea: My view, called Ideal Utilitarianism, combines the utilitarian principle that Ethics must be teleological with a non-hedonistic view of ethical ends; actions are right or wrong as they produce an ideal end, which includes, but is not limited to, pleasure. | |
| From: Hastings Rashdall (Theory of Good and Evil [1907], VII.I) | |
| A reaction: I certainly think that if you are going to be a consequentialist, then it is ridiculous to limit the end to pleasure, as it is an 'open question' as to whether we judge pleasures or pains to be good or bad. I am fond of beauty, goodness and truth, myself. |
| 14409 | I am a presentist, and all language and common sense supports my view [Bigelow] |
| Full Idea: I am a presentist: nothing exists which is not present. Everyone believed this until the nineteenth century; it is writing into the grammar of natural languages; it is still assumed in everyday life, even by philosophers who deny it. | |
| From: John Bigelow (Presentism and Properties [1996], p.36), quoted by Trenton Merricks - Truth and Ontology | |
| A reaction: The most likely deniers of presentism seem to be physicists and cosmologists who have overdosed on Einstein. On the whole I vote for presentism, but what justifies truths about the past and future. Traces existing in the present? |
| 1458 | Conduct is only reasonable or unreasonable if the world is governed by reason [Rashdall] |
| Full Idea: Absolutely reasonable or unreasonable conduct could not exist in a world which was not itself the product of reason or governed by its dictates. | |
| From: Hastings Rashdall (Theory of Good and Evil [1907], II.III.I.4) |
| 1459 | Absolute moral ideals can't exist in human minds or material things, so their acceptance implies a greater Mind [Rashdall, by PG] |
| Full Idea: An absolute moral ideal cannot exist in material things, or in the minds of individual people, so belief in it requires belief in a Mind which contains the ideal and is its source. | |
| From: report of Hastings Rashdall (Theory of Good and Evil [1907], II.III.I.4) by PG - Db (ideas) |