And quotes from Wittgenstein are really awesome. From Rhees’s review of Anscombe’s book on the Tractatus:
“In a remark written considerably later than the Tractatus Wittgenstein said ‘No philosophical problem can be solved by a calculus.’ He had no longer spoke quite as he had in the Tractatus, but he always thought that ‘meta-languages’ were an evasion. This was not because he did not feel that logic was important, but because he was convinced that it was.”
Whatever one thinks of the use of a calculus, too often people make the knee jerk inference to the idea that formal tools are worthless, period.