Please post all quotes separately, so that they can be voted up/down separately. (If they are strongly related, reply to your own comments. If strongly ordered, then go ahead and post them together.)
Do not quote yourself.
Do not quote comments/posts on LW/OB.
No more than 5 quotes per person per monthly thread, please.
Boolos did Frege's theorem, Quine did New Foundations, among other things, Kripke our standard modal-logic semantics... I don't how useful they are, but they're definitely logic.
Y'all know the rules: