Blog by Sumana Harihareswara, Changeset founder
From Logic discussion: Peter, the TA, already had put up…
Hi, reader. I wrote this in 2002 and it's now more than five years old. So it may be very out of date; the world, and I, have changed a lot since I wrote it! I'm keeping this up for historical archive purposes, but the me of today may 100% disagree with what I said then. I rarely edit posts after publishing them, but if I do, I usually leave a note in italics to mark the edit and the reason. If this post is particularly offensive or breaches someone's privacy, please contact me.
From Logic discussion: Peter, the TA, already had put up on the board a predicate for "x is even," but then created an entirely new predicate for "x is odd." I pointed out that, since the universe of discourse comprised only integers, one could do without a specific "x is even" predicate and specify that some entity x was odd by negating "x is even" (assuming that integers that aren't even are odd).
Peter paused and said, "There's no scarcity of predicates."