Logic from A to Z

The Brazilians who won the World Cup in 1970 were surely a great football team. I might infer from this that the goalkeeper, Felix, was a great footballer. In so doing I would be guilty of “the fallacy of division”.

This glossary first appeared in the multi‐volume Routledge Encyclopaedia of Philosophy (1998). It contains concise explanations of around 500 terms used in formal logic, set and model theory, and computability theory. The entries range from very basic terms (for example, “axiom”) to particular theorems and modern notions (for example, “Turing machine”). Many of the entries are supported by cross‐references: the...