Introspection, Normality and Agglomeration

Klein, Dominik; Gratzl, Norbert und Roy, Olivier (2015): Introspection, Normality and Agglomeration. In: Hoek, Wiebe van der; Holliday, H. Wesley und Wang, Wen-fang (Hrsg.): Logic, Rationality, and Interaction. Lecture Notes in Computer Science, Bd. 9394. Berlin, Heidelberg: Springer Berlin Heidelberg. S. 195-206

Abstract

This paper explores a non-normal logic of beliefs for boundedly rational agents. The logic we study stems from the epistemic-doxastic system developed by Stalnaker. In that system, if knowledge is not positively introspective then beliefs are not closed under conjunction. They are, however, required to be pairwise consistent, a requirement that has been called agglomerativity elsewhere. While bounded agglomerativity requirements, i.e., joint consistency for every n-tuple of beliefs up to a fixed n, are expressible in that logic, unbounded agglomerativity is not. We study an extension of this logic of beliefs with such an unbounded agglomerativity operator, provide a sound and complete axiomatization for it, show that it has a sequent calculus that enjoys the admissibility of cut, that it has the finite model property, and that it is decidable.

• Dokumententyp: Buchbeitrag
• Fakultät: Philosophie, Wissenschaftstheorie und Religionswissenschaft > Munich Center for Mathematical Philosophy (MCMP) ; Philosophie, Wissenschaftstheorie und Religionswissenschaft > Munich Center for Mathematical Philosophy (MCMP) > Logic ; Philosophie, Wissenschaftstheorie und Religionswissenschaft > Munich Center for Mathematical Philosophy (MCMP) > Epistemology
• Themengebiete: 100 Philosophie und Psychologie > 120 Epistemologie ; 100 Philosophie und Psychologie > 160 Logik
• ISBN: 978-3-662-48560-6
• ISSN: 0302-9743
• Ort: Berlin, Heidelberg
• Sprache: Englisch