On 03 Jun 2013, at 01:41, Stephen Paul King wrote:

How do we integrate empirical data into Bp&p?

`Technically, by restricting p to the "leaves of the UD*" (the true,`

`and thus provable, sigma_1 sentences).`

`Then to get the physics (the probability measure à-la-UDA), you can do`

`the same with Bp & Dp & p. Think about the WM-duplication, where the W`

`or M selection plays the role of a typical empirical data.`

More on this when you came back to this, probably on FOAR. Bruno

On Saturday, June 1, 2013 3:41:56 PM UTC-4, JohnM wrote: Russell wrote:"...When it comes to Bp & p capturing the notion of knowledge, I cansee it captures the notion of mathematical knowledge, ie truetheorems, as opposed to true conjectures, say, which aren't knowledge.But I am vaguely sceptical it captures the notion of scientificknowledge, which has more to do with falsifiability, than with proof.And that's about where I left it - years ago. ..." Interesting difference between 'scientific' and 'mathematical'(see the Nobel Prize distinction) - also in falsifiability, thatdoes not automatically escape the agnostic questioning about thecircumstances of the falsifying and the original images. Samedifficulty as in judging "proof"."Scientific knowledge" indeed is part of a belief system. Inconventional sciences we THINK we know, in math we assume(apologies, Bruno). John MOn Thu, May 30, 2013 at 6:43 PM, Russell Standish<li...@hpcoders.com.au> wrote:On Thu, May 30, 2013 at 12:04:13PM -0700, meekerdb wrote: > You mean unprovable? I get confused because it seems that you > sometimes use Bp to mean "proves p" and sometimes "believes p" > To a mathematician, belief and proof are the same thing. I believe in this theorem because I can prove it. If I can't prove it, then I don't believe it - it is merely a conjecture. In modal logic, the operator B captures both proof and supposedly belief. Obviously it captures a mathematician's notion of belief - whether that extends to a scientists notion of belief, or a Christian's notion is another matter entirely. When it comes to Bp & p capturing the notion of knowledge, I can see it captures the notion of mathematical knowledge, ie true theorems, as opposed to true conjectures, say, which aren't knowledge. But I am vaguely sceptical it captures the notion of scientific knowledge, which has more to do with falsifiability, than with proof. And that's about where I left it - years ago. Cheers -- ---------------------------------------------------------------------------- Prof Russell Standish Phone 0425 253119 (mobile) Principal, High Performance Coders Visiting Professor of Mathematics hpc...@hpcoders.com.au University of New South Wales http://www.hpcoders.com.au ---------------------------------------------------------------------------- --You received this message because you are subscribed to the GoogleGroups "Everything List" group.To unsubscribe from this group and stop receiving emails from it,send an email to everything-li...@googlegroups.com.To post to this group, send email to everyth...@googlegroups.com.Visit this group at http://groups.google.com/group/everything-list?hl=en.For more options, visit https://groups.google.com/groups/opt_out. --You received this message because you are subscribed to the GoogleGroups "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?hl=en.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?hl=en. For more options, visit https://groups.google.com/groups/opt_out.