29 ideas
| 13838 | A decent modern definition should always imply a semantics [Hacking] |
| Full Idea: Today we expect that anything worth calling a definition should imply a semantics. | |
| From: Ian Hacking (What is Logic? [1979], §10) | |
| A reaction: He compares this with Gentzen 1935, who was attempting purely syntactic definitions of the logical connectives. |
| 13833 | 'Thinning' ('dilution') is the key difference between deduction (which allows it) and induction [Hacking] |
| Full Idea: 'Dilution' (or 'Thinning') provides an essential contrast between deductive and inductive reasoning; for the introduction of new premises may spoil an inductive inference. | |
| From: Ian Hacking (What is Logic? [1979], §06.2) | |
| A reaction: That is, inductive logic (if there is such a thing) is clearly non-monotonic, whereas classical inductive logic is monotonic. |
| 13834 | Gentzen's Cut Rule (or transitivity of deduction) is 'If A |- B and B |- C, then A |- C' [Hacking] |
| Full Idea: If A |- B and B |- C, then A |- C. This generalises to: If Γ|-A,Θ and Γ,A |- Θ, then Γ |- Θ. Gentzen called this 'cut'. It is the transitivity of a deduction. | |
| From: Ian Hacking (What is Logic? [1979], §06.3) | |
| A reaction: I read the generalisation as 'If A can be either a premise or a conclusion, you can bypass it'. The first version is just transitivity (which by-passes the middle step). |
| 13835 | Only Cut reduces complexity, so logic is constructive without it, and it can be dispensed with [Hacking] |
| Full Idea: Only the cut rule can have a conclusion that is less complex than its premises. Hence when cut is not used, a derivation is quite literally constructive, building up from components. Any theorem obtained by cut can be obtained without it. | |
| From: Ian Hacking (What is Logic? [1979], §08) |
| 14263 | Strong Kleene disjunction just needs one true disjunct; Weak needs the other to have some value [Fine,K] |
| Full Idea: Under strong Kleene tables, a disjunction will be true if one of the disjuncts is true, regardless of whether or not the other disjunct has a truth-value; under the weak table it is required that the other disjunct also have a value. So for other cases. | |
| From: Kit Fine (Some Puzzles of Ground [2010], n7) | |
| A reaction: [see also p.111 of Fine's article] The Kleene tables seem to be the established form of modern three-valued logic, with the third value being indeterminate. |
| 13845 | The various logics are abstractions made from terms like 'if...then' in English [Hacking] |
| Full Idea: I don't believe English is by nature classical or intuitionistic etc. These are abstractions made by logicians. Logicians attend to numerous different objects that might be served by 'If...then', like material conditional, strict or relevant implication. | |
| From: Ian Hacking (What is Logic? [1979], §15) | |
| A reaction: The idea that they are 'abstractions' is close to my heart. Abstractions from what? Surely 'if...then' has a standard character when employed in normal conversation? |
| 13840 | First-order logic is the strongest complete compact theory with Löwenheim-Skolem [Hacking] |
| Full Idea: First-order logic is the strongest complete compact theory with a Löwenheim-Skolem theorem. | |
| From: Ian Hacking (What is Logic? [1979], §13) |
| 13844 | A limitation of first-order logic is that it cannot handle branching quantifiers [Hacking] |
| Full Idea: Henkin proved that there is no first-order treatment of branching quantifiers, which do not seem to involve any idea that is fundamentally different from ordinary quantification. | |
| From: Ian Hacking (What is Logic? [1979], §13) | |
| A reaction: See Hacking for an example of branching quantifiers. Hacking is impressed by this as a real limitation of the first-order logic which he generally favours. |
| 13842 | Second-order completeness seems to need intensional entities and possible worlds [Hacking] |
| Full Idea: Second-order logic has no chance of a completeness theorem unless one ventures into intensional entities and possible worlds. | |
| From: Ian Hacking (What is Logic? [1979], §13) |
| 13837 | With a pure notion of truth and consequence, the meanings of connectives are fixed syntactically [Hacking] |
| Full Idea: My doctrine is that the peculiarity of the logical constants resides precisely in that given a certain pure notion of truth and consequence, all the desirable semantic properties of the constants are determined by their syntactic properties. | |
| From: Ian Hacking (What is Logic? [1979], §09) | |
| A reaction: He opposes this to Peacocke 1976, who claims that the logical connectives are essentially semantic in character, concerned with the preservation of truth. |
| 13839 | Perhaps variables could be dispensed with, by arrows joining places in the scope of quantifiers [Hacking] |
| Full Idea: For some purposes the variables of first-order logic can be regarded as prepositions and place-holders that could in principle be dispensed with, say by a system of arrows indicating what places fall in the scope of which quantifier. | |
| From: Ian Hacking (What is Logic? [1979], §11) | |
| A reaction: I tend to think of variables as either pronouns, or as definite descriptions, or as temporary names, but not as prepositions. Must address this new idea... |
| 13843 | If it is a logic, the Löwenheim-Skolem theorem holds for it [Hacking] |
| Full Idea: A Löwenheim-Skolem theorem holds for anything which, on my delineation, is a logic. | |
| From: Ian Hacking (What is Logic? [1979], §13) | |
| A reaction: I take this to be an unusually conservative view. Shapiro is the chap who can give you an alternative view of these things, or Boolos. |
| 21812 | Being is the product of pure intellect [Plotinus] |
| Full Idea: Intellectual-Principle [Nous] by its intellective act establishes Being. | |
| From: Plotinus (The Enneads [c.245], 5.1.04) | |
| A reaction: This is a surprising view - that there is something which is prior to Being - but I take it to be Plotinus giving primacy to Plato's Form of the Good (a pure ideal), ahead of the One of Parmenides (which is Being). |
| 21817 | The One does not exist, but is the source of all existence [Plotinus] |
| Full Idea: The First is no member of existence, but can be the source of all. | |
| From: Plotinus (The Enneads [c.245], 5.1.07) | |
| A reaction: The First is the One, and this explicitly denies that it has Being. This answers the self-predication problem of Forms. Plato thought the Form of the Beautiful was beautiful, but it can't be (because of the regress). The source of existence can't exist. |
| 21824 | The One is a principle which transcends Being [Plotinus] |
| Full Idea: There exists a principle which transcends Being; this the One. | |
| From: Plotinus (The Enneads [c.245], 5.1.10) | |
| A reaction: The idea that the One transcends Being is the distinctive Plotinus doctrine. He defends the view that this was also the view of Anaxagoras, Empedocles and Plato. |
| 21813 | Number determines individual being [Plotinus] |
| Full Idea: Number is the determinant of individual being. | |
| From: Plotinus (The Enneads [c.245], 5.1.05) | |
| A reaction: You might have thought that number was the consequence of the individualities (or units) within being, but not so. You can't get more platonic than saying that the idealised numbers are the source of the particular units. |
| 14262 | Formal grounding needs transitivity of grounding, no self-grounding, and the existence of both parties [Fine,K] |
| Full Idea: The general formal principles of grounding are Transitivity (A«B, B«C/A«C: if A helps ground B and B helps C, then A helps C), Irreflexivity (A«A/absurd: A can't ground itself) and Factivity (A«B/A; A«/B: for grounding both A and B must be the case). | |
| From: Kit Fine (Some Puzzles of Ground [2010], 4) |
| 5506 | If soul was like body, its parts would be separate, without communication [Plotinus] |
| Full Idea: If the soul had the nature of the body, it would have isolated members each unaware of the condition of the other;..there would be a particular soul as a distinct entity to each local experience, so a multiplicity of souls would administer an individual. | |
| From: Plotinus (The Enneads [c.245], 4.2.2), quoted by R Martin / J Barresi - Introduction to 'Personal Identity' p.15 | |
| A reaction: Of course, the modern 'modularity of mind' theory does suggest that we are run by a team, but a central co-ordinator is required, with a full communication network across the modules. |
| 21827 | The movement of Soul is continuous, but we are only aware of the parts of it that are sensed [Plotinus] |
| Full Idea: The Soul maintains its unfailing movement; for not all that passes in the soul is, by that fact, perceptible; we know just as much as impinges on the faculty of the sense. | |
| From: Plotinus (The Enneads [c.245], 5.1.12) | |
| A reaction: This is a straightforward argument in favour of an unconscious aspect to the mind - and a rather good argument too. No one thinks that our minds ever stop working, even in sleep. |
| 21828 | A person is the whole of their soul [Plotinus] |
| Full Idea: Man is not merely a part (the higher part) of the Soul but the total. | |
| From: Plotinus (The Enneads [c.245], 5.1.12) | |
| A reaction: The soul is psuche, which includes the vegetative soul. The higher part is normally taken to be reason. This seems pretty close to John Locke's view of the matter. |
| 21809 | Our soul has the same ideal nature as the oldest god, and is honourable above the body [Plotinus] |
| Full Idea: Our own soul is of that same ideal nature [as the oldest god of them all], so that to consider it, purified, freed from all accruement, is to recognise in ourselves which we have found soul to be, honourable above the body. For what is body but earth? | |
| From: Plotinus (The Enneads [c.245], 5.1.02) | |
| A reaction: The strongest versions of substance dualism are religious in character, because the separateness of the mind elevates us above the grubby physical character of the world. I'm with Nietzsche on this one - this view is actually harmful to us. |
| 21825 | The soul is outside of all of space, and has no connection to the bodily order [Plotinus] |
| Full Idea: We may not seek any point in space in which to seat the soul; it must be set outside of all space; its distinct quality, its separateness, its immateriality, demand that it be a thing alone, untouched by all of the bodily order. | |
| From: Plotinus (The Enneads [c.245], 5.1.10) | |
| A reaction: You can't get more dualist than that. He doesn't seem bothered about the interaction problem. He likens such influence to the radiation of the sun, rather than to physical movement. |
| 21826 | The Soul reasons about the Right, so there must be some permanent Right about which it reasons [Plotinus] |
| Full Idea: Since there is a Soul which reasons upon the right and good - for reasoning is an enquiry into the rightness and goodness of this rather than that - there must exist some pemanent Right, the source and foundation of this reasoning in our soul. | |
| From: Plotinus (The Enneads [c.245], 5.1.11) | |
| A reaction: This is pretty close the Kant's concept of 'the moral order within me', and Plotinus even sees it as rational. Presumably this right is 'permanent' because the revelatlons of reason about it are necessary truths. |
| 6922 | Ecstasy is for the neo-Platonist the highest psychological state of man [Plotinus, by Feuerbach] |
| Full Idea: Ecstasy or rapture is for the neo-Platonist the highest psychological state of man. | |
| From: report of Plotinus (The Enneads [c.245]) by Ludwig Feuerbach - Principles of Philosophy of the Future §29 | |
| A reaction: See Bernini's statue of St Theresa. Personally I find this very unappealing because of its utter irrationality, but what is the 'highest' human psychological state? Doing mental arithmetic? Doing what is morally right? Dignity under pressure? |
| 21814 | How can multiple existence arise from the unified One? [Plotinus] |
| Full Idea: The problem endlessly debated is how, from such a unity as we have declared the One to be, does anything at all come into substantial existence, any multiplicity, dyad or number? | |
| From: Plotinus (The Enneads [c.245], 5.1.06) | |
| A reaction: This was precisely Aristotle's objection to the One of Parmenides, and especially the problem of the source of movement (which Plotinus also notices). |
| 21815 | Because the One is immobile, it must create by radiation, light the sun producing light [Plotinus] |
| Full Idea: Given this immobility of the Supreme ...what happened then? It must be a circumradiation, which may be compared to the brilliant light encircling the sun and ceaselessly generating from that unchanging substance, | |
| From: Plotinus (The Enneads [c.245], 5.1.06) | |
| A reaction: This is the answer given to the problem raised in Idea 21814. The sun produces energy, without apparent movement. Not an answer that will satisfy a physicist, but an interesting answer. |
| 21816 | Soul is the logos of Nous, just as Nous is the logos of the One [Plotinus] |
| Full Idea: The soul is an utterance [logos] and act of the Intellectual-Principle [Nous], as that is an utterance and act of the One. | |
| From: Plotinus (The Enneads [c.245], 5.1.06) | |
| A reaction: Being only comes into the picture at the secondary Nous stage. Nous is the closest to the modern concept of God. |
| 21808 | Soul is author of all of life, and of the stars, and it gives them law and movement [Plotinus] |
| Full Idea: Soul is the author of all living things, ...it has breathed life into them all, whatever is nourished by earth and sea, the divine stars in the sky; ...it is the principle distinct from all of these to which it gives law and movement and life. | |
| From: Plotinus (The Enneads [c.245], 5.1.02) | |
| A reaction: This seems to derive from Anaxagoras, who is mentioned by Plotinus. The soul he refers to his not the same as our concept of God. Note the word 'law', which I am guessing is nomos. Not, I think, modern laws of nature, but closer to guidelines. |
| 21811 | Even the soul is secondary to the Intellectual-Principle [Nous], of which soul is an utterance [Plotinus] |
| Full Idea: Soul, for all the worth we have shown to belong to it, is yet a secondary, an image of the Intellectual-Principle [Nous]; reason uttered is an image of reason stored within the soul, and similarly soul is an utterance of the Intellectual-Principle. | |
| From: Plotinus (The Enneads [c.245], 5.1.03) | |
| A reaction: It then turns out that Nous is secondary to the One, so there is a hierarchy of Being (which only enters at the Nous stage). |