> On 23 Jul 2019, at 00:12, 'Brent Meeker' via Everything List > <[email protected]> wrote: > > > > On 7/22/2019 7:28 AM, Bruno Marchal wrote: >>> The only one I know for a fact to exist. >> >> Nobody can know that a world exist. You would know that you are consistent, >> making you inconsistent. > > A confusion of "know" and "prove”.
? On the contrary. What I said has been derived (like the whole machine theology) from the distinction between knowledge ([]p & p) and belief/prove/assume ([]p). Hmm, I think you are confusing “world” (nobody can prove that such a thing exist, nor know that such a thing exist) and consciousness, that nobody van prove that such a thing exists, but that everybody can know that it exists). > A consequence of assuming knowledge requires proof...in direct contradiction > to your definition of consciousness which is defined in terms of immediate > knowledge. Knowledge requires proof, because the Theatetus’ sort of knowledge is limited to rational knowledge, and is defined by ([]p & p). It is when a belief/assumption is true. The immediate knowledge is in the “immediate mode” obtained from the nuance ([]p & <>t & p). G* proves that all modes are equivalent, and that the machine cannot be aware of that equivalence, and that it obeys different logic. There is one truth, the sigma_1 arithmetical truth, and very different modes of handling that truth, the true mode, the belief mode, the knowledge mode, the observable modes and the sensible modes. Bruno > > 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] > <mailto:[email protected]>. > To view this discussion on the web visit > https://groups.google.com/d/msgid/everything-list/b293d8af-b691-9a31-2eca-eea6668df266%40verizon.net > > <https://groups.google.com/d/msgid/everything-list/b293d8af-b691-9a31-2eca-eea6668df266%40verizon.net?utm_medium=email&utm_source=footer>. -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/B3D962C1-2D8D-47B5-B82A-7799B48289D4%40ulb.ac.be.
