Discourse representation theory, the Glossary
In formal linguistics, discourse representation theory (DRT) is a framework for exploring meaning under a formal semantics approach.[1]
Table of Contents
28 relations: Anaphora (linguistics), Cambridge University Press, Combinatory categorial grammar, David Lewis (philosopher), Discourse relation, Donkey sentence, Existential quantification, First-order logic, Formal language, Formal linguistics, Formal semantics (natural language), Free variables and bound variables, Friederike Moltmann, Hans Kamp, Irene Heim, Material conditional, Mental representation, Minimal recursion semantics, Montague grammar, Natural language understanding, Negation, Noun phrase, Peter Geach, Richard Montague, Semantic parsing, Semantics, Universal quantification, Wiley-Blackwell.
- Systems of formal logic
Anaphora (linguistics)
In linguistics, anaphora is the use of an expression whose interpretation depends upon another expression in context (its antecedent). Discourse representation theory and anaphora (linguistics) are semantics.
See Discourse representation theory and Anaphora (linguistics)
Cambridge University Press
Cambridge University Press is the university press of the University of Cambridge.
See Discourse representation theory and Cambridge University Press
Combinatory categorial grammar
Combinatory categorial grammar (CCG) is an efficiently parsable, yet linguistically expressive grammar formalism.
See Discourse representation theory and Combinatory categorial grammar
David Lewis (philosopher)
David Kellogg Lewis (September 28, 1941 – October 14, 2001) was an American philosopher.
See Discourse representation theory and David Lewis (philosopher)
Discourse relation
A discourse relation (also coherence relation or rhetorical relation) is a description of how two segments of discourse are logically and/or structurally connected to one another. Discourse representation theory and discourse relation are semantics.
See Discourse representation theory and Discourse relation
Donkey sentence
In semantics, a donkey sentence is a sentence containing a pronoun which is semantically bound but syntactically free. Discourse representation theory and donkey sentence are semantics.
See Discourse representation theory and Donkey sentence
Existential quantification
In predicate logic, an existential quantification is a type of quantifier, a logical constant which is interpreted as "there exists", "there is at least one", or "for some".
See Discourse representation theory and Existential quantification
First-order logic
First-order logic—also called predicate logic, predicate calculus, quantificational logic—is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science. Discourse representation theory and First-order logic are systems of formal logic.
See Discourse representation theory and First-order logic
Formal language
In logic, mathematics, computer science, and linguistics, a formal language consists of words whose letters are taken from an alphabet and are well-formed according to a specific set of rules called a formal grammar.
See Discourse representation theory and Formal language
Formal linguistics
Formal linguistics is the branch of linguistics which uses applied mathematical methods for the analysis of natural languages.
See Discourse representation theory and Formal linguistics
Formal semantics (natural language)
Formal semantics is the study of grammatical meaning in natural languages using formal tools from logic, mathematics and theoretical computer science. Discourse representation theory and formal semantics (natural language) are semantics.
See Discourse representation theory and Formal semantics (natural language)
Free variables and bound variables
In mathematics, and in other disciplines involving formal languages, including mathematical logic and computer science, a variable may be said to be either free or bound.
See Discourse representation theory and Free variables and bound variables
Friederike Moltmann
Friederike Moltmann is a German linguist and philosopher.
See Discourse representation theory and Friederike Moltmann
Hans Kamp
Johan Anthony Willem "Hans" Kamp (born 5 September 1940) is a Dutch philosopher and linguist, responsible for introducing discourse representation theory (DRT) in 1981.
See Discourse representation theory and Hans Kamp
Irene Heim
Irene Roswitha Heim (born in Munich, Germany, on October 30, 1954) is a linguist and a leading specialist in semantics.
See Discourse representation theory and Irene Heim
Material conditional
The material conditional (also known as material implication) is an operation commonly used in logic. Discourse representation theory and material conditional are semantics.
See Discourse representation theory and Material conditional
Mental representation
A mental representation (or cognitive representation), in philosophy of mind, cognitive psychology, neuroscience, and cognitive science, is a hypothetical internal cognitive symbol that represents external reality or its abstractions.
See Discourse representation theory and Mental representation
Minimal recursion semantics
Minimal recursion semantics (MRS) is a framework for computational semantics. Discourse representation theory and Minimal recursion semantics are semantics.
See Discourse representation theory and Minimal recursion semantics
Montague grammar
__notoc__ Montague grammar is an approach to natural language semantics, named after American logician Richard Montague. Discourse representation theory and Montague grammar are semantics.
See Discourse representation theory and Montague grammar
Natural language understanding
Natural language understanding (NLU) or natural language interpretation (NLI) is a subset of natural language processing in artificial intelligence that deals with machine reading comprehension.
See Discourse representation theory and Natural language understanding
Negation
In logic, negation, also called the logical not or logical complement, is an operation that takes a proposition P to another proposition "not P", standing for "P is not true", written \neg P, \mathord P or \overline. Discourse representation theory and negation are semantics.
See Discourse representation theory and Negation
Noun phrase
A noun phrase – or NP or nominal (phrase) – is a phrase that usually has a noun or pronoun as its head, and has the same grammatical functions as a noun.
See Discourse representation theory and Noun phrase
Peter Geach
Peter Thomas Geach (29 March 1916 – 21 December 2013) was a British philosopher who was Professor of Logic at the University of Leeds.
See Discourse representation theory and Peter Geach
Richard Montague
Richard Merritt Montague (September 20, 1930 – March 7, 1971) was an American mathematician and philosopher who made contributions to mathematical logic and the philosophy of language.
See Discourse representation theory and Richard Montague
Semantic parsing
Semantic parsing is the task of converting a natural language utterance to a logical form: a machine-understandable representation of its meaning. Discourse representation theory and Semantic parsing are semantics.
See Discourse representation theory and Semantic parsing
Semantics
Semantics is the study of linguistic meaning.
See Discourse representation theory and Semantics
Universal quantification
In mathematical logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any", "for all", or "for any".
See Discourse representation theory and Universal quantification
Wiley-Blackwell
Wiley-Blackwell is an international scientific, technical, medical, and scholarly publishing business of John Wiley & Sons.
See Discourse representation theory and Wiley-Blackwell
See also
Systems of formal logic
- Ω-logic
- Alternative semantics
- Attributional calculus
- Aṣṭādhyāyī
- Categorical logic
- Dependence logic
- Discourse representation theory
- Dynamic semantics
- Epsilon calculus
- First-order logic
- Formal ethics
- Frege's propositional calculus
- Higher-order logic
- Implicational propositional calculus
- Independence-friendly logic
- Infinitary logic
- Inquisitive semantics
- Intermediate logic
- Intuitionistic logic
- List of axiomatic systems in logic
- Logics for computability
- Many-sorted logic
- Minimal logic
- Ordinal logic
- Paraconsistent logic
- Predicate logic
- Propositional calculus
- Propositional proof system
- Quantum logic
- Second-order logic
- Substructural logic
- Systems of Logic Based on Ordinals
- Two-variable logic
- Type theory
References
[1] https://en.wikipedia.org/wiki/Discourse_representation_theory
Also known as Discourse representation structure, Discourse representation theories.