Date: Dec 12, 2012 11:22 AM
Author: Aatu Koskensilta
Subject: Re: A formal counter-example of Ax Ey P(x,y) -> Ey Ax P(x,y)

Dan Christensen <> writes:

> This problem is central to predicate calculus.

What problem is that? There is no apparent problem in the observation
that (x)(Ey)P(x,y) does not imply (Ey)(x)P(x,y).

Aatu Koskensilta (

"Wovon man nicht sprechen kann, darĂ¼ber muss man schweigen"
- Ludwig Wittgenstein, Tractatus Logico-Philosophicus