Hi meekerdb 

1p is not a fiction. Your 1p is what is reading this page.

[Roger Clough], [rclo...@verizon.net]
"Forever is a long time, especially near the end." -Woody Allen

----- Receiving the following content ----- 
From: meekerdb 
Receiver: everything-list 
Time: 2012-12-02, 18:04:38
Subject: Re: Semantic vs logical truth

On 12/2/2012 7:27 AM, Bruno Marchal wrote: 
The 1p truth of the machine is not coded in the machine. Some actual machines 
knows already that, and can justified that If there are machine (and from 
outside we can know this to correct) then the 1p-truth is not codable.  The 1p 
truth are more related to the relation between belief and reality (not 
necessarily physical reality, except for observation and sensation).

Even the simple, and apparently formal Bp & p is NOT codable. 
Most truth about machine, including some that they can know, are not codable. 
Many things true about us is not codable either.

Let me see if I understand that.  I think you are saying that p, i.e. that "p" 
describes a fact about the world, a meta-level above the coding of a machine.  
That the Mars Rover believes it is south of it's landing point is implicit in 
its state and might be inferred from its behavior, but there is no part of the 
state corresponding to "I *believe* I am south of my landing point."  One could 
include such second-level states (which one might want to communicate to 
Pasadena) but then that state would be just another first-level state. Right?


You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com.
To unsubscribe from this group, send email to 
For more options, visit this group at 

Reply via email to