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 hpco...@hpcoders.com.au
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 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.
