Is there anything in the Sequences or elsewhere on the subject?
http://lesswrong.com/lw/39p/a_sense_of_logic/6gtm
http://lesswrong.com/lw/39p/a_sense_of_logic/6gtm