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

Journal of Semantics 9 (3):223-250 (1992)
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
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index
 
Download options
PhilPapers Archive


Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 11,018
External links
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA

No references found.

Citations of this work BETA

No citations found.

Similar books and articles
Beihai Zhou & Yi Mao (2006). A Base Logic for Default Reasoning. Frontiers of Philosophy in China 1 (4):688-709.
Ermanno Bencivenga (1984). Supervaluations and Theories. Grazer Philosophische Studien 21:89-98.
Paolo Liberatore (2007). Consistency Defaults. Studia Logica 86 (1):89 - 110.
Analytics

Monthly downloads

Added to index

2010-09-02

Total downloads

13 ( #120,623 of 1,101,088 )

Recent downloads (6 months)

4 ( #81,399 of 1,101,088 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Start a new thread
Order:
There  are no threads in this forum
Nothing in this forum yet.