55 ideas
| 15413 | With four tense operators, all complex tenses reduce to fourteen basic cases [Burgess] |
| Full Idea: Fand P as 'will' and 'was', G as 'always going to be', H as 'always has been', all tenses reduce to 14 cases: the past series, each implying the next, FH,H,PH,HP,P,GP, and the future series PG,G,FG,GF,F,HF, plus GH=HG implying all, FP=PF which all imply. | |
| From: John P. Burgess (Philosophical Logic [2009], 2.8) | |
| A reaction: I have tried to translate the fourteen into English, but am not quite confident enough to publish them here. I leave it as an exercise for the reader. |
| 15415 | The temporal Barcan formulas fix what exists, which seems absurd [Burgess] |
| Full Idea: In temporal logic, if the converse Barcan formula holds then nothing goes out of existence, and the direct Barcan formula holds if nothing ever comes into existence. These results highlight the intuitive absurdity of the Barcan formulas. | |
| From: John P. Burgess (Philosophical Logic [2009], 2.9) | |
| A reaction: This is my reaction to the modal cases as well - the absurdity of thinking that no actually nonexistent thing might possibly have existed, or that the actual existents might not have existed. Williamson seems to be the biggest friend of the formulas. |
| 15430 | Is classical logic a part of intuitionist logic, or vice versa? [Burgess] |
| Full Idea: From one point of view intuitionistic logic is a part of classical logic, missing one axiom, from another classical logic is a part of intuitionistic logic, missing two connectives, intuitionistic v and → | |
| From: John P. Burgess (Philosophical Logic [2009], 6.4) |
| 15431 | It is still unsettled whether standard intuitionist logic is complete [Burgess] |
| Full Idea: The question of the completeness of the full intuitionistic logic for its intended interpretation is not yet fully resolved. | |
| From: John P. Burgess (Philosophical Logic [2009], 6.9) |
| 15429 | Relevance logic's → is perhaps expressible by 'if A, then B, for that reason' [Burgess] |
| Full Idea: The relevantist logician's → is perhaps expressible by 'if A, then B, for that reason'. | |
| From: John P. Burgess (Philosophical Logic [2009], 5.8) |
| 15404 | Technical people see logic as any formal system that can be studied, not a study of argument validity [Burgess] |
| Full Idea: Among the more technically oriented a 'logic' no longer means a theory about which forms of argument are valid, but rather means any formalism, regardless of its applications, that resembles original logic enough to be studied by similar methods. | |
| From: John P. Burgess (Philosophical Logic [2009], Pref) | |
| A reaction: There doesn't seem to be any great intellectual obligation to be 'technical'. As far as pure logic is concerned, I am very drawn to the computer approach, since I take that to be the original dream of Aristotle and Leibniz - impersonal precision. |
| 15405 | Classical logic neglects the non-mathematical, such as temporality or modality [Burgess] |
| Full Idea: There are topics of great philosophical interest that classical logic neglects because they are not important to mathematics. …These include distinctions of past, present and future, or of necessary, actual and possible. | |
| From: John P. Burgess (Philosophical Logic [2009], 1.1) |
| 15427 | The Cut Rule expresses the classical idea that entailment is transitive [Burgess] |
| Full Idea: The Cut rule (from A|-B and B|-C, infer A|-C) directly expresses the classical doctrine that entailment is transitive. | |
| From: John P. Burgess (Philosophical Logic [2009], 5.3) |
| 15421 | Classical logic neglects counterfactuals, temporality and modality, because maths doesn't use them [Burgess] |
| Full Idea: Classical logic neglects counterfactual conditionals for the same reason it neglects temporal and modal distinctions, namely, that they play no serious role in mathematics. | |
| From: John P. Burgess (Philosophical Logic [2009], 4.1) | |
| A reaction: Science obviously needs counterfactuals, and metaphysics needs modality. Maybe so-called 'classical' logic will be renamed 'basic mathematical logic'. Philosophy will become a lot clearer when that happens. |
| 15403 | Philosophical logic is a branch of logic, and is now centred in computer science [Burgess] |
| Full Idea: Philosophical logic is a branch of logic, a technical subject. …Its centre of gravity today lies in theoretical computer science. | |
| From: John P. Burgess (Philosophical Logic [2009], Pref) | |
| A reaction: He firmly distinguishes it from 'philosophy of logic', but doesn't spell it out. I take it that philosophical logic concerns metaprinciples which compare logical systems, and suggest new lines of research. Philosophy of logic seems more like metaphysics. |
| 15407 | Formalising arguments favours lots of connectives; proving things favours having very few [Burgess] |
| Full Idea: When formalising arguments it is convenient to have as many connectives as possible available.; but when proving results about formulas it is convenient to have as few as possible. | |
| From: John P. Burgess (Philosophical Logic [2009], 1.4) | |
| A reaction: Illuminating. The fact that you can whittle classical logic down to two (or even fewer!) connectives warms the heart of technicians, but makes connection to real life much more difficult. Hence a bunch of extras get added. |
| 15424 | Asserting a disjunction from one disjunct seems odd, but can be sensible, and needed in maths [Burgess] |
| Full Idea: Gricean implicature theory might suggest that a disjunction is never assertable when a disjunct is (though actually the disjunction might be 'pertinent') - but the procedure is indispensable in mathematical practice. | |
| From: John P. Burgess (Philosophical Logic [2009], 5.2) | |
| A reaction: He gives an example of a proof in maths which needs it, and an unusual conversational occasion where it makes sense. |
| 15409 | All occurrences of variables in atomic formulas are free [Burgess] |
| Full Idea: All occurrences of variables in atomic formulas are free. | |
| From: John P. Burgess (Philosophical Logic [2009], 1.7) |
| 15414 | The denotation of a definite description is flexible, rather than rigid [Burgess] |
| Full Idea: By contrast to rigidly designating proper names, …the denotation of definite descriptions is (in general) not rigid but flexible. | |
| From: John P. Burgess (Philosophical Logic [2009], 2.9) | |
| A reaction: This modern way of putting it greatly clarifies why Russell was interested in the type of reference involved in definite descriptions. Obviously some descriptions (such as 'the only person who could ever have…') might be rigid. |
| 15406 | 'Induction' and 'recursion' on complexity prove by connecting a formula to its atomic components [Burgess] |
| Full Idea: There are atomic formulas, and formulas built from the connectives, and that is all. We show that all formulas have some property, first for the atomics, then the others. This proof is 'induction on complexity'; we also use 'recursion on complexity'. | |
| From: John P. Burgess (Philosophical Logic [2009], 1.4) | |
| A reaction: That is: 'induction on complexity' builds a proof from atomics, via connectives; 'recursion on complexity' breaks down to the atomics, also via the connectives. You prove something by showing it is rooted in simple truths. |
| 15425 | The sequent calculus makes it possible to have proof without transitivity of entailment [Burgess] |
| Full Idea: It might be wondered how one could have any kind of proof procedure at all if transitivity of entailment is disallowed, but the sequent calculus can get around the difficulty. | |
| From: John P. Burgess (Philosophical Logic [2009], 5.3) | |
| A reaction: He gives examples where transitivity of entailment (so that you can build endless chains of deductions) might fail. This is the point of the 'cut free' version of sequent calculus, since the cut rule allows transitivity. |
| 15426 | We can build one expanding sequence, instead of a chain of deductions [Burgess] |
| Full Idea: Instead of demonstrations which are either axioms, or follow from axioms by rules, we can have one ever-growing sequence of formulas of the form 'Axioms |- ______', where the blank is filled by Axioms, then Lemmas, then Theorems, then Corollaries. | |
| From: John P. Burgess (Philosophical Logic [2009], 5.3) |
| 15408 | 'Tautologies' are valid formulas of classical sentential logic - or substitution instances in other logics [Burgess] |
| Full Idea: The valid formulas of classical sentential logic are called 'tautologically valid', or simply 'tautologies'; with other logics 'tautologies' are formulas that are substitution instances of valid formulas of classical sentential logic. | |
| From: John P. Burgess (Philosophical Logic [2009], 1.5) |
| 15418 | Validity (for truth) and demonstrability (for proof) have correlates in satisfiability and consistency [Burgess] |
| Full Idea: Validity (truth by virtue of logical form alone) and demonstrability (provability by virtue of logical form alone) have correlative notions of logical possibility, 'satisfiability' and 'consistency', which come apart in some logics. | |
| From: John P. Burgess (Philosophical Logic [2009], 3.3) |
| 15412 | Models leave out meaning, and just focus on truth values [Burgess] |
| Full Idea: Models generally deliberately leave out meaning, retaining only what is important for the determination of truth values. | |
| From: John P. Burgess (Philosophical Logic [2009], 2.2) | |
| A reaction: This is the key point to hang on to, if you are to avoid confusing mathematical models with models of things in the real world. |
| 15411 | We only need to study mathematical models, since all other models are isomorphic to these [Burgess] |
| Full Idea: In practice there is no need to consider any but mathematical models, models whose universes consist of mathematical objects, since every model is isomorphic to one of these. | |
| From: John P. Burgess (Philosophical Logic [2009], 1.8) | |
| A reaction: The crucial link is the technique of Gödel Numbering, which can translate any verbal formula into numerical form. He adds that, because of the Löwenheim-Skolem theorem only subsets of the natural numbers need be considered. |
| 15416 | We aim to get the technical notion of truth in all models matching intuitive truth in all instances [Burgess] |
| Full Idea: The aim in setting up a model theory is that the technical notion of truth in all models should agree with the intuitive notion of truth in all instances. A model is supposed to represent everything about an instance that matters for its truth. | |
| From: John P. Burgess (Philosophical Logic [2009], 3.2) |
| 15428 | The Liar seems like a truth-value 'gap', but dialethists see it as a 'glut' [Burgess] |
| Full Idea: It is a common view that the liar sentence ('This very sentence is not true') is an instance of a truth-value gap (neither true nor false), but some dialethists cite it as an example of a truth-value glut (both true and false). | |
| From: John P. Burgess (Philosophical Logic [2009], 5.7) | |
| A reaction: The defence of the glut view must be that it is true, then it is false, then it is true... Could it manage both at once? |
| 10185 | Set theory is the standard background for modern mathematics [Burgess] |
| Full Idea: In present-day mathematics, it is set theory that serves as the background theory in which other branches of mathematics are developed. | |
| From: John P. Burgess (Review of Chihara 'Struct. Accnt of Maths' [2005], §1) | |
| A reaction: [He cites Bourbaki as an authority for this] See Benacerraf for a famous difficulty here, when you actually try to derive an ontology from the mathematicians' working practices. |
| 10184 | Structuralists take the name 'R' of the reals to be a variable ranging over structures, not a structure [Burgess] |
| Full Idea: On the structuralist interpretation, theorems of analysis concerning the real numbers R are about all complete ordered fields. So R, which appears to be the name of a specific structure, is taken to be a variable ranging over structures. | |
| From: John P. Burgess (Review of Chihara 'Struct. Accnt of Maths' [2005], §1) | |
| A reaction: Since I am beginning to think that nearly all linguistic expressions should be understood as variables, I find this very appealing, even if Burgess hates it. Terms slide and drift, and are vague, between variable and determinate reference. |
| 10189 | There is no one relation for the real number 2, as relations differ in different models [Burgess] |
| Full Idea: One might meet the 'Van Inwagen Problem' by saying that the intrinsic properties of the object playing the role of 2 will differ from one model to another, so that no statement about the intrinsic properties of 'the' real numbers will make sense. | |
| From: John P. Burgess (Review of Chihara 'Struct. Accnt of Maths' [2005], §5) | |
| A reaction: There seems to be a potential confusion among opponents of structuralism between relations at the level of actual mathematical operations, and generalisations about relations, which are captured in the word 'patterns'. Call them 'meta-relations'? |
| 10186 | If set theory is used to define 'structure', we can't define set theory structurally [Burgess] |
| Full Idea: It is to set theory that one turns for the very definition of 'structure', ...and this creates a problem of circularity if we try to impose a structuralist interpretation on set theory. | |
| From: John P. Burgess (Review of Chihara 'Struct. Accnt of Maths' [2005], §1) | |
| A reaction: This seems like a nice difficulty, especially if, like Shapiro, you wade in and try to give a formal account of structures and patterns. Resnik is more circumspect and vague. |
| 10187 | Abstract algebra concerns relations between models, not common features of all the models [Burgess] |
| Full Idea: Abstract algebra, such as group theory, is not concerned with the features common to all models of the axioms, but rather with the relationships among different models of those axioms (especially homomorphic relation functions). | |
| From: John P. Burgess (Review of Chihara 'Struct. Accnt of Maths' [2005], §1) | |
| A reaction: It doesn't seem to follow that structuralism can't be about the relations (or patterns) found when abstracting away and overviewing all the models. One can study family relations, or one can study kinship in general. |
| 10188 | How can mathematical relations be either internal, or external, or intrinsic? [Burgess] |
| Full Idea: The 'Van Inwagen Problem' for structuralism is of explaining how a mathematical relation (such as set membership, or the ratios of an ellipse) can fit into one of the three scholastics types of relations: are they internal, external, or intrinsic? | |
| From: John P. Burgess (Review of Chihara 'Struct. Accnt of Maths' [2005], §5) | |
| A reaction: The difficulty is that mathematical objects seem to need intrinsic properties to get any of these three versions off the ground (which was Russell's complaint against structures). |
| 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. |
| 15420 | De re modality seems to apply to objects a concept intended for sentences [Burgess] |
| Full Idea: There is a problem over 'de re' modality (as contrasted with 'de dicto'), as in ∃x□x. What is meant by '"it is analytic that Px" is satisfied by a', given that analyticity is a notion that in the first instance applies to complete sentences? | |
| From: John P. Burgess (Philosophical Logic [2009], 3.9) | |
| A reaction: This is Burgess's summary of one of Quine's original objections. The issue may be a distinction between whether the sentence is analytic, and what makes it analytic. The necessity of bachelors being unmarried makes that sentence analytic. |
| 15419 | General consensus is S5 for logical modality of validity, and S4 for proof [Burgess] |
| Full Idea: To the extent that there is any conventional wisdom about the question, it is that S5 is correct for alethic logical modality, and S4 correct for apodictic logical modality. | |
| From: John P. Burgess (Philosophical Logic [2009], 3.8) | |
| A reaction: In classical logic these coincide, so presumably one should use the minimum system to do the job, which is S4 (?). |
| 15417 | Logical necessity has two sides - validity and demonstrability - which coincide in classical logic [Burgess] |
| Full Idea: Logical necessity is a genus with two species. For classical logic the truth-related notion of validity and the proof-related notion of demonstrability, coincide - but they are distinct concept. In some logics they come apart, in intension and extension. | |
| From: John P. Burgess (Philosophical Logic [2009], 3.3) | |
| A reaction: They coincide in classical logic because it is sound and complete. This strikes me as the correct approach to logical necessity, tying it to the actual nature of logic, rather than some handwavy notion of just 'true in all possible worlds'. |
| 15422 | Three conditionals theories: Materialism (material conditional), Idealism (true=assertable), Nihilism (no truth) [Burgess] |
| Full Idea: Three main theories of the truth of indicative conditionals are Materialism (the conditions are the same as for the material conditional), Idealism (identifying assertability with truth-value), and Nihilism (no truth, just assertability). | |
| From: John P. Burgess (Philosophical Logic [2009], 4.3) |
| 15423 | It is doubtful whether the negation of a conditional has any clear meaning [Burgess] |
| Full Idea: It is contentious whether conditionals have negations, and whether 'it is not the case that if A,B' has any clear meaning. | |
| From: John P. Burgess (Philosophical Logic [2009], 4.9) | |
| A reaction: This seems to be connected to Lewis's proof that a probability conditional cannot be reduced to a single proposition. If a conditional only applies to A-worlds, it is not surprising that its meaning gets lost when it leaves that world. |
| 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. |
| 4988 | Folk psychology may not be reducible, but that doesn't make it false [Kirk,R on Churchland,PM] |
| Full Idea: It may well be that completed neuroscience will not include a reduction of folk psychology, but why should that be a reason to regard it as false? It would only be a reason if irreducibility entailed that they could not possibly both be true. | |
| From: comment on Paul M. Churchland (Eliminative Materialism and Prop. Attitudes [1981]) by Robert Kirk - Mind and Body §3.9 | |
| A reaction: If all our behaviour had been explained by a future neuro-science, this might not falsify folk psychology, but it would totally marginalise it. It is still possible that dewdrops are placed on leaves by fairies, but this is no longer a hot theory. |
| 4987 | Eliminative materialism says folk psychology will be replaced, not reduced [Churchland,PM] |
| Full Idea: Eliminative materialism says our common-sense conception of psychological phenomena is a radically false theory, so defective that both the principles and the ontology of that theory will eventually be displaced (rather than reduced). | |
| From: Paul M. Churchland (Eliminative Materialism and Prop. Attitudes [1981], Intro) | |
| A reaction: It is hard to see what you could replace the idea of a 'belief' with in ordinary conversation. We may reduce beliefs to neuronal phenomena, but we can't drop the vocabulary of the macro-phenomena. The physics of weather doesn't eliminate 'storms'. |
| 7518 | If folk psychology gives a network of causal laws, that fits neatly with functionalism [Churchland,PM] |
| Full Idea: The portrait of folk psychology as a network of causal laws dovetailed neatly with the emerging philosophy of mind called functionalism. | |
| From: Paul M. Churchland (Folk Psychology [1996], II) | |
| A reaction: And from the lower levels functionalism is supported by the notion that the brain is modular. Note the word 'laws'; this implies an underlying precision in folk psychology, which is then easily attacked. Maybe the network is too complex for simple laws. |
| 7519 | Many mental phenomena are totally unexplained by folk psychology [Churchland,PM] |
| Full Idea: Folk psychology fails utterly to explain a considerable variety of central psychological phenomena: mental illness, sleep, creativity, memory, intelligence differences, and many forms of learning, to cite just a few. | |
| From: Paul M. Churchland (Folk Psychology [1996], III) | |
| A reaction: If folk psychology is a theory, it will have been developed to predict behaviour, rather than as a full-blown psychological map. The odd thing is that some people seem to be very bad at folk psychology. |
| 7520 | Folk psychology never makes any progress, and is marginalised by modern science [Churchland,PM] |
| Full Idea: Folk psychology has not progressed significantly in the last 2500 years; if anything, it has been steadily in retreat during this period; it does not integrate with modern science, and its emerging wallflower status bodes ill for its future. | |
| From: Paul M. Churchland (Folk Psychology [1996], III) | |
| A reaction: [compressed] However, while shares in alchemy and astrology have totally collapsed, folk psychology shows not the slightest sign of going away, and it is unclear how it ever could. See Idea 3177. |
| 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). |