12 ideas
| 18351 | Propositions are made true, in virtue of something which explains its truth [Lowe] |
| Full Idea: If a proposition is 'made' true, it has to be true 'in virtue of' something, meaning a relationship of metaphysical explanation. Thus a true proposition must have truth conferred on it in some way that explains how it gets to be true. | |
| From: E.J. Lowe (An essentialist approach to Truth-making [2009], p.202) | |
| A reaction: It is good to ask what we mean by 'makes'. I like essentialist explanations, but this may be misplaced. Observing that y makes x true seems to be rather less than actually explaining how it does it. What would such explanations look like? |
| 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) |
| 18353 | Modes are beings that are related both to substances and to universals [Lowe] |
| Full Idea: Modes are real beings that stand in non-contingent formal ontological relations both to individual substances and to immanent universals. | |
| From: E.J. Lowe (An essentialist approach to Truth-making [2009], p.212) | |
| A reaction: Not sure I understand this, but I pass it on. 'Modes' seem to invite the Razor, if we already have substances and universals. I am no clear about 'instantiation' because I now have the word 'mode' to play with. |
| 18352 | Tropes have existence independently of any entities [Lowe] |
| Full Idea: Pure trope theorists must apparently hold that each trope has its identity underivatively, not that it depends for it on or owes it to other entities of any sort. | |
| From: E.J. Lowe (An essentialist approach to Truth-making [2009], p.207) | |
| A reaction: Lowe defends dependent 'modes' of things, against independent 'tropes'. Good, but he then has to say what the thing is (a modeless 'substance'?), because it can't just be a bundle of modes or tropes. |
| 5987 | Alcmaeon was the first to say the brain is central to thinking [Alcmaeon, by Staden, von] |
| Full Idea: Alcmaeon apparently was the first Greek to assign central cognitive and biological functions to the brain. | |
| From: report of Alcmaeon (fragments/reports [c.490 BCE]) by Heinrich von Staden - Alcmaeon | |
| A reaction: The name of Alcmaeon should be remembered with honour. This was 200 years before Aristotle, who still hadn't worked it out. I presume Alcmaeon inferred the truth from head injuries, which is overwhelming evidence, if you notice it. |
| 24043 | Soul must be immortal, since it continually moves, like the heavens [Alcmaeon, by Aristotle] |
| Full Idea: Alcmaeon says that the soul is immortal because it resembles immortal things and that this affection belongs to it because it is always in movement, like divine things, such the moon, the sun, the stars and the whole heaven. | |
| From: report of Alcmaeon (fragments/reports [c.490 BCE], DK 24) by Aristotle - De Anima 405a30 | |
| A reaction: Hm. Fish and rivers seem to be continually moving too. Presumably we are like gods, but then Greek gods seem awfully like humans. I don't know the history of belief in immortality; an interesting topic. |