49 ideas
| 22070 | 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. |
| 22069 | 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. |
| 17713 | After 1903, Husserl avoids metaphysical commitments [Mares] |
| Full Idea: In Husserl's philosophy after 1903, he is unwilling to commit himself to any specific metaphysical views. | |
| From: Edwin D. Mares (A Priori [2011], 08.2) |
| 18781 | Inconsistency doesn't prevent us reasoning about some system [Mares] |
| Full Idea: We are able to reason about inconsistent beliefs, stories, and theories in useful and important ways | |
| From: Edwin D. Mares (Negation [2014], 1) |
| 18789 | Intuitionist logic looks best as natural deduction [Mares] |
| Full Idea: Intuitionist logic appears most attractive in the form of a natural deduction system. | |
| From: Edwin D. Mares (Negation [2014], 5.5) |
| 18790 | Intuitionism as natural deduction has no rule for negation [Mares] |
| Full Idea: In intuitionist logic each connective has one introduction and one elimination rule attached to it, but in the classical system we have to add an extra rule for negation. | |
| From: Edwin D. Mares (Negation [2014], 5.5) | |
| A reaction: How very intriguing. Mares says there are other ways to achieve classical logic, but they all seem rather cumbersome. |
| 18787 | Three-valued logic is useful for a theory of presupposition [Mares] |
| Full Idea: One reason for wanting a three-valued logic is to act as a basis of a theory of presupposition. | |
| From: Edwin D. Mares (Negation [2014], 3.1) | |
| A reaction: [He cites Strawson 1950] The point is that you can get a result when the presupposition does not apply, as in talk of the 'present King of France'. |
| 18793 | Material implication (and classical logic) considers nothing but truth values for implications [Mares] |
| Full Idea: The problem with material implication, and classical logic more generally, is that it considers only the truth value of formulas in deciding whether to make an implication stand between them. It ignores everything else. | |
| From: Edwin D. Mares (Negation [2014], 7.1) | |
| A reaction: The obvious problem case is conditionals, and relevance is an obvious extra principle that comes to mind. |
| 18784 | In classical logic the connectives can be related elegantly, as in De Morgan's laws [Mares] |
| Full Idea: Among the virtues of classical logic is the fact that the connectives are related to one another in elegant ways that often involved negation. For example, De Morgan's Laws, which involve negation, disjunction and conjunction. | |
| From: Edwin D. Mares (Negation [2014], 2.2) | |
| A reaction: Mares says these enable us to take disjunction or conjunction as primitive, and then define one in terms of the other, using negation as the tool. |
| 18786 | Excluded middle standardly implies bivalence; attacks use non-contradiction, De M 3, or double negation [Mares] |
| Full Idea: On its standard reading, excluded middle tells us that bivalence holds. To reject excluded middle, we must reject either non-contradiction, or ¬(A∧B) ↔ (¬A∨¬B) [De Morgan 3], or the principle of double negation. All have been tried. | |
| From: Edwin D. Mares (Negation [2014], 2.2) |
| 18780 | Standard disjunction and negation force us to accept the principle of bivalence [Mares] |
| Full Idea: If we treat disjunction in the standard way and take the negation of a statement A to mean that A is false, accepting excluded middle forces us also to accept the principle of bivalence, which is the dictum that every statement is either true or false. | |
| From: Edwin D. Mares (Negation [2014], 1) | |
| A reaction: Mates's point is to show that passively taking the normal account of negation for granted has important implications. |
| 18782 | The connectives are studied either through model theory or through proof theory [Mares] |
| Full Idea: In studying the logical connectives, philosophers of logic typically adopt the perspective of either model theory (givng truth conditions of various parts of the language), or of proof theory (where use in a proof system gives the connective's meaning). | |
| From: Edwin D. Mares (Negation [2014], 1) | |
| A reaction: [compressed] The commonest proof theory is natural deduction, giving rules for introduction and elimination. Mates suggests moving between the two views is illuminating. |
| 18783 | Many-valued logics lack a natural deduction system [Mares] |
| Full Idea: Many-valued logics do not have reasonable natural deduction systems. | |
| From: Edwin D. Mares (Negation [2014], 1) |
| 18792 | Situation semantics for logics: not possible worlds, but information in situations [Mares] |
| Full Idea: Situation semantics for logics consider not what is true in worlds, but what information is contained in situations. | |
| From: Edwin D. Mares (Negation [2014], 6.2) | |
| A reaction: Since many theoretical physicists seem to think that 'information' might be the most basic concept of a natural ontology, this proposal is obviously rather appealing. Barwise and Perry are the authors of the theory. |
| 18785 | Consistency is semantic, but non-contradiction is syntactic [Mares] |
| Full Idea: The difference between the principle of consistency and the principle of non-contradiction is that the former must be stated in a semantic metalanguage, whereas the latter is a thesis of logical systems. | |
| From: Edwin D. Mares (Negation [2014], 2.2) |
| 17715 | The truth of the axioms doesn't matter for pure mathematics, but it does for applied [Mares] |
| Full Idea: The epistemological burden of showing that the axioms are true is removed if we are only studying pure mathematics. If, however, we want to look at applied mathematics, then this burden returns. | |
| From: Edwin D. Mares (A Priori [2011], 11.4) | |
| A reaction: One of those really simple ideas that hits the spot. Nice. The most advanced applied mathematics must rest on counting and measuring. |
| 17716 | Mathematics is relations between properties we abstract from experience [Mares] |
| Full Idea: Aristotelians treat mathematical facts as relations between properties. These properties, moreover, are abstracted from our experience of things. ...This view finds a natural companion in structuralism. | |
| From: Edwin D. Mares (A Priori [2011], 11.7) | |
| A reaction: This is the view of mathematics that I personally favour. The view that we abstract 'five' from a group of five pebbles is too simplistic, but this is the right general approach. |
| 18788 | For intuitionists there are not numbers and sets, but processes of counting and collecting [Mares] |
| Full Idea: For the intuitionist, talk of mathematical objects is rather misleading. For them, there really isn't anything that we should call the natural numbers, but instead there is counting. What intuitionists study are processes, such as counting and collecting. | |
| From: Edwin D. Mares (Negation [2014], 5.1) | |
| A reaction: That is the first time I have seen mathematical intuitionism described in a way that made it seem attractive. One might compare it to a metaphysics based on processes. Apparently intuitionists struggle with infinite sets and real numbers. |
| 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. |
| 17703 | Light in straight lines is contingent a priori; stipulated as straight, because they happen to be so [Mares] |
| Full Idea: It seems natural to claim that light rays moving in straight lines is contingent but a priori. Scientists stipulate that they are the standard by which we measure straightness, but their appropriateness for this task is a contingent feature of the world. | |
| From: Edwin D. Mares (A Priori [2011], 02.9) | |
| A reaction: This resembles the metre rule in Paris. It is contingent that something is a certain way, so we make being that way a conventional truth, which can therefore be known via the convention, rather than via the contingent fact. |
| 22068 | 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). |
| 17714 | Aristotelians dislike the idea of a priori judgements from pure reason [Mares] |
| Full Idea: Aristotelians tend to eschew talk about a special faculty of pure reason that is responsible for all of our a priori judgements. | |
| From: Edwin D. Mares (A Priori [2011], 08.9) | |
| A reaction: He is invoking Carrie Jenkins's idea that the a priori is knowledge of relations between concepts which have been derived from experience. Nice idea. We thus have an empirical a priori, integrated into the natural world. Abstraction must be involved. |
| 17705 | Empiricists say rationalists mistake imaginative powers for modal insights [Mares] |
| Full Idea: Empiricist critiques of rationalism often accuse rationalists of confusing the limits of their imaginations with real insight into what is necessarily true. | |
| From: Edwin D. Mares (A Priori [2011], 03.01) | |
| A reaction: See ideas on 'Conceivable as possible' for more on this. You shouldn't just claim to 'see' that something is true, but be willing to offer some sort of reason, truthmaker or grounding. Without that, you may be right, but you are on weak ground. |
| 17700 | The most popular view is that coherent beliefs explain one another [Mares] |
| Full Idea: In what is perhaps the most popular version of coherentism, a system of beliefs is a set of beliefs that explain one another. | |
| From: Edwin D. Mares (A Priori [2011], 01.5) | |
| A reaction: These seems too simple. My first response would be that explanations are what result from coherence sets of beliefs. I may have beliefs that explain nothing, but at least have the virtue of being coherent. |
| 17704 | Operationalism defines concepts by our ways of measuring them [Mares] |
| Full Idea: The central claim of Percy Bridgman's theory of operational definitions (1920s), is that definitions of certain scientific concepts are given by the ways that we have to measure them. For example, a straight line is 'the path of a light ray'. | |
| From: Edwin D. Mares (A Priori [2011], 02.9) | |
| A reaction: It is often observed that this captures the spirit of Special Relativity. |
| 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. |
| 17710 | Aristotelian justification uses concepts abstracted from experience [Mares] |
| Full Idea: Aristotelian justification is the process of reasoning using concepts that are abstracted from experience (rather than, say, concepts that are innate or those that we associate with the meanings of words). | |
| From: Edwin D. Mares (A Priori [2011], 08.1) | |
| A reaction: See Carrie Jenkins for a full theory along these lines (though she doesn't mention Aristotle). This is definitely my preferred view of concepts. |
| 17706 | The essence of a concept is either its definition or its conceptual relations? [Mares] |
| Full Idea: In the 'classical theory' a concept includes in it those concepts that define it. ...In the 'theory theory' view the content of a concept is determined by its relationship to other concepts. | |
| From: Edwin D. Mares (A Priori [2011], 03.10) | |
| A reaction: Neither of these seem to give an intrinsic account of a concept, or any account of how the whole business gets off the ground. |
| 18791 | In 'situation semantics' our main concepts are abstracted from situations [Mares] |
| Full Idea: In 'situation semantics' individuals, properties, facts, and events are treated as abstractions from situations. | |
| From: Edwin D. Mares (Negation [2014], 6.1) | |
| A reaction: [Barwise and Perry 1983 are cited] Since I take the process of abstraction to be basic to thought, I am delighted to learn that someone has developed a formal theory based on it. I am immediately sympathetic to situation semantics. |
| 17701 | Possible worlds semantics has a nice compositional account of modal statements [Mares] |
| Full Idea: Possible worlds semantics is appealing because it gives a compositional analysis of the truth conditions of statements about necessity and possibility. | |
| From: Edwin D. Mares (A Priori [2011], 02.2) | |
| A reaction: Not sure I get this. Is the meaning composed by the gradual addition of worlds? If not, how is meaning composed in the normal way, from component words and phrases? |
| 17702 | Unstructured propositions are sets of possible worlds; structured ones have components [Mares] |
| Full Idea: An unstructured proposition is a set of possible worlds. ....Structured propositions contain entities that correspond to various parts of the sentences or thoughts that express them. | |
| From: Edwin D. Mares (A Priori [2011], 02.3) | |
| A reaction: I am definitely in favour of structured propositions. It strikes me as so obvious as to be not worth discussion - so I am obviously missing something here. Mares says structured propositions are 'more convenient'. |
| 22030 | 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). |
| 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. |
| 22071 | 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. |
| 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? |
| 22029 | 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. |
| 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. |
| 17708 | Maybe space has points, but processes always need regions with a size [Mares] |
| Full Idea: One theory is that space is made up of dimensionless points, but physical processes cannot take place in regions of less than a certain size. | |
| From: Edwin D. Mares (A Priori [2011], 06.7) | |
| A reaction: Thinkers in sympathy with verificationism presumably won't like this, and may prefer Feynman's view. |
| 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). |