'...And I'm an Atheist'

[jonb]

By me, when I draw inferences. Like if I say, "Oh, p and p->q are true; therefore, q holds", I'm using modus ponens. Or I might use substitution (if P(x) is a predicate statement about x, and x = y, then P(x) <=> P(y)).

The only reason I bother to specify which rules of inference I'm using is to make explicit what reasoning my conclusions are based on, and what it means for something to 'follow from' a previous statement. In general, there are many different rules of inference that could be employed; the standard transformation and substitution rules of propositional/predicate logic are pretty familiar to most people, and I think they're useful for my purpose here.

This is as fine an example of 'Academic latin' as I could hope to read, you deserve an award. This reminds me of a scene from a film I enjoyed.
http://www.youtube.com/watch?v=TIBmc4pn8LY