On 11 Jan 2014, at 06:05, Stephen Paul King wrote:

## Advertising

Dear Brent,I will try a crude summary and hope to not be misunderstood... Itstarts with the Stone duality, a well known isomorphism betweenBoolean algebras and totally disconnected compact Hausdorff spaces.The former are identified with minds (logical, computational,numerical, etc) and the latter with physical objects (what is more"physical" that a space that looks exactly like Democritus' "atomsin a void"?.This solves the mind-body linkage problem of Descartes' dualism.The paper then discusses how interactions between pairs of minds(generalizations of Boolean algebras identified as "states") ismediated via pairs of bodies (generalizations of Stone spaces toinclude mass, spin, charge, potentials,... physics identified as"events"). A crude diagram of this relation for the evolution of asingle entity is:... -> Body -> Body' -> ... | | ... <- Mind <- Mind' <- ...where the "|" symbol is the Stone isomorphism, "->" is the physicalevolution of one event to the next and "<-" is the logical arrow ofimplication.Mathematics as considered my most people usually ignores evolutionof logical structures, such as Boolean algebras, and so thedifference between mind and mind' is not considered. Now thatcomputers are commonplace, the idea that logical structures evolvemakes a lot more sense! A computation is the transformation ofinformation and since logical structures capture the relations ofthe information, it is natural to consider this theory.In this theory, minds and bodies (including brains!) are notseparable substances but are isomorphs that have "dynamics" whose"arrows" point in opposite directions. Physical process movesforward from event to event' in sequences of time according tothermodynamics, etc. and logic "looks" backward to ensure that anynew state is consistent with previous states. This implies anelegant solution to the measurement problem of QM! Differencesbetween states and parameters of time can be subdivided as finely asone wishes; even to the smoothness of continua.It is what the logical 'side of the coin" does to select physicalevents that won me over to Pratt's theory: a physical transitionfrom event x at time t to event x' at time t' is allowed if and onlyif the state x'* at t' does not imply information that wouldcontradict prior states at t^-1, t^-2, etc. Basically, events willoccur iff they do not imply a contradiction of previously allowedevents. This automatically solves the White Rabbit problem bydisallowing events that imply logical contradictions.It also gives a slightly different take on computationaluniversality: individual logical structures are associated withequivalence classes of physical functions and physical systems areassociated with equivalence classes of logical structures. Theequivalences are, respectively: equivalent function and semanticalequivalence. Thus computations and the physical processes are notontologically isolated from each other, but universality obtainsbecause there is no a priori bijective map between the set ofparticular physical systems and the set of particular Turinguniversal computations.

?

It seems that Pratt abandoned the theory because of a lack ofinterest in the community but still hosts the papers on his website.Maybe in hope that some one might come along, like me, that can makesense of it and develop it further. It does not consider SR at all,which bothers me a little bit, but that can be fixed using ideassuch as those of Kevin Knuth, IMHO.

`It is a nice idea, but it does not take into account the FPI (he is`

`unaware of it), and so does not address the comp mind-body problem.`

Its main prediction is that neither ghosts (logics that cannot beassociated with any physical structure) nor zombies (bodies thatcannot be represented by an internal self-referencing logicalstructure) exist. This argues against both material and mentalmonism. (Thus my conflict with Bruno's AR!)

AR provides the neutral monism!

`Comp is neutral monism. Neither mind, nor matter are taken as`

`primitive. Both emerge from the additive-multiplicative structure of`

`arithmetic (AR), and that structure provides the neutral stuff.`

Bruno

On Fri, Jan 10, 2014 at 9:02 PM, meekerdb <meeke...@verizon.net>wrote:On 1/10/2014 2:23 PM, Stephen Paul King wrote:Dear Brent,Vaughn Pratt's dualist theory is consistent with QM and does showa mechanism that prohibits White Rabbits. It is intelligible toanyone that puts forth the effort to comprehend it.Can you summarize it? Brent --You received this message because you are subscribed to a topic inthe Google Groups "Everything List" group.To unsubscribe from this topic, visit https://groups.google.com/d/topic/everything-list/TBc_y2MZV5c/unsubscribe.To unsubscribe from this group and all its topics, send an email to everything-list+unsubscr...@googlegroups.com.To post to this group, send email to everything-list@googlegroups.com. Visit this group at http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/groups/opt_out. -- Kindest Regards, Stephen Paul King Senior Researcher Mobile: (864) 567-3099 stephe...@provensecure.com http://www.provensecure.us/“This message (including any attachments) is intended only for theuse of the individual or entity to which it is addressed, and maycontain information that is non-public, proprietary, privileged,confidential and exempt from disclosure under applicable law or maybe constituted as attorney work product. If you are not the intendedrecipient, you are hereby notified that any use, dissemination,distribution, or copying of this communication is strictlyprohibited. If you have received this message in error, notifysender immediately and delete this message immediately.”--You received this message because you are subscribed to the GoogleGroups "Everything List" group.To unsubscribe from this group and stop receiving emails from it,send an email to everything-list+unsubscr...@googlegroups.com.To post to this group, send email to everything-list@googlegroups.com. Visit this group at http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/groups/opt_out.

http://iridia.ulb.ac.be/~marchal/ -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to everything-list+unsubscr...@googlegroups.com. To post to this group, send email to everything-list@googlegroups.com. Visit this group at http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/groups/opt_out.