Search results
Results From The WOW.Com Content Network
Dynamic semantics is a framework in logic and natural language semantics that treats the meaning of a sentence as its potential to update a context. In static semantics, knowing the meaning of a sentence amounts to knowing when it is true; in dynamic semantics, knowing the meaning of a sentence means knowing "the change it brings about in the information state of anyone who accepts the news ...
In semantics, pragmatics, and philosophy of language, the common ground of a conversation is the set of propositions that the interlocutors have agreed to treat as true. For a proposition to be in the common ground, it must be common knowledge in the conversational context.
In semantics, a donkey sentence is a sentence containing a pronoun which is semantically bound but syntactically free. They are a classic puzzle in formal semantics and philosophy of language because they are fully grammatical and yet defy straightforward attempts to generate their formal language equivalents.
The theory of descriptions is the philosopher Bertrand Russell's most significant contribution to the philosophy of language.It is also known as Russell's theory of descriptions (commonly abbreviated as RTD).
In semantics, pragmatics, and philosophy of language, a question under discussion (QUD) is a question which the interlocutors in a discourse are attempting to answer. In many formal and computational theories of discourse, the QUD (or an ordered set of QUD's) is among the elements of a tuple called the conversational scoreboard which represents the current state of the conversation.
Montague grammar is an approach to natural language semantics, named after American logician Richard Montague. The Montague grammar is based on mathematical logic, especially higher-order predicate logic and lambda calculus, and makes use of the notions of intensional logic, via Kripke models. Montague pioneered this approach in the 1960s and ...
In semantics, the best-known types of semantic equivalence are dynamic equivalence and formal equivalence (two terms coined by Eugene Nida), which employ translation approaches that focus, respectively, on conveying the meaning of the source text; and that lend greater importance to preserving, in the translation, the literal structure of the source text.
As a combination of dynamic logic and epistemic logic, dynamic epistemic logic is a young field of research. It really started in 1989 with Plaza's logic of public announcement. [ 1 ] Independently, Gerbrandy and Groeneveld [ 2 ] proposed a system dealing moreover with private announcement and that was inspired by the work of Veltman. [ 3 ]