Hi Bruno,
From: Bruno Marchal [EMAIL PROTECTED]
To: [EMAIL PROTECTED]
Subject: Re: Lob + New Views On Mind-Body Connection
Date: Thu, 09 Sep 2004 15:46:10 +0200
Hi Jacques,
Nice to see you back. Actually I just discovered your message
in the archive, I did not got them by the mail (?). Sorry for
Hi Jacques,
What is the NEC rule ?
In modal logic it is the NECESSITATION RULE.
It means that if the machine proves p, then it will prove Bp.
Smullyan says such a machine is normal.
Put in another way, with Smullyan's self-referential
interpretation of the B logic: it means that Bp-BBp is true
for
2 matches
Mail list logo