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 [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/groups/opt_out.
