(1848–1925), German philosopher and mathematician, founder of modern logic. He developed a logical system for the expression of mathematics. He also worked on general questions of philosophical logic and semantics and devised his influential theory of meaning, based on his use of a distinction between what a linguistic term refers to and what it expresses.