Combining Texts

Ideas for 'Model Theory', 'On What Grounds What' and 'Epistemology Naturalized'

expand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


1 idea

5. Theory of Logic / I. Semantics of Logic / 4. Satisfaction
|= should be read as 'is a model for' or 'satisfies' [Hodges,W]