13 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. |
| 13831 | Logic is based on transitions between sentences [Prawitz] |
| Full Idea: I agree entirely with Dummett that the right way to answer the question 'what is logic?' is to consider transitions between sentences. | |
| From: Dag Prawitz (Gentzen's Analysis of First-Order Proofs [1974], §04) | |
| A reaction: I always protest at this point that reliance on sentences is speciesism against animals, who are thereby debarred from reasoning. See the wonderful Idea 1875 of Chrysippus. Hacking's basic suggestion seems right. Transition between thoughts. |
| 13827 | Logical consequence isn't a black box (Tarski's approach); we should explain how arguments work [Prawitz] |
| Full Idea: Defining logical consequence in the way Tarski does is a rather meagre result, treating an argument as a black box, observing input and output, while disregarding inner structure. We should define logical consequence on the basis of valid arguments. | |
| From: Dag Prawitz (On the General Idea of Proof Theory [1974], §2) |
| 13825 | Natural deduction introduction rules may represent 'definitions' of logical connectives [Prawitz] |
| Full Idea: With Gentzen's natural deduction, we may say that the introductions represent, as it were, the 'definitions' of the logical constants. The introductions are not literally understood as 'definitions'. | |
| From: Dag Prawitz (Gentzen's Analysis of First-Order Proofs [1974], 2.2.2) | |
| A reaction: [Hacking, in 'What is Logic? §9' says Gentzen had the idea that his rules actually define the constants; not sure if Prawitz and Hacking are disagreeing] |
| 13823 | In natural deduction, inferences are atomic steps involving just one logical constant [Prawitz] |
| Full Idea: In Gentzen's natural deduction, the inferences are broken down into atomic steps in such a way that each step involves only one logical constant. The steps are the introduction or elimination of the logical constants. | |
| From: Dag Prawitz (Gentzen's Analysis of First-Order Proofs [1974], 1.1) |
| 13826 | Model theory looks at valid sentences and consequence, but not how we know these things [Prawitz] |
| Full Idea: In model theory, which has dominated the last decades, one concentrates on logically valid sentences, and what follows logically from what, but one disregards questions concerning how we know these things. | |
| From: Dag Prawitz (On the General Idea of Proof Theory [1974], §1) |
| 21554 | Sets always exceed terms, so all the sets must exceed all the sets [Lackey] |
| Full Idea: Cantor proved that the number of sets in a collection of terms is larger than the number of terms. Hence Cantor's Paradox says the number of sets in the collection of all sets must be larger than the number of sets in the collection of all sets. | |
| From: Douglas Lackey (Intros to Russell's 'Essays in Analysis' [1973], p.127) | |
| A reaction: The sets must count as terms in the next iteration, but that is a normal application of the Power Set axiom. |
| 21553 | It seems that the ordinal number of all the ordinals must be bigger than itself [Lackey] |
| Full Idea: The ordinal series is well-ordered and thus has an ordinal number, and a series of ordinals to a given ordinal exceeds that ordinal by 1. So the series of all ordinals has an ordinal number that exceeds its own ordinal number by 1. | |
| From: Douglas Lackey (Intros to Russell's 'Essays in Analysis' [1973], p.127) | |
| A reaction: Formulated by Burali-Forti in 1897. |
| 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). |
| 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). |
| 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. |
| 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. |