(1848-1925)
niemiecki matematyk i logik; wprowadził kwantyfikatory i stworzył podstawy semantyki logicznej, wprowadził rozróżnienie na język i metajęzyk. Do popularyzacji myśli F. przyczynił się B. Russel, który rozwinął gł. jego pomysły. W Polsce pod wpływem F. pozostawał J. Łukasiewicz.
RELACJI RACHUNEK, ZNACZENIE, TARSKI