Combining Texts

Ideas for 'Mathematical Methods in Philosophy', 'Metaphysical Themes 1274-1671' and 'Psychophysical and theoretical identifications'

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 / J. Model Theory in Logic / 1. Logical Models

18744	Models are sets with functions and relations, and truth built up from the components [Horsten/Pettigrew]
	Full Idea: A (logical) model is a set with functions and relations defined on it that specify the denotation of the non-logical vocabulary. A series of recursive clauses explicate how truth values of complex sentences are compositionally determined from the parts.
	From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 3)
	A reaction: See the ideas on 'Functions in logic' and 'Relations in logic' (in the alphabetical list) to expand this important idea.