Gottlob Frege: Verskil tussen weergawes

Ten spyte daarvan dat Frege opgelei is en oorspronklik gewerk het as 'n wiskundige, veral in [[meetkunde]], het hy baie gou begin om sy aandag te gee aan logika, veral die gronding van wiskunde in logika. Sy [[1879]] boek ''Begriffsschrift'' (''Begripskrif'') was 'n draaipunt in die geskiedenis van logika, wat onder andere 'n omvattende besprekeking van wiskundige funskies en veranderlikes bevat. In sy poging om wiskunde in logika te grond, dra tot die ontwikkeling van logika by. Sy innovasies word gou die standaard in wiskunde en logika. In dié boek los hy ook 'n ou probleem op, die "probleem van veelvoudige veralgemening", waar 'n stelling logiese onanaliseerbaar was as dit meer as een vorm van veralgemening, soos "soms" of "altyd", het. "Soms" en "altyd" is logiese terme, soos "en", "of", "nie" en "as...dan", maar voor Frege was die rol van die veralgemeners "soms" en "altyd" onduidelik. Hy analiseer hulle deur middel van ''kwantifiseerders'', moontlik sy belangrikste bydrae tot logika. 'n Kwantifiseerder bepaal dat daar items van 'n tipe is, en dat wat veralgemeen word van die tipe hou of die heel tyd, vir "altyd", óf ten minste een keer, vir "soms". Bv. "alle katte slaap soms" word nou geanaliseer as "vir alle items van die eerste tipe, as dit 'n kat is, dan slaap dit by ten minste een voorbeeld van die tweede tipe". Met dié innovasie kan enige hoeveelheid veralgemenings in een stelling geanaliseer word. Met dié en ander inovasiesinnovasies skep Frege die fondamente vir logika soos dit vandag beoefen word.<ref>[http://plato.stanford.edu/entries/frege-logic/ Frege's Logic, Theorem, and Foundations for Arithmetic (Stanford Ensiklopedie van Filosofie)]</ref>