31 ideas
| 18915 | If facts are the truthmakers, they are not in the world [Engelbretsen] |
| Full Idea: If there are such things as truthmakers (facts), they are not to be found in the world. As Strawson would say to Austin: there is the cat, there is the mat, but where in the world is the fact that the cat is on the mat? | |
| From: George Engelbretsen (Trees, Terms and Truth [2005], 4) | |
| A reaction: He cites Strawson, Quine and Davidson for this point. |
| 18919 | There are no 'falsifying' facts, only an absence of truthmakers [Engelbretsen] |
| Full Idea: A false proposition is not made false by anything like a 'falsifying' fact. A false proposition simply fails to be made true by any fact. | |
| From: George Engelbretsen (Trees, Terms and Truth [2005], 4) | |
| A reaction: Sounds good. In truthmaker theory, one truth-value (T) is 'made', but the other one is not, so there is no symmetry between the two. Better to talk of T and not-T? See ideas on Excluded Middle. |
| 18913 | Traditional term logic struggled to express relations [Engelbretsen] |
| Full Idea: The greatest challenge for traditional term logicians was the proper formulation and treatment of relational expressions. | |
| From: George Engelbretsen (Trees, Terms and Truth [2005]) | |
| A reaction: The modern term logic of Fred Sommers claims to have solved this problem. |
| 18907 | Term logic rests on negated terms or denial, and that propositions are tied pairs [Engelbretsen] |
| Full Idea: That terms can be negated, that such negation is distinguishable from denial, and that propositions can be construed syntactically as predicationally tied pairs of terms, are important for the tree theory of predication, and for term logic. | |
| From: George Engelbretsen (Trees, Terms and Truth [2005], 2) |
| 18912 | Was logic a branch of mathematics, or mathematics a branch of logic? [Engelbretsen] |
| Full Idea: Nineteenth century logicians debated whether logic should be treated simply as a branch of mathematics, and mathematics could be applied to it, or whether mathematics is a branch of logic, with no mathematics used in formulating logic. | |
| From: George Engelbretsen (Trees, Terms and Truth [2005], 3) | |
| A reaction: He cites Boole, De Morgan and Peirce for the first view, and Frege and Russell (and their 'logicism') for the second. The logic for mathematics slowly emerged from doing it, long before it was formalised. Mathematics is the boss? |
| 18922 | Logical syntax is actually close to surface linguistic form [Engelbretsen] |
| Full Idea: The underlying logical syntax of language is close to the surface syntax of ordinary language. | |
| From: George Engelbretsen (Trees, Terms and Truth [2005], 5) | |
| A reaction: This is the boast of the Term logicians, in opposition to the strained and unnatural logical forms of predicate logic, which therefore don't give a good account of the way ordinary speakers reason. An attractive programme. 'Terms' are the key. |
| 18905 | Propositions can be analysed as pairs of terms glued together by predication [Engelbretsen] |
| Full Idea: Sommers's 'tree theory' of predication assumes that propositions can be analysed as pairs of terms joined by some kind of predicational glue. | |
| From: George Engelbretsen (Trees, Terms and Truth [2005], 2) | |
| A reaction: This is the basis of Sommers's upgraded Aristotelian logic, known as Term Logic. The idea of reasoning with 'terms', rather than with objects, predicates and quantifiers, seems to me very appealing. I think I reason more about facts than about objects. |
| 18908 | Standard logic only negates sentences, even via negated general terms or predicates [Engelbretsen] |
| Full Idea: Standard logic recognises only one kind of negation: sentential negation. Consequently, negation of a general term/predicate always amounts to negation of the entire sentence. | |
| From: George Engelbretsen (Trees, Terms and Truth [2005], 3) |
| 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. |
| 18917 | Existence and nonexistence are characteristics of the world, not of objects [Engelbretsen] |
| Full Idea: Existence and nonexistence are not primarily properties of individual objects (dogs, unicorns), but of totalities. To say that some object exists is just to say that it is a constituent of the world, which is a characteristic of the world, not the object. | |
| From: George Engelbretsen (Trees, Terms and Truth [2005], 4) | |
| A reaction: This has important implications for the problem of truthmakers for negative existential statements (like 'there are no unicorns'). It is obviously a relative of Armstrong's totality facts that do the job. Not sure about 'a characteristic of'. |
| 18916 | Facts are not in the world - they are properties of the world [Engelbretsen] |
| Full Idea: Facts must be viewed as properties of the world - not as things in the world. | |
| From: George Engelbretsen (Trees, Terms and Truth [2005], 4) | |
| A reaction: Not sure I'm happy with either of these. Do animals grasp facts? If not, are they (as Strawson said) just the truths expressed by true sentences? That is not a clear idea either, given that facts are not the sentences themselves. Facts overlap. |
| 18921 | Individuals are arranged in inclusion categories that match our semantics [Engelbretsen] |
| Full Idea: The natural categories of individuals are arranged in a hierarchy of inclusion relations that is isomorphic with the linguistic semantic structure. | |
| From: George Engelbretsen (Trees, Terms and Truth [2005], 5) | |
| A reaction: This is the conclusion of a summary of modern Term Logic. The claim is that Sommers discerned this structure in our semantics (via the study of 'terms'), and was pleasantly surprised to find that it matched a plausible structure of natural categories. |
| 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. |
| 18918 | Terms denote objects with properties, and statements denote the world with that property [Engelbretsen] |
| Full Idea: In term logic, what a term denotes are the objects having the property it signifies. What a statement denotes is the world, that which has the constitutive property it signifies. | |
| From: George Engelbretsen (Trees, Terms and Truth [2005], 4) |
| 18920 | 'Socrates is wise' denotes a sentence; 'that Socrates is wise' denotes a proposition [Engelbretsen] |
| Full Idea: Whereas 'Socrates is wise' denotes a sentence, 'that Socrates is wise' denotes a proposition. | |
| From: George Engelbretsen (Trees, Terms and Truth [2005], 4) | |
| A reaction: In traditional parlance, 'reported speech' refers to the underlying proposition, because it does not commit to the actual words being used. As a lover of propositions (as mental events, not mysterious abstract objects), I like this. |
| 18906 | Negating a predicate term and denying its unnegated version are quite different [Engelbretsen] |
| Full Idea: There is a crucial distinction in term logic between affirming a negated predicate term of some subject and denying the unnegated version of that term of that same subject. We must distinguish 'X is non-P' from 'X is not P'. | |
| From: George Engelbretsen (Trees, Terms and Truth [2005], 2) | |
| A reaction: The first one affirms something about X, but the second one just blocks off a possible description of X. 'X is non-harmful' and 'X is not harmful' - if X had ceased to exist, the second would be appropriate and the first wouldn't? I'm guessing. |
| 468 | Musical performance can reveal a range of virtues [Damon of Ath.] |
| Full Idea: In singing and playing the lyre, a boy will be likely to reveal not only courage and moderation, but also justice. | |
| From: Damon (fragments/reports [c.460 BCE], B4), quoted by (who?) - where? |
| 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). |
| 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. |
| 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. |
| 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). |