Semantic realism fits Millikan's account of kind terms in its focus on information-theoretic abilities and strategic ways of gathering information in human communication. Instead of the traditional logical necessity, we should interpret rigid designation in a dynamic semantics as a legislative act to constrain possible ways in which our belief may change.
Validity of dynamic temporal reasoning is semantically characterized for Englishand Dutch aspectual adverbs in Discourse Representation Theory. This dynamicperspective determines how the content needs to be revised and what informationis preserved across updates, when the order of premises is considered relevant.Resetting contextual parameters relies on modelling the basic aspectual polaritytransitions and temporal reasoning extensionally. For intensional aspectual adverbialsthe speaker''s attitudes regarding past alternatives to and possible continuations of thecurrent state come into play. Additional considerations are offered for generalizing thissystem to (...) the full logical space for linguistic universals, lexicalized quite differently inDutch and English. (shrink)
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.
Modelling human reasoning characterizes the fundamental human cognitive capacity to describe our past experience and use it to form expectations as well as plan and direct our future actions. Natural language semantics analyzes dynamic forms of reasoning in which the real-time order determines the temporal relations between the described events, when reported with telic simple past-tense clauses. It provides models of human reasoning that could supplement ACT-R models.