32 ideas
| 14179 | The finest branch of wisdom is justice and moderation in ordering states and families [Plato] |
| Full Idea: By far the greatest and fairest branch of wisdom is that which is concerned with the due ordering of states and families, whose name is moderation and justice. | |
| From: Plato (The Symposium [c.384 BCE], 209a) | |
| A reaction: ['Justice' is probably 'dikaiosune'] It is hard to disagree with this, and it relegates ivory tower philosophical contemplation to second place, unlike the late books of Aristotle's Ethics. |
| 19125 | If we define truth, we can eliminate it [Halbach/Leigh] |
| Full Idea: If truth can be explicitly defined, it can be eliminated. | |
| From: Halbach,V/Leigh,G.E. (Axiomatic Theories of Truth (2013 ver) [2013], 1.3) | |
| A reaction: That we could just say p corresponds to the facts, or p coheres with our accepted beliefs, or p is the aim of our enquiries, and never mention the word 'true'. Definition is a strategy for reduction or elimination. |
| 19128 | If a language cannot name all objects, then satisfaction must be used, instead of unary truth [Halbach/Leigh] |
| Full Idea: If axioms are formulated for a language (such as set theory) that lacks names for all objects, then they require the use of a satisfaction relation rather than a unary truth predicate. | |
| From: Halbach,V/Leigh,G.E. (Axiomatic Theories of Truth (2013 ver) [2013], 3.3) | |
| A reaction: I take it this is an important idea for understanding why Tarski developed his account of truth based on satisfaction. |
| 19120 | Semantic theories need a powerful metalanguage, typically including set theory [Halbach/Leigh] |
| Full Idea: Semantic approaches to truth usually necessitate the use of a metalanguage that is more powerful than the object-language for which it provides a semantics. It is usually taken to include set theory. | |
| From: Halbach,V/Leigh,G.E. (Axiomatic Theories of Truth (2013 ver) [2013], 1) | |
| A reaction: This is a motivation for developing an axiomatic account of truth, that moves it into the object language. |
| 19127 | The T-sentences are deductively weak, and also not deductively conservative [Halbach/Leigh] |
| Full Idea: Although the theory is materially adequate, Tarski thought that the T-sentences are deductively too weak. …Also it seems that the T-sentences are not conservative, because they prove in PA that 0=0 and ¬0=0 are different, so at least two objects exist. | |
| From: Halbach,V/Leigh,G.E. (Axiomatic Theories of Truth (2013 ver) [2013], 3.2) | |
| A reaction: They are weak because they can't prove completeness. This idea give two reasons for looking for a better theory of truth. |
| 19124 | A natural theory of truth plays the role of reflection principles, establishing arithmetic's soundness [Halbach/Leigh] |
| Full Idea: If a natural theory of truth is added to Peano Arithmetic, it is not necessary to add explicity global reflection principles to assert soundness, as the truth theory proves them. Truth theories thus prove soundess, and allows its expression. | |
| From: Halbach,V/Leigh,G.E. (Axiomatic Theories of Truth (2013 ver) [2013], 1.2) | |
| A reaction: This seems like a big attraction of axiomatic theories of truth for students of metamathematics. |
| 19126 | If deflationary truth is not explanatory, truth axioms should be 'conservative', proving nothing new [Halbach/Leigh] |
| Full Idea: If truth does not have any explanatory force, as some deflationists claim, the axioms of truth should not allow us to prove any new theorems that do not involve the truth predicate. That is, a deflationary axiomatisation of truth should be 'conservative'. | |
| From: Halbach,V/Leigh,G.E. (Axiomatic Theories of Truth (2013 ver) [2013], 1.3) | |
| A reaction: So does truth have 'explanatory force'? These guys are interested in explaining theorems of arithmetic, but I'm more interested in real life. People do daft things because they have daft beliefs. Logic should be neutral, but truth has values? |
| 19129 | The FS axioms use classical logical, but are not fully consistent [Halbach/Leigh] |
| Full Idea: It is a virtue of the Friedman-Sheard axiomatisation that it is thoroughly classical in its logic. Its drawback is that it is ω-inconsistent. That is, it proves &exists;x¬φ(x), but proves also φ(0), φ(1), φ(2), … | |
| From: Halbach,V/Leigh,G.E. (Axiomatic Theories of Truth (2013 ver) [2013], 4.3) | |
| A reaction: It seems the theory is complete (and presumably sound), yet not fully consistent. FS also proves the finite levels of Tarski's hierarchy, but not the transfinite levels. |
| 19130 | KF is formulated in classical logic, but describes non-classical truth, which allows truth-value gluts [Halbach/Leigh] |
| Full Idea: KF is formulated in classical logic, but describes a non-classical notion of truth. It allow truth-value gluts, making some sentences (such as the Liar) both true and not-true. Some authors add an axiom ruling out such gluts. | |
| From: Halbach,V/Leigh,G.E. (Axiomatic Theories of Truth (2013 ver) [2013], 4.4) | |
| A reaction: [summary, which I hope is correct! Stanford is not wholly clear] |
| 22076 | Being is only perceptible to itself as becoming [Schelling] |
| Full Idea: Being is only perceptible to itself in the state of becoming. | |
| From: Friedrich Schelling (Of Human Freedom [1809], p.403), quoted by Jean-François Courtine - Schelling p.90 | |
| A reaction: Is the Enlightenment the era of Being, and the Romantic era that of Becoming? They like process, fluidity, even chaos. |
| 19121 | We can reduce properties to true formulas [Halbach/Leigh] |
| Full Idea: One might say that 'x is a poor philosopher' is true of Tom instead of saying that Tom has the property of being a poor philosopher. We quantify over formulas instead of over definable properties, and thus reduce properties to truth. | |
| From: Halbach,V/Leigh,G.E. (Axiomatic Theories of Truth (2013 ver) [2013], 1.1) | |
| A reaction: [compressed] This stuff is difficult (because the axioms are complex and hard to compare), but I am excited (yes!) about this idea. Their point is that you need a truth predicate within the object language for this, which disquotational truth forbids. |
| 1607 | Diotima said the Forms are the objects of desire in philosophical discourse [Plato, by Roochnik] |
| Full Idea: According to Diotima, the Forms are the objects of desire operative in philosophical discourse. | |
| From: report of Plato (The Symposium [c.384 BCE], 210a4-) by David Roochnik - The Tragedy of Reason p.199 |
| 19122 | Nominalists can reduce theories of properties or sets to harmless axiomatic truth theories [Halbach/Leigh] |
| Full Idea: The reduction of second-order theories (of properties or sets) to axiomatic theories of truth is a form of reductive nominalism, replacing existence assumptions (e.g. comprehension axioms) by innocuous assumptions about the truth predicate. | |
| From: Halbach,V/Leigh,G.E. (Axiomatic Theories of Truth (2013 ver) [2013], 1.1) | |
| A reaction: I'm currently thinking that axiomatic theories of truth are the most exciting development in contemporary philosophy. See Halbach and Horsten. |
| 22074 | We must show that the whole of nature, because it is effective, is grounded in freedom [Schelling] |
| Full Idea: What is required is to show that everything that is effective (nature, the world of things) is grounded in activity, life, freedom. | |
| From: Friedrich Schelling (Of Human Freedom [1809], p.351), quoted by Jean-François Courtine - Schelling | |
| A reaction: I take the ancestor of this view of nature to be the monads of Leibniz, as the active principle in nature. Because this is an idealist view, it starts with the absolute freedom of the Self, and presumably sees nature in its own image. |
| 174 | True opinion without reason is midway between wisdom and ignorance [Plato] |
| Full Idea: There is a state of mind half-way between wisdom and ignorance - having true opinions without being able to give reasons for them. | |
| From: Plato (The Symposium [c.384 BCE], 202a) | |
| A reaction: Compare Idea 2140, where Plato scorns this state of mind. What he describes could be split into two - purely lucky true beliefs, and 'externalist knowledge', with non-conscious justification. |
| 181 | Only the gods stay unchanged; we replace our losses with similar acquisitions [Plato] |
| Full Idea: We retain identity not by staying the same (the preserve of gods) but by replacing losses with new similar acquisitions. | |
| From: Plato (The Symposium [c.384 BCE], 208b) | |
| A reaction: Any modern student of personal identity should be intrigued by this remark! It appears to take a rather physical view of the matter, and to be aware of human biology as a process. Are my continuing desires token-identical, or just 'similar'? |
| 180 | We call a person the same throughout life, but all their attributes change [Plato] |
| Full Idea: During the period from boyhood to old age, man does not retain the same attributes, though he is called the same person. | |
| From: Plato (The Symposium [c.384 BCE], 207d) | |
| A reaction: This precisely identifies the basic problem of personal identity over time. If this is the problem, DNA looks more and more significant for the answer, though it would be an awful mistake to think a pattern of DNA was a person. |
| 22075 | Only idealism has given us the genuine concept of freedom [Schelling] |
| Full Idea: Until the discovery of idealism, the genuine concept of freedom has been missing from every modern system, whether it be that of Leibniz or of Spinoza. | |
| From: Friedrich Schelling (Of Human Freedom [1809], p.345), quoted by Jean-François Courtine - Schelling p.87 | |
| A reaction: Spinoza denied free will, and Leibniz fudged it. Evidently more medieval theological accounts were not good enough. I presume Fichte is Schelling's hero, and he seems to see freedom as axiomatic about the Self. |
| 4026 | Beauty is harmony with what is divine, and ugliness is lack of such harmony [Plato] |
| Full Idea: Ugliness is out of harmony with everything that is godly; beauty, however, is in harmony with the divine. | |
| From: Plato (The Symposium [c.384 BCE], 206d) | |
| A reaction: This remark shows how the concept of 'harmony' is at the centre of Greek thought (and is a potential bridge of the is/ought gap). |
| 172 | Love of ugliness is impossible [Plato] |
| Full Idea: There cannot be such a thing as love of ugliness. | |
| From: Plato (The Symposium [c.384 BCE], 201a) |
| 173 | Beauty and goodness are the same [Plato] |
| Full Idea: What is good is the same as what is beautiful. | |
| From: Plato (The Symposium [c.384 BCE], 201c) |
| 183 | Stage two is the realisation that beauty of soul is of more value than beauty of body [Plato] |
| Full Idea: The second stage of progress is to realise that beauty of soul is more valuable than beauty of body. | |
| From: Plato (The Symposium [c.384 BCE], 210b) |
| 184 | Progress goes from physical beauty, to moral beauty, to the beauty of knowledge, and reaches absolute beauty [Plato] |
| Full Idea: One should step up from physical beauty, to moral beauty, to the beauty of knowledge, until at last one knows what absolute beauty is. | |
| From: Plato (The Symposium [c.384 BCE], 211c) | |
| A reaction: Presumably this is why Socrates refused sexual favours to Alcibiades. The idea is inspiring, and yet it is a rejection of humanity. |
| 171 | Music is a knowledge of love in the realm of harmony and rhythm [Plato] |
| Full Idea: Music may be called a knowledge of the principles of love in the realm of harmony and rhythm. | |
| From: Plato (The Symposium [c.384 BCE], 187c) |
| 176 | Love follows beauty, wisdom is exceptionally beautiful, so love follows wisdom [Plato] |
| Full Idea: Wisdom is one of the most beautiful of things, and Love is love of beauty, so it follows that Love must be a love of wisdom. | |
| From: Plato (The Symposium [c.384 BCE], 204b) | |
| A reaction: Good, but wisdom isn't the only exceptionally beautiful thing. Music is beautiful partly because it is devoid of ideas. |
| 14177 | Love assists men in achieving merit and happiness [Plato] |
| Full Idea: Phaedrus: Love is not only the oldest and most honourable of the gods, but also the most powerful to assist men in the acquisition of merit and happiness, both here and hereafter. | |
| From: Plato (The Symposium [c.384 BCE], 180b) | |
| A reaction: Maybe we should talk less of love as a feeling, and more as a motivation, not just in human relationships, but in activities like gardening and database compilation. |
| 179 | Love is desire for perpetual possession of the good [Plato] |
| Full Idea: Love is desire for perpetual possession of the good. | |
| From: Plato (The Symposium [c.384 BCE], 206a) | |
| A reaction: Even the worst human beings often have lovers. 'Perpetual' is a nice observation. |
| 177 | If a person is good they will automatically become happy [Plato] |
| Full Idea: 'What will be gained by a man who is good?' 'That is easy - he will be happy'. | |
| From: Plato (The Symposium [c.384 BCE], 205a) | |
| A reaction: Suppose you tried to assassinate Hitler in 1944 (a good deed), but failed. Happiness presumably results from success, rather than mere good intentions. |
| 14178 | Happiness is secure enjoyment of what is good and beautiful [Plato] |
| Full Idea: By happy you mean in secure enjoyment of what is good and beautiful? - Certainly. | |
| From: Plato (The Symposium [c.384 BCE], 202c) | |
| A reaction: We seem to have lost track of the idea that beauty might be an essential ingredient of happiness. |
| 170 | The only slavery which is not dishonourable is slavery to excellence [Plato] |
| Full Idea: The only form of servitude which has no dishonour has for its object the acquisition of excellence. | |
| From: Plato (The Symposium [c.384 BCE], 184c) |
| 182 | The first step on the right path is the contemplation of physical beauty when young [Plato] |
| Full Idea: The man who would pursue the right way to his goal must begin, when he is young, by contemplating physical beauty. | |
| From: Plato (The Symposium [c.384 BCE], 210a) |
| 175 | Gods are not lovers of wisdom, because they are already wise [Plato] |
| Full Idea: No god is a lover of wisdom or desires to be wise, for he is wise already. | |
| From: Plato (The Symposium [c.384 BCE], 204a) |