Combining Philosophers

All the ideas for Friedrich Schlegel, Boethius and ystein Linnebo

unexpand these ideas     |    start again     |     specify just one area for these philosophers


62 ideas

1. Philosophy / C. History of Philosophy / 4. Later European Philosophy / c. Eighteenth century philosophy
Irony is consciousness of abundant chaos [Schlegel,F]
     Full Idea: Irony is the clear conscousness of eternal agility, of an infinitely abundant chaos.
     From: Friedrich Schlegel (works [1798], Vol 2 p.263), quoted by Ernst Behler - Early German Romanticism p.81
     A reaction: [1800, in Athenaum] The interest here is irony as a reaction to chaos, which has made systematic thought impossible. Do romantics necessarily see reality as beyond our grasp, even if not chaotic? This must be situational, not verbal irony.
1. Philosophy / E. Nature of Metaphysics / 3. Metaphysical Systems
Plato has no system. Philosophy is the progression of a mind and development of thoughts [Schlegel,F]
     Full Idea: Plato had no system, but only a philosophy. The philosophy of a human being is the history, the becoming, the progression of his mind, the gradual formation and development of his thoughts.
     From: Friedrich Schlegel (works [1798], Vol.11 p.118), quoted by Ernst Behler - Early German Romanticism
     A reaction: [1804] Looks like the first sign of rebellion against the idea of having a 'system' in philosophy, making it a key idea of romanticism. Systems are classical? This looks like an early opposition of a historical dimension to static systems. Big idea.
2. Reason / D. Definition / 12. Paraphrase
'Some critics admire only one another' cannot be paraphrased in singular first-order [Linnebo]
     Full Idea: The Geach-Kaplan sentence 'Some critics admire only one another' provably has no singular first-order paraphrase using only its predicates.
     From: Øystein Linnebo (Plural Quantification [2008], 1)
     A reaction: There seems to be a choice of either going second-order (picking out a property), or going plural (collectively quantifying), or maybe both.
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / n. Axiom of Comprehension
A comprehension axiom is 'predicative' if the formula has no bound second-order variables [Linnebo]
     Full Idea: If φ contains no bound second-order variables, the corresponding comprehension axiom is said to be 'predicative'; otherwise it is 'impredicative'.
     From: Øystein Linnebo (Plural Quantification Exposed [2003], §1)
     A reaction: ['Predicative' roughly means that a new predicate is created, and 'impredicative' means that it just uses existing predicates]
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / d. Naïve logical sets
Naïve set theory says any formula defines a set, and coextensive sets are identical [Linnebo]
     Full Idea: Naïve set theory is based on the principles that any formula defines a set, and that coextensive sets are identical.
     From: Øystein Linnebo (Philosophy of Mathematics [2017], 4.2)
     A reaction: The second principle is a standard axiom of ZFC. The first principle causes the trouble.
5. Theory of Logic / A. Overview of Logic / 4. Pure Logic
A 'pure logic' must be ontologically innocent, universal, and without presuppositions [Linnebo]
     Full Idea: I offer these three claims as a partial analysis of 'pure logic': ontological innocence (no new entities are introduced), universal applicability (to any realm of discourse), and cognitive primacy (no extra-logical ideas are presupposed).
     From: Øystein Linnebo (Plural Quantification Exposed [2003], §1)
A pure logic is wholly general, purely formal, and directly known [Linnebo]
     Full Idea: The defining features of a pure logic are its absolute generality (the objects of discourse are irrelevant), and its formality (logical truths depend on form, not matter), and its cognitive primacy (no extra-logical understanding is needed to grasp it).
     From: Øystein Linnebo (Plural Quantification [2008], 3)
     A reaction: [compressed] This strikes me as very important. The above description seems to contain no ontological commitment at all, either to the existence of something, or to two things, or to numbers, or to a property. Pure logic seems to be 'if-thenism'.
