Academic Journal

Algebras for Boolean Presuppositions

التفاصيل البيبلوغرافية
العنوان: Algebras for Boolean Presuppositions
المؤلفون: Kees Vermeulen, Els Wolters, Albert Visser
المساهمون: The Pennsylvania State University CiteSeerX Archives
المصدر: ftp://ftp.phil.uu.nl/pub/logic/PREPRINTS/preprint192.ps.Z
سنة النشر: 1998
المجموعة: CiteSeerX
مصطلحات موضوعية: Key words, Dynamic Semantics, Algebraic Semantics, Presuppositions, Natural Language, Residuation Lattices
الوصف: We present an algebraic approach to the semantics of presuppositions in dynamic semantics: preconditions are introduced explicitly as separate components in the semantic algebra. The approach is worked out for a propositional language that is interpreted in a Boolean setting. We provide several (meta-)mathematical results about the example ---some completeness issues are discussed and a decision method is presented--- and we compare the approach with the presupposition-as-preconditions approach, the major alternative treatment of presuppositions in dynamic semantics. It turns out that our way of introducing presuppositions into a presuppositionless semantics gives satisfactory results for the examples inside its range. Key words: Dynamic Semantics, Algebraic Semantics, Presuppositions, Natural Language, Residuation Lattices MSC codes: 03B50, 03B60, 03B65, 03G05, 03G10, 68S05 The first author wishes to acknowledge the financial support of the Netherlands Organisation for Scientific R.
نوع الوثيقة: text
وصف الملف: application/postscript
اللغة: English
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.55.8344
الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.55.8344
Rights: Metadata may be used without restrictions as long as the oai identifier remains attached to it.
رقم الانضمام: edsbas.8889FA4F
قاعدة البيانات: BASE
ResultId 1
Header edsbas
BASE
edsbas.8889FA4F
824
3
Academic Journal
academicJournal
823.78955078125
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsbas&AN=edsbas.8889FA4F&custid=s6537998&authtype=sso
FullText Array ( [Availability] => 0 )
Array ( [0] => Array ( [Url] => http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.55.8344# [Name] => EDS - BASE [Category] => fullText [Text] => View record in BASE [MouseOverText] => View record in BASE ) )
Items Array ( [Name] => Title [Label] => Title [Group] => Ti [Data] => Algebras for Boolean Presuppositions )
Array ( [Name] => Author [Label] => Authors [Group] => Au [Data] => <searchLink fieldCode="AR" term="%22Kees+Vermeulen%22">Kees Vermeulen</searchLink><br /><searchLink fieldCode="AR" term="%22Els+Wolters%22">Els Wolters</searchLink><br /><searchLink fieldCode="AR" term="%22Albert+Visser%22">Albert Visser</searchLink> )
Array ( [Name] => Author [Label] => Contributors [Group] => Au [Data] => The Pennsylvania State University CiteSeerX Archives )
Array ( [Name] => TitleSource [Label] => Source [Group] => Src [Data] => ftp://ftp.phil.uu.nl/pub/logic/PREPRINTS/preprint192.ps.Z )
Array ( [Name] => DatePubCY [Label] => Publication Year [Group] => Date [Data] => 1998 )
Array ( [Name] => Subset [Label] => Collection [Group] => HoldingsInfo [Data] => CiteSeerX )
Array ( [Name] => Subject [Label] => Subject Terms [Group] => Su [Data] => <searchLink fieldCode="DE" term="%22Key+words%22">Key words</searchLink><br /><searchLink fieldCode="DE" term="%22Dynamic+Semantics%22">Dynamic Semantics</searchLink><br /><searchLink fieldCode="DE" term="%22Algebraic+Semantics%22">Algebraic Semantics</searchLink><br /><searchLink fieldCode="DE" term="%22Presuppositions%22">Presuppositions</searchLink><br /><searchLink fieldCode="DE" term="%22Natural+Language%22">Natural Language</searchLink><br /><searchLink fieldCode="DE" term="%22Residuation+Lattices%22">Residuation Lattices</searchLink> )
Array ( [Name] => Abstract [Label] => Description [Group] => Ab [Data] => We present an algebraic approach to the semantics of presuppositions in dynamic semantics: preconditions are introduced explicitly as separate components in the semantic algebra. The approach is worked out for a propositional language that is interpreted in a Boolean setting. We provide several (meta-)mathematical results about the example ---some completeness issues are discussed and a decision method is presented--- and we compare the approach with the presupposition-as-preconditions approach, the major alternative treatment of presuppositions in dynamic semantics. It turns out that our way of introducing presuppositions into a presuppositionless semantics gives satisfactory results for the examples inside its range. Key words: Dynamic Semantics, Algebraic Semantics, Presuppositions, Natural Language, Residuation Lattices MSC codes: 03B50, 03B60, 03B65, 03G05, 03G10, 68S05 The first author wishes to acknowledge the financial support of the Netherlands Organisation for Scientific R. )
Array ( [Name] => TypeDocument [Label] => Document Type [Group] => TypDoc [Data] => text )
Array ( [Name] => Format [Label] => File Description [Group] => SrcInfo [Data] => application/postscript )
Array ( [Name] => Language [Label] => Language [Group] => Lang [Data] => English )
Array ( [Name] => NoteTitleSource [Label] => Relation [Group] => SrcInfo [Data] => http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.55.8344 )
Array ( [Name] => URL [Label] => Availability [Group] => URL [Data] => http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.55.8344 )
Array ( [Name] => Copyright [Label] => Rights [Group] => Cpyrght [Data] => Metadata may be used without restrictions as long as the oai identifier remains attached to it. )
Array ( [Name] => AN [Label] => Accession Number [Group] => ID [Data] => edsbas.8889FA4F )
RecordInfo Array ( [BibEntity] => Array ( [Languages] => Array ( [0] => Array ( [Text] => English ) ) [Subjects] => Array ( [0] => Array ( [SubjectFull] => Key words [Type] => general ) [1] => Array ( [SubjectFull] => Dynamic Semantics [Type] => general ) [2] => Array ( [SubjectFull] => Algebraic Semantics [Type] => general ) [3] => Array ( [SubjectFull] => Presuppositions [Type] => general ) [4] => Array ( [SubjectFull] => Natural Language [Type] => general ) [5] => Array ( [SubjectFull] => Residuation Lattices [Type] => general ) ) [Titles] => Array ( [0] => Array ( [TitleFull] => Algebras for Boolean Presuppositions [Type] => main ) ) ) [BibRelationships] => Array ( [HasContributorRelationships] => Array ( [0] => Array ( [PersonEntity] => Array ( [Name] => Array ( [NameFull] => Kees Vermeulen ) ) ) [1] => Array ( [PersonEntity] => Array ( [Name] => Array ( [NameFull] => Els Wolters ) ) ) [2] => Array ( [PersonEntity] => Array ( [Name] => Array ( [NameFull] => Albert Visser ) ) ) [3] => Array ( [PersonEntity] => Array ( [Name] => Array ( [NameFull] => The Pennsylvania State University CiteSeerX Archives ) ) ) ) [IsPartOfRelationships] => Array ( [0] => Array ( [BibEntity] => Array ( [Dates] => Array ( [0] => Array ( [D] => 01 [M] => 01 [Type] => published [Y] => 1998 ) ) [Identifiers] => Array ( [0] => Array ( [Type] => issn-locals [Value] => edsbas ) [1] => Array ( [Type] => issn-locals [Value] => edsbas.oa ) ) [Titles] => Array ( [0] => Array ( [TitleFull] => ftp://ftp.phil.uu.nl/pub/logic/PREPRINTS/preprint192.ps.Z [Type] => main ) ) ) ) ) ) )
IllustrationInfo