Alice G. B. ter Meulen a1 a1 Center for Language and Cognition, University of Groningen, 9700 AS Groningen, The Netherlands
atm@let.rug.nlhttp://atm.nemit.net
Abstract
In designing stratified models of human language, understanding notions of logical consequence and validity of inference require separating the aspects of meaning that vary between models from logical constants. Modelling meaning requires choices regarding the primitives, where the Fregean program is still offering us the fundamental insights on the role of truth, judgement, and grasping or sharing of thoughts.