5. Theory of Logic / G. Quantification / 6. Plural Quantification
Plural quantification depends too heavily on combinatorial and set-theoretic considerations [Linnebo]
     Full Idea: If my arguments are correct, the theory of plural quantification has no right to the title 'logic'. ...The impredicative plural comprehension axioms depend too heavily on combinatorial and set-theoretic considerations.
     From: Øystein Linnebo (Plural Quantification Exposed [2003], §4)
Second-order quantification and plural quantification are different [Linnebo]
     Full Idea: Second-order quantification and plural quantification are generally regarded as different forms of quantification.
     From: Øystein Linnebo (Plural Quantification [2008], 2)
Traditionally we eliminate plurals by quantifying over sets [Linnebo]
     Full Idea: The traditional view in analytic philosophy has been that all plural locutions should be paraphrased away by quantifying over sets, though Boolos and other objected that this is unnatural and unnecessary.
     From: Øystein Linnebo (Plural Quantification [2008], 5)
Instead of complex objects like tables, plurally quantify over mereological atoms tablewise [Linnebo]
     Full Idea: Plural quantification can be used to eliminate the commitment of science and common sense to complex objects. We can use plural quantification over mereological atoms arranged tablewise or chairwise.
     From: Øystein Linnebo (Plural Quantification [2008], 4.5)
     A reaction: [He cites Hossack and van Ingwagen]
Can second-order logic be ontologically first-order, with all the benefits of second-order? [Linnebo]
     Full Idea: According to its supporters, second-order logic allow us to pay the ontological price of a mere first-order theory and get the corresponding monadic second-order theory for free.
     From: Øystein Linnebo (Plural Quantification Exposed [2003], §0)
Plural plurals are unnatural and need a first-level ontology [Linnebo]
     Full Idea: Higher-order plural quantification (plural plurals) is often rejected because plural quantification is supposedly ontological innocent, with no plural things to be plural, and because it is not found in ordinary English.
     From: Øystein Linnebo (Plural Quantification [2008], 2.4)
     A reaction: [Summary; he cites Boolos as a notable rejector] Linnebo observes that Icelandic contains a word 'tvennir' which means 'two pairs of'.
