Combining Texts

All the ideas for 'Axiomatic Theories of Truth (2005 ver)', 'The Metaphysics of Modality' and 'The Symposium'

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


54 ideas

1. Philosophy / A. Wisdom / 1. Nature of Wisdom
The finest branch of wisdom is justice and moderation in ordering states and families [Plato]
1. Philosophy / E. Nature of Metaphysics / 2. Possibility of Metaphysics
There must be a plausible epistemological theory alongside any metaphysical theory [Forbes,G]
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
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 / B. Propositional Logic PL / 2. Tools of Propositional Logic / a. Symbols of PL
The symbol 'ι' forms definite descriptions; (ιx)F(x) says 'the x which is such that F(x)' [Forbes,G]
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 / 2. Logical Connectives / d. and
Is the meaning of 'and' given by its truth table, or by its introduction and elimination rules? [Forbes,G]
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]
7. Existence / D. Theories of Reality / 10. Vagueness / d. Vagueness as linguistic
Vagueness problems arise from applying sharp semantics to vague languages [Forbes,G]
8. Modes of Existence / D. Universals / 6. Platonic Forms / a. Platonic Forms
Diotima said the Forms are the objects of desire in philosophical discourse [Plato, by Roochnik]
9. Objects / A. Existence of Objects / 5. Individuation / a. Individuation
In all instances of identity, there must be some facts to ensure the identity [Forbes,G]
9. Objects / B. Unity of Objects / 3. Unity Problems / d. Coincident objects
If we combined two clocks, it seems that two clocks may have become one clock. [Forbes,G]
9. Objects / D. Essence of Objects / 3. Individual Essences
Only individual essences will ground identities across worlds in other properties [Forbes,G, by Mackie,P]
An individual essence is a set of essential properties which only that object can have [Forbes,G]
Non-trivial individual essence is properties other than de dicto, or universal, or relational [Forbes,G]
9. Objects / D. Essence of Objects / 5. Essence as Kind
Essential properties depend on a category, and perhaps also on particular facts [Forbes,G]
9. Objects / D. Essence of Objects / 7. Essence and Necessity / a. Essence as necessary properties
Essential properties are those without which an object could not exist [Forbes,G]
9. Objects / D. Essence of Objects / 11. Essence of Artefacts
Same parts does not ensure same artefact, if those parts could constitute a different artefact [Forbes,G]
Artefacts have fuzzy essences [Forbes,G]
9. Objects / E. Objects over Time / 12. Origin as Essential
An individual might change their sex in a world, but couldn't have differed in sex at origin [Forbes,G]
9. Objects / F. Identity among Objects / 1. Concept of Identity
Identities must hold because of other facts, which must be instrinsic [Forbes,G, by Mackie,P]
10. Modality / A. Necessity / 4. De re / De dicto modality
De re modal formulae, unlike de dicto, are sensitive to transworld identities [Forbes,G]
10. Modality / C. Sources of Modality / 4. Necessity from Concepts
De re necessity is a form of conceptual necessity, just as de dicto necessity is [Forbes,G]
10. Modality / E. Possible worlds / 1. Possible Worlds / c. Possible worlds realism
Unlike places and times, we cannot separate possible worlds from what is true at them [Forbes,G]
The problem with possible worlds realism is epistemological; we can't know properties of possible objects [Forbes,G]
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / a. Nature of possible worlds
Possible worlds are points of logical space, rather like other times than our own [Forbes,G]
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
Transworld identity concerns the limits of possibility for ordinary things [Forbes,G]
The problem of transworld identity can be solved by individual essences [Forbes,G]
10. Modality / E. Possible worlds / 3. Transworld Objects / c. Counterparts
Counterpart theory is not good at handling the logic of identity [Forbes,G]
10. Modality / E. Possible worlds / 3. Transworld Objects / d. Haecceitism
Haecceitism attributes to each individual a primitive identity or thisness [Forbes,G]
We believe in thisnesses, because we reject bizarre possibilities as not being about that individual [Forbes,G]
13. Knowledge Criteria / A. Justification Problems / 1. Justification / b. Need for justification
True opinion without reason is midway between wisdom and ignorance [Plato]
16. Persons / E. Rejecting the Self / 1. Self as Indeterminate
We call a person the same throughout life, but all their attributes change [Plato]
Only the gods stay unchanged; we replace our losses with similar acquisitions [Plato]
21. Aesthetics / A. Aesthetic Experience / 4. Beauty
Beauty is harmony with what is divine, and ugliness is lack of such harmony [Plato]
Love of ugliness is impossible [Plato]
Beauty and goodness are the same [Plato]
21. Aesthetics / A. Aesthetic Experience / 5. Natural Beauty
Stage two is the realisation that beauty of soul is of more value than beauty of body [Plato]
Progress goes from physical beauty, to moral beauty, to the beauty of knowledge, and reaches absolute beauty [Plato]
21. Aesthetics / B. Nature of Art / 8. The Arts / a. Music
Music is a knowledge of love in the realm of harmony and rhythm [Plato]
22. Metaethics / B. Value / 2. Values / g. Love
Love follows beauty, wisdom is exceptionally beautiful, so love follows wisdom [Plato]
Love assists men in achieving merit and happiness [Plato]
Love is desire for perpetual possession of the good [Plato]
22. Metaethics / C. The Good / 1. Goodness / d. Good as virtue
If a person is good they will automatically become happy [Plato]
22. Metaethics / C. The Good / 2. Happiness / b. Eudaimonia
Happiness is secure enjoyment of what is good and beautiful [Plato]
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / c. Motivation for virtue
The only slavery which is not dishonourable is slavery to excellence [Plato]
The first step on the right path is the contemplation of physical beauty when young [Plato]
28. God / A. Divine Nature / 3. Divine Perfections
Gods are not lovers of wisdom, because they are already wise [Plato]