On 12 Feb 2014, at 02:02, Russell Standish wrote:
On Tue, Feb 11, 2014 at 07:31:24PM +0100, Bruno Marchal wrote:
You are right, the qualia are in X1* \ X1, like we get quanta in
S4Grz1, Z1*, X1*.
The only thing you can say is that qualia ought to obey the axioms of
X1*\X1, (and even that supposes that Z captures all observations,
which I think is debatable),
By UDA, "p" to refer to a "physical certainty" needs to
1) UD generated (= sigma_1 arithmetical and true).
2) provable (true in all consistent extensions)
3) and non "trivially" provable (= there must be at least one
consistent extension)
This give the []p & <>t, with p sigma_1.
So the logic of observable certainty should be given by the Z1* logic.
not that your model generates qualia, as
Liz was suggesting.
There may well be other things in X1*\X1 that are not qualia.
This is not a critique of you - I don't recall you ever claiming your
model "got qualia", I was mainly responding to Liz's comment of
11/2/14.
I think you might have taken Liz a bit too much literally. Perhaps.
Bruno
Cheers
--
----------------------------------------------------------------------------
Prof Russell Standish Phone 0425 253119 (mobile)
Principal, High Performance Coders
Visiting Professor of Mathematics [email protected]
University of New South Wales http://www.hpcoders.com.au
----------------------------------------------------------------------------
--
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 [email protected].
To post to this group, send email to [email protected].
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 [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/groups/opt_out.
