Answer
Gottlob Frege was a German philosopher who argued against psychologism and formalism in logic. Psychologism is the view that logic is based on psychology, and formalism is the view that logic is based on mathematics. Frege argued that logic is independent of both psychology and mathematics, and that it is a purely formal discipline.