Name
Abstract | ||
|---|---|---|
We study two logics of knowledge and belief stemming from the work of Stalnaker (2006), omitting positive introspection for knowledge. The two systems are equivalent with positive introspection, but not without. We show that while the logic of beliefs remains unaffected by omitting introspection for knowledge in one system, it brings significant changes to the other. The resulting logic of belief is non-normal, and its complete axiomatization uses an infinite hierarchy of coherence constraints. We conclude by returning to the philosophical interpretation underlying both models of belief, showing that neither is strong enough to support a probabilistic interpretation, nor an interpretation in terms of certainty or the “mental component” of knowledge. |
Year | DOI | Venue |
|---|---|---|
2018 | 10.1007/s11229-017-1353-8 | Synthese |
Keywords | Field | DocType |
Epistemic logic, Doxastic logic, Epistemic–doxastic logic, Stalnaker, Epistemology, Formal epistemology | Epistemic modal logic,Introspection,Interpretation (philosophy),Certainty,Formal epistemology,Artificial intelligence,Philosophy of logic,Probabilistic logic,Epistemology,Doxastic logic,Mathematics | Journal |
Volume | Issue | ISSN |
195 | 10 | 0039-7857 |
Citations | PageRank | References |
1 | 0.38 | 6 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Dominik Klein | 1 | 2 | 0.76 |
| Olivier Roy | 2 | 17 | 4.19 |
| Norbert Gratzl | 3 | 10 | 3.89 |