We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Default Logic: Towards a Common Logical Semantics for Presuppositions and Entailments.
- Authors
MERCER, ROBERT E.
- Abstract
Presuppositions and entailments play an important role in determining the meaning of a natural language utterance. Considered as inferences, presuppositions and entailments can be derived from appropriate logical representations of the uttered sentence, the background real world knowledge, and knowledge concerning conversational principles. Presuppositions are conjectural or defeasible in nature, and entailments are deductive. In this paper we describe the application of Default Logic proof theory (which includes First Order Logic proof theory) to the generation of presuppositions and entailments. Classical logic, which can generate the entailments, is enhanced with default rules which capture the linguistic knowledge required to produce the presuppositions. The similarities and differences between presuppositions and entailments when considered as inferences are discussed. We also show that the Default Logic paradigm, in addition to generating the appropriate presuppositions and entailments, has explanatory power
- Publication
Journal of Semantics, 1992, Vol 9, Issue 3, p223
- ISSN
0167-5133
- Publication type
Article