A defense of formal philosophy — LessWrong