Matches in SemOpenAlex for { <https://semopenalex.org/work/W3082149407> ?p ?o ?g. }
- W3082149407 abstract "How can we consistently model the knowledge of the natural world provided by physical theories? Philosophers frequently use epistemic logic to model reasoning and knowledge abstractly, and to formally study the ramifications of epistemic assumptions. One famous example is Fitch's paradox, which begins with minimal knowledge axioms and derives the counter-intuitive result that agent knows every true statement. Accounting for knowledge that arises from physical theories complicates matters further. For example, quantum mechanics allows observers to model other agents as quantum systems themselves, and to make predictions about measurements performed on each others' memories. Moreover, complex thought experiments in which agents' memories are modelled as quantum systems show that multi-agent reasoning chains can yield paradoxical results. Here, we bridge the gap between quantum paradoxes and foundational problems in epistemic logic, by relating the assumptions behind the recent Frauchiger-Renner quantum thought experiment and the axioms for knowledge used in Fitch's knowability paradox. Our results indicate that agents' knowledge of quantum systems must violate at least one of the following assumptions: it cannot be distributive over conjunction, have a kind of internal continuity, and yield a constructive interpretation all at once. Indeed, knowledge provided by quantum mechanics apparently contradicts traditional notions of how knowledge behaves; for instance, it may not be possible to universally assign objective truth values to claims about agent knowledge. We discuss the relations of this work to results in quantum contextuality and explore possible modifications to standard epistemic logic that could make it consistent with quantum theory." @default.
- W3082149407 created "2020-09-08" @default.
- W3082149407 creator A5028271197 @default.
- W3082149407 creator A5064462319 @default.
- W3082149407 creator A5079607065 @default.
- W3082149407 date "2020-09-01" @default.
- W3082149407 modified "2023-09-27" @default.
- W3082149407 title "Fitch's knowability axioms are incompatible with quantum theory" @default.
- W3082149407 cites W1552574234 @default.
- W3082149407 cites W1573634562 @default.
- W3082149407 cites W1573898201 @default.
- W3082149407 cites W190642576 @default.
- W3082149407 cites W1987542008 @default.
- W3082149407 cites W1999585739 @default.
- W3082149407 cites W2001372556 @default.
- W3082149407 cites W2009559386 @default.
- W3082149407 cites W2026796483 @default.
- W3082149407 cites W2032952766 @default.
- W3082149407 cites W2039772562 @default.
- W3082149407 cites W2051487804 @default.
- W3082149407 cites W2072007337 @default.
- W3082149407 cites W2114229927 @default.
- W3082149407 cites W2133848095 @default.
- W3082149407 cites W2148098913 @default.
- W3082149407 cites W2153612510 @default.
- W3082149407 cites W2163734234 @default.
- W3082149407 cites W2229076839 @default.
- W3082149407 cites W2316806795 @default.
- W3082149407 cites W2503346311 @default.
- W3082149407 cites W2805047483 @default.
- W3082149407 cites W2944113422 @default.
- W3082149407 cites W2947505248 @default.
- W3082149407 cites W3036461668 @default.
- W3082149407 cites W3102182387 @default.
- W3082149407 cites W51361633 @default.
- W3082149407 hasPublicationYear "2020" @default.
- W3082149407 type Work @default.
- W3082149407 sameAs 3082149407 @default.
- W3082149407 citedByCount "0" @default.
- W3082149407 crossrefType "posted-content" @default.
- W3082149407 hasAuthorship W3082149407A5028271197 @default.
- W3082149407 hasAuthorship W3082149407A5064462319 @default.
- W3082149407 hasAuthorship W3082149407A5079607065 @default.
- W3082149407 hasConcept C111472728 @default.
- W3082149407 hasConcept C111919701 @default.
- W3082149407 hasConcept C11255438 @default.
- W3082149407 hasConcept C121332964 @default.
- W3082149407 hasConcept C138885662 @default.
- W3082149407 hasConcept C15184713 @default.
- W3082149407 hasConcept C167729594 @default.
- W3082149407 hasConcept C169460222 @default.
- W3082149407 hasConcept C193588502 @default.
- W3082149407 hasConcept C199360897 @default.
- W3082149407 hasConcept C203087015 @default.
- W3082149407 hasConcept C207046469 @default.
- W3082149407 hasConcept C2524010 @default.
- W3082149407 hasConcept C2777026412 @default.
- W3082149407 hasConcept C2778701210 @default.
- W3082149407 hasConcept C33923547 @default.
- W3082149407 hasConcept C41008148 @default.
- W3082149407 hasConcept C527412718 @default.
- W3082149407 hasConcept C62520636 @default.
- W3082149407 hasConcept C84114770 @default.
- W3082149407 hasConcept C98045186 @default.
- W3082149407 hasConceptScore W3082149407C111472728 @default.
- W3082149407 hasConceptScore W3082149407C111919701 @default.
- W3082149407 hasConceptScore W3082149407C11255438 @default.
- W3082149407 hasConceptScore W3082149407C121332964 @default.
- W3082149407 hasConceptScore W3082149407C138885662 @default.
- W3082149407 hasConceptScore W3082149407C15184713 @default.
- W3082149407 hasConceptScore W3082149407C167729594 @default.
- W3082149407 hasConceptScore W3082149407C169460222 @default.
- W3082149407 hasConceptScore W3082149407C193588502 @default.
- W3082149407 hasConceptScore W3082149407C199360897 @default.
- W3082149407 hasConceptScore W3082149407C203087015 @default.
- W3082149407 hasConceptScore W3082149407C207046469 @default.
- W3082149407 hasConceptScore W3082149407C2524010 @default.
- W3082149407 hasConceptScore W3082149407C2777026412 @default.
- W3082149407 hasConceptScore W3082149407C2778701210 @default.
- W3082149407 hasConceptScore W3082149407C33923547 @default.
- W3082149407 hasConceptScore W3082149407C41008148 @default.
- W3082149407 hasConceptScore W3082149407C527412718 @default.
- W3082149407 hasConceptScore W3082149407C62520636 @default.
- W3082149407 hasConceptScore W3082149407C84114770 @default.
- W3082149407 hasConceptScore W3082149407C98045186 @default.
- W3082149407 hasLocation W30821494071 @default.
- W3082149407 hasOpenAccess W3082149407 @default.
- W3082149407 hasPrimaryLocation W30821494071 @default.
- W3082149407 hasRelatedWork W1513902634 @default.
- W3082149407 hasRelatedWork W1540199621 @default.
- W3082149407 hasRelatedWork W1609174879 @default.
- W3082149407 hasRelatedWork W1743494 @default.
- W3082149407 hasRelatedWork W1965242431 @default.
- W3082149407 hasRelatedWork W1978991546 @default.
- W3082149407 hasRelatedWork W2000838844 @default.
- W3082149407 hasRelatedWork W2012044799 @default.
- W3082149407 hasRelatedWork W2014412668 @default.
- W3082149407 hasRelatedWork W2319913563 @default.
- W3082149407 hasRelatedWork W2418498586 @default.
- W3082149407 hasRelatedWork W2535017263 @default.