Frege
Frege [fré-] Gottlob, 8. 11. 1848 - 26. 7. 1925, něm. logik, matematik a filozof; představitel logicismu; prof. univ. v Jeně. Formalizoval aritmetiku na zákl. rozpracovaného rozšířeného predikátového kalkulu. Snažil se založit matematiku na logice; z pozic této koncepce, tj. logicismu, kritizoval psychologismus a empirismus v logice. Jeho systém se však ukázal jako rozporný, což dokázal zejména B. Russell. F. formuloval řadu idejí a pojmů, jejichž vývoj v mnohém determinoval rozvoj moderní formální logiky, za jejíhož tvůrce je F. považován: zavedl mimo jiné pojmy výroková funkce, pravdivostní funkce a kvantifikátor, definoval kardinální číslo jako třídu ekvivalentních tříd a použil je k definici přirozených čísel, rozlišil význam a smysl jaz. výrazů. Svými pracemi položil zákl. logické sémantiky. Hl. díla: Grundlagen der Arithmetik (Základy aritmetiky), Grundgesetze der Arithmetik (Základní zákony aritmetiky).
