My reply got a bit long:
http://lesswrong.com/r/discussion/lw/g81/re_secondorder_logic_the_controversy/
My reply got a bit long:
http://lesswrong.com/r/discussion/lw/g81/re_secondorder_logic_the_controversy/