Is $i$ irrational? On the one hand, $i(=\sqrt{-1})$ cannot be expressed as a ratio of integers, so, by definition, $i$ is not rational $\iff i$ is irrational.
However, the set of irrational numbers, $\mathbb{J}=\mathbb{R}\setminus\mathbb{Q}$ is defined to be the set of all real numbers that are not in $\mathbb{Q},$ but, clearly, $i \notin \mathbb{R}$, so it must be that $i \notin \mathbb{J}$, so $i$ is not irrational.
Clearly, the first two paragraphs seem to contradict each other, so I'm asking: is $i$ irrational or rational?
 A: If I tell you that for lunch you can either have pizza or pasta, and you see someone eating a burger, does that negate my statement? Or reality?
Context is not absolute in mathematics, and it's important to remember that. It is true that in the context of the real numbers we have rationals and irrationals, and whatever is not rational is irrational. But in the context of the real numbers we also don't have $\sqrt{-1}$. 
In the context of $\Bbb C$ we often talk less about irrational numbers so the context can be taken to both direction. It is possible to declare "In the context of the complex numbers, the irrational numbers are $\Bbb{C\setminus Q}$" in which case $i$ is certainly irrational, but it is also possible to make other declarations, like "The irrational numbers are still $\Bbb{R\setminus Q}$", in which case $i$ is not irrational -- but it doesn't make it rational either.
It's a question of context and it's not true that there's always a conventional and agreed upon context. This very question is a good example for that.
A: $\sqrt{-1} \notin \mathbb{R}$ and $\mathbb{N} \subsetneq \mathbb{Z} \subsetneq \mathbb{Q} \subsetneq \mathbb{R} \subsetneq \mathbb{C}.$
Note that $i$ is a number, and for any number, the question to ask whether it is rational or not is makes sense. It is not rational, since it is not a ratio of two integers. Hence, it is irrational, as irrational numbers are the complement of the rational ones (complement depending on context, either reals or complex numbers). 
A: Several previous comments and answers apply, but no one yet seems to have mentioned Gaussian Integers, (see http://en.wikipedia.org/wiki/Gaussian_integer) - complex numbers whose real and imaginary parts are both (real) integers. By this definition, i is a Gaussian Integer. the concept extends to Gaussian Rationals (see http://en.wikipedia.org/wiki/Gaussian_rational), so that i is also a Gaussian Rational.
A: It depends on convention whether or not the scope of "irrational" includes non-real numbers. As you say, if the irrationals are defined as $\,\Bbb R\setminus \Bbb Q\,$ then $\,i\,$ is neither irrational nor rational.  However, many authors use "irrational" to mean "not rational", i.e. $\,\not\in \Bbb Q,\,$ therefore $\,i\,$ is irrational. This is quite common usage in university-level algebra.
For example, in my 2006/3/8 sci.math post  I remarked that if one searches books.google.com for "irrational algebraic" one finds such usage by many eminent mathematicians: e.g. John Conway, Gelfond, Manin, Ribenboim, Shafarevich, Waldschmidt (esp. in diophantine approximation, e.g. Thue-Siegel-Roth theorem, Gelfond-Schneider theorem, etc). See also other posts in that sci.math thread titled "Is $\,i\,$ irrational"?
Our of curiosity, I ran another Google Books search on "real irrational" numbers. Authors using such terminology presumably employ the more general definition of irrational numbers. Among such authors I found the following eminent mathematicians: Bombieri, Davenport, Dedekind, Euler, Hurwitz, Kronecker, Kirilov, Mahler, Lang, Ostrowski, Ribenboim, Weil.
However, it is not easy to find an explicit definition since higher-level textbooks assume the reader already knows basic terminology. I vaguely recall that someone (Gerry Myerson?) once posted to sci.math some links to definitions which make it unquestionably clear that the author employs the more general definition of "irrational". Perhaps someone can dig those up, or locate others.
In any case, it is a matter of convention. In most cases one can quickly infer the intended denotation from the context, so there is little chance for confusion.
A: It is neither. Just as it's neither positive nor negative. The real numbers are partitioned into rational and irrational numbers; but things which aren't real numbers don't have to be one or the other.
Your conundrum is similar to saying "A $2 \times 2$ matrix is not rational. So it must be irrational. But it's not irrational; a contradiction." Does it seem more clear why that's a false dichotomy?
A: Actual definition of irrational number says that an irrational number is any real number that cannot be expressed as a ratio of integers. So your first line is infact wrong.
