>> Along the same lines, how then do you interpret imaginary quantities >> of evidence? > > > These correspond to the "case counts" comprising quantum "complex probability > amplitudes" which only "exist" as potentials as opposed to actuals. This > gets into the whole question/quandary of "quantum ontology". Does something > "exist" before it is measured?
Yes, these are counts by some observer of "cases" that in principle cannot be directly observed by that observer, but are still hypothesized by that observer to exist because their in-principle-unobservable existence is part of a good explanation for other stuff they can observe ... I get that generally ... I'm just fishing for insights to help build a better bridge btw "ordinary" multivalued logic and complex-value-laden quantum logic ;) .. > My main interest originated in designing a relational computer programming > language based on The Laws of Form and Russell's Relation Arithmetic out of > which would naturally fall things like dimensioned numbers (units) with > dimensional analysis etc. as a more natural approach than types. That's why > I hired Tom Etter (the link theory author) as part of HP's "Internet Chapter > 2" project circa 1999. That it would have handled "quantum computers" was > not my main interest but would, again, fall out "naturally". So Constructible Duality logic, whose basic truth values are isomorphic to the 4 values in Kauffmann/Varela's logic, maps into a direct product of a Heyting algebra and an opposite Heyting algebra ... which via Curry-Howard correspondence maps into a direct product of two copies of Martin-Lof type theory... So the Laws of Form logic actually leads to "traditional" type theory fairly directly, as you probably also noticed already... As I noted in the paper I recently linked, it also is isomorphic to probabilistic logic (of the PLN variety) But there is a formal gap between Laws of Form logic and Link-Theory / Quantum-Logic, which probably can be filled but I am doing too much other stuff to think about it hard at the moment. That's why I'm probing to see if you have some insight or reference that may fill this gap, as you're one of the few folks I know who have dug into these various areas apparently fairly deeply... ben ------------------------------------------ Artificial General Intelligence List: AGI Permalink: https://agi.topicbox.com/groups/agi/T425c68f0cea319cd-M2742afde3d951841f1ad5a18 Delivery options: https://agi.topicbox.com/groups/agi/subscription
