Real-time philosophy of real mathematics
David Corfield’s weblog Philosophy of real mathematics is a potpourri of items pertaining to mathematics and philosophy. Collingwood and MacIntyre show up alongside categories and 6j-symbols. I’ve mentioned his book before. Toward a philosophy of real mathematics is a manifesto on behalf of a philosophy of mathematics that, like the philosophies of physics and biology, takes mathematical practice seriously, rather than confining itself to the formalized versions that logicians have constructed to serve their ends. In my view the book says all that need be said on that point; but I was convinced beforehand. If you have any interest in the kind of program Corfield is proposing, you’ll find his weblog of interest too.