On 9/10/2017 10:24 AM, Bruno Marchal wrote:
So I assume elementary arithmetic; I prove the existence of the universal number(s), then I define a notion of rational belief "scientific belief", (Plotinus discursive reasoner) by Gödel's (sigma_1 arithmetical) beweisbar Bp. That makes sense, due to incompleteness which prevent provability to be a notion of knowledge.
This seems problematic to me. I understand why you do it; because you want knowledge to be true belief (not just true provable belief). But this does violence to the usual meaning of knowledge (c.f. Getteir for example). It means that given some undecidable proposition one of us can assert it and the other deny it, and then one of us will know it. ??
Brent -- 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 https://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
