Combining Texts

All the ideas for 'Axiomatic Theories of Truth (2005 ver)', 'Db (ideas)' and 'Truth-making and Correspondence'

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


38 ideas

1. Philosophy / F. Analytic Philosophy / 5. Linguistic Analysis
Note that "is" can assert existence, or predication, or identity, or classification [PG]
2. Reason / F. Fallacies / 1. Fallacy
Fallacies are errors in reasoning, 'formal' if a clear rule is breached, and 'informal' if more general [PG]
2. Reason / F. Fallacies / 3. Question Begging
Question-begging assumes the proposition which is being challenged [PG]
2. Reason / F. Fallacies / 6. Fallacy of Division
What is true of a set is also true of its members [PG]
2. Reason / F. Fallacies / 7. Ad Hominem
The Ad Hominem Fallacy criticises the speaker rather than the argument [PG]
3. Truth / A. Truth Problems / 2. Defining Truth
If truths are just identical with facts, then truths will make themselves true [David]
Truth definitions don't produce a good theory, because they go beyond your current language [Halbach]
3. Truth / B. Truthmakers / 2. Truthmaker Relation
Examples show that truth-making is just non-symmetric, not asymmetric [David]
3. Truth / B. Truthmakers / 4. Truthmaker Necessitarianism
It is assumed that a proposition is necessarily true if its truth-maker exists [David]
3. Truth / B. Truthmakers / 5. What Makes Truths / a. What makes truths
Two different propositions can have the same fact as truth-maker [David]
3. Truth / B. Truthmakers / 5. What Makes Truths / b. Objects make truths
What matters is truth-making (not truth-makers) [David]
3. Truth / B. Truthmakers / 11. Truthmaking and Correspondence
Correspondence is symmetric, while truth-making is taken to be asymmetric [David]
Correspondence is an over-ambitious attempt to explain truth-making [David]
Correspondence theorists see facts as the only truth-makers [David]
3. Truth / C. Correspondence Truth / 1. Correspondence Truth
Correspondence theory likes ideal languages, that reveal the structure of propositions [David]
3. Truth / C. Correspondence Truth / 2. Correspondence to Facts
What makes a disjunction true is simpler than the disjunctive fact it names [David]
One proposition can be made true by many different facts [David]
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
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]
Instead of a truth definition, add a primitive truth predicate, and axioms for how it works [Halbach]
3. Truth / H. Deflationary Truth / 2. Deflationary Truth
Deflationists say truth merely serves to express infinite conjunctions [Halbach]
3. Truth / H. Deflationary Truth / 3. Minimalist Truth
Minimal theories of truth avoid ontological commitment to such things as 'facts' or 'reality' [PG]
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]
5. Theory of Logic / L. Paradox / 1. Paradox
Monty Hall Dilemma: do you abandon your preference after Monty eliminates one of the rivals? [PG]
8. Modes of Existence / A. Relations / 4. Formal Relations / a. Types of relation
A reflexive relation entails that the relation can't be asymmetric [David]
10. Modality / B. Possibility / 6. Probability
Everything has a probability, something will happen, and probabilities add up [PG]
11. Knowledge Aims / C. Knowing Reality / 1. Perceptual Realism / a. Naïve realism
If reality is just what we perceive, we would have no need for a sixth sense [PG]
12. Knowledge Sources / A. A Priori Knowledge / 5. A Priori Synthetic
If my team is losing 3-1, I have synthetic a priori knowledge that they need two goals for a draw [PG]
17. Mind and Body / E. Mind as Physical / 7. Anti-Physicalism / b. Multiple realisability
Maybe a mollusc's brain events for pain ARE of the same type (broadly) as a human's [PG]
Maybe a frog's brain events for fear are functionally like ours, but not phenomenally [PG]
23. Ethics / E. Utilitarianism / 4. Unfairness
Utilitarianism seems to justify the discreet murder of unhappy people [PG]
27. Natural Reality / G. Biology / 2. Life
Life is Movement, Respiration, Sensation, Nutrition, Excretion, Reproduction, Growth (MRS NERG) [PG]
28. God / A. Divine Nature / 4. Divine Contradictions
An omniscient being couldn't know it was omniscient, as that requires information from beyond its scope of knowledge [PG]
How could God know there wasn't an unknown force controlling his 'free' will? [PG]