| | Gottlob Frege [Internet Encyclopedia of Philosophy] |
 | | He invented modern quantificational logic, and created the first fully axiomatic system for logic, which was complete in its treatment of propositional and first-order logic, and also represented the first treatment of higher-order logic. |
| | In the philosophy of mathematics, he was one of the most ardent proponents of logicism, the thesis that mathematical truths are logical truths, and presented influential criticisms of rival views such as psychologism and formalism. |
| | It represented the first axiomatization of logic, and was complete in its treatment of both propositional logic and first-order quantified logic. |
| www.iep.utm.edu /f/frege.htm (9562 words) |
