Informational dynamics of ‘might’ assertions

Peter HAWKE, Shane STEINERT-THRELKELD

Research output: Book Chapters | Papers in Conference ProceedingsConference paper (refereed)peer-review

2 Citations (Scopus)

Abstract

We investigate, in a logical setting, the proposal that assertion primarily functions to express and coordinate doxastic states and that ‘might’ fundamentally expresses lack of belief. We provide a formal model of an agent’s doxastic state and precise assertability conditions for an associated formal language. We thereby prove that an arbitrary assertion (including a complex of ‘might’ and ‘factual’ claims) always succeeds in expressing a well-defined doxastic state. We then propose a fully general and intuitive doxastic update operation as a model of an agent coming to accept an arbitrary assertion. We provide reduction axioms for some novel update operations related to this proposal.

Original languageEnglish
Title of host publicationLogic, Rationality, and Interaction - 5th International Workshop, LORI 2015, Proceedings
EditorsWen-Fang WANG, Wiebe VAN DER HOEK, Wesley H. HOLLIDAY
PublisherSpringer-Verlag GmbH and Co. KG
Pages143-155
Number of pages13
ISBN (Print)9783662485606
DOIs
Publication statusPublished - 2015
Externally publishedYes
Event5th International Workshop on Logic, Rationality, and Interaction, LORI 2015 - Taipei, Taiwan, Province of China
Duration: 28 Oct 201531 Oct 2015

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9394
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference5th International Workshop on Logic, Rationality, and Interaction, LORI 2015
CountryTaiwan, Province of China
CityTaipei
Period28/10/1531/10/15

Fingerprint Dive into the research topics of 'Informational dynamics of ‘might’ assertions'. Together they form a unique fingerprint.

Cite this