Combining Texts

All the ideas for 'Axiomatic Theories of Truth (2005 ver)', 'works' and 'Being You'

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


32 ideas

1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / a. Philosophy as worldly
Ideals and metaphysics are practical, not imaginative or speculative [Green,TH, by Muirhead]
     Full Idea: To T.H. Green an ideal was no creation of an idle imagination, metaphysics no mere play of the speculative reason. Ideals were the most solid, and metaphysics the most practical thing about a man.
     From: report of T.H. Green (works [1875]) by John H. Muirhead - The Service of the State I
     A reaction: This is despite the fact that Green was an idealist in the Hegelian tradition. I like this. I see it not just as ideals having practical guiding influence, but also that ideals themselves arising out of experience.
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 / D. Coherence Truth / 1. Coherence Truth
Truth is a relation to a whole of organised knowledge in the collection of rational minds [Green,TH, by Muirhead]
     Full Idea: When we speak of anything as true or false, we do so on the ground of its relation to a whole of organised knowledge existing actually in no human mind, but prefigured in every mind which is possessed of reason.
     From: report of T.H. Green (works [1875]) by John H. Muirhead - The Service of the State I n1
     A reaction: This seems to be the super-idealist view of the coherence account of truth. I have no idea what 'prefigured' means here.
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.
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.
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)
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 / 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.
11. Knowledge Aims / C. Knowing Reality / 3. Idealism / d. Absolute idealism
All knowledge rests on a fundamental unity between the knower and what is known [Green,TH, by Muirhead]
     Full Idea: All knowledge is seen on ultimate analysis to rest upon the idea of a fundamental unity between subject and object, between the knower and that which there is to be known.
     From: report of T.H. Green (works [1875]) by John H. Muirhead - The Service of the State III
     A reaction: I don't really understand this thought, but I think it embodies the essence of Hegelian idealism. If I know a tree in the wood, any 'unity' between us strikes as merely imaginary. If the tree isn't separate, what does 'knowing' it mean?
13. Knowledge Criteria / B. Internal Justification / 5. Coherentism / a. Coherence as justification
The ultimate test for truth is the systematic interdependence in nature [Green,TH, by Muirhead]
     Full Idea: Systematic interdependence in the world of nature is the ultimate test of truth.
     From: report of T.H. Green (works [1875]) by John H. Muirhead - The Service of the State II
     A reaction: Green (or Muirhead) drifts between coherence as the nature of truth and coherence as the nature of justification. He it is the 'test' for truth, which was Russell's view.
15. Nature of Minds / A. Nature of Mind / 8. Brain
The cerbellum has a huge number of neurons, but little involvement in consciousness [Seth]
     Full Idea: The cerebellum [at the back] has about four times as many neurons as the rest of the brain put together, but seems barely involved in consciousness.
     From: Anil Seth (Being You [2021], I.2)
     A reaction: I wonder if it also has four times as many connections?
Single neurons can carry out complex functions [Seth]
     Full Idea: It is increasingly apparent that even single neurons are capable of carrying out highly complex functions all by themselves.
     From: Anil Seth (Being You [2021], I.1 n)
     A reaction: Bang goes the simple connectionist account of consciousness.
15. Nature of Minds / B. Features of Minds / 1. Consciousness / e. Cause of consciousness
Maybe a system is conscious if the whole generates more information than its parts [Seth]
     Full Idea: The main claim of Tononi's 'integrated information theory' is that a system is conscious to the extent that its whole generates more information than its parts.
     From: Anil Seth (Being You [2021], I.3)
     A reaction: Seth seems to present this as an 'interesting' proposal. I find it unlikely that consciousness could be explain in terms of information, or that a machine constructed on this principle would thus become conscious. (Databases pass this test).
