> On 27 Jun 2018, at 19:24, John Clark <[email protected]> wrote: > > On Tue, Jun 26, 2018 at 3:03 PM, Jason Resch <[email protected] > <mailto:[email protected]>> wrote: > > >1. Premise: No thing (nothing) exists. > 2. By "1" it follows that "0 things exist" is true. > > If ""0 things exist" is true" then "0 things exits" exists;
? If “0 things exist” is true, I don’t see how “0 things exist” can exist. It can be true, but it does not need to be expressed to be true. That is a bit like if Earth exploded: that would not make the headline! > but if its true then it can't exist exist. I think we should distinguish well between “being true” and existence. Something exists only if “Ex (…x…)” is true. > > > Further it also follows that [...] > > Nothing can follow something that doesn't exist. And two can play this game, > even if you found a way to make it work that very fact that you made it work > would only prove that your nothing was not nothing enough because it still > had the potential of producing something. It is clear that the theory “nothing exist” is refuted by anyone claiming to believe that theory. But we might be able to conceive that nothing exist, like having a physicalist theory of the universe with its complete annihilation in some future, or something. Of course, we might doubt this will make the prime numbers disappear, because those are simply not physical entities, and even without any universe, most would agree that “there is no biggest prime number” would still be true, as such truth are not concerned with any physical things. Then, the interesting question is what exist fundamentally? We cannot derive any existence without assuming some existence. That is why I have still to assume primitive objects like S and K and their combinations, or 0 and the successors, … WE cannot derive those from logic alone. Bruno > > John K Clark > > > > > -- > 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 post to this group, send email to [email protected] > <mailto:[email protected]>. > Visit this group at https://groups.google.com/group/everything-list > <https://groups.google.com/group/everything-list>. > For more options, visit https://groups.google.com/d/optout > <https://groups.google.com/d/optout>. -- 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.
