Combining Texts

All the ideas for 'Axiomatic Theories of Truth (2005 ver)', 'Anarchy,State, and Utopia' and 'Logological Fragments II'

unexpand these ideas     |    start again     |     specify just one area for these texts


29 ideas

1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / c. Philosophy as generalisation
The highest aim of philosophy is to combine all philosophies into a unity [Novalis]
     Full Idea: He attains the maximum of a philosopher who combines all philosophies into a single philosophy
     From: Novalis (Logological Fragments II [1798], 31)
     A reaction: I have found the epigraph for my big book! Recently a few narrowly analytical philosophers have attempted big books about everything (Sider, Heil, Chalmers), and they get a huge round of applause from me.
Philosophy relies on our whole system of learning, and can thus never be complete [Novalis]
     Full Idea: Now all learning is connected - thus philosophy will never be complete. Only in the complete system of all learning will philosophy be truly visible.
     From: Novalis (Logological Fragments II [1798], 39)
     A reaction: Philosophy is evidently the unifying subject, which reveals the point of all the other subjects. It matches my maxim that 'science is the servant of philosophy'.
1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / d. Philosophy as puzzles
Philosophers feed on problems, hoping they are digestible, and spiced with paradox [Novalis]
     Full Idea: The philosopher lives on problems as the human being does on food. An insoluble problem is an indigestible food. What spice is to food, the paradoxical is to problems.
     From: Novalis (Logological Fragments II [1798], 09)
     A reaction: Novalis would presumably have disliked Hegel's dialectic, where the best food seems to be the indigestible.
1. Philosophy / E. Nature of Metaphysics / 3. Metaphysical Systems
Philosophy aims to produce a priori an absolute and artistic world system [Novalis]
     Full Idea: Philosophy ...is the art of producing all our conceptions according to an absolute, artistic idea and of developing the thought of a world system a priori out of the depths of our spirit.
     From: Novalis (Logological Fragments II [1798], 19)
     A reaction: A lovely statement of the dream of building world systems by pure thought - embodying perfectly the view of philosophy despised by logical positivists and modern logical metaphysicians. The Novalis view will never die! I like 'artistic'.
3. Truth / A. Truth Problems / 2. Defining Truth
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.
3. Truth / F. Semantic Truth / 1. Tarski's Truth / c. Meta-language for truth
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.
3. Truth / G. Axiomatic Truth / 1. Axiomatic Truth
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]
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.
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)
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.
3. Truth / H. Deflationary Truth / 2. Deflationary Truth
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'.
4. Formal Logic / F. Set Theory ST / 1. Set Theory
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)
5. Theory of Logic / A. Overview of Logic / 8. Logic of Mathematics
Logic (the theory of relations) should be applied to mathematics [Novalis]
     Full Idea: Ought not logic, the theory of relations, be applied to mathematics?
     From: Novalis (Logological Fragments II [1798], 38)
     A reaction: Bolzano was 19 when his was written. I presume Novalis would have been excited by set theory (even though he was a hyper-romantic).
5. Theory of Logic / C. Ontology of Logic / 1. Ontology of Logic
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.
5. Theory of Logic / E. Structures of Logic / 7. Predicates in Logic
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.
22. Metaethics / B. Value / 1. Nature of Value / f. Ultimate value
Freedom to live according to our own conception of the good is the ultimate value [Nozick, by Kymlicka]
     Full Idea: Nozick says that the freedom to lead our lives in accordance with our own conception of the good is the ultimate value, so important that it cannot be sacrificed for other social ideals (e.g. equality of opportunity).
     From: report of Robert Nozick (Anarchy,State, and Utopia [1974]) by Will Kymlicka - Contemporary Political Philosophy (1st edn) 4.2.b.ii
     A reaction: Clearly this ultimate value will not apply to children, so this view needs a sharp dislocation between children and adults. But some adults need a lot of looking after. Maybe we ALL need looking after (by one another)?
