Default Logic: Towards a Common Logical Semantics for Presuppositions and Entailments  

Oleh:

Mercer, Robert E.

Jenis: Article from Journal - ilmiah internasional
Dalam koleksi: Journal of Semantics (Sebagian Full Text) vol. 9 no. 3 (Mar. 1992), page 223-250.
Topik: Logical Semantics; Presuppositions;
Fulltext: vol 9, no 3, p 223-250.pdf (1.46MB)

Isi artikel

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

Opini Anda

Klik untuk menuliskan opini Anda tentang koleksi ini!

Kembali