Combining Texts

All the ideas for 'Axiomatic Theories of Truth (2005 ver)', 'Knowledge by Acquaintance and Description-1' and 'Introduction to 'Language Truth and Logic''

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


19 ideas

3. Truth / A. Truth Problems / 2. Defining Truth
Truth definitions don't produce a good theory, because they go beyond your current language [Halbach]
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]
3. Truth / G. Axiomatic Truth / 1. Axiomatic Truth
Instead of a truth definition, add a primitive truth predicate, and axioms for how it works [Halbach]
Should axiomatic truth be 'conservative' - not proving anything apart from implications of the axioms? [Halbach]
If truth is defined it can be eliminated, whereas axiomatic truth has various commitments [Halbach]
Axiomatic theories of truth need a weak logical framework, and not a strong metatheory [Halbach]
3. Truth / H. Deflationary Truth / 2. Deflationary Truth
Deflationists say truth merely serves to express infinite conjunctions [Halbach]
4. Formal Logic / F. Set Theory ST / 1. Set Theory
To prove the consistency of set theory, we must go beyond set theory [Halbach]
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]
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]
8. Modes of Existence / D. Universals / 2. Need for Universals
We know a universal in 'yellow differs from blue' or 'yellow resembles blue less than green does' [Russell]
12. Knowledge Sources / B. Perception / 4. Sense Data / d. Sense-data problems
My 'acquaintance' with sense-data is nothing like my knowing New York [Williams,M on Russell]
13. Knowledge Criteria / B. Internal Justification / 4. Foundationalism / c. Empirical foundations
Basic propositions refer to a single experience, are incorrigible, and conclusively verifiable [Ayer]
15. Nature of Minds / A. Nature of Mind / 4. Other Minds / c. Knowing other minds
The argument from analogy fails, so the best account of other minds is behaviouristic [Ayer]
19. Language / A. Nature of Meaning / 5. Meaning as Verification
A statement is meaningful if observation statements can be deduced from it [Ayer]
Directly verifiable statements must entail at least one new observation statement [Ayer]
The principle of verification is not an empirical hypothesis, but a definition [Ayer]
19. Language / D. Propositions / 1. Propositions
Sentences only express propositions if they are meaningful; otherwise they are 'statements' [Ayer]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / i. Prescriptivism
Moral approval and disapproval concerns classes of actions, rather than particular actions [Ayer]