If you guys want to argue to infinity these similar points (all really particular too at both end, of course), than sure: my apologies. I just took Bruno by his word of "I'll just say if I see an argument or not." and felt that was better than to have this thread keep ballooning with nobody else in the discussion or seeming to follow anymore. But if that was not a genuine point, fine. I stand corrected. PGC
On Sun, Apr 13, 2014 at 7:22 PM, Bruno Marchal <marc...@ulb.ac.be> wrote: > > On 13 Apr 2014, at 00:46, Craig Weinberg wrote: > > Can sense not be allowed to represent itself in your court of argument? > > > > That is a very good idea. > > That is quite close to what happens with the definition by Theatetus of > (rational) knowledge by saying that is a (rational) belief (finitely 3p > describable) which is also true (something not definable in general, but > well known in many situations). That truth might not be computable (like in > self-multiplication), nor definable (like in Peano Arithmetic or by Löbian > machines), and that is why we use the truth (p) to represent itself, in the > definition of know(p) by []p & p. > > That describes a knower (it obeys S4), and explains the existence of the > fixed point, the locus where the beliefs are incorrigible, and correctly > so, from that necessarily existing point of view. It explains the > existence of proposition which will be trivially true from the first person > perspective, yet impossible to communicate rationally to another machine. > > Bruno > > > > > > > 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/d/optout. > -- 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/d/optout.
