Single Idea 10827

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

Full Idea

In model theory we are interested in allowing a slightly unusual semantics for quantifiers: we are willing to allow that the quantifier not range over everything.

Gist of Idea

Model theory is unusual in restricting the range of the quantifiers


Hartry Field (Tarski's Theory of Truth [1972], n 5)

Book Reference

'The Nature of Truth', ed/tr. Lynch, Michael P. [MIT 2001], p.394