Natural language and boolean semantics

the genesis of the cognitive code

pp. 81-105

in: Arturo Carsetti, Epistemic complexity and knowledge construction, Berlin, Springer, 2013

Abstract

A model for a first-order language L is, from an extensional point of view, a structure M = <U, I> where U is a non empty set, called the domain (or universe) of M and I is an interpretation function that assigns appropriate items constructed from U to the non-logical terminology of the language L.