Single Idea 10898

[catalogued under 5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic]

Full Idea

The semantic pattern of a first-order language is the ways in which truth values depend on which individuals instantiate the properties and relations which figure in them. ..So we pair a truth value with each combination of individuals, sets etc.

Gist of Idea

The semantics shows how truth values depend on instantiations of properties and relations


José L. Zalabardo (Introduction to the Theory of Logic [2000], §3.3)

Book Reference

Zalabardo,José L.: 'Introduction to the Theory of Logic' [Westview 2000], p.90

A Reaction

So truth reduces to a combination of 'instantiations', which is rather like 'satisfaction'.