Wednesday, April 26, 2006

Formalists and existence proofs

I take it that formalists about math and logic say that these endeavors are just manipulations of meaningless symbols in specified ways. How does a formalist interpret existence proofs such as the one used in the completeness proof of modal logic?

No comments: