section_path: Related concepts/Proofs as mental objects
section_name: Proofs as mental objects
paragraph_text: Proofs as mental objects
  
  Psychologism views mathematical proofs as psychological or mental objects. Mathematician philosophers, such as Leibniz, Frege, and Carnap have variously criticized this view and attempted to develop a semantics for what they considered to be the language of thought, whereby standards of mathematical proof might be applied to empirical science.