Single Idea 18744

[catalogued under 5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models]

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.

Gist of Idea

Models are sets with functions and relations, and truth built up from the components

Source

Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 3)

Book Reference

'Bloomsbury Companion to Philosophical Logic', ed/tr. Horsten,L/Pettigrew,R [Bloomsbury 2014], p.18


A Reaction

See the ideas on 'Functions in logic' and 'Relations in logic' (in the alphabetical list) to expand this important idea.