Frege, Gottlob (1848-1925) (ch 2) |
Frege, a logician and philosopher of mathematics, was the founder of modern mathematical logic, a major contribution to developments resulting in the invention of computers. Among Frege's other contributions are the invention of quantification theory, a method of symbolizing inferences that depend for their validity on expressions such as 'all' or 'some', 'any' or 'every', 'no', or 'none', a defense of logicism, the thesis that arithmetic is reducible to logic, and a defense of the distinction between sense (meaning) and reference (the reference of a sentence is its truth-value; the sense is the sentence's truth-condition(s), i.e. what makes the sentence true). (See semantics, truth-conditions) |
Back to index. |