FREGE'S PHILOSOPHY OF LOGIC

t will be seen that Frege's philosophy of mathematics is closely linked to his understanding of several key terms of logic and of philosophy; and indeed in the Begriffschrift and the Grundlagen Frege not only founded modern logic, but also founded the modern philosophical discipline of philosophy of logic. He did so by making a clear distinction between the philosophical treatment of logic and, on the one hand, psychology (with which it had often been confused by philosophers in the empiricist tradition) and, on the other hand, epistemology (with which it was sometimes conflated by philosophers in the Cartesian tradition). There is not, however, the same sharp distinction in his work between logic and metaphysics: indeed the two are closely related.