Bruno, Of course it is circular - but it is meaningful.
The fundamental axiom MUST be circular, but it must be so in a meaningful way. I already noted that when I said it was 'self-necessitating'. So far as I know my Existence Axiom is the most meaningful fundamental axiom. What is YOUR fundamental axiom? 'Arithmetic exists because arithmetic exists' perhaps? Sounds like a similarly circular axiom to me.... Edgar On Wednesday, January 15, 2014 3:10:30 AM UTC-5, Bruno Marchal wrote: > > > On 14 Jan 2014, at 19:05, Edgar L. Owen wrote: > > > Bruno, > > > > 'Non-existence cannot exist', obviously refers to the existence of > > reality itself, > > Then it is circular. > > > > > > not to milk in your refrigerator! Existence must exist means > > something must exist, whether it's milk or whatever. Individual > > things have individual localized existences, but existence (reality) > > itself is everywhere because it defines the logical space of reality > > by its existence. > > That is not intelligible. > > > > > > > The Axiom of Existence means there was never a nothingness out of > > which somethingness (the universe) was created. > > Assuming that there is a "universe". But then you do not explain why > there is something. You just assume this. You axiom is "something > exists". > > > > > > > Milk is created by female mammals in case you had some doubt? > > :-) > > > > Next question: Reality IS a computational MACHINE in the general > > sense of machine. > > That is digital physics, which is refuted. > > > > > > Thus of course consistency applies to it. > > That does not follow. Machines can be inconsistent. > > 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/groups/opt_out.
