"It is a great advantage for a system of philosophy to be substantially true."