On Wed, Jan 7, 2015 Bruno Marchal <[email protected]> wrote: > all logicians have agreed that "existence" is a logical symbol. >
And what does that symbol symbolize? The above tells me nothing, a symbol can symbolize anything and a symbol can symbolize nothing too. Logical sybols don't necessarily sybolize anything, they can just be a typographic set built from a set of axioms, but meanings can often be assigned to them; otherwise physicists would have no use for mathematics, or even words for that matter. > > >>> Nothing exist = not one thing exists >>>> >>> > >> Then nothing doesn't exist, >> > > > Why? > Because otherwise something does exist. > if nothing exist, not one thing exist. > Then nothing doesn't exist so.... >> so something must exist, but it says nothing exists. And welcome to the >> self contradiction Merry-Go-Round. >> > > > It looks like the contradiction is brought by you, here. Or you are > perhaps just playing with the words. > And to me a statement like that sounds like the last refuge of someone losing an argument. Words are symbols too, and there is another word for playing with words, thinking. > In our finitist context ExP(x) can be seen as an abbreviation of P(0) v > P(1) v P(2) v P(3), v ... That is existence is an infinite disjunction > (like AxP(x) is equivalent with an infinite conjunction). Of course > existence and non existence have still consequences. Ex (prime-number(x)), > for example, and ~Ex(prime(x) & even(x) and x > 2), ... > You are perhaps just playing with symbols. > Philosophers knows that to make existence into a property re-introduce > essentialism and category confusion. > Essentialism is the idea that things have a set of properties that they need to function. Well duh. Your pal Plato came up with the idea and it's true but it seems pretty bland dull and uncontroversial to me. 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]. 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/d/optout.
