Combining Texts

All the ideas for 'Cratylus', 'Counterfactual Dependence and Time's Arrow' and 'The Semantic Conception of Truth'

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


44 ideas

1. Philosophy / A. Wisdom / 1. Nature of Wisdom
Wisdom is called 'beautiful', because it performs fine works [Plato]
1. Philosophy / A. Wisdom / 2. Wise People
Good people are no different from wise ones [Plato]
1. Philosophy / E. Nature of Metaphysics / 5. Metaphysics beyond Science
Some say metaphysics is a highly generalised empirical study of objects [Tarski]
1. Philosophy / F. Analytic Philosophy / 1. Nature of Analysis
Disputes that fail to use precise scientific terminology are all meaningless [Tarski]
2. Reason / C. Styles of Reason / 1. Dialectic
A dialectician is someone who knows how to ask and to answer questions [Plato]
2. Reason / D. Definition / 1. Definitions
For a definition we need the words or concepts used, the rules, and the structure of the language [Tarski]
3. Truth / A. Truth Problems / 2. Defining Truth
Definitions of truth should not introduce a new version of the concept, but capture the old one [Tarski]
A definition of truth should be materially adequate and formally correct [Tarski]
A rigorous definition of truth is only possible in an exactly specified language [Tarski]
We may eventually need to split the word 'true' into several less ambiguous terms [Tarski]
3. Truth / C. Correspondence Truth / 1. Correspondence Truth
Truths say of what is that it is, falsehoods say of what is that it is not [Plato]
3. Truth / F. Semantic Truth / 1. Tarski's Truth / a. Tarski's truth definition
It is convenient to attach 'true' to sentences, and hence the language must be specified [Tarski]
In the classical concept of truth, 'snow is white' is true if snow is white [Tarski]
Scheme (T) is not a definition of truth [Tarski]
Each interpreted T-sentence is a partial definition of truth; the whole definition is their conjunction [Tarski]
Use 'true' so that all T-sentences can be asserted, and the definition will then be 'adequate' [Tarski]
We don't give conditions for asserting 'snow is white'; just that assertion implies 'snow is white' is true [Tarski]
3. Truth / F. Semantic Truth / 1. Tarski's Truth / b. Satisfaction and truth
The best truth definition involves other semantic notions, like satisfaction (relating terms and objects) [Tarski]
Specify satisfaction for simple sentences, then compounds; true sentences are satisfied by all objects [Tarski]
3. Truth / F. Semantic Truth / 1. Tarski's Truth / c. Meta-language for truth
We can't use a semantically closed language, or ditch our logic, so a meta-language is needed [Tarski]
The metalanguage must contain the object language, logic, and defined semantics [Tarski]
3. Truth / F. Semantic Truth / 2. Semantic Truth
If listing equivalences is a reduction of truth, witchcraft is just a list of witch-victim pairs [Field,H on Tarski]
3. Truth / G. Axiomatic Truth / 1. Axiomatic Truth
We need an undefined term 'true' in the meta-language, specified by axioms [Tarski]
3. Truth / H. Deflationary Truth / 1. Redundant Truth
Truth can't be eliminated from universal claims, or from particular unspecified claims [Tarski]
3. Truth / H. Deflationary Truth / 2. Deflationary Truth
Semantics is a very modest discipline which solves no real problems [Tarski]
4. Formal Logic / B. Propositional Logic PL / 3. Truth Tables
Truth tables give prior conditions for logic, but are outside the system, and not definitions [Tarski]
5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle
The truth definition proves semantic contradiction and excluded middle laws (not the logic laws) [Tarski]
5. Theory of Logic / F. Referring in Logic / 1. Naming / a. Names
A name is a sort of tool [Plato]
A name-giver might misname something, then force other names to conform to it [Plato]
Things must be known before they are named, so it can't be the names that give us knowledge [Plato]
5. Theory of Logic / F. Referring in Logic / 1. Naming / c. Names as referential
Anyone who knows a thing's name also knows the thing [Plato]
5. Theory of Logic / L. Paradox / 6. Paradoxes in Language / a. The Liar paradox
The Liar makes us assert a false sentence, so it must be taken seriously [Tarski]
7. Existence / B. Change in Existence / 1. Nature of Change
How can beauty have identity if it changes? [Plato]
7. Existence / E. Categories / 2. Categorisation
We only succeed in cutting if we use appropriate tools, not if we approach it randomly [Plato]
9. Objects / A. Existence of Objects / 5. Individuation / d. Individuation by haecceity
Doesn't each thing have an essence, just as it has other qualities? [Plato]
9. Objects / D. Essence of Objects / 3. Individual Essences
Things don't have every attribute, and essence isn't private, so each thing has an essence [Plato]
9. Objects / D. Essence of Objects / 15. Against Essentialism
Is the being or essence of each thing private to each person? [Plato]
9. Objects / F. Identity among Objects / 7. Indiscernible Objects
If we made a perfect duplicate of Cratylus, there would be two Cratyluses [Plato]
13. Knowledge Criteria / D. Scepticism / 1. Scepticism
There can't be any knowledge if things are constantly changing [Plato]
15. Nature of Minds / A. Nature of Mind / 2. Psuche
Soul causes the body to live, and gives it power to breathe and to be revitalized [Plato]
23. Ethics / C. Virtue Theory / 1. Virtue Theory / a. Nature of virtue
'Arete' signifies lack of complexity and a free-flowing soul [Plato]
26. Natural Theory / C. Causation / 5. Direction of causation
There are few traces of an event before it happens, but many afterwards [Lewis, by Horwich]
27. Natural Reality / G. Biology / 5. Species
The natural offspring of a lion is called a 'lion' (but what about the offspring of a king?) [Plato]
28. God / A. Divine Nature / 2. Divine Nature
Even the gods love play [Plato]