23. Ethics / E. Utilitarianism / 2. Ideal of Pleasure
If an experience machine gives you any experience you want, should you hook up for life? [Nozick]
     Full Idea: Suppose there were an experience machine that would give you any experience you desired ...such as writing a great novel, or making a friend, or reading an interesting book. ...Should you plug into this machine for life?
     From: Robert Nozick (Anarchy,State, and Utopia [1974], 3 'Experience')
     A reaction: A classic though experiment which crystalises a major problem with hedonistic utilitarianism. My addition is a machine which maximises the pleasure of my family and friends, to save me the bother of doing it.
24. Political Theory / B. Nature of a State / 1. Purpose of a State
A minimal state should protect, but a state forcing us to do more is unjustified [Nozick]
     Full Idea: A minimal state, limited to the narrow functions of protection against force, theft, fraud, enforcement of contracts, and so on, is justified; any more extensive state will violate persons' rights not to be forced to do certain things, and is unjustified.
     From: Robert Nozick (Anarchy,State, and Utopia [1974], Pref)
     A reaction: This has some plausibility for a huge modern state, where we don't know one another, but it would be a ridiculous attitude in a traditional village.
24. Political Theory / D. Ideologies / 2. Anarchism
Individual rights are so strong that the state and its officials must be very limited in power [Nozick]
     Full Idea: Individuals have rights, and there are things no person or group may do to them (without violating their rights). So strong and far-reaching are these rights that they raise the question of what, if anything, the state and its officials may do.
     From: Robert Nozick (Anarchy,State, and Utopia [1974], Pref)
     A reaction: This claim appears to be an axiom, but I'm not sure that the notion of 'rights' make any sense unless someone is granting the rights, where the someone is either a strong individual, or the community (perhaps represented by the state).
24. Political Theory / D. Ideologies / 6. Liberalism / c. Liberal equality
States can't enforce mutual aid on citizens, or interfere for their own good [Nozick]
     Full Idea: A state may not use its coercive apparatus for the purposes of getting some citizens to aid others, or in order to prohibit activities to people for their own good or protection.
     From: Robert Nozick (Anarchy,State, and Utopia [1974], Pref)
     A reaction: You certainly can't apply these principles to children, so becoming an 'adult' seems to be a very profound step in Nozick's account. At what age must we stop interfering with people for their own good. If the state is prohibited, are neighbours also?
24. Political Theory / D. Ideologies / 6. Liberalism / g. Liberalism critique
My Anarchy, State and Utopia neglected our formal social ties and concerns [Nozick on Nozick]
     Full Idea: The political philosophy represented in Anarchy, State and Utopia ignored the importance of joint and official symbolic statement and expression of our social ties and concern, and hence (I have written) is inadequate.
     From: comment on Robert Nozick (Anarchy,State, and Utopia [1974], p.32) by Robert Nozick - The Nature of Rationality p.32
     A reaction: In other words, it was far too individualistic, and neglected community, even though it has become the sacred text for libertarian individualism. Do any Nozick fans care about this recantation?
25. Social Practice / A. Freedoms / 4. Free market
If people hold things legitimately, just distribution is simply the result of free exchanges [Nozick, by Kymlicka]
     Full Idea: If we assume that everyone is entitled to the goods they currently possess (their 'holdings'), then a just distribution is simply whatever distribution results from people's free exchanges.
     From: report of Robert Nozick (Anarchy,State, and Utopia [1974]) by Will Kymlicka - Contemporary Political Philosophy (1st edn) 4.1.b
     A reaction: If people's current 'legitimate' holdings are hugely unequal, it seems very unlikely that the ensuing exchanges will be 'free' in the way that Nozick envisages.