16. Persons / C. Self-Awareness / 2. Knowing the Self
The self is embodied, perspectival, volitional, narrative and social [Seth, by PG]
     Full Idea: The elements of a self are 1) embodied - related directly to the body, 2) perspectival - having a viewpoint, 3) volitional - being an agent, 4) narrative - aware of past and future, and 5) social - as others perceive me.
     From: report of Anil Seth (Being You [2021], III.8) by PG - Db (ideas)
     A reaction: [summarised] Seth says there are distinctive emotions associated with each of these aspects of the self. This list is very helpful, as a discouragement for anyone who wants to pick one of these as the sole true nature of the self.
18. Thought / B. Mechanics of Thought / 6. Artificial Thought / a. Artificial Intelligence
Modern AI is mostly machine-based pattern recognition [Seth]
     Full Idea: Much of today's AI is best described as sophisticated machine-based pattern recognition.
     From: Anil Seth (Being You [2021], IV.13)
     A reaction: Personally I wouldn't want to underestimate the extent to which human intelligence is also pattern recognition (across time as well as in space).
20. Action / B. Preliminaries of Action / 2. Willed Action / a. Will to Act
Volition is felt as doing what you want, with possible alternatives, and a source from within [Seth]
     Full Idea: The experience of volition is defined by 1) the feeling that I am doing what I want to do, 2) that I could have done otherwise, and 3) that voluntary actions seem to come from within.
     From: Anil Seth (Being You [2021], III.11)
     A reaction: Note that these can all be cited without reference to their feeling 'free'.
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / d. Biological ethics
Human exceptionalism plagues biology, and most other human thinking [Seth]
     Full Idea: Human exceptionalism has repeatedly plagued biology, and has darkened the history of human thought everywhere.
     From: Anil Seth (Being You [2021], I.2)
     A reaction: I increasingly agree with this, as much in philosophy as in biology. We really need to get used to our place in evolution.
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / e. Human nature
What is distinctive of human life is the desire for self-improvement [Green,TH, by Muirhead]
     Full Idea: All that is distinctively human in the life of man springs not from the desire to possess this or that object, and so far to realise a better, but to be something more and better than he is.
     From: report of T.H. Green (works [1875]) by John H. Muirhead - The Service of the State II
     A reaction: An example of Victorian optimism, I think. I'm guessing that people who are not motivated by this impulse are not behaving in a way that is 'distinctively human'. That said, this is an interesting aspect of human nature.
23. Ethics / A. Egoism / 2. Hedonism
Hedonism offers no satisfaction, because what we desire is self-betterment [Green,TH, by Muirhead]
     Full Idea: Hedonism failed because it offered as an end of human aspiration an object in which the human spirit, pledged by its own nature to self-betterment, …could never find satisfaction.
     From: report of T.H. Green (works [1875]) by John H. Muirhead - The Service of the State II
     A reaction: It is always both sad and amusing to see that 150 years ago someone wrote of a doctrine that is still with us that it has 'failed'. Nowadays they try to say the same of physicalism. His objection rests on optimism about humanity.
24. Political Theory / B. Nature of a State / 2. State Legitimacy / d. General will
Politics is compromises, which seem supported by a social contract, but express the will of no one [Green,TH]
     Full Idea: Where laws and institutions are apparently the work of deliberate volition, they are in reality the result of a compromise, which while by a kind of social contract it has the acquiescence of all, expresses the will of none.
     From: T.H. Green (works [1875]), quoted by John H. Muirhead - The Service of the State III
     A reaction: Politicians who claim to be enacting the 'will of the people' (e.g. when they won a referendum 52-48) are simply lying. Committees usually end up enacting one person's will, but often without realising what has happened.
24. Political Theory / B. Nature of a State / 4. Citizenship
The ideal is a society in which all citizens are ladies and gentlemen [Green,TH]
     Full Idea: With all seriousness and reverence we may hope and pray for a condition of English society in which all honest citizens will recognise themselves and be recognised by each other as gentlemen.
     From: T.H. Green (works [1875]), quoted by John H. Muirhead - The Service of the State IV
     A reaction: Call me old fashioned but, as long as we expand this to include ladies, I like this thought. Chaucer's knight (in his Prologue) should be our national role model. The true gentleman is an Aristotelian ideal.
