ABSTRACT
There has been much interaction between the philosophy of mathe matics and the development of mathematical logic. In this regard, the central figure was Frege. He formalized pure logic, proposed a reduction of arithmetic to logic (or rather set theory) thereby inviting the broader thesis of the reducibility of all mathematics to logic, and broadened Kant’s concept of analytic propositions. Frege’s inclina tion to include set theory under logic was in part responsible for the interest of mathematical logicians in Cantor’s intuitive and mathe matical set theory. Frege’s extension of the domain of analytic propositions and Hilbert’s emphasis on implicit definitions have influenced the trend of magnifying the importance of analytic propositions for philosophy.
