22 ideas
| 21793 | Genuine truth is the resolution of the highest contradiction [Hegel] |
| Full Idea: The highest truth, truth as such, is the resolution of the highest opposition and contradiction. | |
| From: Georg W.F.Hegel (Lectures on Aesthetics [1826], I: 99), quoted by Stephen Houlgate - An Introduction to Hegel 09 'Art' | |
| A reaction: Uneasy about the word 'highest', and the general Hegelian dream of 'resolving' contradictions, rather than just eliminating at least one component of them. No one else uses the word 'truth' like this. I suppose this Truth has a capital 'T'. |
| 21795 | What I hold true must also be part of my feelings and character [Hegel] |
| Full Idea: Whatever I hold as true, whatever ought to be valid for me, must also be in my feeling, must belong to my being and character. | |
| From: Georg W.F.Hegel (Lectures on Aesthetics [1826], I: 97), quoted by Stephen Houlgate - An Introduction to Hegel 09 'Philosophy' | |
| A reaction: I can see that truths do tend to become part of our character, but not that they ought to do so. I suppose I try to live my life enmeshed in the many truths which I have personally selected from the maelstrom of possibilities that engulf us. |
| 18767 | Free logics has terms that do not designate real things, and even empty domains [Anderson,CA] |
| Full Idea: Free logics say 1) singular terms are allowed that do not designate anything that exists; sometimes 2) is added: the domain of discourse is allowed to be empty. Logics with both conditions are called 'universally free logics'. | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 2.3) | |
| A reaction: I really like the sound of this, and aim to investigate it. Karel Lambert's writings are the starting point. Maybe the domain of logic is our concepts, rather than things in the world, in which case free logic sounds fine. |
| 18763 | Basic variables in second-order logic are taken to range over subsets of the individuals [Anderson,CA] |
| Full Idea: Under its now standard principal interpretation, the monadic predicate variables in second-order logic range over subsets of the domain on individuals. | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 1.5) | |
| A reaction: This is an interpretation in which properties are just sets of things, which is fine if you are a logician, but not if you want to talk about anything important. Still, we must play the game. Boolos introduced plural quantification at this point. |
| 18771 | Stop calling ∃ the 'existential' quantifier, read it as 'there is...', and range over all entities [Anderson,CA] |
| Full Idea: Ontological quantifiers might just as well range over all the entities needed for the semantics. ...The minimal way would be to just stop calling '∃' an 'existential quantifier', and always read it as 'there is...' rather than 'there exists...'. | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 2.6) | |
| A reaction: There is no right answer here, but it seems to be the strategy adopted by most logicians, and the majority of modern metaphysicians. They just allow abstracta, and even fictions, to 'exist', while not being fussy what it means. Big mistake! |
| 18769 | Do mathematicians use 'existence' differently when they say some entity exists? [Anderson,CA] |
| Full Idea: A cursory examination shows that mathematicians have no aversion to saying that this-or-that mathematical entity exists. But is this a different sense of 'existence'? | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 2.6) | |
| A reaction: For those of us like me and my pal Quine who say that 'exist' is univocal (i.e. only one meaning), this is a nice challenge. Quine solves it by saying maths concerns sets of objects. I, who don't like sets, am puzzled (so I turn to fictionalism...). |
| 18770 | We can distinguish 'ontological' from 'existential' commitment, for different kinds of being [Anderson,CA] |
| Full Idea: There are sensible ways to maike a distinction between different kinds of being. ..One need not fear that this leads to a 'bloated ontology'. ...We need only distinguish 'ontological commitment' from 'existential commitment' | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 2.6) | |
| A reaction: He speaks of giving fictional and abstract entities a 'lower score' in existence. I think he means the 'ontological' commitment to be the stronger of the two. |
| 18766 | 's is non-existent' cannot be said if 's' does not designate [Anderson,CA] |
| Full Idea: The paradox of negative existentials says that if 's' does not designate something, then the sentence 's is non-existent' is untrue. | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 2.1) | |
| A reaction: This only seems be a problem for logicians. Everyone else can happily say 'my coffee is non-existent'. |
| 18768 | We cannot pick out a thing and deny its existence, but we can say a concept doesn't correspond [Anderson,CA] |
| Full Idea: Parmenides was correct - one cannot speak of that which is not, even to say that it is not. But one can speak of concepts and say of them that they do not correspond to anything real. | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 2.5) | |
| A reaction: [This summarises Alonso Church, who was developing Frege] This sounds like the right thing to say about non-existence, but then the same principle must apply to assertions of existence, which will also be about concepts and not things. |
| 18765 | Individuation was a problem for medievals, then Leibniz, then Frege, then Wittgenstein (somewhat) [Anderson,CA] |
| Full Idea: The medieval philosophers and then Leibniz were keen on finding 'principles of individuation', and the idea appears again in Frege, to be taken up in some respects by Wittgenstein. | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 1.6) | |
| A reaction: I take a rather empirical approach to this supposed problem, and suggest we break 'individuation' down into its component parts, and then just drop the word. Discussions of principles of individuations strike me as muddled. Wiggins and Lowe today. |
| 18764 | The notion of 'property' is unclear for a logical version of the Identity of Indiscernibles [Anderson,CA] |
| Full Idea: In the Identity of Indiscernibles, one speaks about properties, and the notion of a property is by no means clearly fixed and formalized in modern symbolic logic. | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 1.5) | |
| A reaction: The unclarity of 'property' is a bee in my philosophical bonnet, in speech, and in metaphysics, as well as in logic. It may well be the central problem in our attempts to understand the world in general terms. He cites intensional logic as promising. |
| 13768 | Validity can preserve certainty in mathematics, but conditionals about contingents are another matter [Edgington] |
| Full Idea: If your interest in logic is confined to applications to mathematics or other a priori matters, it is fine for validity to preserve certainty, ..but if you use conditionals when arguing about contingent matters, then great caution will be required. | |
| From: Dorothy Edgington (Conditionals [2001], 17.2.1) |
| 13770 | There are many different conditional mental states, and different conditional speech acts [Edgington] |
| Full Idea: As well as conditional beliefs, there are conditional desires, hopes, fears etc. As well as conditional statements, there are conditional commands, questions, offers, promises, bets etc. | |
| From: Dorothy Edgington (Conditionals [2001], 17.3.4) |
| 13764 | Are conditionals truth-functional - do the truth values of A and B determine the truth value of 'If A, B'? [Edgington] |
| Full Idea: Are conditionals truth-functional - do the truth values of A and B determine the truth value of 'If A, B'? Are they non-truth-functional, like 'because' or 'before'? Do the values of A and B, in some cases, leave open the value of 'If A,B'? | |
| From: Dorothy Edgington (Conditionals [2001], 17.1) | |
| A reaction: I would say they are not truth-functional, because the 'if' asserts some further dependency relation that goes beyond the truth or falsity of A and B. Logical ifs, causal ifs, psychological ifs... The material conditional ⊃ is truth-functional. |
| 13765 | 'If A,B' must entail ¬(A & ¬B); otherwise we could have A true, B false, and If A,B true, invalidating modus ponens [Edgington] |
| Full Idea: If it were possible to have A true, B false, and If A,B true, it would be unsafe to infer B from A and If A,B: modus ponens would thus be invalid. Hence 'If A,B' must entail ¬(A & ¬B). | |
| From: Dorothy Edgington (Conditionals [2001], 17.1) | |
| A reaction: This is a firm defence of part of the truth-functional view of conditionals, and seems unassailable. The other parts of the truth table are open to question, though, if A is false, or they are both true. |
| 18549 | Nineteenth century aesthetics focused on art rather than nature (thanks to Hegel) [Hegel, by Scruton] |
| Full Idea: Only In the course of the nineteenth century, and in the wake of Hegel's posthumously published lectures on aesthetics, did the topic of art come to replace that of natural beauty as the core subject-matter of aesthetics. | |
| From: report of Georg W.F.Hegel (Lectures on Aesthetics [1826], 5) by Roger Scruton - Beauty: a very short introduction |
| 22043 | Hegel largely ignores aesthetic pleasure, taste and beauty, and focuses on the meaning of artworks [Hegel, by Pinkard] |
| Full Idea: Unlike his predecessors (including Kant), Hegel does not focus on aesthetic pleasure, nor on good taste, nor even on the nature and criteria for beauty. Instead he focuses on the meaning of artworks and their role in forming mankind's self-consciousness. | |
| From: report of Georg W.F.Hegel (Lectures on Aesthetics [1826]) by Terry Pinkard - German Philosophy 1760-1860 11 | |
| A reaction: Personally I dislike over-intellectualising art. The aim of a work of art is to give a certain experience, not to generate an ensuing sequence of theorising. I doubt whether Vermeer had any 'meaning' in mind in his obsessive work. |
| 22042 | Natural beauty is unimportant, because it doesn't show human freedom [Hegel, by Pinkard] |
| Full Idea: Hegel thinks that natural beauty is of no real significance since it cannot display our freedom to us; nature per se is meaningless. | |
| From: report of Georg W.F.Hegel (Lectures on Aesthetics [1826]) by Terry Pinkard - German Philosophy 1760-1860 11 | |
| A reaction: Presumably freedom is in the creation, and so creativity is what matters in aesthetics. But what are the criteria of good creativity? |
| 20413 | For Hegel the importance of art concerns the culture, not the individual [Hegel, by Eldridge] |
| Full Idea: Hegel locates the significance of art in its role in cultural life in general, not in relation to the psychological needs of individuals. | |
| From: report of Georg W.F.Hegel (Lectures on Aesthetics [1826]) by Richard Eldridge - G.W.F. Hegel (aesthetics) 1 | |
| A reaction: I'm beginning to see that art is a wonderful focus and test case for political attitudes. Roughly, liberalism focuses on individual responses, but more societal views (from right and left) see it in terms of role in the community. Which are you? |
| 20394 | The purpose of art is to reveal to Spirit its own nature [Hegel, by Davies,S] |
| Full Idea: According to Hegel, the goal of art was to serve as a phase in a process by which Spirit would come to understand its own nature. | |
| From: report of Georg W.F.Hegel (Lectures on Aesthetics [1826]) by Stephen Davies - The Philosophy of Art (2nd ed) 2.7 | |
| A reaction: I try very hard to understand ideas like this. Really really hard. However, since I see little sign of 'Spirit' really understanding its own nature, I'm guessing that the project is not going well. |
| 21794 | The main purpose of art is to express the unity of human life [Hegel] |
| Full Idea: Art's primary function, for Hegel, is to give expression to the unity and wholeness of life - especially human life - that the contingencies of everyday existence frequently conceal. | |
| From: Georg W.F.Hegel (Lectures on Aesthetics [1826]), quoted by Stephen Houlgate - An Introduction to Hegel 09 'Beauty' | |
| A reaction: I don't find the view that human life is 'unified' and 'whole' vary illuminating, and I have no objection to art which reflects the fragmentary and unstable aspects of life. I suspect Hegel would just prefer it if life were a unity. |
| 20415 | Art forms a bridge between the sensuous world and the world of pure thought [Hegel] |
| Full Idea: Spirit generates out of itself works of fine art as the first reconciling middle term between pure thought and what is merely external, sensuous and transient - between finite natural reality and the infinite freedom of conceptual thinking. | |
| From: Georg W.F.Hegel (Lectures on Aesthetics [1826], p.8), quoted by Richard Eldridge - G.W.F. Hegel (aesthetics) | |
| A reaction: This apparently says that there is necessarily an intellectual and conceptual component in art. This means little to me. Does he include portraits? Dutch domestic scenes? Would photography qualify? |