Combining Texts

All the ideas for 'fragments/reports', 'A Theory of Conditionals' and 'A Note on the entscheidungsproblem'

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


4 ideas

5. Theory of Logic / K. Features of Logics / 7. Decidability
Validity is provable, but invalidity isn't, because the model is infinite [Church, by McGee]
10. Modality / B. Possibility / 8. Conditionals / a. Conditionals
In nearby worlds where A is true, 'if A,B' is true or false if B is true or false [Stalnaker]
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / a. Nature of possible worlds
A possible world is the ontological analogue of hypothetical beliefs [Stalnaker]
13. Knowledge Criteria / E. Relativism / 2. Knowledge as Convention
By nature people are close to one another, but culture drives them apart [Hippias]