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.
Item Type: | Book Section |
---|---|
Faculties: | Philosophy, Philosophy of Science and Religious Science > Munich Center for Mathematical Philosophy (MCMP) Philosophy, Philosophy of Science and Religious Science > Munich Center for Mathematical Philosophy (MCMP) > Logic Philosophy, Philosophy of Science and Religious Science > Munich Center for Mathematical Philosophy (MCMP) > Epistemology |
Subjects: | 100 Philosophy and Psychology > 120 Epistemology 100 Philosophy and Psychology > 160 Logic |
ISBN: | 978-3-662-48560-6 |
ISSN: | 0302-9743 |
Place of Publication: | Berlin, Heidelberg |
Language: | English |
Item ID: | 29339 |
Date Deposited: | 24. Aug 2016, 12:36 |
Last Modified: | 04. Nov 2020, 13:07 |