Plural quantification may allow a monadic second-order theory with first-order ontology [Linnebo]
     Full Idea: Plural quantification seems to offer ontological economy. We can pay the price of a mere first-order theory and then use plural quantification to get for free the corresponding monadic second-order theory, which would be an ontological bargain.
     From: Øystein Linnebo (Plural Quantification [2008], 4.4)
     A reaction: [He mentions Hellman's modal structuralism in mathematics]
5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic
In classical semantics singular terms refer, and quantifiers range over domains [Linnebo]
     Full Idea: In classical semantics the function of singular terms is to refer, and that of quantifiers, to range over appropriate domains of entities.
     From: Øystein Linnebo (Philosophy of Mathematics [2017], 7.1)
5. Theory of Logic / K. Features of Logics / 1. Axiomatisation
The axioms of group theory are not assertions, but a definition of a structure [Linnebo]
     Full Idea: Considered in isolation, the axioms of group theory are not assertions but comprise an implicit definition of some abstract structure,
     From: Øystein Linnebo (Philosophy of Mathematics [2017], 3.5)
     A reaction: The traditional Euclidean approach is that axioms are plausible assertions with which to start. The present idea sums up the modern approach. In the modern version you can work backwards from a structure to a set of axioms.
To investigate axiomatic theories, mathematics needs its own foundational axioms [Linnebo]
     Full Idea: Mathematics investigates the deductive consequences of axiomatic theories, but it also needs its own foundational axioms in order to provide models for its various axiomatic theories.
     From: Øystein Linnebo (Philosophy of Mathematics [2017], 4.1)
     A reaction: This is a problem which faces the deductivist (if-then) approach. The deductive process needs its own grounds.
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / g. Incompleteness of Arithmetic
You can't prove consistency using a weaker theory, but you can use a consistent theory [Linnebo]
     Full Idea: If the 2nd Incompleteness Theorem undermines Hilbert's attempt to use a weak theory to prove the consistency of a strong one, it is still possible to prove the consistency of one theory, assuming the consistency of another theory.
     From: Øystein Linnebo (Philosophy of Mathematics [2017], 4.6)
     A reaction: Note that this concerns consistency, not completeness.
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / a. Structuralism
Mathematics is the study of all possible patterns, and is thus bound to describe the world [Linnebo]
     Full Idea: Philosophical structuralism holds that mathematics is the study of abstract structures, or 'patterns'. If mathematics is the study of all possible patterns, then it is inevitable that the world is described by mathematics.
     From: Øystein Linnebo (Philosophy of Mathematics [2017], 11.1)
     A reaction: [He cites the physicist John Barrow (2010) for this] For me this is a major idea, because the concept of a pattern gives a link between the natural physical world and the abstract world of mathematics. No platonism is needed.
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / b. Varieties of structuralism
'Deductivist' structuralism is just theories, with no commitment to objects, or modality [Linnebo]
     Full Idea: The 'deductivist' version of eliminativist structuralism avoids ontological commitments to mathematical objects, and to modal vocabulary. Mathematics is formulations of various (mostly categorical) theories to describe kinds of concrete structures.
     From: Øystein Linnebo (Structuralism and the Notion of Dependence [2008], 1)
     A reaction: 'Concrete' is ambiguous here, as mathematicians use it for the actual working maths, as opposed to the metamathematics. Presumably the structures are postulated rather than described. He cites Russell 1903 and Putnam. It is nominalist.
Non-eliminative structuralism treats mathematical objects as positions in real abstract structures [Linnebo]
     Full Idea: The 'non-eliminative' version of mathematical structuralism takes it to be a fundamental insight that mathematical objects are really just positions in abstract mathematical structures.
     From: Øystein Linnebo (Structuralism and the Notion of Dependence [2008], I)
     A reaction: The point here is that it is non-eliminativist because it is committed to the existence of mathematical structures. I oppose this view, since once you are committed to the structures, you may as well admit a vast implausible menagerie of abstracta.
'Modal' structuralism studies all possible concrete models for various mathematical theories [Linnebo]
     Full Idea: The 'modal' version of eliminativist structuralism lifts the deductivist ban on modal notions. It studies what necessarily holds in all concrete models which are possible for various theories.
     From: Øystein Linnebo (Structuralism and the Notion of Dependence [2008], I)
     A reaction: [He cites Putnam 1967, and Hellman 1989] If mathematical truths are held to be necessary (which seems to be right), then it seems reasonable to include modal notions, about what is possible, in its study.
'Set-theoretic' structuralism treats mathematics as various structures realised among the sets [Linnebo]
     Full Idea: 'Set-theoretic' structuralism rejects deductive nominalism in favour of a background theory of sets, and mathematics as the various structures realized among the sets. This is often what mathematicians have in mind when they talk about structuralism.
     From: Øystein Linnebo (Structuralism and the Notion of Dependence [2008], I)
     A reaction: This is the big shift from 'mathematics can largely be described in set theory' to 'mathematics just is set theory'. If it just is set theory, then which version of set theory? Which axioms? The safe iterative conception, or something bolder?
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / d. Platonist structuralism
Structuralism differs from traditional Platonism, because the objects depend ontologically on their structure [Linnebo]
     Full Idea: Structuralism can be distinguished from traditional Platonism in that it denies that mathematical objects from the same structure are ontologically independent of one another
     From: Øystein Linnebo (Structuralism and the Notion of Dependence [2008], III)
     A reaction: My instincts strongly cry out against all versions of this. If you are going to be a platonist (rather as if you are going to be religious) you might as well go for it big time and have independent objects, which will then dictate a structure.
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / e. Structuralism critique
Structuralism is right about algebra, but wrong about sets [Linnebo]
     Full Idea: Against extreme views that all mathematical objects depend on the structures to which they belong, or that none do, I defend a compromise view, that structuralists are right about algebraic objects (roughly), but anti-structuralists are right about sets.
     From: Øystein Linnebo (Structuralism and the Notion of Dependence [2008], Intro)
In mathematical structuralism the small depends on the large, which is the opposite of physical structures [Linnebo]
     Full Idea: If objects depend on the other objects, this would mean an 'upward' dependence, in that they depend on the structure to which they belong, where the physical realm has a 'downward' dependence, with structures depending on their constituents.
     From: Øystein Linnebo (Structuralism and the Notion of Dependence [2008], III)
     A reaction: This nicely captures an intuition I have that there is something wrong with a commitment primarily to 'structures'. Our only conception of such things is as built up out of components. Not that I am committing to mathematical 'components'!
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
Logical truth is true in all models, so mathematical objects can't be purely logical [Linnebo]
     Full Idea: Modern logic requires that logical truths be true in all models, including ones devoid of any mathematical objects. It follows immediately that the existence of mathematical objects can never be a matter of logic alone.
     From: Øystein Linnebo (Philosophy of Mathematics [2017], 2)
     A reaction: Hm. Could there not be a complete set of models for a theory which all included mathematical objects? (I can't answer that).
6. Mathematics / C. Sources of Mathematics / 7. Formalism
Game Formalism has no semantics, and Term Formalism reduces the semantics [Linnebo]
     Full Idea: Game Formalism seeks to banish all semantics from mathematics, and Term Formalism seeks to reduce any such notions to purely syntactic ones.
     From: Øystein Linnebo (Philosophy of Mathematics [2017], 3.3)
     A reaction: This approach was stimulated by the need to justify the existence of the imaginary number i. Just say it is a letter!
7. Existence / C. Structure of Existence / 4. Ontological Dependence
There may be a one-way direction of dependence among sets, and among natural numbers [Linnebo]
     Full Idea: We can give an exhaustive account of the identity of the empty set and its singleton without mentioning infinite sets, and it might be possible to defend the view that one natural number depends on its predecessor but not vice versa.
     From: Øystein Linnebo (Structuralism and the Notion of Dependence [2008], V)
     A reaction: Linnebo uses this as one argument against mathematical structuralism, where the small seems to depend on the large. The view of sets rests on the iterative conception, where each level is derived from a lower level. He dismisses structuralism of sets.
7. Existence / D. Theories of Reality / 11. Ontological Commitment / a. Ontological commitment
We speak of a theory's 'ideological commitments' as well as its 'ontological commitments' [Linnebo]
     Full Idea: Some philosophers speak about a theory's 'ideological commitments' and not just about its 'ontological commitments'.
     From: Øystein Linnebo (Plural Quantification [2008], 5.4)
     A reaction: This is a third strategy for possibly evading one's ontological duty, along with fiddling with the words 'exist' or 'object'. An ideological commitment to something to which one is not actually ontologically committed conjures up stupidity and dogma.
7. Existence / D. Theories of Reality / 11. Ontological Commitment / e. Ontological commitment problems
Ordinary speakers posit objects without concern for ontology [Linnebo]
     Full Idea: Maybe ordinary speakers aren't very concerned about their ontological commitments, and sometimes find it convenient to posit objects.
     From: Øystein Linnebo (Plural Quantification [2008], 2.4)
     A reaction: I think this is the whole truth about the ontological commitment of ordinary language. We bring abstraction under control by pretending it is a world of physical objects. The 'left wing' in politics, 'dark deeds', a 'huge difference'.
7. Existence / E. Categories / 1. Categories
There are two sorts of category - referring to things, and to circumstances of things [Boethius]
     Full Idea: Is it not now clear what the difference is between items in the categories? Some serve to refer to a thing, whereas others serve to refer to the circumstances of a thing.
     From: Boethius (Concerning the Trinity [c.518], Ch. 4), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 12.5
8. Modes of Existence / B. Properties / 4. Intrinsic Properties
An 'intrinsic' property is either found in every duplicate, or exists independent of all externals [Linnebo]
     Full Idea: There are two main ways of spelling out an 'intrinsic' property: if and only if it is shared by every duplicate of an object, ...and if and only if the object would have this property even if the rest of the universe were removed or disregarded.
     From: Øystein Linnebo (Structuralism and the Notion of Dependence [2008], II)
     A reaction: [He cites B.Weatherson's Stanford Encyclopaedia article] How about an intrinsic property being one which explains its identity, or behaviour, or persistence conditions?
8. Modes of Existence / D. Universals / 5. Universals as Concepts
If universals are not separate, we can isolate them by abstraction [Boethius, by Panaccio]
     Full Idea: Boethius argued that universals can be successfully isolated by abstraction, even if they do not exist as separate entities in the world.
     From: report of Boethius (Second Commentary on 'Isagoge' [c.517]) by Claude Panaccio - Medieval Problem of Universals 'Sources'
     A reaction: Personally I rather like this unfashionable view. I can't think of any other plausible explanation, unless it is a less conscious psychological process of labelling. Boethius's idea led to medieval 'immanent realism'.
9. Objects / A. Existence of Objects / 1. Physical Objects
The modern concept of an object is rooted in quantificational logic [Linnebo]
     Full Idea: Our modern general concept of an object is given content only in connection with modern quantificational logic.
     From: Øystein Linnebo (Plural Quantification Exposed [2003], §2)
     A reaction: [He mentions Frege, Carnap, Quine and Dummett] This is the first thing to tell beginners in modern analytical metaphysics. The word 'object' is very confusing. I think I prefer 'entity'.
9. Objects / A. Existence of Objects / 5. Individuation / d. Individuation by haecceity
We can call the quality of Plato 'Platonity', and say it is a quality which only he possesses [Boethius]
     Full Idea: Let the incommunicable property of Plato be called 'Platonity'. For we can call this quality 'Platonity' by a fabricated word, in the way in which we call the quality of man 'humanity'. Therefore this Platonity is one man's alone - Plato's.
     From: Boethius (Librium de interpretatione editio secunda [c.516], PL64 462d), quoted by Alvin Plantinga - Actualism and Possible Worlds 5
     A reaction: Plantinga uses this idea to reinstate the old notion of a haecceity, to bestow unshakable identity on things. My interest in the quotation is that the most shocking confusions about properties arose long before the invention of set theory.
11. Knowledge Aims / A. Knowledge / 2. Understanding
Reasoning relates to understanding as time does to eternity [Boethius, by Sorabji]
     Full Idea: Boethius says that reasoning [ratiocinatio] is related to intellectual understanding [intellectus] as time to eternity, involving as it does movement from one stage to another.
     From: report of Boethius (The Consolations of Philosophy [c.520], 4, prose 6) by Richard Sorabji - Rationality 'Shifting'
     A reaction: This gives true understanding a quasi-religious aura, as befits a subject which is truly consoling.
11. Knowledge Aims / C. Knowing Reality / 3. Idealism / b. Transcendental idealism
Poetry is transcendental when it connects the ideal to the real [Schlegel,F]
     Full Idea: There is a kind of poetry whose essence lies in the relation between the ideal and the real, and which therefore, by analogy with philosophical jargon, should be called transcendental poetry.
     From: Friedrich Schlegel (works [1798], Vol 2 p.204), quoted by Ernst Behler - Early German Romanticism p.78
     A reaction: I think the basic idea is that the imaginative creation of poetry has the power to bridge the gap between the transcendental (presupposed) ideal in Fichte, and nature (which Fichte seems to have excluded from his system).
16. Persons / F. Free Will / 1. Nature of Free Will
Knowledge of present events doesn't make them necessary, so future events are no different [Boethius]
     Full Idea: Just as the knowledge of present things imposes no necessity on what is happening, so foreknowledge imposes no necessity on what is going to happen.
     From: Boethius (The Consolations of Philosophy [c.520], V.IV)
     A reaction: This, I think, is the key idea if you are looking for a theological answer to the theological problem of free will. Don't think of God as seeing the future 'now'. God is outside time, and so only observes all of history just as we observe the present.
16. Persons / F. Free Will / 2. Sources of Free Will
Rational natures require free will, in order to have power of judgement [Boethius]
     Full Idea: There is freedom of the will, for it would be impossible for any rational nature to exist without it. Whatever by nature has the use of reason has the power of judgement to decide each matter.
     From: Boethius (The Consolations of Philosophy [c.520], V.II)
     A reaction: A view taken up by Aquinas (Idea 1849) and Kant (Idea 3740). The 'power of judgement' pinpoints the core of rationality, and it is not clear how a robot could fulfil such a power, if it lacked consciousness. Does a machine 'judge' barcodes?
16. Persons / F. Free Will / 6. Determinism / a. Determinism
God's universal foreknowledge seems opposed to free will [Boethius]
     Full Idea: God's universal foreknowledge and freedom of the will seem clean contrary and opposite.
     From: Boethius (The Consolations of Philosophy [c.520], V.III)
     A reaction: The original source of the great theological and philosophical anguish over free will. The problem is anything which fixes future facts, be it oracular knowledge or scientific prediction. Personally I think free will was an invention by religions.
Does foreknowledge cause necessity, or necessity cause foreknowledge? [Boethius]
     Full Idea: Does foreknowledge of the future cause the necessity of events, or necessity cause the foreknowledge?
     From: Boethius (The Consolations of Philosophy [c.520], V.III)
     A reaction: An intriguing question, though not one that bothers me. I don't understand how foreknowledge causes necessity, unless God's vision of the future is a kind of 'freezing ray'. Even the gods must bow to necessity (Idea 3016).
19. Language / C. Assigning Meanings / 3. Predicates
Predicates are 'distributive' or 'non-distributive'; do individuals do what the group does? [Linnebo]
     Full Idea: The predicate 'is on the table' is 'distributive', since some things are on the table if each one is, whereas the predicate 'form a circle' is 'non-distributive', since it is not analytic that when some things form a circle, each one forms a circle.
     From: Øystein Linnebo (Plural Quantification [2008], 1.1)
     A reaction: The first predicate can have singular or plural subjects, but the second requires a plural subject? Hm. 'The rope forms a circle'. The second is example is not true, as well as not analytic.
20. Action / C. Motives for Action / 3. Acting on Reason / b. Intellectualism
The wicked want goodness, so they would not be wicked if they obtained it [Boethius]
     Full Idea: If the wicked obtained what they want - that is goodness - they could not be wicked.
     From: Boethius (The Consolations of Philosophy [c.520], IV.II)
     A reaction: This is a nice paradox which arises from Boethius being, like Socrates, an intellectualist. The question is whether the wicked want the good de re or de dicto. If they wanted to good de re (as its true self) they would obviously not be wicked.
21. Aesthetics / B. Nature of Art / 8. The Arts / b. Literature
For poets free choice is supreme [Schlegel,F]
     Full Idea: Romantic poetry recognises as its first commandment that the free choice [Wilkür] of the poet can tolerate no law above itself.
     From: Friedrich Schlegel (works [1798], Frag 116 p.32), quoted by Terry Pinkard - German Philosophy 1760-1860 06
     A reaction: This leads to Shelley's 'poets are the unacknowledged legislators of the race'. We should also take it as a response to Kant's categorical imperative, which leads to the Gauguin Problem (wickedness justified by the art it leads to).
22. Metaethics / A. Ethics Foundations / 1. Nature of Ethics / g. Moral responsibility
Rewards and punishments are not deserved if they don't arise from free movement of the mind [Boethius]
     Full Idea: If there is no free will, then in vain is reward offered to the good and punishment to the bad, because they have not been deserved by any free and willed movement of the mind.
     From: Boethius (The Consolations of Philosophy [c.520], V.III)
     A reaction: I just don't see why decisions have to come out of nowhere in order to have any merit. People are different from natural forces, because the former can be persuaded by reasons. A moral agent is a mechanism which decides according to reasons.
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / e. Human nature
When people fall into wickedness they lose their human nature [Boethius]
     Full Idea: When people fall into wickedness they lose their human nature.
     From: Boethius (The Consolations of Philosophy [c.520], IV.III)
     A reaction: This is a view I find quite sympathetic, but which is a million miles from the modern view. Today's paper showed a picture of a famous criminal holding a machine gun and a baby. We seem to delight in the idea that human nature is partly wicked.
22. Metaethics / B. Value / 2. Values / g. Love
True love is ironic, in the contrast between finite limitations and the infinity of love [Schlegel,F]
     Full Idea: True irony is the irony of love. It arises from the feeling of finitude and one's own limitation, and the apparent contradiction of these feelings with the concept of infinity inherent in all true love.
     From: Friedrich Schlegel (works [1798], Vol.10 p.357), quoted by Ernst Behler - Early German Romanticism
     A reaction: [c.1827] This is more about idealist philosophy and its yearning for the Absolute than it is about the actual nature of love. Love is the door to the Absolute. The irony is our inability to pass through it.
22. Metaethics / C. The Good / 2. Happiness / a. Nature of happiness
Happiness is a good which once obtained leaves nothing more to be desired [Boethius]
     Full Idea: Happiness is a good which once obtained leaves nothing more to be desired.
     From: Boethius (The Consolations of Philosophy [c.520], III.I)
     A reaction: This sounds like the ancient 'eudaimonism' of Socrates and Aristotle, which might not be entirely compatible with orthodox Christianity. It is not true, though, that happy people lack ambition. To be happy, an unfilfilled aim may be needed.
23. Ethics / C. Virtue Theory / 1. Virtue Theory / a. Nature of virtue
The bad seek the good through desire, but the good through virtue, which is more natural [Boethius]
     Full Idea: The supreme good is the goal of good men and bad men alike, and the good seek it by means of a natural activity - the exercise of virtue - while the bad strive to acquire it by means of their desires, which is not a natural way of obtaining the good.
     From: Boethius (The Consolations of Philosophy [c.520], IV.II)
     A reaction: Interesting here is the slightly surprising claim that the pursuit of virtue is 'natural', implying that the mere pursuit of desire is not. Doesn't nature have to be restrained to achieve the good? Boethius is in the tradition of Aristotle and stoicism.
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / j. Unity of virtue
Varied aims cannot be good because they differ, but only become good when they unify [Boethius]
     Full Idea: The various things that men pursue are not perfect and good, because they differ from one another; ..when they differ they are not good, but when they begin to be one they become good, so it is through the acquisition of unity that these things are good.
     From: Boethius (The Consolations of Philosophy [c.520], III.XI)
     A reaction: This is a criticism of Aristotle's pluralism about the good(s) for man. Boethius' thought is appealing, and ties in with the Socratic notion that the virtues might be unified in some way. I think it is right that true virtues merge together, ideally.
23. Ethics / F. Existentialism / 3. Angst
Irony is the response to conflicts of involvement and attachment [Schlegel,F, by Pinkard]
     Full Idea: Irony is thus the appropriate stance to feeling that is both inescapably committed and inescapably detached at the same time.
     From: report of Friedrich Schlegel (works [1798]) by Terry Pinkard - German Philosophy 1760-1860 06
     A reaction: This is the epitome of romanticism, which carries over into the dilemmas of existentialism. Striking the right balance between caring and not caring seems to me to be the main focus of modern British people.
25. Social Practice / A. Freedoms / 2. Freedom of belief
You can't control someone's free mind, only their body and possessions [Boethius]
     Full Idea: The only way one man can exercise power over another is over his body and what is inferior to it, his possessions. You cannot impose anything on a free mind.
     From: Boethius (The Consolations of Philosophy [c.520], II.VI)
     A reaction: Written, of course, in prison. Boethius had not met hypnotism, or mind-controlling drugs, or invasive brain surgery. He hadn't read '1984'. He hadn't seen 'The Ipcress File'. (In fact, he should have got out more…)
28. God / A. Divine Nature / 5. God and Time
Divine eternity is the all-at-once and complete possession of unending life [Boethius]
     Full Idea: Divine eternity is the all-at-once [tota simul] and complete possession of unending life.
     From: Boethius (The Consolations of Philosophy [c.520], V.6), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 18.1
     A reaction: This is a famous definition, and 'tota simul' became the phrase used for 'entia successiva', such as a day, or the Olympic Games.
28. God / A. Divine Nature / 6. Divine Morality / a. Divine morality
Where does evil come from if there is a god; where does good come from if there isn't? [Boethius]
     Full Idea: A philosopher (possibly Epicurus) asked where evil comes from if there is a god, and where good comes from if there isn't.
     From: Boethius (The Consolations of Philosophy [c.520], I.IV)
     A reaction: A nice question. The best known answer to the first question is 'Satan'. Some would say that in the second case good is impossible, but I would have thought that the only possible answer is 'mankind'.
28. God / A. Divine Nature / 6. Divine Morality / c. God is the good
God is the good [Boethius]
     Full Idea: God is the good.
     From: Boethius (The Consolations of Philosophy [c.520], III.XI)
     A reaction: This summary follows on from the rather dubious discussion in Idea 5757. If God IS the good, it is not clear how God could be usefully described as 'good'. We would know that he was good a priori, without any enquiry into his nature being needed.
God is the supreme good, so no source of goodness could take precedence over God [Boethius]
     Full Idea: That which by its own nature is something distinct from supreme good, cannot be supreme good. ..It is impossible for anything to be by nature better than that from which it is derived, so that which is the origin of all things is supreme good.
     From: Boethius (The Consolations of Philosophy [c.520], III.X)
     A reaction: This is the contortion early Christians got into once they decided God had to be 'supreme' in the moral world (and every other world). Boethius allows a possible external source of all morality, but then has to say that this source is morally inferior.
28. God / B. Proving God / 3. Proofs of Evidence / a. Cosmological Proof
The power through which creation remains in existence and motion I call 'God' [Boethius]
     Full Idea: For this power, whatever it is, through which creation remains in existence and in motion, I use the word which all people use, namely God.
     From: Boethius (The Consolations of Philosophy [c.520], III.XII)
     A reaction: An interesting caution in the phrase 'whatever it is'. Boethius would have been very open-minded in discussion with modern science about the stability of nature. Personally I reject Boethius' theory, but don't have a better one. Cf Idea 1431.
28. God / B. Proving God / 3. Proofs of Evidence / b. Teleological Proof
The regular events of this life could never be due to chance [Boethius]
     Full Idea: I could never believe that events of such regularity as we find in this life are due to the haphazards of chance.
     From: Boethius (The Consolations of Philosophy [c.520], I.VI)
     A reaction: It depends what you mean by 'chance'. Boethius infers a conscious mind, and presumes this to be God, but that is two large and unsupported steps. Modern atheists must acknowledge Boethius' problem. Why is there order?
29. Religion / D. Religious Issues / 2. Immortality / a. Immortality
The reward of the good is to become gods [Boethius]
     Full Idea: Goodness is happiness, ..but we agree that those who attain happiness are divine. The reward of the good, then, is to become gods.
     From: Boethius (The Consolations of Philosophy [c.520], IV.III)
     A reaction: Kant offered a similar argument (see Idea 1455). Most of us are unlikely to agree with the second premise of Boethius' argument. The idea that we might somehow become gods gripped the imagination for the next thousand years.
29. Religion / D. Religious Issues / 3. Problem of Evil / a. Problem of Evil
God can do anything, but he cannot do evil, so evil must be nothing [Boethius]
     Full Idea: 'There is nothing that an omnipotent power could not do?' 'No.' 'Then can God do evil?' 'No.' 'So evil is nothing, since that is what He cannot do who can do anthing.'
     From: Boethius (The Consolations of Philosophy [c.520], III.XII)
     A reaction: A lovely example of the contortions necessary once you insist that God must be 'omnipotent', in some absolute sense of the term. Saying that evil is 'nothing' strikes me as nothing more than a feeble attempt to insult it.
If you could see the plan of Providence, you would not think there was evil anywhere [Boethius]
     Full Idea: If you could see the plan of Providence, you would not think there was evil anywhere.
     From: Boethius (The Consolations of Philosophy [c.520], IV.VI)
     A reaction: This brings out the verificationist in me. See Idea 1467, by Antony Flew. Presumably Boethius would retain his faith as Europe moved horribly from 1939 to 1945, and even if the whole of humanity sank into squalid viciousness.