Combining Texts

All the ideas for 'fragments/reports', 'Pragmatism and Deflationism' and 'Modal Logic'

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


21 ideas

3. Truth / E. Pragmatic Truth / 1. Pragmatic Truth
Truth is proper assertion, but that has varying standards [Misak]
For pragmatists the loftiest idea of truth is just a feature of what remains forever assertible [Misak]
Truth isn't a grand elusive property, if it is just the aim of our assertions and inquiries [Misak]
Truth makes disagreements matter, or worth settling [Misak]
'True' is used for emphasis, clarity, assertion, comparison, objectivity, meaning, negation, consequence... [Misak]
'That's true' doesn't just refer back to a sentence, but implies sustained evidence for it [Misak]
3. Truth / F. Semantic Truth / 1. Tarski's Truth / a. Tarski's truth definition
Disquotation is bivalent [Misak]
Disquotationalism resembles a telephone directory [Misak]
Disquotations says truth is assertion, and assertion proclaims truth - but what is 'assertion'? [Misak]
3. Truth / H. Deflationary Truth / 2. Deflationary Truth
Deflating the correspondence theory doesn't entail deflating all the other theories [Misak]
Deflationism isn't a theory of truth, but an account of its role in natural language [Misak]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / b. System K
Normal system K has five axioms and rules [Cresswell]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / c. System D
D is valid on every serial frame, but not where there are dead ends [Cresswell]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / g. System S4
S4 has 14 modalities, and always reduces to a maximum of three modal operators [Cresswell]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5
In S5 all the long complex modalities reduce to just three, and their negations [Cresswell]
4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
Reject the Barcan if quantifiers are confined to worlds, and different things exist in other worlds [Cresswell]
7. Existence / D. Theories of Reality / 4. Anti-realism
The anti-realism debate concerns whether indefeasibility is a plausible aim of inquiry [Misak]
8. Modes of Existence / A. Relations / 4. Formal Relations / a. Types of relation
A relation is 'Euclidean' if aRb and aRc imply bRc [Cresswell]
10. Modality / A. Necessity / 4. De re / De dicto modality
A de dicto necessity is true in all worlds, but not necessarily of the same thing in each world [Cresswell]
25. Social Practice / E. Policies / 5. Education / b. Education principles
Learned men gain more in one day than others do in a lifetime [Posidonius]
27. Natural Reality / D. Time / 1. Nature of Time / d. Time as measure
Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus]