- Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ] [ by messages with attachments ]

From: Bruno Marchal <marchal.domain.name.hidden>

Date: Fri, 20 Sep 2002 15:49:31 +0200

Hi all,

On George Levy's thought experiment.

-cf: http://www.escribe.com/science/theory/m3991.html

It is a pleasure of living a nice little star trek episode :) It could

perhaps, in some yet to develop approach, help to figure out where

quantum like complementarities arise. It cannot be used directly in

the uda/auda , though, because it assumes some geometry and some physics

which cannot be taken for granted at that stage. But it could be use

if and when geometry and enough part of physics are derived ...

Tim wrote:

*>I also found an interesting book by Robert Goldblatt, "Mathematics
*

*>of Modality," 1993, which contains a paper "Diodorean Modality in
*

*>Minkowski Spacetime." He points out that Arthur Prior, in books from
*

*>the late 60s, early 70s, demonstrated that the lattice of
*

*>partially-ordered events in Minkowski spacetime corresponds to a
*

*>modal logic system called "S4.2."
*

Yes that's what I told you in

http://www.escribe.com/science/theory/m3845.html

Actually Goldblatt's book also contains the two papers which are really

fundamental in my thesis. The modal axiomatization of Quantum Logic by

the system B, and the arithmetical embedding of intuitionist logic

through S4Grz.

- Semantic Analysis of Orthologic (pp. 81-97)

- Arithmetical Necessity, Provability and Intuitionistic Logic (pp. 105-112).

Goldblatt's book suppose some familiarity with (modal) logic. Chellas

is a better introduction.

At 8:49 -0700 11/09/2002, Brent Meeker wrote:

*>In BQM the SWE guides the particles (deterministically) and the
*

*>particles determine the wave. Since the whole system is
*

*>deterministic there are no other worlds. The particles *are*
*

*>the world. I don't understand your question about worlds
*

*>without particles.
*

I don't think the particles determines the wave. I said (but David

Deutsch said something equivalent) that Bohm's wave option entails the

many worlds, because the wave describe the many histories. Bohm

potential forces the particle to follows a unique branch among

those histories, but for the interference we must still take all the

parallel histories into account, even if they have no particles.

A computationalist has no means to know if he belongs to a story with

or without particles. To suppose that we belongs to the story

with particle goes against both Ockham, and comp.

Hi Wei, I got my Joyce's Book. Looks interesting. I wish I add more

time ... I will let you know if I have special comments. I see he

mentions Stalnaker's special conditional system. Those systems belong

to the same family than Scott-Montague semantics. Chellas book

on modal logic has a chapter bearing on that.

Bruno

Received on Fri Sep 20 2002 - 06:55:46 PDT

Date: Fri, 20 Sep 2002 15:49:31 +0200

Hi all,

On George Levy's thought experiment.

-cf: http://www.escribe.com/science/theory/m3991.html

It is a pleasure of living a nice little star trek episode :) It could

perhaps, in some yet to develop approach, help to figure out where

quantum like complementarities arise. It cannot be used directly in

the uda/auda , though, because it assumes some geometry and some physics

which cannot be taken for granted at that stage. But it could be use

if and when geometry and enough part of physics are derived ...

Tim wrote:

Yes that's what I told you in

http://www.escribe.com/science/theory/m3845.html

Actually Goldblatt's book also contains the two papers which are really

fundamental in my thesis. The modal axiomatization of Quantum Logic by

the system B, and the arithmetical embedding of intuitionist logic

through S4Grz.

- Semantic Analysis of Orthologic (pp. 81-97)

- Arithmetical Necessity, Provability and Intuitionistic Logic (pp. 105-112).

Goldblatt's book suppose some familiarity with (modal) logic. Chellas

is a better introduction.

At 8:49 -0700 11/09/2002, Brent Meeker wrote:

I don't think the particles determines the wave. I said (but David

Deutsch said something equivalent) that Bohm's wave option entails the

many worlds, because the wave describe the many histories. Bohm

potential forces the particle to follows a unique branch among

those histories, but for the interference we must still take all the

parallel histories into account, even if they have no particles.

A computationalist has no means to know if he belongs to a story with

or without particles. To suppose that we belongs to the story

with particle goes against both Ockham, and comp.

Hi Wei, I got my Joyce's Book. Looks interesting. I wish I add more

time ... I will let you know if I have special comments. I see he

mentions Stalnaker's special conditional system. Those systems belong

to the same family than Scott-Montague semantics. Chellas book

on modal logic has a chapter bearing on that.

Bruno

Received on Fri Sep 20 2002 - 06:55:46 PDT

*
This archive was generated by hypermail 2.3.0
: Fri Feb 16 2018 - 13:20:07 PST
*