Enfranchisement is an end in itself; it makes a person moral, and gives a basis for respect [Green,TH]
     Full Idea: Enfranchisement of the people is an end in itself. …Only citizenship makes the moral man; only citizenship gives that respect which is the true basis of the respect for others.
     From: T.H. Green (works [1875], iii:436), quoted by John H. Muirhead - The Service of the State IV
     A reaction: Should people respect their betters? If so, that is a sort of deferential respect which is different from the mutual respect between equals. That said, I wholly approve of this idea.
24. Political Theory / D. Ideologies / 6. Liberalism / a. Liberalism basics
The good is identified by the capacities of its participants [Green,TH, by Muirhead]
     Full Idea: The modern idea of the good has developed in respect of the range of persons who have the capacity and therefore the right to participate in this good.
     From: report of T.H. Green (works [1875]) by John H. Muirhead - The Service of the State II
     A reaction: Green is a notable Victorian liberal, starting from an idealist metaphysics. This is an intriguing view of liberal values. The concept of the good should be what suits persons with full capacity. Having the capacity bestows the right of access to it. Hm.
24. Political Theory / D. Ideologies / 6. Liberalism / b. Liberal individualism
A true state is only unified and stabilised by acknowledging individuality [Green,TH, by Muirhead]
     Full Idea: In so far as society commits itself to the principle of individuality of its citizens does it realise the unity and stability that constitute it a true 'State'.
     From: report of T.H. Green (works [1875]) by John H. Muirhead - The Service of the State II
     A reaction: This asserts the liberal vision of a state, rather than asserting a fact. A state consistently mostly of slaves still seems to be a state, and may achieve a lot.
24. Political Theory / D. Ideologies / 7. Communitarianism / a. Communitarianism
People only develop their personality through co-operation with the social whole [Green,TH, by Muirhead]
     Full Idea: In so far as the individual commits himself to the principle of co-operation in a social whole does he realise his end as individual personality.
     From: report of T.H. Green (works [1875]) by John H. Muirhead - The Service of the State II
     A reaction: This makes for a very communitarian type of liberalism. The question is whether we create insitutions which suck our free citizens into a communal way of life, or whether that is a matter of their own initiative.
26. Natural Theory / A. Speculations on Nature / 2. Natural Purpose / a. Final purpose
If something develops, its true nature is embodied in its end [Green,TH]
     Full Idea: To anyone who understands a process of development, the result being developed is the reality; and it is its ability to become this that the subject undergoing development has its true nature.
     From: T.H. Green (works [1875], iii: 224), quoted by John H. Muirhead - The Service of the State II
     A reaction: Although this contains the dubious Hegelian idea that development tends towards some 'end', presented as fixed and final, it still seems important that anything accepted as a 'development' is the expression of some natural potential.
28. God / A. Divine Nature / 1. God
God is the ideal end of the mature mind's final development [Green,TH]
     Full Idea: God is a subject which is eternally all that the self-conscious subject as developed in time has the possibility of becoming.
     From: T.H. Green (works [1875]), quoted by John H. Muirhead - The Service of the State I
     A reaction: [Ethics p.197] Reminiscent of Peirce's account of truth, as the ideal end of enquiry. If God is a human ideal, we either limit God, or exaggerate our powers of idealisation.
28. God / C. Attitudes to God / 4. God Reflects Humanity
God is the realisation of the possibilities of each man's self [Green,TH]
     Full Idea: God is identical with the self of every man in the sense of being the realisation of its determinate possibilities.…In being conscious of himself man is conscious of God and thus knows that God is, but only in so far as he knows what he himself really is.
     From: T.H. Green (works [1875], iii:226-7), quoted by John H. Muirhead - The Service of the State II
     A reaction: Does this, by the transitivity of identity, imply the identity of all individual men? Do we all contain identical possibilities, which converge on a unified concept of God? I always take the monotheistic God to far exceed mere human possibilities.