On Thu, Jan 8, 2015 at 8:06 AM, Bruno Marchal <[email protected]> wrote:
> If playing with words is thinking, > It is. > you are a great thinker > Thank you, I'm blushing. >>> 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. >> > > > No, I explain basic undergraduate logic. > And how do you teach undergraduate logic without playing with symbols? For that matter how do you think about anything without symbols, when you think about the sun how do you fit 10^27 tons of white hot plasma into your head? 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.
