Abstract

A dictionary of terms specific to analytic philosophy, written by the world's leading mathematical logician and analytic philosopher. Clear definitions, with explanations of the corresponding concepts, are given of such expressions as algorithm, entailment, function, functionalism, model (in both the scientific and the mathematical senses), and virtue theory.