x
A defense of formal philosophy — LessWrong