5 papers
The Sasaki Hook is not a [Static] Implicative Connective but Induces a Backward [in Time] Dynamic One that Assigns Causes
Bob Coecke, Sonja Smets
In this paper we argue that the Sasaki adjunction, which formally encodes the logicality that different authors tried to attach to the Sasaki hook as a `quantum implicative connect…
A Quantum Structure Description of the Liar Paradox
Diederik Aerts, Jan Broekaert, Sonja Smets
In this article we propose an approach that models the truth behavior of cognitive entities (i.e. sets of connected propositions) by taking into account in a very explicit way the…
Logic of Dynamics & Dynamics of Logic; Some Paradigm Examples
Bob Coecke, David J. Moore, Sonja Smets
This paper surveys some recent developments towards a dynamic quantum logic and outlines its explicite construction -- some analogies and contrasts with other logics of dynamics ar…
A logical description for perfect measurements
Bob Coecke, Sonja Smets
We reconsider the description for property transitions due to perfect measurements, viewing them as a special case of general transitions that are due to an externally imposed chan…
The Liar-paradox in a Quantum Mechanical Perspective
Diederik Aerts, Jan Broekaert, Sonja Smets
In this paper we concentrate on the nature of the liar paradox as a cognitive entity; a consistently testable configuration of properties. We elaborate further on a quantum mechani…