Re: QM formalist wanted

On 7/5/05, [EMAIL PROTECTED] [EMAIL PROTECTED] wrote: hi all. I am posting a want ad for a QM formalist who is very conversant in the mathematical formalism. here is the proposal: over the last few years I have developed an ad hoc theory that I believe comes very close to the QM formalism.

Re: One more question about measure

On Sun, Jun 26, 2005 at 05:30:08PM +0200, Bruno Marchal wrote: This reminds me of something I wanted to ask you Bruno. In your work you axiomatise knowledge and end up with various logical systems that describe variously 1st person knowledge, 1st person communicable knowledge,

Re: One more question about measure

Le 05-juil.-05, à 09:39, Russell Standish a écrit : On Sun, Jun 26, 2005 at 05:30:08PM +0200, Bruno Marchal wrote: This reminds me of something I wanted to ask you Bruno. In your work you axiomatise knowledge and end up with various logical systems that describe variously 1st person

Re: One more question about measure

On Tue, Jul 05, 2005 at 12:09:24PM +0200, Bruno Marchal wrote: How does it give the logic of temporal knowledge? I understand from your points below, that the necessitation rule is necessary for Kripke semantics, and its is clear to me that necessitation follows from Thaetetus 1 3, whereas

Re: One more question about measure

Le 05-juil.-05, à 12:32, Russell Standish a écrit : On Tue, Jul 05, 2005 at 12:09:24PM +0200, Bruno Marchal wrote: How does it give the logic of temporal knowledge? I understand from your points below, that the necessitation rule is necessary for Kripke semantics, and its is clear to me

RE: Duplicates Are Selves

Lee Corbin writes: [quoting Stathis] As I have said above, it is possible to rigorously define death as occurring when there is no successor observer moment, anywhere or ever. This is the case with physical death where there is no surviving copy or where the surviving copy has diverged

Observer Moment?

I do not understand what is meant by Observer Moment [OM]. I went back and found the very first post that contains such a reference. It was by Nick Bostrom and is at: http://www.escribe.com/science/theory/m68.html The language in this post indicates that various processes take place during an

Re: One more question about measure

On Tue, Jul 05, 2005 at 04:03:11PM +0200, Bruno Marchal wrote: If D'P = BP ~B~P P, then D'P = P (ie necessitation). So it seems it is the conjunction of truth of P that gives rise to necessitation, no? No. Necessitation is the inference rule according to which if the machine proves

Thought Experiment #269-G (Duplicates)

Bruno wrote about whether or not we are all the same person. Sent: Tuesday, July 05, 2005 1:59 AM Subject: Re: What does ought mean? (was RE: Duplicates Are Selves) I have changed the subject line once again, because this is no longer about what ought ought to mean. Le 04-juil.-05, à 22:18,