Weir on formalism in SEP

While waiting for the next exciting instalment of my comments on his Truth Through Proof, you might like to look at Alan Weir's brand new entry on formalism in the philosophy of maths for the ever-more-wonderful Stanford Encyclopedia.