A Brief Analysis Of Discourse Representation Theory And Dynamic Predicate Logic

DRT is a watershed over the developmental process of formal semantics . The former semantics before the appearance of DRT is called traditional formal semantics .The most great distinction between DRT and traditional formal semantics is that the former disposes setences staticlly while the latter does dynamically . DRT which dipicts the meanings of natural language dynamically focuses on the semantic interpretation of discourse , i.e. , on coherent sequences of sentences ,also called'texts',instead of on isolated sentences as in traditional semantics , from contacting with contexts exhibits the anaphoric relations between nouns and their pronouns and so analyzes the meaning of sentences by increasing the information of discourse gradually. And this very theory exhibits the process of from the english sentences'syntax to the semantic analysis from the algorithmics point , and dipicted the dynamic process of semantic analysis, also constructs specific formal inductive system on the basis of Discourse Representation Structure (henceforth DRS) . It is this dynamic analysis method that successfully solve the impertinent problem which is used to deal with definite description in Montague grammar .DPL provide a dynamic semantic interpretation for predicate logic coming down the same line with DRT .According to Tarski's truth definition ,DPL uses the set of assignment to identify the extension of formulars in every certain model and so represents the semantics of formulars for dual order relation between assignments ,extend the restriction force of quantifiers to make'?xΦ∧Ψ'equal to'?x(Φ∧Ψ)'.Compared with DRT, DPL makes a better resolution to sentence crossial anaphorics and anaphoric relations in donkey sentences .Though both DRT and DPL are dynamic formal semantics but the objects DRT takes care of aims at natural language expressions ,DPL ,the traslation formulars of natural language expressions which have been trsalated in first order predicate logic ; and the language they two uses is different too : DRT uses unstandard frame language while DPL is the ordinary first order predicate logic language . The essence of them is both dealing with language expressions dynamiclly , and corresponding to each system ,each system contains their own static opponent . The combination of static and dynamic analysing method fully exhibit the advantagement of analysing the meaning of natual language .