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.

This entry was posted in Logic. Bookmark the permalink.

Leave a Reply

Your email address will not be published. Required fields are marked *