22 ideas
| 15647 | Truth definitions don't produce a good theory, because they go beyond your current language [Halbach] |
| Full Idea: It is far from clear that a definition of truth can lead to a philosophically satisfactory theory of truth. Tarski's theorem on the undefinability of the truth predicate needs resources beyond those of the language for which it is being defined. | |
| From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1) | |
| A reaction: The idea is that you need a 'metalanguage' for the definition. If I say 'p' is a true sentence in language 'L', I am not making that observation from within language L. The dream is a theory confined to the object language. |
| 15649 | In semantic theories of truth, the predicate is in an object-language, and the definition in a metalanguage [Halbach] |
| Full Idea: In semantic theories of truth (Tarski or Kripke), a truth predicate is defined for an object-language. This definition is carried out in a metalanguage, which is typically taken to include set theory or another strong theory or expressive language. | |
| From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1) | |
| A reaction: Presumably the metalanguage includes set theory because that connects it with mathematics, and enables it to be formally rigorous. Tarski showed, in his undefinability theorem, that the meta-language must have increased resources. |
| 15655 | Should axiomatic truth be 'conservative' - not proving anything apart from implications of the axioms? [Halbach] |
| Full Idea: If truth is not explanatory, truth axioms should not allow proof of new theorems not involving the truth predicate. It is hence said that axiomatic truth should be 'conservative' - not implying further sentences beyond what the axioms can prove. | |
| From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1.3) | |
| A reaction: [compressed] |
| 15654 | If truth is defined it can be eliminated, whereas axiomatic truth has various commitments [Halbach] |
| Full Idea: If truth can be explicitly defined, it can be eliminated, whereas an axiomatized notion of truth may bring all kinds of commitments. | |
| From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1.3) | |
| A reaction: The general principle that anything which can be defined can be eliminated (in an abstract theory, presumably, not in nature!) raises interesting questions about how many true theories there are which are all equivalent to one another. |
| 15648 | Instead of a truth definition, add a primitive truth predicate, and axioms for how it works [Halbach] |
| Full Idea: The axiomatic approach does not presuppose that truth can be defined. Instead, a formal language is expanded by a new primitive predicate of truth, and axioms for that predicate are then laid down. | |
| From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1) | |
| A reaction: Idea 15647 explains why Halbach thinks the definition route is no good. |
| 15650 | Axiomatic theories of truth need a weak logical framework, and not a strong metatheory [Halbach] |
| Full Idea: Axiomatic theories of truth can be presented within very weak logical frameworks which require very few resources, and avoid the need for a strong metalanguage and metatheory. | |
| From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1) |
| 15656 | Deflationists say truth merely serves to express infinite conjunctions [Halbach] |
| Full Idea: According to many deflationists, truth serves merely the purpose of expressing infinite conjunctions. | |
| From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1.3) | |
| A reaction: That is, it asserts sentences that are too numerous to express individually. It also seems, on a deflationist view, to serve for anaphoric reference to sentences, such as 'what she just said is true'. |
| 15657 | To prove the consistency of set theory, we must go beyond set theory [Halbach] |
| Full Idea: The consistency of set theory cannot be established without assumptions transcending set theory. | |
| From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 2.1) |
| 15652 | We can use truth instead of ontologically loaded second-order comprehension assumptions about properties [Halbach] |
| Full Idea: The reduction of 2nd-order theories (of properties or sets) to axiomatic theories of truth may be conceived as a form of reductive nominalism, replacing existence assumptions (for comprehension axioms) by ontologically innocent truth assumptions. | |
| From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1.1) | |
| A reaction: I like this very much, as weeding properties out of logic (without weeding them out of the world). So-called properties in logic are too abundant, so there is a misfit with their role in science. |
| 15651 | Instead of saying x has a property, we can say a formula is true of x - as long as we have 'true' [Halbach] |
| Full Idea: Quantification over (certain) properties can be mimicked in a language with a truth predicate by quantifying over formulas. Instead of saying that Tom has the property of being a poor philosopher, we can say 'x is a poor philosopher' is true of Tom. | |
| From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1.1) | |
| A reaction: I love this, and think it is very important. He talks of 'mimicking' properties, but I see it as philosophers mistakenly attributing properties, when actually what they were doing is asserting truths involving certain predicates. |
| 12742 | A whole is just its parts, but there are no smallest parts, so only minds and perceptions exist [Leibniz] |
| Full Idea: The whole, if it is assumed to be body or matter, is nothing other than all of its parts; but this is absurd, since there aren't any smallest parts. Therefore there really exist only minds and their perceptions. | |
| From: Gottfried Leibniz (Calculus Ratiocinator [1679], A6.4.279), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 7 | |
| A reaction: Leibniz is sometimes labelled as an 'idealist', but this text is unusual in being so explicit, and he was mainly concerned to explain the reality of individual bodies. Monads were his final attempt to do this, not an attempt to escape into pure minds. |
| 23814 | Every human yearns for an unattainable transcendent good [Weil] |
| Full Idea: There is a reality outside the world …outside any sphere that is accessible to human faculties. Corresponding to this reality, at the centre of the human heart, is the longing for an absolute good, which is always there and never appeased by this world. | |
| From: Simone Weil (Draft Statement of Human Obligations [1943], p.221) | |
| A reaction: I don't believe in any sort of transcendent reality, but I can identify with this. Even if you have a highly naturalistic view of what is valuable (see late Philippa Foot), there is this indeterminate yearning for that value. |
| 23824 | Where human needs are satisfied we find happiness, friendship and beauty [Weil] |
| Full Idea: Any place where the needs of human beings are satisfied can be recognised by the fact that there is a flowering of fraternity, joy, beauty, and happiness. | |
| From: Simone Weil (Draft Statement of Human Obligations [1943], p.230) | |
| A reaction: Weil writes a lengthy analysis of what she sees as the basic human needs, beyond the obvious food, water etc. An excellent place to start a line of political thought. |
| 23815 | We cannot equally respect what is unequal, so equal respect needs a shared ground [Weil] |
| Full Idea: It is impossible to feel equal respect for things that are in fact unequal unless the respect is given to something that is identical in all of them. Men are all unequal in all their relations with things of this world. | |
| From: Simone Weil (Draft Statement of Human Obligations [1943], p.223) | |
| A reaction: Weil votes for some link to transcendence in each of us, but I would prefer some more naturalistic proposal for what we all have in common. There are plenty of aspects which unite all human beings, which grounds this unconditional respect. |
| 23823 | Life needs risks to avoid sickly boredom [Weil] |
| Full Idea: The boredom produced by a complete absence of risk is a sickness of the human soul. | |
| From: Simone Weil (Draft Statement of Human Obligations [1943], p.229) | |
| A reaction: An unusual analysis of boredom. I think it is probably purposeful activity that we need, rather than actual risk, with all the stresses that involves. Risks are justified by their rewards. |
| 23822 | We all need to partipate in public tasks, and take some initiative [Weil] |
| Full Idea: The human soul has need of disciplined participation in a common task of public value, and it has need of personal initiative within this participation. | |
| From: Simone Weil (Draft Statement of Human Obligations [1943], p.229) | |
| A reaction: The intrusion of competitive capitalism into almost every area of modern life has more or less eliminated such activities. Only state employees now have such satisfactions, on the whole. I admire Weil's approach here. |
| 23817 | We need both equality (to attend to human needs) and hierarchy (as a scale of responsibilities) [Weil] |
| Full Idea: The human soul has need of equality and of hierarchy. Equality is the public recognition …of the principal that an equal degree of attention is due to the needs of all human beings. Hierarchy is the scale of responsibilities. | |
| From: Simone Weil (Draft Statement of Human Obligations [1943], p.228) | |
| A reaction: This is the conservative aspect of Weil's largely radical political thinking. Presumably what we respect in these people is their responsibilies, and not their mere rank. Idle members of the British House of Lords have no rank in this hierarchy. |
| 23819 | Deliberate public lying should be punished [Weil] |
| Full Idea: Every avoidable material falsehood publicly asserted should become a punishable offence. | |
| From: Simone Weil (Draft Statement of Human Obligations [1943], p.228) | |
| A reaction: Yes please! The early 21st century has become the time when truth lost all value in public life. Lying to the House of Commons in the UK required instant resignation 50 years ago. Now it is just a source of laughter. No freedom to lie! |
| 23818 | We have liberty in the space between nature and accepted authority [Weil] |
| Full Idea: Liberty is the power of choice within the latitude left between the direct constraint of natural forces and the authority accepted as legitimate. | |
| From: Simone Weil (Draft Statement of Human Obligations [1943], p.228) | |
| A reaction: Accepting legitimate authority is a nicely softened version of the social contract. We often find that the office and rank are accepted as legitimate, but then are unable to accept the appalling individual who holds the office. |
| 23820 | People need personal and collective property, and a social class lacking property is shameful [Weil] |
| Full Idea: The human soul has need of both personal property and collective property. …The existence of a social class defined by the lack of personal and collective property is as shameful as slavery. | |
| From: Simone Weil (Draft Statement of Human Obligations [1943], p.229) | |
| A reaction: Nice. Particularly the idea that we all need collective property, such as parks and beaches and public buildings. |
| 23821 | Crime should be punished, to bring the perpetrator freely back to morality [Weil] |
| Full Idea: The human soul needs punishment and honour. A committer of crime has become exiled from good, and needs to be reintegrated with it through suffering. This aims to bring the soul to recognise freely some day that is infliction was just. | |
| From: Simone Weil (Draft Statement of Human Obligations [1943], p.229) | |
| A reaction: The Scanlon contractualist approach to punishment - that the victim of it accepts its justice. Given her saintly character, Simone had a very tough view of this issue. |
| 23816 | Attention to a transcendent reality motivates a duty to foster the good of humanity [Weil] |
| Full Idea: Anyone whose attention and love are directed towards the reality outside the world recognises that he is bound by the permanent obligation to remedy …all the privations of soul and body which are liable to destroy or damage any human being whatsoever. | |
| From: Simone Weil (Draft Statement of Human Obligations [1943], p.225) | |
| A reaction: [abridged] An interesting attempt to articulate the religious motivation of morality. The Euthyphro question remains - of why this vision of a wholly good higher morality should motivate anyone, unless they already possess a desire for that good. |