Combining Texts

All the ideas for 'Axiomatic Theories of Truth (2005 ver)', 'works' and 'A Defense of Presentism'

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


25 ideas

1. Philosophy / G. Scientific Philosophy / 3. Scientism
People who use science to make philosophical points don't realise how philosophical science is [Markosian]
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 / B. Truthmakers / 9. Making Past Truths
Presentism has the problem that if Socrates ceases to exist, so do propositions about him [Markosian]
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]
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]
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / a. Nature of possible worlds
Possible worlds must be abstract, because two qualitatively identical worlds are just one world [Markosian]
17. Mind and Body / B. Behaviourism / 3. Intentional Stance
If mind is just an explanation, the explainer must have beliefs [Rey on Dennett]
18. Thought / A. Modes of Thought / 4. Folk Psychology
You couldn't drive a car without folk psychology [Dennett]
19. Language / A. Nature of Meaning / 4. Meaning as Truth-Conditions
'Grabby' truth conditions first select their object, unlike 'searchy' truth conditions [Markosian]
27. Natural Reality / D. Time / 1. Nature of Time / h. Presentism
Presentism is the view that only present objects exist [Markosian]
Presentism says if objects don't exist now, we can't have attitudes to them or relations with them [Markosian]
Presentism seems to entail that we cannot talk about other times [Markosian]
Serious Presentism says things must exist to have relations and properties; Unrestricted version denies this [Markosian]
Maybe Presentists can refer to the haecceity of a thing, after the thing itself disappears [Markosian]
Maybe Presentists can paraphrase singular propositions about the past [Markosian]
Special Relativity denies the absolute present which Presentism needs [Markosian]
27. Natural Reality / D. Time / 2. Passage of Time / k. Temporal truths
Objects in the past, like Socrates, are more like imaginary objects than like remote spatial objects [Markosian]
People are mistaken when they think 'Socrates was a philosopher' says something [Markosian]