A Quantum Computational Semantics for Epistemic Logical Operators. Part I: Epistemic Structures
نویسندگان
چکیده
منابع مشابه
A Quantum Computational Semantics for Epistemic Logical Operators. Part I: Epistemic Structures
Some critical open problems of epistemic logics can be investigated in the framework of a quantum computational approach. The basic idea is to interpret sentences like “Alice knows that Bob does not understand that π is irrational” as pieces of quantum information (generally represented by density operators of convenient Hilbert spaces). Logical epistemic operators (to understand, to know. . .)...
متن کاملA first-order epistemic quantum computational semantics with relativistic-like epistemic effects
Quantum computation has suggested new forms of quantum logic, called quantum computational logics. In these logics wellformed formulas are supposed to denote pieces of quantum information: possible pure states of quantum systems that can store the information in question. At the same time, the logical connectives are interpreted as quantum logical gates: unitary operators that process quantum i...
متن کاملQuantum approach to epistemic semantics
Quantum information has suggested new forms of quantum logic, called quantum computational logics, where meanings of sentences are represented by pieces of quantum information (generally, density operators of some Hilbert spaces), which can be stored and transmitted by means of quantum particles. This approach can be applied to a semantic characterization of epistemic logical operations, which ...
متن کاملEpistemic Quantum Computational Structures in a Hilbert-space Environment
Quantum computation and quantum computational logics are intrinsically connected with some puzzling epistemic problems. In the framework of a quantum computational approach to epistemic logic we investigate the following question: is it possible to interpret the basic epistemic operations (having information, knowing) as special kinds of Hilbert-space operations? We show that non-trivial knowle...
متن کاملLogical and Epistemic Modality
This essay examines the interaction between the project of metamathematics and the cognitive science of concepts. The aim of metamathematics, i.e., the methodology of the deductive sciences, is to provide a precise characterization of the concepts figuring in rigorous, formal theories (Tarski, 1930/1983). The concepts at issue include those familiar frommetalogical inquiry – e.g., completeness ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Theoretical Physics
سال: 2013
ISSN: 0020-7748,1572-9575
DOI: 10.1007/s10773-013-1642-z