25. Social Practice / C. Rights / 4. Property rights
Property is legitimate by initial acquisition, voluntary transfer, or rectification of injustice [Nozick, by Swift]
     Full Idea: Nozick identified three ways in which people can acquire a legitimate property holding: initial acquisition, voluntary transfer, and rectification (of unjust transfers).
     From: report of Robert Nozick (Anarchy,State, and Utopia [1974]) by Adam Swift - Political Philosophy (3rd ed) 1 'Nozick'
     A reaction: I think it is a delusion to look for justice in the ownership of property. You can't claim justice for buying property if the money to do it was acquired unjustly. And what rights over those who live on the land come with the 'ownership'?
Nozick assumes initial holdings include property rights, but we can challenge that [Kymlicka on Nozick]
     Full Idea: Nozick assumes that the initial distribution of holdings includes full property-rights over them, ..but our preferred theory may not involve distributing such particular rights to particular people. ...The legitimacy of such rights is what is in question.
     From: comment on Robert Nozick (Anarchy,State, and Utopia [1974]) by Will Kymlicka - Contemporary Political Philosophy (1st edn) 4.1.c
     A reaction: [somewhat compressed] All of these political philosophies seem to have questionable values (such as freedom or equality) built into their initial assumptions.
Can I come to own the sea, by mixing my private tomato juice with it? [Nozick]
     Full Idea: If I own a can of tomato juice and spill it in the sea so that its molecules mingle evenly throughout the sea, do I thereby come to own the sea?
     From: Robert Nozick (Anarchy,State, and Utopia [1974], p.175)
     A reaction: This is a reductio of Locke's claim that I can own land by 'mixing' my labour with it. At first glance, mixing something with something would seem to have nothing to do with ownership.
How did the private property get started? If violence was involved, we can redistribute it [Kymlicka on Nozick]
     Full Idea: How did these natural resources, which were not initially owned by anyone, come to be part of someone's private property? ...The fact that the initial acquisition often involved force means there is no moral objection to redistributing existing wealth.
     From: comment on Robert Nozick (Anarchy,State, and Utopia [1974]) by Will Kymlicka - Contemporary Political Philosophy (1st edn) 4.2.b
     A reaction: [He cites G.A. Cphen 1988 for the second point] Put like this, Nozick's theory just looks like the sort of propaganda which is typically put out by the winners. Is there an implicit threat of violent resistance in his advocacy of individual rights?
If property is only initially acquired by denying the rights of others, Nozick can't get started [Kymlicka on Nozick]
     Full Idea: If there is no way that people can appropriate unowned resources for themselves without denying other people's claim to equal consideration, then Nozick's right of transfer never gets off the ground.
     From: comment on Robert Nozick (Anarchy,State, and Utopia [1974]) by Will Kymlicka - Contemporary Political Philosophy (1st edn) 4.2.b.i
     A reaction: The actual history of these things is too complex to judge. Early peoples desperately wanted a lord to rule over them, and their lord's ownership of the land implied the people's right to live there. See Anglo-Saxon poetry.
Unowned things may be permanently acquired, if it doesn't worsen the position of other people [Nozick]
     Full Idea: One may acquire a permanent bequeathable property right in a previously unowned thing, as long as the position of others no longer at liberty to use the thing is not thereby worsened.
     From: Robert Nozick (Anarchy,State, and Utopia [1974], p.178), quoted by G.A. Cohen - Are Freedom and Equality Compatible? 2
     A reaction: Cohen attacks this vigorously. His main point is that Nozick has a very narrow view of what the acquisition should be compared with. There are many alternatives. Does being made unable to improve something 'worsen' a person's condition?
Maybe land was originally collectively owned, rather than unowned? [Cohen,GA on Nozick]
     Full Idea: Why should we not regard land as originally collectively owned rather than, as Nozick takes for granted, owned by no one?
     From: comment on Robert Nozick (Anarchy,State, and Utopia [1974], p.178) by G.A. Cohen - Are Freedom and Equality Compatible? 2
     A reaction: Did native Americans and Australians collectively own the land? Lots of peoples, I suspect, don't privately own anything, because the very concept has never occured to them (and they have no legal system).