Note: logicism--Frege showed that arithmetic rests on logic; he developed logic and the notion of proof; defined 'generality', e.g., all A are B

Note

Higginbotham: Frege's principle work was his 1879 Begriffschrift (conceptual arithmetic) in which he showed that arithmetic rests on logic. He developed logic and the notion of proof. Called the program of Logicism. Defined "generality" as in all A are B.

Related Topics

Topic: mathematics as a formal system (30 items)