A logical form is a record of how the expression meanings of the constituents in a sentence can be composed into an expression meaning for the whole sentence. Some sentences have more than one logical form because they are ambiguous (lexically, by multiple attachment possibilities, or by scopal ambiguity). Choosing an appropriate logical form for the discourse is called disambiguation.
But the logical form doesnŐt resolve the reference of anything in the sentence; that is part of utterance meaning and is represented by the construction of a discourse score card of the interpretation of the utterance in its context.
In disambiguating, itŐs fair to peek at the discourse model to help you choose an appropriate logical form. But that doesnŐt change the fact that the logical form is different from the discourse model.
A discourse score card is a chart with two large columns. The left column is the list of Things Referred To (TRT), which has two sub parts: the list of discourse markers (numbered variables), which represent the entities referred to in the discourse. With each discourse marker there is an associated description.
The right column is the workspace for building utterance meanings out of logical forms for the utterances in the discourse. The utterance meanings represent the lines in the chart (ŇinningsÓ); a line is drawn through the whole chart after each logical form is added to the card.
1. Put the logical form on the right side of the chart as a new utterance.
2. Replace any term that is taken to refer to a familiar discourse entity (e.g. a definite description) with an appropriate its discourse marker.
3. Accommodate reference to entities not explicitly mentioned but presumed to be salient to the discourse participants by adding a marker to represent them and substituting it for appropriate terms that are introduced by names, demonstrative descriptions, or indexical pronouns.
4. Introduce a new (novel) discourse marker for any indefinite description that is taken to be referential.
5. When a quantificational operator with wide scope entails that there is an individual or group of individuals which meet the condition in its scope, add a discourse marker for it using the variable associated with the quantifier.
á Leave a and the at the beginning of an entity description. Allow demonstratives as well.
á Leave pronouns in logical forms (for the time being).
á Lower-case letters represent individual variables; upper-case letters represent groups.