David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Semantics 9 (3):223-250 (1992)
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)|
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
Joeri Engelfriet & Jan Treur (1998). An Interpretation of Default Logic in Minimal Temporal Epistemic Logic. Journal of Logic, Language and Information 7 (3):369-388.
Gregory Wheeler & Carlos Damasio (2004). An Implementation of Statistical Default Logic. In Jose Alferes & Joao Leite (eds.), Logics in Artificial Intelligence (JELIA 2004). Springer
Yao-Hua Tan (1997). Is Default Logic a Reinvention of Inductive-Statistical Reasoning? Synthese 110 (3):357-379.
Edwin D. Mares (2004). “Four-Valued” Semantics for the Relevant Logic R. Journal of Philosophical Logic 33 (3):327-341.
Gianni Amati, Luigia Carlucci Aiello & Fiora Pirri (1994). Defaults as Restrictions on Classical Hilbert-Style Proofs. Journal of Logic, Language and Information 3 (4):303-326.
Márta Abrusán (2011). Predicting the Presuppositions of Soft Triggers. Linguistics and Philosophy 34 (6):491-535.
Gregory Wheeler (2004). A Resource-Bounded Default Logic. In J. Delgrande & T. Schaub (eds.), Proceedings of NMR 2004. AAAI
Joseph Agassi (1982). Presuppositions for Logic. The Monist 65 (4):465-480.
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.
Hans-Peter Leeb (2006). State-of-Affairs Semantics for Positive Free Logic. Journal of Philosophical Logic 35 (2):183 - 208.
Slavko Brkic (2004). Presuppositions, Logic, and Dynamics of Belief. Prolegomena 3 (2):151-177.
Paolo Liberatore (2007). Consistency Defaults. Studia Logica 86 (1):89 - 110.
Reinhard Muskens (1991). [Book Chapter]. Springer Netherlands.
Added to index2010-09-02
Total downloads14 ( #180,314 of 1,725,465 )
Recent downloads (6 months)1 ( #349,436 of 1,725,465 )
How can I increase my downloads?