Combining Texts

Ideas for '', 'Philosophy of Mathematics' and ''Objectivity' in Social Sciences and Social Policy'

unexpand 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

10235	A sentence is 'satisfiable' if it has a model [Shapiro]
	Full Idea: Normally, to say that a sentence Φ is 'satisfiable' is to say that there exists a model of Φ.
	From: Stewart Shapiro (Philosophy of Mathematics [1997], 4.8)
	A reaction: Nothing is said about whether the model is impressive, or founded on good axioms. Tarski builds his account of truth from this initial notion of satisfaction.