Logics of Informational Interactions.
The pre-eminence of logical dynamics, over a static and purely propositional view of Logic, lies at the core of a new understanding of both formal epistemology and the logical foundations of quantum mechanics. Both areas appear at first sight to be based on purely static propositional formalisms, bu...
| Publicado en: | Journal of Philosophical Logic Vol. 44; no. 6; pp. 595 - 608 |
|---|---|
| Autores principales: | , |
| Formato: | Artículo |
| Publicado: |
Springer Nature
Dec2015
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=113465187&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 113465187 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00223611 JPH jtl: Journal of Philosophical Logic issn: 00223611 maglogo: N pubinfo: dt: Dec2015 vid: 44 iid: 6 pid: 237 pub: Springer Nature artinfo: ui: 113465187 10.1007/s10992-015-9345-y ppf: 595 ppct: 13 formats: fmt: @attributes: type: P size: 205KB tig: atl: Logics of Informational Interactions. aug: au: Baltag, Alexandru Smets, Sonja affil: ILLC, University of Amsterdam, Amsterdam The Netherland su: Proposition (Logic) Theory of knowledge Quantum mechanics Epistemic logic Social systems sug: subj: Proposition (Logic) Theory of knowledge Quantum mechanics Epistemic logic Social systems keyword: Dynamic epistemic logic Logical dynamics Quantum logic ab: The pre-eminence of logical dynamics, over a static and purely propositional view of Logic, lies at the core of a new understanding of both formal epistemology and the logical foundations of quantum mechanics. Both areas appear at first sight to be based on purely static propositional formalisms, but in our view their fundamental operators are essentially dynamic in nature. Quantum logic can be best understood as the logic of physically-constrained informational interactions (in the form of measurements and entanglement) between subsystems of a global physical system. Similarly, (multi-agent) epistemic logic is the logic of socially-constrained informational interactions (in the form of direct observations, learning, various forms of communication and testimony) between 'subsystems' of a social system. Dynamic Epistemic Logic (DEL) provides us with a unifying setting in which these informational interactions, coming from seemingly very different areas of research, can be fully compared and analyzed. The DEL formalism comes with a powerful set of tools that allows us to make the underlying dynamic/interactive mechanisms fully transparent. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y custom: Journal of Philosophical Logic is a copyright of Springer, 2015. All Rights Reserved. item: Journal of Philosophical Logic holder: Springer Nature dt: @attributes: year: 2015 holdings: @attributes: islocal: N |
|---|